‹Programming› 2017 (series) / ELS 2017 (series) /
ELS 2017 Program
This is the ELS 2017 program - see the full program for ‹Programming› 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 3 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 3 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 45mDay opening | Welcome messages and announcements ELS | ||
09:45 45mTalk | Identity in a World of ValuesELS Keynote ELS |
11:00 - 12:00 | |||
11:00 30mTalk | Common Lisp UltraSpec - A Project For Modern Common Lisp Documentation ELS | ||
11:30 30mTalk | Loading Multiple Versions of an ASDF System in the Same Lisp Image ELS |
13:30 - 15:00 | |||
13:30 30mTalk | A Lisp Way to Type Theory and Formal Proofs ELS | ||
14:00 30mTalk | Programmatic Manipulation of Common Lisp Type Specifiers ELS | ||
14:30 30mTalk | Type Inference in Cleavir ELS |
15:30 - 17:00 | |||
15:30 22mDemonstration | Delivering Common Lisp Applications with ASDF 3.3 ELS | ||
15:52 22mDemonstration | Radiance – a Web Application Environment ELS Nicolas Hafner Shirakumo.org | ||
16:15 22mDemonstration | Teaching Students of Engineering some Insights of the Internet of Things using Racket and the RaspberryPi ELS | ||
16:37 22mDemonstration | Interactive Functional Medical Image Analysis ELS |
17:00 - 17:30 | |||
17:00 30mTalk | Lightning Talks ELS |
Tue 4 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 4 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mTalk | How the strengths of Lisp-family languages facilitate building complex and flexible bioinformatics applicationsELS Keynote ELS |
10:00 - 10:30 | |||
10:00 30mTalk | Parallelizing Femlisp ELS |
11:00 - 12:00 | |||
11:00 60mOther | General Game Playing in Common Lisp ELS |
13:30 - 15:00 | |||
13:30 30mTalk | Fast, Maintainable, and Portable Sequence Functions ELS | ||
14:00 30mTalk | DIY Meta Languages with Common Lisp ELS Alexander Lier Friedrich-Alexander-Universität Erlangen-Nürnberg, Kai Selgrad Friedrich-Alexander-Universität Erlangen-Nürnberg, Marc Stamminger Friedrich-Alexander-Universität Erlangen-Nürnberg | ||
14:30 30mTalk | Static Taint Analysis of Event-driven Scheme Programs ELS Jonas De Bleser , Quentin Stiévenart Vrije Universiteit Brussel, Belgium, Jens Nicolay Vrije Universiteit Brussel, Belgium, Coen De Roover Vrije Universiteit Brussel |
15:30 - 17:00 | |||
15:30 30mTalk | on the {lambda way} ELS | ||
16:00 30mTalk | Writing a portable code walker in Common Lisp ELS Michael Raskin Université de Bordeaux / LaBRI | ||
16:30 30mTalk | Removing redundant tests by replicating control paths ELS |
17:00 - 17:45 | |||
17:00 22mTalk | Lightning Talks ELS | ||
17:22 22mDay closing | Announcements, wrapup, goodbye ELS |