VenueVrije Universiteit Brussel | Building D
Room nameD0.07
Floor0
Room numberD0.07
Capacity140
Additional informationThere is no additional information of this room available.
Program

Mon 3 Apr

els-2017
09:00 - 10:30: ELS 2017 - Welcome and Keynotes I at D0.07
els-2017149120280000009:00 - 09:45
Day opening
els-2017149120550000009:45 - 10:30
Talk
Hans HübnerLambdaWerk GmbH
els-2017
11:00 - 12:00: ELS 2017 - Session I: Tools at D0.07
els-2017149121000000011:00 - 11:30
Talk
els-2017149121180000011:30 - 12:00
Talk
els-2017
13:30 - 15:00: ELS 2017 - Session II: Types at D0.07
els-2017149121900000013:30 - 14:00
Talk
els-2017149122080000014:00 - 14:30
Talk
Jim NewtonEPITA / LRDE, Didier VernaEPITA / LRDE, Maximilien Colange
els-2017149122260000014:30 - 15:00
Talk
els-2017
17:00 - 17:30: ELS 2017 - Lightning Talks at D0.07
els-2017149123160000017:00 - 17:30
Talk

Tue 4 Apr

els-2017
09:00 - 10:00: ELS 2017 - Keynotes II at D0.07
els-2017149128920000009:00 - 10:00
Talk
Bohdan KhomtchoukUniversity of Miami Miller School of Medicine
els-2017
10:00 - 10:30: ELS 2017 - Session III: Applications at D0.07
els-2017149129280000010:00 - 10:30
Talk
els-2017
11:00 - 12:00: ELS 2017 - Tutorial at D0.07
els-2017149129640000011:00 - 12:00
Other
els-2017
13:30 - 15:00: ELS 2017 - Session IV: Going Meta at D0.07
els-2017149130540000013:30 - 14:00
Talk
els-2017149130720000014:00 - 14:30
Talk
Alexander LierFriedrich-Alexander-Universität Erlangen-Nürnberg, Kai SelgradFriedrich-Alexander-Universität Erlangen-Nürnberg, Marc StammingerFriedrich-Alexander-Universität Erlangen-Nürnberg
els-2017149130900000014:30 - 15:00
Talk
Jonas De Bleser, Quentin StiévenartVrije Universiteit Brussel, Belgium, Jens NicolayVrije Universiteit Brussel, Belgium, Coen De RooverVrije Universiteit Brussel
els-2017
15:30 - 17:00: ELS 2017 - Session V: Going Beyond at D0.07
els-2017149131260000015:30 - 16:00
Talk
els-2017149131440000016:00 - 16:30
Talk
Michael RaskinUniversité de Bordeaux / LaBRI
els-2017149131620000016:30 - 17:00
Talk
els-2017
17:00 - 17:45: ELS 2017 - Lightning Talks at D0.07
els-2017149131800000017:00 - 17:22
Talk
els-2017149131935000017:22 - 17:45
Day closing

Wed 5 Apr

programming-2017-keynotes
09:00 - 10:15: Keynotes - Keynotes I at D0.07
programming-2017-keynotes149137560000009:00 - 10:15
Talk
programming-2017-papers
10:45 - 12:15: Research Papers - Research Papers 1 at D0.07
Chair(s): Guido SalvaneschiTU Darmstadt
programming-2017-papers149138190000010:45 - 11:15
Talk
Arik HadasOpen University, David H. LorenzOpen University and Technion IIT
Link to publication DOI
programming-2017-papers149138370000011:15 - 11:45
Talk
Sebastian ErdwegTU Delft, Klaus OstermannUniversity of Tübingen, Germany
Link to publication DOI
programming-2017-papers149138550000011:45 - 12:15
Talk
Kazuhiro Ichikawa, Shigeru ChibaUniversity of Tokyo
Link to publication DOI
programming-2017-papers
13:30 - 15:00: Research Papers - Research Papers 2 at D0.07
Chair(s): Shigeru ChibaUniversity of Tokyo
programming-2017-papers149139180000013:30 - 14:00
Talk
Oliver SerangFreie Univeristät Berlin, Florian HeylFreie Universität Berlin
Link to publication DOI
programming-2017-papers149139360000014:00 - 14:30
Talk
Alexandru Iosif-LazarIT University of Copenhagen, Jean MeloIT University of Copenhagen, Aleksandar S. DimovskiIT University of Copenhagen, Denmark, Claus BrabrandIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark
Link to publication DOI
programming-2017-papers149139540000014:30 - 15:00
Talk
Kapil Arya, Tyler Denniston, Ariel RabkinCloudera, Gene CoopermanNortheastern University
Link to publication DOI
programming-2017-papers
15:30 - 17:00: Research Papers - Research Papers 3 at D0.07
Chair(s): Mario SüdholtÉcole des Mines de Nantes, France
programming-2017-papers149139900000015:30 - 16:00
Talk
Ralf LämmelUniversity of Koblenz-Landau, Germany
Link to publication DOI
programming-2017-papers149140080000016:00 - 16:30
Talk
Walter Cazzola Università degli Studi di Milano, Albert Shaqiri
Link to publication DOI
programming-2017-papers149140260000016:30 - 17:00
Talk
Johannes HärtelUniversity of Koblenz-Landau, Germany, Lukas HärtelUniversity of Koblenz-Landau, Germany, Ralf LämmelUniversity of Koblenz-Landau, Germany, Andrei VaranovichUniversity of Koblenz-Landau, Germany, Marcel HeinzUniversity of Koblenz-Landau, Germany
Link to publication DOI

Thu 6 Apr

programming-2017-keynotes
09:00 - 10:15: Keynotes - Keynotes II at D0.07
programming-2017-keynotes149146200000009:00 - 10:15
Talk
Matthew FlattUniversity of Utah
File Attached
programming-2017-papers
10:45 - 12:15: Research Papers - Research Papers 4 at D0.07
Chair(s): Crista LopesUniversity of California, Irvine
programming-2017-papers149146830000010:45 - 11:15
Talk
David H. LorenzOpen University and Technion IIT, Boaz RosenanUniversity of Haifa
Link to publication DOI
programming-2017-papers149147010000011:15 - 11:45
Talk
Matthew Pickering, Jeremy GibbonsDepartment of Computer Science, University of Oxford, Nicolas WuUniversity of Bristol
Link to publication DOI
programming-2017-papers149147190000011:45 - 12:15
Talk
Tomas PetricekAlan Turing Institute
Link to publication DOI
programming-2017-papers
13:30 - 15:00: Research Papers - Research Papers 5 at D0.07
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
programming-2017-papers149147820000013:30 - 14:00
Talk
Toni MattisHasso Plattner Institute, Patrick ReinHasso Plattner Institute, Robert HirschfeldHPI
Link to publication DOI
programming-2017-papers149148000000014:00 - 14:30
Talk
Verena KäferUniversität Stuttgart, Daniel KuleszUniversität Stuttgart, Stefan WagnerUniversität Stuttgart
Link to publication DOI
programming-2017-papers149148180000014:30 - 15:00
Talk
Ellen MurphyUniversity of Bath, Tom CrickCardiff Metropolitan University, James H. DavenportUniversity of Bath
Link to publication DOI
programming-2017-papers
15:30 - 17:00: Research Papers - Research Papers 6 at D0.07
Chair(s): Tijs van der StormCWI & University of Groningen
programming-2017-papers149148540000015:30 - 16:00
Talk
Simon Thompson, Huiqing LiUniversity of Kent, Andreas SchumacherEricsson AB
Link to publication DOI
programming-2017-papers149148720000016:00 - 16:30
Talk
Nicole VavrováUniversity of Amsterdam, Netherlands, Vadim ZaytsevRaincode, Belgium
Link to publication DOI
programming-2017-papers149148900000016:30 - 17:00
Talk
Stefan RamsonHasso Plattner Institute, Potsdam, Robert HirschfeldHPI
Link to publication DOI

Mon 3 Apr 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
D0.07

Tue 4 Apr 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
D0.07
09:00 - 10:00
11:00 - 12:00

Wed 5 Apr 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
D0.07
09:00 - 10:15

Thu 6 Apr 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
D0.07
09:00 - 10:15