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
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 \printccsdesc
command below the abstract.
Important dates:
- Submission deadline
30 Jan 20176 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
Mon 3 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 45mDay opening | Welcome messages and announcements ELS | ||
09:45 45mTalk | Identity in a World of ValuesELS Keynote ELS |
11:00 - 12:00 | |||
11:00 30mTalk | Common Lisp UltraSpec - A Project For Modern Common Lisp Documentation ELS | ||
11:30 30mTalk | Loading Multiple Versions of an ASDF System in the Same Lisp Image ELS |
13:30 - 15:00 | |||
13:30 30mTalk | A Lisp Way to Type Theory and Formal Proofs ELS | ||
14:00 30mTalk | Programmatic Manipulation of Common Lisp Type Specifiers ELS | ||
14:30 30mTalk | Type Inference in Cleavir ELS |
15:30 - 17:00 | |||
15:30 22mDemonstration | Delivering Common Lisp Applications with ASDF 3.3 ELS | ||
15:52 22mDemonstration | Radiance – a Web Application Environment ELS Nicolas Hafner Shirakumo.org | ||
16:15 22mDemonstration | Teaching Students of Engineering some Insights of the Internet of Things using Racket and the RaspberryPi ELS | ||
16:37 22mDemonstration | Interactive Functional Medical Image Analysis ELS |
17:00 - 17:30 | |||
17:00 30mTalk | Lightning Talks ELS |
Tue 4 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mTalk | How the strengths of Lisp-family languages facilitate building complex and flexible bioinformatics applicationsELS Keynote ELS |
10:00 - 10:30 | |||
10:00 30mTalk | Parallelizing Femlisp ELS |
11:00 - 12:00 | |||
11:00 60mOther | General Game Playing in Common Lisp ELS |
13:30 - 15:00 | |||
13:30 30mTalk | Fast, Maintainable, and Portable Sequence Functions ELS | ||
14:00 30mTalk | 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 30mTalk | 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 | |||
15:30 30mTalk | on the {lambda way} ELS | ||
16:00 30mTalk | Writing a portable code walker in Common Lisp ELS Michael Raskin Université de Bordeaux / LaBRI | ||
16:30 30mTalk | Removing redundant tests by replicating control paths ELS |
17:00 - 17:45 | |||
17:00 22mTalk | Lightning Talks ELS | ||
17:22 22mDay closing | Announcements, wrapup, goodbye ELS |