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:
| submission deadline | March, 17th 2013 |
|---|---|
| acceptance results | April, 5th 2013 |
| symposium opens | June, 3-4 2013 |
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.
| 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. |
| 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 |
| 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 ] | ||||
| 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 |