ELS'15 - 8th European Lisp Symposium
Goldsmiths College, London, UK
April 20-21, 2015
http://www.european-lisp-symposium.org/
Sponsored by EPITA, Franz Inc. and Lispworks Ltd.
Recent news:
- Submission deadline in less than a month now!
- Programme committee has been announced (see below)
- Venue information now available on the web site
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 8th 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 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.
Important dates:
- 22 Feb 2015: Submission deadline
- 15 Mar 2015: Notification of acceptance
- 29 Mar 2015: Early registration deadline
- 05 Apr 2015: Final papers
- 20-21 Apr 2015: Symposium
Programme chair:
Julian Padget, University of Bath, UK
Local chair:
Christophe Rhodes, Goldsmiths, University of London, UK
Programme committee:
Sacha Chua — Toronto, Canada
Edmund Weitz — University of Applied Scicences, Hamburg, Germany
Rainer Joswig — Hamburg, Germany
Henry Lieberman — MIT, USA
Matthew Flatt — University of Utah, USA
Christian Queinnec — University Pierre et Marie Curie, Paris 6, France
Giuseppe Attardi — University of Pisa, Italy
Marc Feeley — University of Montreal, Canada
Stephen Eglen — University of Cambridge, UK
Robert Strandh — University of Bordeaux, France
Nick Levine — RavenPack, Spain
Search Keywords:
#els2015, ELS 2015, ELS '15, European Lisp Symposium 2015,
European Lisp Symposium '15, 8th ELS, 8th European Lisp Symposium,
European Lisp Conference 2015, European Lisp Conference '15
--
My new Jazz CD entitled "Roots and Leaves" is out!
Check it out: http://didierverna.com/records/roots-and-leaves.php
Lisp, Jazz, Aïkido: http://www.didierverna.info
Dear all,
Next week, our monthly Munich Haskell Meeting will take place again on
Monday, January 26 at Cafe Puck at 19h30. For details see here:
http://www.haskell-munich.de/dates
If you plan to join, please add yourself to this dudle so we can
reserve enough seats! It is OK to add yourself to the dudle
anonymously or pseudonymously.
https://dudle.inf.tu-dresden.de/haskell-munich-jan-2015/
Everybody is welcome!
cu,
--
Christian Neukirchen <chneukirchen(a)gmail.com> http://chneukirchen.org
Hi *,
am Sonntag, 11. Januar 2015 treffen wir uns um 18:00 in India King
für unser Hackathon. Bringt eure Laptops!
Themen:
- Agda: wir machen weiter mit den Agda-Tutorial:
http://oxij.org/note/BrutalDepTypes/
oder
- Buch: Homotopy Type Theory (HoTT)
-- BERICHT --
21. Dezember 2014
- mit den Agda-Tutorial weitergemacht
- ein paar einfache Thesen mit Agda bewiesen
-- ANFAHRT --
Wir treffen uns in India King, Landsbergerstr. 491.
Webseite: http://www.indiaking.de
Karte: https://goo.gl/maps/5g9m6
Anfahrtmöglichkeiten:
- S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) und dann Tram
19 nach Offenbachstraße (2 Haltestellen)
- Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstraße
- Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing
umsteigen, bis Offenbachstraße
- Bus 160 oder 162 nach Offenbachstraße
India King befindet sich genau gegenüber der Tramhaltestelle.
Twitter: https://twitter.com/Haskell_hackers
Web: http://haskell-hackathon.no-ip.org
English: http://haskell-hackathon.no-ip.org/index_en.html