ATVA2019: 17TH INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
PROGRAM FOR THURSDAY, OCTOBER 31ST: TALK VIEW
Days:
previous day
all days

View: with abstractssession overview

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
09:00-10:00
Patricia Bouyer-Decitre
10:00-10:30 Coffee Break
10:30-11:00
C. Baier, F. Blahoudek, A. Duret-Lutz, J. Klein, D. Müller, J. Strejček
11:00-11:30
T. Brazdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan
11:30-12:00
Jip Spel, Sebastian Junges, Joost-Pieter Katoen
12:00-13:30 Lunch Break
13:30-14:00
Roderick Bloem, Swen Jacobs, Yakir Vizel
14:00-14:30
B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, E.-R. Olderog
14:30-15:00
Khoussi, Nouri, Shi, Benmohamed, Filliben, Battou, Bensalem
15:00-15:15 Closing and presentation of ATVA 2020