The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementationand 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 main theme of the 2013 European Lisp Symposium is on the use of these languages with respect to the current grand challenges: big tables, open data, semantic web, network programming, discovery, robustness, runtime failures, etc.

The European Lisp Symposium 2013 solicits the submission of papers with these specific themes in mind, alongside the more traditional tracks which have appeared in the past editions.

We invite submissions in the following forms:

Papers: Technical papers of up to 15 pages that describe original results or explain known ideas in new and elegant ways; Demonstrations: Abstracts of up to 4 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: Abstracts of up to one page for talks to last for no more than 5 minutes.

Important dates

Submission

Papers have to be submitted electronically via EasyChair: https://www.easychair.org/conferences/?conf=els13.

All submissions should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates and http://www.acm.org/about/class/1998.

Programme

Invited speakers

Florian Loitsch (Google) Asynchronous Programming in Dart Florian Loitsch has a passion for dynamic languages, like Scheme, JavaScript and now Dart. He wrote a Scheme-to-JavaScript compiler during his thesis, and then completed a JavaScript-to-Scheme compiler in his spare time. In 2010 he joined Google's team in Aarhus (Denmark) where he worked on V8 and later Dart. Being part of the Dart team Florian has helped specifying the language, which was presented in late 2011. In 2012 he became the Tech Lead for the Dart libraries where, among other tasks, he participated on the creation of a new asynchronous library that is based on Streams and Futures (aka promises). Gérard Assayag (Ircam) Lisp and Music Research Lisp has long been and still is a privileged language for building "experiments in musical intelligence", to quote the title of a book by David Cope, a famous researcher in the field. Thus its use in several "Computer Assisted Composition" systems or more generally for environments oriented towards the modelisation, representation, analysis and generation of music. Although the choice of Lisp has been generally reserved to high level, symbolic and formal representations, it is also possible to benefit from this powerful functional language paradigm and from its characteristic data / program duality (think of the musical duality between structures and processes) in complex setups, where the whole range of representations and time scales is invoked from the acoustic signal to the formal organisation. Some interesting past and present systems will be presented in this perspective, including OpenMusic and OMax, designed by the author with his team at IRCAM. Gerard Assayag is the founder of the Music Representations Team at Ircam, where he has designed with his collaborators OpenMusic and OMax, two lisp based environments which have become international standards for computer assisted music composition / analysis and for music improvisation. He is head of the Ircam STMS research Lab since Jan 2011. Ircam is the biggest joint facility for music research and production in the world, where many leading technologies and softwares have been created. Jason Cornez (RavenPack) Streams-Based, Multi-Threaded News Classification Streams are a way of organizing indefinite collections of data such that each item can naturally flow through a network of computations. Using some simple abstractions, we construct a computation network that operates on streams with each node being handled by a separate computation thread. The result is efficient, maintainable and all done in Common Lisp. The financial industry is hungry to trade on news, but often ill-equipped to do so. The continuous publication of news is like big data in real time. RavenPack processes this flow and produces actionable News Analytics for any industry with an appetite for news. Jason Cornez joined RavenPack in 2003 to solve real-world problems using Common Lisp.

Accepted presentations

Ludovic Courtès Functional Package Management with Guix Mikhail Raskin Data-transformer: an example of data-centered tool set Erik Sandewall The Leonardo System and Software Individuals Sam Tobin-Hochstadt Typed Racket (tutorial) Arturo de Salabert Platforms for games and adversarial search, functional and formal evaluation of Lisp code exercises Mika Kuuskankare DBL - a Lisp-based interactive document markup language Irene Anne Durand and Bruno Courcelle Infinite transducers on terms denoting graphs François-René Rideau ASDF3: building portable Common Lisp programs (tutorial) Max Rottenkolber Lazy Signal Combinators in Common Lisp Vsevolod Domkin Demonstration: CL-NLP - a Natural Language Processing library for Common Lisp

Proceedings

Agenda

June 3rd 9h - 10h Keynote by Florian Loitsch. Asynchronous Programming in Dart 10h00 - 10h45 Ludovic Courtes. Functional Package Management with Guix [ mp3 | pdf ] 10h45 - 11h15 break 11h15 - 12h Mikhail Raskin. Data-transformer: an example of data-centered tool set [ mp3 ] 12h - 12h45 Erik Sandewall. The Leonardo System and Software Individuals [ mp3 ] 13h - 14h30 lunch 14h30 - 15h30 Keynote by Jason Cornez. Streams-Based, Multi-Threaded News Classification [ mp3 | pdf ] 15h30 - 16h15 Sam Tobin-Hochstadt. Tutorial: Typed Racket [ GitHub ] 16h15 - 16h45 break 16h45 - 17h30 Arturo de Salabert. Platforms for games and adversarial search, functional and formal evaluation of Lisp code exercises [ mp3 ] 17h30 - 18h Lightning talks [ mp3 ] June 4th 9 - 10h Keynote by Gérard Assayag. Lisp and Music Research [ mp3 ] 10h00 - 10h45 Mika Kuuskankare. DBL - a Lisp-based interactive document markup language [ mp3 ] 10h45 - 11h15 break 11h15 - 12h Irène Anne Durand and Bruno Courcelle. Infinite transducers on terms denoting graphs [ mp3 | pdf ] 12h - 12h45 François-René Rideau. ASDF3: building portable Common Lisp programs (TUTORIAL) [ mp3 | pdf ] 13h - 14h30 lunch 14h30 - 15h15 Max Rottenkolber. Lazy Signal Combinators in Common Lisp [ mp3 | pdf | pdf | lisp ] 15h30 - 16h25 Vsevolod Domkin. Demonstration: CL-NLP - a Natural Language Processing library for Common Lisp [ mp3 | pdf ]

Program Committee

Pascal Costanza Intel, Belgium Ludovic Courtès Inria, France Theo D'Hondt Vrije Universiteit Brussel, Belgium Erick Gallesio University of Nice-Sophia Antipolis Florian Loitsch Google, Denmark Kurt Noermark Aalborg University, Denmark Christian Queinnec Upmc, France Olin Shivers Northeastern University, USA Manuel Serrano Inria, France Didier Verna Epita, France

Follow ELS'13 on Google+