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.
Additional information about the 12th European Lisp Symposium, ELS 2019 can be found on:
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 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
|09:15 - 09:30|
|09:30 - 10:30|
|The Lisp of the prophet for the One True EditorELS Keynote|
K: Stefan MonnierUniversité de Montréal
|11:00 - 11:30|
|Pattern-Based S-Expression Rewriting in Emacs|
Ryan CulpepperCzech Technical University
|11:30 - 12:00|
|Implementing Baker’s | SUBTYPEP Decision Procedure|
|12:00 - 12:30|
|14:30 - 15:00|
|Finite Automata Theory Based Optimization|
|15:00 - 15:30|
|Lazy, Parallel Multiple Value Reductions in Common Lisp|
|16:00 - 16:30|
|Working with First-Order Proofs and Provers|
Michael RaskinUniversité de Bordeaux / LaBRI
|16:30 - 17:00|
|Plagiarism Detection for Common Lisp|
António Menezes LeitãoTechnical University of Lisbon, Portugal
|17:00 - 17:30|
|Lightning Talks I|
Tue 2 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
|09:00 - 10:00|
|20 more years of bootstrapping ELS Keynote|
K: Christophe RhodesGoldsmiths, University of London
|10:00 - 10:30|
|Bootstrapping Common Lisp Using Common Lisp|
|11:00 - 11:45|
|Shader Pipeline and Effect Encapsulation using CLOS|
|11:45 - 12:30|
|Hierarchical Task Network Planning in Common Lisp|
|14:30 - 15:30|
|Rebooting RacketELS Special Guest|
S: Matthew FlattUniversity of Utah