TAPAS 2019: THE TENTH WORKSHOP ON TOOLS FOR AUTOMATIC PROGRAM ANALYSIS
PROGRAM FOR TUESDAY, OCTOBER 8TH: TALK VIEW

View: with abstractssession overview

9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
09:15-09:30 Welcome
10:00-10:30 Coffee break
10:30-11:00
Deni Raco, Bernhard Rumpe, Sebastian Stüber
11:00-11:30
Robert Husák, Jan Kofron, Filip Zavoral
11:30-12:00
Goran Piskachev, Tobias Petrasch, Johannes Späth, Eric Bodden
12:00-12:30
Christophe Alias
12:30-14:00 Lunch
15:00-15:30 Coffee break
16:00-16:30
Isabel Garcia-Contreras, Jose F. Morales, Manuel V. Hermenegildo
16:30-17:00
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas Cordeiro
17:00-17:30
Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikolas Janota