‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 1 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
KeynoteELS at Paganini
09:15
15m
Day opening
Welcome message
ELS

09:30
60m
Talk
The Lisp of the prophet for the One True EditorELS Keynote
ELS
K: Stefan Monnier Université de Montréal
11:00 - 12:30
Emacs Lisp & Lisp ImplementationELS at Paganini
11:00
30m
Talk
Pattern-Based S-Expression Rewriting in Emacs
ELS
Ryan Culpepper Czech Technical University
11:30
30m
Talk
Implementing Baker’s | SUBTYPEP Decision Procedure
ELS
Léo Valais , Jim Newton EPITA / LRDE https://www.lrde.epita.fr, Didier Verna EPITA / LRDE
12:00
30m
Talk
MAKE-METHOD-LAMBDA Revisited
ELS
14:00 - 15:30
Meta-ProgrammingELS at Paganini
14:30
30m
Talk
Finite Automata Theory Based Optimization
ELS
Jim Newton EPITA / LRDE https://www.lrde.epita.fr, Didier Verna EPITA / LRDE
15:00
30m
Talk
Lazy, Parallel Multiple Value Reductions in Common Lisp
ELS
16:00 - 17:00
Code as DataELS at Paganini
16:00
30m
Talk
Working with First-Order Proofs and Provers
ELS
Michael Raskin Université de Bordeaux / LaBRI
16:30
30m
Talk
Plagiarism Detection for Common Lisp
ELS
António Menezes Leitão Technical University of Lisbon, Portugal
17:00
30m
Talk
Lightning Talks I
ELS

Tue 2 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
RacketELS at Paganini
14:30
60m
Talk
Rebooting RacketELS Special Guest
ELS
S: Matthew Flatt University of Utah
16:00 - 17:00
EcosystemELS at Paganini
16:00
30m
Talk
Symbols as Namespaces in Common Lisp
ELS
16:30
29m
Talk
Parallelizing Quickref
ELS
Didier Verna EPITA / LRDE
16:59
1m
Talk
Lightning Talks II
ELS