ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueCharles University
Room nameS3
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
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