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

Mon 8 Apr

tacas-2019-papers
10:30 - 12:30: TACAS 2019 - SAT and SMT I at Room TA
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
tacas-2019-papers
14:00 - 16:00: TACAS 2019 - Verification and Analysis at Room TA
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 Room TA
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

Tue 9 Apr

tacas-2019-papers
14:00 - 16:00: TACAS 2019 - Tool Demos at Room TA
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

Wed 10 Apr

tacas-2019-papers
10:30 - 12:30: TACAS 2019 - Concurrent and Distributed Systems at Room TA
tacas-2019-papers10:30 - 11:00
Talk
tacas-2019-papers11:00 - 11:30
Talk
Si Liu, Peter Ölveczky, Min ZhangEast China Normal University, Qi Wang, José Meseguer
tacas-2019-papers11:30 - 12:00
Talk
tacas-2019-papers12:00 - 12:30
Talk
Marius BozgaVerimag/CNRS, Radu IosifVERIMAG, CNRS, Université Grenoble-Alpes, Joseph SifakisVerimag/CNRS
tacas-2019-papers
14:00 - 16:00: TACAS 2019 - Hybrid and Stochastic Systems at Room TA
tacas-2019-papers14:00 - 14:30
Talk
Satoshi Kura, Natsuki Urabe, Ichiro HasuoNational Institute of Informatics
tacas-2019-papers14:30 - 15:00
Talk
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
tacas-2019-papers15:30 - 16:00
Talk

Thu 11 Apr

etaps-2019-Keynotes
09:00 - 10:00: Keynotes - Flanagan at Room TA
etaps-2019-Keynotes09:00 - 10:00
Talk
Cormac FlanaganUniversity of California, Santa Cruz
tacas-2019-papers
10:30 - 12:30: TACAS 2019 - Synthesis at Room TA
tacas-2019-papers10:30 - 11:00
Talk
tacas-2019-papers11:00 - 11:30
Talk
Nathalie CauchiUniversity of Oxford, Alessandro AbateUniversity of Oxford
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
tacas-2019-papers12:00 - 12:30
Talk
tacas-2019-papers
14:00 - 16:00: TACAS 2019 - Safety and Fault-tolerant Systems at Room TA
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
tacas-2019-papers
16:30 - 18:00: TACAS 2019 - Monitoring and Runtime Verification at Room TA
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

Mon 8 Apr 2019

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Room TA
10:30 - 12:30

Tue 9 Apr 2019

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Room TA
10:30 - 12:30
14:00 - 16:00
16:30 - 18:00

Wed 10 Apr 2019

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Room TA

Thu 11 Apr 2019

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