The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate.
External Website
Additional information about the 12th European Lisp Symposium, ELS 2019 can be found on:
http://www.european-lisp-symposium.org/
Talks
Initial Call for Papers
The 12th European Lisp Symposium invites high quality papers about novel research results, insights and lessons learned from practical applications and educational perspectives. We also encourage submissions about known ideas as long as they are presented in a new setting and/or in a highly elegant way.
Topics include but are not limited to:
- Context-, aspect-, domain-oriented and generative programming
- Macro-, reflective-, meta- and/or rule-based development approaches
- Language design and implementation
- Language integration, inter-operation and deployment
- Development methodologies, support and environments
- Educational approaches and perspectives
- Experience reports and case studies
We invite submissions in the following forms:
Papers: Technical papers of up to 8 pages that describe original results or explain known ideas in new and elegant ways.
Demonstrations: Abstracts of up to 2 pages for demonstrations of tools, libraries, and applications.
Tutorials: Abstracts of up to 4 pages for in-depth presentations about topics of special interest for at least 90 minutes and up to 180 minutes.
The symposium will also provide slots for lightning talks, to be registered on-site every day.
All submissions should be formatted following the ACM SIGS guidelines and include ACM Computing Classification System 2012 concepts and terms. Submissions should be uploaded to Easy Chair, at the following address: https://www.easychair.org/conferences/?conf=els2019
Note: to help us with the review process please indicate the type of submission by entering either “paper”, “demo”, or “tutorial” in the Keywords field.
Mon 1 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:15 15mDay opening | Welcome message ELS | ||
09:30 60mTalk | The Lisp of the prophet for the One True EditorELS Keynote ELS |
11:00 - 12:30 | |||
11:00 30mTalk | Pattern-Based S-Expression Rewriting in Emacs ELS Ryan Culpepper Czech Technical University | ||
11:30 30mTalk | Implementing Baker’s | SUBTYPEP Decision Procedure ELS | ||
12:00 30mTalk | MAKE-METHOD-LAMBDA Revisited ELS |
14:00 - 15:30 | |||
14:30 30mTalk | Finite Automata Theory Based Optimization ELS | ||
15:00 30mTalk | Lazy, Parallel Multiple Value Reductions in Common Lisp ELS |
16:00 - 17:00 | |||
16:00 30mTalk | Working with First-Order Proofs and Provers ELS Michael Raskin Université de Bordeaux / LaBRI | ||
16:30 30mTalk | Plagiarism Detection for Common Lisp ELS António Menezes Leitão Technical University of Lisbon, Portugal | ||
17:00 30mTalk | Lightning Talks I ELS |
Tue 2 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 60mTalk | 20 more years of bootstrapping ELS Keynote ELS | ||
10:00 30mTalk | Bootstrapping Common Lisp Using Common Lisp ELS |
11:00 - 12:30 | |||
11:00 45mTalk | Shader Pipeline and Effect Encapsulation using CLOS ELS Nicolas Hafner Shirakumo.org | ||
11:45 45mTalk | Hierarchical Task Network Planning in Common Lisp ELS |
14:00 - 15:30 | |||
14:30 60mTalk | Rebooting RacketELS Special Guest ELS |
16:00 - 17:00 | |||
16:00 30mTalk | Symbols as Namespaces in Common Lisp ELS | ||
16:30 29mTalk | Parallelizing Quickref ELS Didier Verna EPITA / LRDE | ||
16:59 1mTalk | Lightning Talks II ELS |