ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueOrea Hotel Pyramida
Room nameSUN I
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 8 Apr

etaps-2019-Social
08:40 - 09:00: Social - Opening at SUN I
etaps-2019-Social08:40 - 09:00
Social Event
Joost-Pieter KatoenRWTH Aachen University, Jan VitekNortheastern University and Czech Technical University, Jan KofroňCharles University
etaps-2019-Keynotes
09:00 - 10:00: Keynotes - Chechik at SUN I
Chair(s): Joost-Pieter KatoenRWTH Aachen University
etaps-2019-Keynotes09:00 - 10:00
Talk
Marsha ChechikUniversity of Toronto
Link to publication File Attached
tacas-2019-papers
10:30 - 12:30: TACAS 2019 - SAT and SMT I at SUN I
Chair(s): Lijun ZhangChinese Academy of Sciences
tacas-2019-papers10:30 - 11:00
Talk
Martin BlichaUSI Lugano, Switzerland, Antti Hyvärinen, Jan KofroňCharles University, Natasha SharyginaUSI Lugano, Switzerland
Link to publication
tacas-2019-papers11:00 - 11:30
Talk
Muhammad OsamaEindhoven University of Technology, Anton WijsEindhoven University of Technology
Link to publication
tacas-2019-papers11:30 - 12:00
Talk
Marijn HeuleThe University of Texas at Austin, Benjamin KieslCISPA Helmholtz Center for Information Security, Armin BiereJohannes Kepler University Linz
Link to publication
tacas-2019-papers12:00 - 12:30
Talk
Rahul Gupta, Shubham Sharma, Subhajit RoyIIT Kanpur, India, Kuldeep S. MeelNational University of Singapore
Link to publication
tacas-2019-papers
14:00 - 16:00: TACAS 2019 - Verification and Analysis at SUN I
Chair(s): Dirk BeyerLMU Munich
tacas-2019-papers14:00 - 14:30
Talk
Junkil ParkUniversity of Pennsylvania, Miroslav PajicDuke University, Oleg SokolskyUniversity of Pennsylvania, USA, Insup Lee
Link to publication
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
Link to publication
tacas-2019-papers15:00 - 15:30
Talk
Benjamin BispingTechnische Universität Berlin, Uwe Nestmann
Link to publication
tacas-2019-papers15:30 - 16:00
Talk
Christian SternagelUniversity of Innsbruck, Austria, Akihisa Yamada
Link to publication
tacas-2019-papers
16:30 - 18:00: TACAS 2019 - SAT Solving and Theorem Proving at SUN I
Chair(s): Armin BiereJohannes Kepler University Linz
tacas-2019-papers16:30 - 17:00
Talk
Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue ChenBirkbeck, University of London
Link to publication
tacas-2019-papers17:00 - 17:30
Talk
Wenxi WangThe University of Texas at Austin, Texas, USA, Kaiyuan WangGoogle, Inc., Milos GligoricUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin
Link to publication
tacas-2019-papers17:30 - 18:00
Talk
Link to publication

Tue 9 Apr

etaps-2019-Keynotes
09:00 - 10:00: Keynotes - Colcombet at SUN I
Chair(s): Mikolaj BojanczykUniversity of Warsaw
etaps-2019-Keynotes09:00 - 10:00
Talk
Thomas ColcombetIRIF, University Paris Diderot and CNRS, France
Link to publication File Attached
tacas-2019-papers
14:00 - 16:00: TACAS 2019 - Tool Demos at SUN I
Chair(s): Marius MikucionisAalborg University
tacas-2019-papers14:00 - 14:15
Talk
Florian Messner, Christian SternagelUniversity of Innsbruck, Austria
Link to publication
tacas-2019-papers14:15 - 14:30
Talk
Arnd HartmannsUniversity of Twente, Michaela KlauckSaarland Informatics Campus, Saarland University, David ParkerUniversity of Birmingham, Tim QuatmannRWTH Aachen University, Enno Ruijters
Link to publication
tacas-2019-papers14:30 - 14:45
Talk
Bo-Yuan HuangPrinceton University, USA, Hongce Zhang, Aarti GuptaPrinceton University, Sharad MalikPrinceton University
Link to publication
tacas-2019-papers14:45 - 15:00
Talk
Link to publication
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
Link to publication
tacas-2019-papers15:15 - 15:30
Talk
Margus VeanesMicrosoft Research, Olli Saarikivi, Eric XuMicrosoft, USA, Tiki Wan
Link to publication
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
Link to publication
tacas-2019-papers15:45 - 16:00
Talk
Gianluca BarbonUniversit� Grenoble Alpes, Inria, LIG, Vincent LeroyUniversity of Grenoble - CNRS, Gwen SalaünUniversity of Grenoble Alpes
Link to publication

Wed 10 Apr

etaps-2019-Keynotes
09:00 - 10:00: Keynotes - Fisher at SUN I
Chair(s): Luís CairesNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
etaps-2019-Keynotes09:00 - 10:00
Talk
Kathleen FisherTufts University
File Attached
tacas-2019-papers
10:30 - 12:30: TACAS 2019 - Concurrent and Distributed Systems at SUN I
Chair(s): Marieke HuismanUniversity of Twente
tacas-2019-papers10:30 - 11:00
Talk
Tom van DijkUniversity of Twente, Jeroen Meijer, Jaco van de PolAarhus University
Link to publication
tacas-2019-papers11:00 - 11:30
Talk
Si Liu, Peter Ölveczky, Min ZhangEast China Normal University, Qi Wang, José Meseguer
Link to publication
tacas-2019-papers11:30 - 12:00
Talk
Link to publication
tacas-2019-papers12:00 - 12:30
Talk
Marius BozgaVerimag/CNRS, Radu IosifVERIMAG, CNRS, Université Grenoble-Alpes, Joseph SifakisVerimag/CNRS
Link to publication
tacas-2019-papers
14:00 - 16:00: TACAS 2019 - Hybrid and Stochastic Systems at SUN I
Chair(s): Kim LarsenAalborg University
tacas-2019-papers14:00 - 14:30
Talk
Satoshi Kura, Natsuki Urabe, Ichiro HasuoNational Institute of Informatics
Link to publication
tacas-2019-papers14:30 - 15:00
Talk
Link to publication
tacas-2019-papers15:00 - 15:30
Talk
Milan CeskaBrno University of Technology , Nils JansenRWTH Aachen University, Sebastian JungesRWTH Aachen University, Germany, Joost-Pieter KatoenRWTH Aachen University
Link to publication
tacas-2019-papers15:30 - 16:00
Talk
Link to publication

Thu 11 Apr

etaps-2019-Keynotes
09:00 - 10:00: Keynotes - Flanagan at SUN I
Chair(s): Tomas VojnarBrno University of Technology
etaps-2019-Keynotes09:00 - 10:00
Talk
Cormac FlanaganUniversity of California, Santa Cruz
File Attached
tacas-2019-papers
10:30 - 12:30: TACAS 2019 - Synthesis at SUN I
Chair(s): Roland MeyerTechnical University of Braunschweig
tacas-2019-papers10:30 - 11:00
Talk
Link to publication
tacas-2019-papers11:00 - 11:30
Talk
Nathalie CauchiUniversity of Oxford, Alessandro AbateUniversity of Oxford
Link to publication
tacas-2019-papers11:30 - 12:00
Talk
Étienne AndréLIPN, CNRS UMR 7030, Université Paris 13, Vincent BloemenUniversity of Twente, Laure PetrucciUniversité Paris 13, Jaco van de PolAarhus University
Link to publication
tacas-2019-papers12:00 - 12:30
Talk
Link to publication
tacas-2019-papers
14:00 - 16:00: TACAS 2019 - Safety and Fault-tolerant Systems at SUN I
Chair(s): Rance CleavelandUniversity of Maryland
tacas-2019-papers14:00 - 14:30
Talk
Link to publication
tacas-2019-papers14:30 - 15:00
Talk
Ilina StoilkovskaVienna University of Technology , Igor KonnovInria Nancy, Josef WidderTU Wien, Florian ZulegerVienna University of Technology
Link to publication
tacas-2019-papers15:00 - 15:30
Talk
Pablo CastroDept. of Computer Science FCEFQyN, University of Rio Cuarto, Pedro D'Argenio, Ramiro Demasi, Luciano Putruele
Link to publication
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
Link to publication
tacas-2019-papers
16:30 - 18:00: TACAS 2019 - Monitoring and Runtime Verification at SUN I
Chair(s): Ondrej LengalBrno University of Technology
tacas-2019-papers16:30 - 17:00
Talk
Link to publication
tacas-2019-papers17:00 - 17:30
Talk
Joshua DawesUniversity of Manchester and CERN, Giles RegerUniversity of Manchester, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi
Link to publication
tacas-2019-papers17:30 - 18:00
Talk
Link to publication

Mon 8 Apr 2019

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
SUN I
08:40 - 09:00
10:30 - 12:30

Tue 9 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
SUN I
10:30 - 12:30
14:00 - 16:00
16:30 - 18:00

Wed 10 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
SUN I

Thu 11 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
SUN I
10:30 - 12:30