External Website

Information about the 10th European Lisp Symposium, ELS 2017 can be found on:
http://www.european-lisp-symposium.org/


10th European Lisp Symposium Invited talks:

Hans Hübner, LambdaWerk GmbH, Berlin, Germany:
Identity in a World of Values

Bohdan B. Khomtchouk, University of Miami Miller School of Medicine, Miami:
How the strengths of Lisp-family languages facilitate building complex and flexible bioinformatics applications


Talks

Title
A Lisp Way to Type Theory and Formal Proofs
ELS
Common Lisp UltraSpec - A Project For Modern Common Lisp Documentation
ELS
Delivering Common Lisp Applications with ASDF 3.3
ELS
DIY Meta Languages with Common Lisp
ELS
Fast, Maintainable, and Portable Sequence Functions
ELS
General Game Playing in Common Lisp
ELS
How the strengths of Lisp-family languages facilitate building complex and flexible bioinformatics applicationsELS Keynote
ELS
Identity in a World of ValuesELS Keynote
ELS
Interactive Functional Medical Image Analysis
ELS
Loading Multiple Versions of an ASDF System in the Same Lisp Image
ELS
on the {lambda way}
ELS
Parallelizing Femlisp
ELS
Programmatic Manipulation of Common Lisp Type Specifiers
ELS
Radiance – a Web Application Environment
ELS
Removing redundant tests by replicating control paths
ELS
Static Taint Analysis of Event-driven Scheme Programs
ELS
Teaching Students of Engineering some Insights of the Internet of Things using Racket and the RaspberryPi
ELS
Type Inference in Cleavir
ELS
Writing a portable code walker in Common Lisp
ELS

Call for Papers

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.

The 10th 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.
Lightning talks
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. Appropriate TeX and Word templates can be found on the ACM publications page.

Please use the ACM Computing Classification System site to generate the CCS codes. In order to add a concept, navigate to it using the boxes, and select “Assign This CCS Concept” on the left side. You should select one high relevance concept, and up to four medium or low relevance concepts. Once you are done, simply copy the CCS display into the Word document. If you are using TeX, select “View CCS TeX Code” and copy the displayed code into your TeX file. The templates should already include sections with bogus CCS codes, which you can simply replace with your own.

If you are using the correct style and classification system, your document will contain a section called CCS Concepts and include terms formatted like •Information systems → Web applications. If your document includes a section titled Categories and Subject Descriptors with things in a style like D.2.3 [Software Engineering]: Coding Tools and Techniques, then you have to update to the new 2012 system and templates as linked above. If the CCS section does not show up in the TeX generated PDF at all, make sure that your TeX file includes the \printccsdesccommand below the abstract.

Important dates:

Submission deadline
30 Jan 2017 6 Feb 2017
Notification of acceptance
27 Feb 2017
Final papers due
20 Mar 2017
Symposium
03-04 Apr 2017

Programme chair:

  • Alberto Riva, University of Florida, USA

Programme committee:

  • Marco Antoniotti, Università Milano Bicocca, Italy
  • Marc Battyani, FractalConcept
  • Theo D’Hondt, Vrije Universiteit Brussel, Belgium
  • Marc Feeley, Université de Montreal, Canada
  • Stelian Ionescu, Google
  • Rainer Joswig, Independent Consultant, Germany
  • António Menezes Leitão, Technical University of Lisbon, Portugal
  • Nick Levine, RavenPack
  • Henry Lieberman, MIT, USA
  • Mark Tarver, Shen Programming Group
  • Jay McCarthy, University of Massachusetts Lowell, USA
  • Christian Queinnec, Université Pierre et Marie Curie, France
  • François-René Rideau, Bridgewater Associates, USA
  • Nikodemus Siivola, ZenRobotics Ltd
  • Alessio Stalla, Università degli Studi di Genova, Italy
  • Erick Gallesio, Université de Nice Sophia-Antipolis, France

Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 4 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 10:30
Session III: ApplicationsELS at D0.07
10:00
30m
Talk
Parallelizing Femlisp
ELS
11:00 - 12:00
TutorialELS at D0.07
11:00
60m
Other
General Game Playing in Common Lisp
ELS
13:30 - 15:00
Session IV: Going MetaELS at D0.07
13:30
30m
Talk
Fast, Maintainable, and Portable Sequence Functions
ELS
14:00
30m
Talk
DIY Meta Languages with Common Lisp
ELS
Alexander Lier Friedrich-Alexander-Universität Erlangen-Nürnberg, Kai Selgrad Friedrich-Alexander-Universität Erlangen-Nürnberg, Marc Stamminger Friedrich-Alexander-Universität Erlangen-Nürnberg
14:30
30m
Talk
Static Taint Analysis of Event-driven Scheme Programs
ELS
Jonas De Bleser , Quentin Stiévenart Vrije Universiteit Brussel, Belgium, Jens Nicolay Vrije Universiteit Brussel, Belgium, Coen De Roover Vrije Universiteit Brussel
15:30 - 17:00
Session V: Going BeyondELS at D0.07
15:30
30m
Talk
on the {lambda way}
ELS
16:00
30m
Talk
Writing a portable code walker in Common Lisp
ELS
Michael Raskin Université de Bordeaux / LaBRI
16:30
30m
Talk
Removing redundant tests by replicating control paths
ELS
17:00 - 17:45
Lightning TalksELS at D0.07
17:00
22m
Talk
Lightning Talks
ELS

17:22
22m
Day closing
Announcements, wrapup, goodbye
ELS