From didier at lrde.epita.fr Wed Apr 6 12:22:59 2016 From: didier at lrde.epita.fr (Didier Verna) Date: Wed, 06 Apr 2016 14:22:59 +0200 Subject: [CFPart] ELS'16, 9th European Lisp Symposium, May 9-10, =?utf-8?Q?Krak=C3=B3w=2C?= Poland Message-ID: ELS'16 - 9th European Lisp Symposium Department of Computer Science AGH University of Science and Technology Krak?w, Poland May 9-10, 2016 In cooperation with: ACM SIGPLAN Sponsored by EPITA, Franz Inc., LispWorks Ltd., IdEx and Dept. of Computer Science AGH UST http://www.european-lisp-symposium.org/ Recent news: - Full programme now available online - Registration now open (early registration deadline: April 25) 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. Keynote speakers: - Pierre Cast?ran -- Program Proving with Coq - Stephan Karpinski -- Julia: to Lisp or Not to Lisp? - Francis Sergeraert -- Lexical Closures and Complexity Important dates: - 25 Apr 2016 Early registration deadline - 9-10 May 2016 Symposium Programme chair: Ir?ne Durand, LaBRI, University of Bordeaux, France Local chair: Micha? Psota, Emergent Network Defense, Krak?w, Poland Programme committee: Antonio Leitao ? INESC-ID / Instituto Superior T?cnico, Universidade de Lisboa, Portugal Charlotte Heerzel ? IMEC, Leuven, Belgium Christian Queinnec ? University Pierre et Marie Curie, Paris 6, France Christophe Rhodes ? Goldsmiths, University of London, United Kingdom Didier Verna ? EPITA Research and Development Laboratory, France Erick Gallesio ? University of Nice-Sophia Antipolis, France Fran?ois-Ren? Rideau, Google, USA Giuseppe Attardi ? University of Pisa, Italy Kent Pitman, HyperMeta Inc., USA Leonie Dreschler-Fischer ? University of Hamburg, Germany Pascal Costanza ? Intel Corporation, Belgium Robert Strandh ? University of Bordeaux, France Search Keywords: #els2016, ELS 2016, ELS '16, European Lisp Symposium 2016, European Lisp Symposium '16, 9th ELS, 9th European Lisp Symposium, European Lisp Conference 2016, European Lisp Conference '16 -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, A?kido: http://www.didierverna.info