ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sat 6 Apr

galop-2019-papers
09:00 - 10:30: GaLoP - I at S3
galop-2019-papers09:00 - 10:00
Talk
Jules HedgesUniversity of Oxford
galop-2019-papers10:00 - 10:30
Talk
Paul Blain LevyUniversity of Birmingham, Sergey GoncharovFAU Erlangen-Nürnberg, Lehrstuhl 8, Lutz SchöderFAU Erlangen-Nürnberg, Lehrstuhl 8
galop-2019-papers
11:00 - 12:00: GaLoP - II at S3
galop-2019-papers11:00 - 11:30
Talk
Pietro GallianiFree University of Bozen-Bolzano
galop-2019-papers11:30 - 12:00
Talk
Juha Kontinen, Fan YangUniversity of Helsinki
galop-2019-papers
13:30 - 15:30: GaLoP - III at S3
galop-2019-papers13:30 - 14:30
Talk
Nathanaël FijalkowCNRS, LaBRI, and Alan Turing Institute
galop-2019-papers14:30 - 15:00
Talk
Yu-Yang LinQueen Mary University of London, Nikos TzevelekosQueen Mary University of London
galop-2019-papers15:00 - 15:30
Talk
Timo LangVienna University of Technology, Chris FermüllerVienna University of Technology, Elaine PimentelFederal University of Rio Grande do Norte, Brazil, Carlos OlarteFederal University of Rio Grande do Norte, Brazil
galop-2019-papers
16:00 - 18:00: GaLoP - IV at S3
galop-2019-papers16:00 - 16:30
Talk
Pierre-Louis CurienUniv. Paris Diderot and INRIA Paris-Rocquencourt
galop-2019-papers16:30 - 17:10
Talk

Sun 7 Apr

galop-2019-papers
09:00 - 10:30: GaLoP - V at S3
galop-2019-papers09:00 - 10:00
Talk
Paul-André MelliesCNRS and University Paris Diderot
galop-2019-papers10:00 - 10:30
Talk
Clovis EberhartNational Institute of Informatics, Japan, Tom HirschowitzUniv. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry, Alexis LaouarUniv. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS
galop-2019-papers
11:00 - 12:00: GaLoP - VI at S3
galop-2019-papers11:00 - 11:30
Talk
Simon Castellan, Alceste ScalasAston University, Nobuko YoshidaImperial College London
galop-2019-papers11:30 - 12:00
Talk
Simon CastellanImperial College London, UK, Hugo PaquetUniversity of Cambridge
galop-2019-papers
13:30 - 15:30: GaLoP - VII at S3
galop-2019-papers13:30 - 14:00
Talk
Pierre ClairambaultCNRS & ENS Lyon, Marc De VismeENS Lyon
galop-2019-papers14:00 - 14:30
Talk
galop-2019-papers14:30 - 15:00
Talk
galop-2019-papers15:00 - 15:30
Talk
Abhishek DeIRIF, CNRS, France, Alexis Saurin
galop-2019-papers
16:00 - 18:00: GaLoP - VIII at S3

Sat 6 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
S3
09:00 - 10:30
11:00 - 12:00
13:30 - 15:30
16:00 - 18:00

Sun 7 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
S3
09:00 - 10:30
11:00 - 12:00
13:30 - 15:30
16:00 - 18:00
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)