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

Sat 6 Apr

etaps-2019-TOOLympics
09:00 - 10:30: TOOLympics - CoCo at TOOLympics-Large
behapi-2019-papers
09:00 - 10:30: BEHAPI - I at BEHAPI
metrid-2019-papers
09:00 - 10:30: MeTRiD - I at MeTRiD
interavt-2019-papers
09:00 - 10:30: InterAVT - I at InterAVT
LearninginVerification-2019-papers
09:00 - 10:30: LiVe - I at LiVe
perr-2019-papers
09:00 - 10:30: PERR - I at PERR
qapl-2019-papers
09:00 - 10:30: QAPL - I at QAPL
galop-2019-papers
09:00 - 10:30: GaLoP - I at GaLoP
hsb-2019-papers
09:00 - 10:30: HSB - I at HSB
dice-fopara-2019-papers
09:00 - 10:30: DICE-FOPARA - I at DICE-FOPARA
etaps-2019-TOOLympics
09:00 - 10:30: TOOLympics - SV-COMP Talks at TOOLympics-SmallA
etaps-2019-TOOLympics
09:00 - 10:30: TOOLympics - VerifyThis 1 at TOOLympics-SmallB
perr-2019-papers
11:00 - 12:30: PERR - II at PERR
metrid-2019-papers
11:00 - 12:30: MeTRiD - II at MeTRiD
behapi-2019-papers
11:00 - 12:30: BEHAPI - II at BEHAPI
LearninginVerification-2019-papers
11:00 - 12:30: LiVe - II at LiVe
interavt-2019-papers
11:00 - 12:30: InterAVT - II at InterAVT
dice-fopara-2019-papers
11:00 - 12:30: DICE-FOPARA - II at DICE-FOPARA
hsb-2019-papers
11:00 - 12:30: HSB - II at HSB
qapl-2019-papers
11:00 - 12:30: QAPL - II at QAPL
galop-2019-papers
11:00 - 12:30: GaLoP - II at GaLoP
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - SL-COMP at TOOLympics-Large
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - SV-COMP Meeting at TOOLympics-SmallA
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - VerifyThis 2 at TOOLympics-SmallB
LearninginVerification-2019-papers
14:00 - 15:30: LiVe - III at LiVe
behapi-2019-papers
14:00 - 15:30: BEHAPI - III at BEHAPI
perr-2019-papers
14:00 - 15:30: PERR - III at PERR
interavt-2019-papers
14:00 - 15:30: InterAVT - III at InterAVT
metrid-2019-papers
14:00 - 15:30: MeTRiD - III at MeTRiD
dice-fopara-2019-papers
14:00 - 15:30: DICE-FOPARA - III at DICE-FOPARA
galop-2019-papers
14:00 - 15:30: GaLoP - III at GaLoP
hsb-2019-papers
14:00 - 15:30: HSB - III at HSB
qapl-2019-papers
14:00 - 15:30: QAPL - III at QAPL
etaps-2019-TOOLympics
14:00 - 15:30: TOOLympics - RERS 1 at TOOLympics-Large
etaps-2019-TOOLympics
14:00 - 15:30: TOOLympics - Test-Comp Talks at TOOLympics-SmallA
etaps-2019-TOOLympics
14:00 - 15:30: TOOLympics - VerifyThis 3 at TOOLympics-SmallB
LearninginVerification-2019-papers
16:00 - 18:00: LiVe - IV at LiVe
metrid-2019-papers
16:00 - 18:00: MeTRiD - IV at MeTRiD
behapi-2019-papers
16:00 - 18:00: BEHAPI - IV at BEHAPI
perr-2019-papers
16:00 - 18:00: PERR - IV at PERR
interavt-2019-papers
16:00 - 18:00: InterAVT - IV at InterAVT
hsb-2019-papers
16:00 - 18:00: HSB - IV at HSB
galop-2019-papers
16:00 - 18:00: GaLoP - IV at GaLoP
qapl-2019-papers
16:00 - 18:00: QAPL - IV at QAPL
dice-fopara-2019-papers
16:00 - 18:00: DICE-FOPARA - IV at DICE-FOPARA
etaps-2019-TOOLympics
16:00 - 18:00: TOOLympics - RERS 2 at TOOLympics-Large
etaps-2019-TOOLympics
16:00 - 18:00: TOOLympics - Test-Comp Meeting at TOOLympics-SmallA
etaps-2019-TOOLympics
16:00 - 18:00: TOOLympics - VerifyThis 4 at TOOLympics-SmallB

Sun 7 Apr

crest-2019-papers
09:00 - 10:30: CREST - I at CREST
hcvs-2019-papers
09:00 - 10:30: HCVS - I at HCVS
places-2019-papers
09:00 - 10:30: PLACES - I at PLACES
dice-fopara-2019-papers
09:00 - 10:30: DICE-FOPARA - V at DICE-FOPARA
galop-2019-papers
09:00 - 10:30: GaLoP - V at GaLoP
hsb-2019-papers
09:00 - 10:30: HSB - V at HSB
etaps-2019-TOOLympics
09:00 - 10:30: TOOLympics - VerifyThis 5 at TOOLympics-SmallB
etaps-2019-ETAPS-Mentoring-Workshop
09:30 - 10:30: Mentoring Workshop - Morning Session I at Mentoring
etaps-2019-ETAPS-Mentoring-Workshop09:30 - 10:30
Talk
Mooly SagivTel Aviv University
crest-2019-papers
11:00 - 12:30: CREST - II at CREST
places-2019-papers
11:00 - 12:30: PLACES - II at PLACES
hcvs-2019-papers
11:00 - 12:30: HCVS - II at HCVS
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - TOOLympics 1 - Pre-Events at TOOLympics-Large
etaps-2019-TOOLympics11:00 - 11:11
Meeting
etaps-2019-TOOLympics11:11 - 11:22
Meeting
etaps-2019-TOOLympics11:22 - 11:33
Meeting
etaps-2019-TOOLympics11:33 - 11:45
Meeting
etaps-2019-TOOLympics11:45 - 11:56
Meeting
etaps-2019-TOOLympics11:56 - 12:07
Meeting
etaps-2019-TOOLympics12:07 - 12:18
Meeting
etaps-2019-TOOLympics12:18 - 12:30
Meeting
dice-fopara-2019-papers
11:00 - 12:30: DICE-FOPARA - VI at DICE-FOPARA
galop-2019-papers
11:00 - 12:30: GaLoP - VI at GaLoP
hsb-2019-papers
11:00 - 12:30: HSB - VI at HSB
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - VerifyThis 6 at TOOLympics-SmallB
etaps-2019-ETAPS-Mentoring-Workshop
11:30 - 12:30: Mentoring Workshop - Morning Session II at Mentoring
etaps-2019-ETAPS-Mentoring-Workshop11:30 - 12:00
Talk
Ajitha RajanUniversity of Edinburgh
etaps-2019-ETAPS-Mentoring-Workshop12:00 - 12:30
Talk
Marielle StoelingaUniversity of Twente and Radboud University, Nijmegen
etaps-2019-ETAPS-Mentoring-Workshop
14:00 - 15:30: Mentoring Workshop - Afternoon Session I at Mentoring
etaps-2019-ETAPS-Mentoring-Workshop14:00 - 14:30
Talk
Marieke HuismanUniversity of Twente
etaps-2019-ETAPS-Mentoring-Workshop14:30 - 15:00
Talk
Marsha ChechikUniversity of Toronto
etaps-2019-ETAPS-Mentoring-Workshop15:00 - 15:30
Talk
Juliana FrancoMicrosoft Research, Cambridge
hcvs-2019-papers
14:00 - 15:30: HCVS - III at HCVS
crest-2019-papers
14:00 - 15:30: CREST - III at CREST
places-2019-papers
14:00 - 15:30: PLACES - III at PLACES
etaps-2019-TOOLympics
14:00 - 15:30: TOOLympics - TOOLympics 2 - On-Site / Post at TOOLympics-Large
etaps-2019-TOOLympics14:00 - 14:11
Meeting
etaps-2019-TOOLympics14:11 - 14:22
Meeting
etaps-2019-TOOLympics14:22 - 14:33
Meeting
etaps-2019-TOOLympics14:33 - 14:45
Meeting
etaps-2019-TOOLympics14:45 - 14:56
Meeting
etaps-2019-TOOLympics14:56 - 15:07
Meeting
etaps-2019-TOOLympics15:07 - 15:18
Meeting
etaps-2019-TOOLympics15:18 - 15:30
Meeting
hsb-2019-papers
14:00 - 15:30: HSB - VII at HSB
dice-fopara-2019-papers
14:00 - 15:30: DICE-FOPARA - VII at DICE-FOPARA
galop-2019-papers
14:00 - 15:30: GaLoP - VII at GaLoP
etaps-2019-TOOLympics
16:00 - 18:00: TOOLympics - 25 Years TACAS at TOOLympics-Large
crest-2019-papers
16:00 - 18:00: CREST - IV at CREST
hcvs-2019-papers
16:00 - 18:00: HCVS - IV at HCVS
places-2019-papers
16:00 - 18:00: PLACES - IV at PLACES
galop-2019-papers
16:00 - 18:00: GaLoP - VIII at GaLoP
hsb-2019-papers
16:00 - 18:00: HSB - VIII at HSB
dice-fopara-2019-papers
16:00 - 18:00: DICE-FOPARA - VIII at DICE-FOPARA
etaps-2019-ETAPS-Mentoring-Workshop
16:30 - 17:30: Mentoring Workshop - Afternoon Session II at Mentoring
etaps-2019-ETAPS-Mentoring-Workshop16:30 - 17:00
Talk
Mira MeziniTU Darmstadt, Germany
etaps-2019-ETAPS-Mentoring-Workshop17:00 - 17:30
Talk
Stephanie BalzerCarnegie Mellon University, Barbora BuhnovaMasaryk University, Juliana FrancoMicrosoft Research, Cambridge

Mon 8 Apr

etaps-2019-Keynotes
09:00 - 10:00: Keynotes - Chechik at ESOP
etaps-2019-Keynotes09:00 - 10:00
Talk
Marsha ChechikUniversity of Toronto
fossacs-2019-papers
10:30 - 12:30: FOSSACS 2019 - Applied Categories at FoSSaCS
fossacs-2019-papers10:30 - 11:00
Talk
fossacs-2019-papers11:00 - 11:30
Talk
Andrea Corradini, Tobias Heindel, Barbara KönigUniversity of Duisburg-Essen, Dennis NolteUniversity of Duisburg-Essen, Arend RensinkUniversity of Twente, The Netherlands
fossacs-2019-papers11:30 - 12:00
Talk
fossacs-2019-papers12:00 - 12:30
Talk
Aleks KissingerRadboud University, Bart JacobsRadboud University Nijmegen, Fabio ZanasiUniversity College London
esop-2019-papers
10:30 - 12:30: ESOP 2019 - Program Verification at ESOP
esop-2019-papers10:30 - 11:00
Talk
Glen Mével, Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud, François PottierInria, France
esop-2019-papers11:00 - 11:30
Talk
Guido MartínezCIFASIS-CONICET, Argentina, Danel AhmanUniversity of Ljubljana, Victor Dumitrescu, Nick GiannarakisPrinceton University, Chris HawblitzelMicrosoft Research, Cătălin HriţcuInria Paris, Monal Narasimhamurthy, Zoe ParaskevopoulouPrinceton University, Clément Pit-ClaudelMIT CSAIL, Jonathan ProtzenkoMicrosoft Research, Redmond, Tahina RamananandroMicrosoft Research, n.n., Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research
esop-2019-papers11:30 - 12:00
Talk
Dan FruminRadboud University, Léon GondelmanLRI, Université Paris-Sud, Robbert KrebbersDelft University of Technology
esop-2019-papers12:00 - 12:30
Talk
Ismail KuruDrexel University, Colin GordonDrexel University
tacas-2019-papers
10:30 - 12:30: TACAS 2019 - SAT and SMT I at TACAS
tacas-2019-papers10:30 - 11:00
Talk
tacas-2019-papers11:00 - 11:30
Talk
Muhammad OsamaEindhoven University of Technology, Anton WijsEindhoven University of Technology
tacas-2019-papers11:30 - 12:00
Talk
Marijn Heule, Benjamin KieslCISPA Helmholtz Center for Information Security, Armin BiereJohannes Kepler University Linz
tacas-2019-papers12:00 - 12:30
Talk
Rahul Gupta, Shubham Sharma, Subhajit RoyIIT Kanpur, India, Kuldeep S. MeelNational University of Singapore
fossacs-2019-papers
14:00 - 16:00: FOSSACS 2019 - Categories and (Co)algebra at FoSSaCS
fossacs-2019-papers14:00 - 14:30
Talk
fossacs-2019-papers14:30 - 15:00
Talk
Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław
fossacs-2019-papers15:00 - 15:30
Talk
Thorsten Wißmann, Jérémy Dubut, Shin-ya KatsumataNational Institute of Informatics, Ichiro HasuoNational Institute of Informatics
fossacs-2019-papers15:30 - 16:00
Talk
Simone Barlocco, Clemens KupkeUniversity of Strathclyde, Jurriaan RotRadboud University Nijmegen
esop-2019-papers
14:00 - 16:00: ESOP 2019 - Language Design at ESOP
esop-2019-papers14:00 - 14:30
Talk
Paul DownenUniversity of Oregon, USA, Zachary Sullivan, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft, UK
esop-2019-papers14:30 - 15:00
Talk
Li-yao XiaENS Paris, Dominic OrchardUniversity of Kent, UK, Meng WangUniversity of Bristol, UK
esop-2019-papers15:00 - 15:30
Talk
esop-2019-papers15:30 - 16:00
Talk
tacas-2019-papers
14:00 - 16:00: TACAS 2019 - Verification and Analysis at TACAS
tacas-2019-papers14:00 - 14:30
Talk
Junkil Park, Miroslav PajicDuke University, Oleg SokolskyUniversity of Pennsylvania, USA, Insup Lee
tacas-2019-papers14:30 - 15:00
Talk
Maria ChristakisMPI-SWS, Matthias HeizmannUniversity of Freiburg, Muhammad Numair MansurMax Planck Institute for Software Systems (MPI-SWS), Christian SchillingIST Austria, Valentin WüstholzConsenSys Diligence
tacas-2019-papers15:00 - 15:30
Talk
tacas-2019-papers15:30 - 16:00
Talk
Christian SternagelUniversity of Innsbruck, Austria, Akihisa Yamada
tacas-2019-papers
16:30 - 18:00: TACAS 2019 - SAT Solving and Theorem Proving at TACAS
tacas-2019-papers16:30 - 17:00
Talk
Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue ChenBirkbeck, University of London
tacas-2019-papers17:00 - 17:30
Talk
Wenxi Wang, Kaiyuan WangGoogle, Inc., Milos GligoricUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin
tacas-2019-papers17:30 - 18:00
Talk
etaps-2019-Tutorials
16:30 - 18:00: Tutorials - Tinelli at FoSSaCS
etaps-2019-Tutorials16:30 - 18:00
Talk
Cesare TinelliUniversity of Iowa
etaps-2019-ETAPS-Mentoring-Workshop
17:00 - 18:00: Mentoring Workshop - Vitek at ESOP
etaps-2019-ETAPS-Mentoring-Workshop17:00 - 18:00
Talk
Jan VitekNortheastern University and Czech Technical University

Tue 9 Apr

etaps-2019-Keynotes
09:00 - 10:00: Keynotes - Colcombet at FoSSaCS
etaps-2019-Keynotes09:00 - 10:00
Talk
Thomas ColcombetIRIF, University Paris Diderot and CNRS, France
fossacs-2019-papers
10:30 - 12:30: FOSSACS 2019 - Semantics at FoSSaCS
fossacs-2019-papers10:30 - 11:00
Talk
fossacs-2019-papers11:00 - 11:30
Talk
Dariusz BiernackiUniversity of Wrocław, Sergueï LengletUniversity of Lorraine, France, Piotr PolesiukUniversity of Wrocław
fossacs-2019-papers11:30 - 12:00
Talk
Cristina Matache, Sam StatonUniversity of Oxford
fossacs-2019-papers12:00 - 12:30
Talk
Thomas Leventis, Michele PaganiUniversity Paris Diderot
fase-2019-papers
10:30 - 12:30: FASE 2019 - Software Verification I at FASE
fase-2019-papers10:30 - 11:00
Talk
Tobias RungeTU Braunschweig, Ina SchaeferTechnische Universität Braunschweig, Loek CleophasEindhoven University of Technology (TU/e) and Stellenbosch University, Thomas ThümTU Braunschweig, Germany, Derrick KourieStellenbosch University, Bruce W Watson
fase-2019-papers11:00 - 11:30
Talk
Joonyoung Park, Alexander JordanOracle Labs, Australia, Sukyoung RyuKAIST, South Korea
fase-2019-papers11:30 - 12:00
Talk
Min ZhangEast China Normal University, Fu Song, Frederic MalletUniversité Côte d'Azur, France, Xiaohong Chen
fase-2019-papers12:00 - 12:30
Talk
Rolf HennickerLudwig Maximilians University Munich, Germany, Alexandre Madeira, Alexander Knapp
esop-2019-papers
10:30 - 12:30: ESOP 2019 - Types at ESOP
esop-2019-papers10:30 - 11:00
Talk
Taro SekiyamaNational Institute of Informatics, Atsushi IgarashiKyoto University, Japan
esop-2019-papers11:00 - 11:30
Talk
Xuan BiThe University of Hong Kong, Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong, Tom SchrijversKU Leuven
esop-2019-papers11:30 - 12:00
Talk
esop-2019-papers12:00 - 12:30
Talk
esop-2019-papers
14:00 - 16:00: ESOP 2019 - Program Semantics at ESOP
esop-2019-papers14:00 - 14:30
Talk
Dylan McDermottUniversity of Cambridge, Alan MycroftUniversity of Cambridge
esop-2019-papers14:30 - 15:00
Talk
Ugo Dal LagoUniversity of Bologna / Inria, Francesco Gavazzo
esop-2019-papers15:00 - 15:30
Talk
Samuele BuroUniversità degli Studi di Verona, Isabella MastroeniUniversity of Verona, Italy
esop-2019-papers15:30 - 16:00
Talk
Simon CastellanImperial College London, UK, Hugo PaquetUniversity of Cambridge
fossacs-2019-papers
14:00 - 16:00: FOSSACS 2019 - Resource Logics at FoSSaCS
fossacs-2019-papers14:00 - 14:30
Talk
fossacs-2019-papers14:30 - 15:00
Talk
fossacs-2019-papers15:00 - 15:30
Talk
Simon CastellanImperial College London, UK, Nobuko YoshidaImperial College London
fossacs-2019-papers15:30 - 16:00
Talk
Aurore Alcolei, Pierre ClairambaultCNRS & ENS Lyon, Olivier LaurentCNRS & ENS Lyon
tacas-2019-papers
14:00 - 15:00: TACAS 2019 - Synthesis at FASE
tacas-2019-papers14:00 - 14:15
Talk
Étienne AndréLIPN, CNRS UMR 7030, Université Paris 13, Vincent BloemenUniversity of Twente, Laure PetrucciUniversité Paris 13, Jaco van de PolAarhus University
tacas-2019-papers14:15 - 14:30
Talk
tacas-2019-papers14:30 - 14:45
Talk
Nathalie CauchiUniversity of Oxford, Alessandro AbateUniversity of Oxford
tacas-2019-papers14:45 - 15:00
Talk
tacas-2019-papers
14:00 - 16:00: TACAS 2019 - Tool Demos at TACAS
tacas-2019-papers14:00 - 14:15
Talk
Florian Messner, Christian SternagelUniversity of Innsbruck, Austria
tacas-2019-papers14:15 - 14:30
Talk
Arnd HartmannsUniversity of Twente, Michaela KlauckSaarland Informatics Campus, Saarland University, David ParkerUniversity of Birmingham, Tim Quatmann, Enno Ruijters
tacas-2019-papers14:30 - 14:45
Talk
Bo-Yuan HuangPrinceton University, USA, Hongce Zhang, Aarti GuptaPrinceton University, Sharad MalikPrinceton University
tacas-2019-papers14:45 - 15:00
Talk
tacas-2019-papers15:00 - 15:15
Talk
Yu-Fang ChenAcademia Sinica, Yong LiInstitute of Software, Chinese Academy of Sciences, Xuechao Sun, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Junnan Xu
tacas-2019-papers15:15 - 15:30
Talk
tacas-2019-papers15:30 - 15:45
Talk
Marco Bozzano, Harold Bruintjes, Alessandro CimattiFondazione Bruno Kessler, Joost-Pieter KatoenRWTH Aachen University, Thomas NollRWTH Aachen University, Stefano TonettaFondazione Bruno Kessler, Italy
tacas-2019-papers15:45 - 16:00
Talk
Gianluca BarbonUniversit� Grenoble Alpes, Inria, LIG, Vincent LeroyUniversity of Grenoble - CNRS, Gwen SalaŸnUniversity of Grenoble Alpes
etaps-2019-Tutorials
16:30 - 18:00: Tutorials - Beyer at ESOP
etaps-2019-Tutorials16:30 - 18:00
Talk
Dirk BeyerLMU Munich
tacas-2019-papers
16:30 - 18:00: TACAS 2019 - Machine Learning at TACAS
tacas-2019-papers16:30 - 17:15
Talk
Ernst Moritz HahnQueen's University Belfast, Mateo Perez, Sven ScheweUniversity of Liverpool, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
tacas-2019-papers17:15 - 18:00
Talk
Nathan FultonMIT-IBM Watson AI Lab, André PlatzerCarnegie Mellon University
etaps-2019-ETAPS-Mentoring-Workshop
17:00 - 18:00: Mentoring Workshop - Reps at FASE
etaps-2019-ETAPS-Mentoring-Workshop17:00 - 18:00
Talk
Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.

Wed 10 Apr

etaps-2019-Keynotes
09:00 - 10:00: Keynotes - Fisher at ESOP
etaps-2019-Keynotes09:00 - 10:00
Talk
Kathleen FisherTufts University
fossacs-2019-papers
10:30 - 12:30: FOSSACS 2019 - Fixed-point Logics at FoSSaCS
fossacs-2019-papers10:30 - 11:00
Talk
Daniel Hausmann, Lutz SchöderFAU Erlangen-Nürnberg, Lehrstuhl 8
fossacs-2019-papers11:00 - 11:30
Talk
Benedikt BolligCNRS, LSV, ENS Paris-Saclay, Patricia BouyerLSV, CNRS & ENS Cachan, University Paris Saclay, Fabian Reiter
fossacs-2019-papers11:30 - 12:00
Talk
fossacs-2019-papers12:00 - 12:30
Talk
fase-2019-papers
10:30 - 12:30: FASE 2019 - Model-driven Development and Model Transformation at FASE
fase-2019-papers10:30 - 11:00
Talk
Philip Zweihoff, Stefan Naujokat, Bernhard SteffenTechnical University Dortmund
fase-2019-papers11:00 - 11:30
Talk
Lars Fritsche, Jens Kosiol, Andy SchürrTU Darmstadt, Gabriele TaentzerUniversität Marburg
fase-2019-papers11:30 - 12:00
Talk
Artur BoronatUniversity of Leicester
fase-2019-papers12:00 - 12:30
Talk
Sven Schneider, Leen Lambers, Fernando OrejasUniversitat Politècnica de Catalunya, Spain
esop-2019-papers
10:30 - 12:30: ESOP 2019 - Security and Incremental Computation at ESOP
esop-2019-papers10:30 - 11:00
Talk
Marco PatrignaniSaarland University & CISPA, Deepak GargMax Planck Institute for Software Systems
esop-2019-papers11:00 - 11:30
Talk
Frédéric Besson, Sandrine BlazyUniv Rennes- IRISA, Alexandre Dang, Thomas P. JensenINRIA Rennes, Pierre WilkeYale University
esop-2019-papers11:30 - 12:00
Talk
Michael Peyton JonesIOHK, Mario Alvarez-PicalloUniversity of Oxford, Alexander Eyers-TaylorSemmle, Luke OngUniversity of Oxford
esop-2019-papers12:00 - 12:30
Talk
Paolo G. GiarrussoEPFL, Switzerland, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Philipp SchusterUniversity of Tübingen, Germany
etaps-2019-Social
12:30 - 14:00: Social - General Assembly at ESOP
etaps-2019-Social12:30 - 14:00
Meeting
fossacs-2019-papers
14:00 - 16:00: FOSSACS 2019 - Automata at FoSSaCS
fossacs-2019-papers14:00 - 14:30
Talk
fossacs-2019-papers14:30 - 15:00
Talk
Helmut SeidlTechnische Universität München, Raphaela Palenta, Sebastian Maneth
fossacs-2019-papers15:00 - 15:30
Talk
fossacs-2019-papers15:30 - 16:00
Talk
Dietrich Kuske, Georg ZetzscheMax Planck Institute for Software Systems (MPI-SWS)
esop-2019-papers
14:00 - 16:00: ESOP 2019 - Concurrency and Distribution at ESOP
esop-2019-papers14:00 - 14:30
Talk
Laura BocchiUniversity of Kent, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko YoshidaImperial College London
esop-2019-papers14:30 - 15:00
Talk
Stephanie BalzerCarnegie Mellon University, Bernardo ToninhoNOVA-LINCS, FCT/UNL, Frank PfenningCarnegie Mellon University, USA
esop-2019-papers15:00 - 15:30
Talk
Ken Sakayori, Takeshi TsukadaUniversity of Tokyo, Japan
esop-2019-papers15:30 - 16:00
Talk
tacas-2019-papers
14:00 - 16:00: TACAS 2019 - Concurrent and Distributed Systems at TACAS
tacas-2019-papers14:00 - 14:30
Talk
Marius BozgaVerimag/CNRS, Radu IosifVERIMAG, CNRS, Université Grenoble-Alpes, Joseph SifakisVerimag/CNRS
tacas-2019-papers14:30 - 15:00
Talk
tacas-2019-papers15:00 - 15:30
Talk
Si Liu, Peter Ölveczky, Min ZhangEast China Normal University, Qi Wang, José Meseguer
tacas-2019-papers15:30 - 16:00
Talk
fase-2019-papers
14:00 - 16:00: FASE 2019 - Software Verification II at FASE
fase-2019-papers14:00 - 14:30
Talk
fase-2019-papers14:30 - 15:00
Talk
Aleksandar S. DimovskiIT University of Copenhagen, Denmark, Axel LegayINRIA Rennes, Andrzej WąsowskiIT University of Copenhagen, Denmark
fase-2019-papers15:00 - 15:30
Talk
Huang Li, Eun-Young KangUniversity of Southern Denmark
fase-2019-papers15:30 - 16:00
Talk
Himanshu Arora, Raghavan KomondoorIndian Institute of Science, Bangalore, G. RamalingamMicrosoft Research
etaps-2019-ETAPS-Mentoring-Workshop
17:00 - 18:00: Mentoring Workshop - Wilhelm at FASE
etaps-2019-ETAPS-Mentoring-Workshop17:00 - 18:00
Talk
Reinhard WilhelmSaarland University

Thu 11 Apr

etaps-2019-Keynotes
09:00 - 10:00: Keynotes - Flanagan at TACAS
etaps-2019-Keynotes09:00 - 10:00
Talk
Cormac FlanaganUniversity of California, Santa Cruz
post-2019-papers
10:30 - 12:30: POST 2019 - Covert Channels and Information Flow at POST
post-2019-papers10:30 - 11:00
Talk
Marco VassenaChalmers University of Technology, Gary Soeller, Peter Amidon, Matthew Chan, John RennerUniversity of California, San Diego, Deian StefanUniversity of California San Diego
post-2019-papers11:00 - 11:30
Talk
Tachio TerauchiWaseda University, Timos AntonopoulosYale University
post-2019-papers11:30 - 12:00
Talk
Søren Eller ThomsenAarhus University, Aslan AskarovAarhus University, Simon GregersenAarhus University
post-2019-papers12:00 - 12:30
Talk
Andrew Ruef, Ian Sweet, Leonidas LampropoulosUniversity of Pennsylvania, Michael HicksUniversity of Maryland, College Park, David Tarditi
tacas-2019-papers
10:30 - 12:30: TACAS 2019 - Hybrid and Stochastic Systems at TACAS
tacas-2019-papers10:30 - 11:00
Talk
Satoshi Kura, Natsuki Urabe, Ichiro HasuoNational Institute of Informatics
tacas-2019-papers11:00 - 11:30
Talk
tacas-2019-papers11:30 - 12:00
Talk
Milan CeskaBrno University of Technology , Nils JansenRWTH Aachen University, Sebastian JungesRWTH Aachen University, Germany, Joost-Pieter KatoenRWTH Aachen University
tacas-2019-papers12:00 - 12:30
Talk
esop-2019-papers
10:30 - 12:30: ESOP 2019 - Program Analysis and Automated Verification at FoSSaCS
esop-2019-papers10:30 - 11:00
Talk
esop-2019-papers11:00 - 11:30
Talk
esop-2019-papers11:30 - 12:00
Talk
esop-2019-papers12:00 - 12:30
Talk
Henning Basold, Ekaterina KomendantskayaHeriot-Watt University, UK, Yue LiHeriot-Watt University, UK
fase-2019-papers
10:30 - 12:30: FASE 2019 - Software Evolution & Requirements Engineering at FASE
fase-2019-papers10:30 - 11:00
Talk
Lawton Nichols, Mehmet EmreUniversity of California, Santa Barbara, Ben HardekopfUC Santa Barbara
fase-2019-papers11:00 - 11:30
Talk
fase-2019-papers11:30 - 12:00
Talk
Holger GieseHasso Plattner Institute, University of Potsdam, Maria Maximova, Lucas Sakizloglou, Sven Schneider
fase-2019-papers12:00 - 12:15
Talk
Qian Jiaqi, Min ZhangEast China Normal University, Yi WangShenzhen University, Kazuhiro Ogata
fase-2019-papers12:15 - 12:30
Talk
post-2019-papers
14:00 - 16:00: POST 2019 - Privacy and Protocols at POST
post-2019-papers14:00 - 14:30
Talk
Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research, Michael HicksUniversity of Maryland, College Park
post-2019-papers14:30 - 15:00
Talk
post-2019-papers15:00 - 15:30
Talk
post-2019-papers15:30 - 16:00
Talk
tacas-2019-papers
14:00 - 16:00: TACAS 2019 - Safety and Fault-tolerant Systems at TACAS
tacas-2019-papers14:00 - 14:30
Talk
tacas-2019-papers14:30 - 15:00
Talk
Ilina StoilkovskaVienna University of Technology , Igor KonnovInria Nancy, Josef WidderTU Wien, Florian ZulegerVienna University of Technology
tacas-2019-papers15:00 - 15:30
Talk
Pablo CastroDept. of Computer Science FCEFQyN, University of Rio Cuarto, Pedro D'Argenio, Ramiro Demasi, Luciano Putruele
tacas-2019-papers15:30 - 16:00
Talk
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
fase-2019-papers
14:00 - 16:00: FASE 2019 - Specification, Design, and Implementation of Particular Classes of Systems at FASE
fase-2019-papers14:00 - 14:30
Talk
Chao PengUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh
fase-2019-papers14:30 - 15:00
Talk
Nikolaos Bezirgiannis, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Einar Broch JohnsenUniversity of Oslo, Ka I Pun, Silvia Lizeth Tapia TarifaUniversity of Oslo
fase-2019-papers15:00 - 15:30
Talk
Mario BravettiUniversità di Bologna, Saverio GiallorenzoUniversity of Southern Denmark, Jacopo MauroUniversity of Southern Denmark, Iacopo Talevi, Gianluigi Zavattaro
fase-2019-papers15:30 - 16:00
Talk
tacas-2019-papers
16:30 - 18:00: TACAS 2019 - Monitoring and Runtime Verification at TACAS
tacas-2019-papers16:30 - 17:00
Talk
tacas-2019-papers17:00 - 17:30
Talk
Joshua DawesUniversity of Manchester and CERN, Giles RegerUniversity of Manchester, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi
tacas-2019-papers17:30 - 18:00
Talk
fase-2019-papers
16:30 - 18:00: FASE 2019 - Software Testing at FASE
fase-2019-papers16:30 - 17:00
Talk
Dirk BeyerLMU Munich, Marie-Christine JakobsLMU, Munich, Germany
fase-2019-papers17:00 - 17:30
Talk
Golnaz Gharachorlu, Nick SumnerSimon Fraser University
fase-2019-papers17:30 - 18:00
Talk
Pablo PonzioDept. of Computer Science FCEFQyN, University of Rio Cuarto, Valeria BengoleaDept. of Computer Science FCEFQyN, University of Rio Cuarto, Mariano Politano, Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. FriasDept. of Software Engineering Instituto Tecnológico de Buenos Aires
fossacs-2019-papers
16:30 - 17:00: FOSSACS 2019 - Verification (continued) at FoSSaCS
fossacs-2019-papers16:30 - 17:00
Talk
Mnacho Echenim, Radu IosifVERIMAG, CNRS, Université Grenoble-Alpes, Nicolas Peltier

Sat 6 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
BEHAPI
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
DICE-FOPARA
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
GaLoP
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
HSB
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
InterAVT
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
LiVe
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
MeTRiD
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
Mentoring
PERR
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
QAPL
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
SynCoP
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
TOOLympics-Large
TOOLympics-SmallA
TOOLympics-SmallB
VerifyThis
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00

Sun 7 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
CREST
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
DICE-FOPARA
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
GaLoP
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
HCVS
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
HSB
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
Mentoring
PLACES
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
QAPL
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
SPIoT
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
SYNT camp
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
SynCoP
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00
TOOLympics-Large
09:00 - 10:30
TOOLympics-SmallB
VerifyThis
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00

Mon 8 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
ESOP
14:00 - 16:00
FoSSaCS
TACAS
10:30 - 12:30

Tue 9 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
ESOP
10:30 - 12:30
FASE
14:00 - 15:00
FoSSaCS
10:30 - 12:30
TACAS
10:30 - 12:30
14:00 - 16:00

Mon 8 Apr 2019

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
ESOP
FoSSaCS
TACAS

Tue 9 Apr 2019

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
ESOP
11:30 - 12:00
FASE
FoSSaCS
TACAS
15:30 - 15:45

Wed 10 Apr 2019

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
ESOP
FASE
FoSSaCS
TACAS

Thu 11 Apr 2019

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
FASE
FoSSaCS
POST
TACAS
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)