PROGRAM FOR WEDNESDAY, JULY 18TH: TALK VIEW
Days:
previous day
next 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
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
20:00
20:30
21:00
21:30
10:00-10:30
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
09:50-10:30
Nicola Leone, Bernardo Cuteri, Marco Manna, Kristian Reale, Francesco Ricca
10:05-10:30
Tomas Fiedor, Lukas Holik, Petr Janku, Ondrej Lengal, Tomas Vojnar
09:45-10:30
Challenges on the Application of Formal Methods for Validation and Verification in Aerospace Systems
Alberto Ferrari
09:00-09:45
David Safranek
09:45-10:30
Federico Igne, Agostino Dovier, Enrico Pontelli
10:00-10:30
Graeme Smith, Kirsten Winter, Robert Colvin
09:00-09:30
Anders Schlichtkrull, Jørgen Villadsen, Andreas Halkjær From
09:30-10:00
Jørgen Villadsen, Andreas Halkjær From, Anders Schlichtkrull
09:00-09:30
Jochen Hoenicke, Alexander Nutz, Andreas Podelski
10:00-10:30
Radu Calinescu, Saud Yonbawi
10:00-10:30
Wieger Wesselink, Tim Willemse
11:00-11:30
Eugenio Orlandelli, Giovanna Corsi
11:30-12:00
Tomer Libal
12:00-12:30
Daniel Mery, Didier Galmiche
11:30-12:00
Manuel Bichler, Michael Morak, Stefan Woltran
12:00-12:30
Chiaki Sakama, Hien Nguyen, Taisuke Sato, Katsumi Inoue
11:00-11:30
Eduard Kamburjan
11:30-12:00
Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös
12:00-12:30
Radu Iosif, Cristina Serban
11:30-11:40
R. Costabile, A. Fiorentino, N. Leone, M. Manna, K. Reale, F. Ricca
11:00-12:05
Joachim Kneis, Alexander Langer, Peter Rossmanith
11:30-12:00
Pierre-Loïc Garoche
11:00-11:45
J. Dohrau, A. Summers, C. Urban, S. Münger, P. Müller
11:45-12:30
Yatin Manerkar, Daniel Lustig, Margaret Martonosi, Michael Pellauer
11:30-12:00
Marwa Ben Abdelali, Lamia Labed Jilani, Wided Ghardallou, Ali Mili
12:00-12:30
Mathieu Montin, Marc Pantel
11:18-11:36
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Leander Tentrup
11:36-11:54
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
11:54-12:12
Zexiang Liu, Necmiye Ozay, Nicolas Perrin
12:12-12:30
Abate, Bessa, Cattaruzza, Cordeiro, David, Kesseli, Kroening, Polgreen
11:45-12:30
Igor Konnov, Jure Kukovec, Thanh Hai Tran
11:00-11:30
Arie Gurfinkel, Temesghen Kahsai, Jorge A Navas
12:00-12:30
K. Even-Mendoza, S. Asadi, A. Hyvärinen, H. Chockler, N. Sharygina
11:00-11:30
Work-in-Progress: Adaptive Neighborhood Resizing for Stochastic Reachability in Distributed Flocking
Anna Lukina, Ashish Tiwari, Scott Smolka, Radu Grosu
11:30-12:00
T.S. Hoang, N. Sato, T. Myojin, M. Butler, Y. Nakagawa, H. Ogawa
14:00-14:30
Zeynep G. Saribatur, Thomas Eiter
15:10-15:20
Neng-Fa Zhou, Håkan Kjellerstrand
14:00-14:30
Paolo Zuliani
14:00-15:00
John Clark, David White
14:36-14:54
Mark Santolucito, Drew Goldman, Allyson Weseley, Ruzica Piskac
14:30-15:00
Jørgen Villadsen
15:00-15:30
Milad Ketab Ghale, Dirk Pattinson, Ramana Kumar
14:00-14:30
Alfons Geser, Dieter Hofbauer, Johannes Waldmann
14:30-15:00
Dieter Hofbauer
16:30-17:00
Alexander Steen, Christoph Benzmüller
16:30-17:00
Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie McCann
17:00-17:30
Jessica Petrasch, Jan-Hendrik Oepen, Sebastian Krings, Moritz Gericke
16:00-16:30
Filipe Gouveia, Ines Lynce, Pedro T. Monteiro
16:50-17:00
Thom Fruehwirth
17:00-17:10
Peter Van Roy
17:10-17:20
All Workshop Participants
16:00-16:25
Alan Frisch
16:45-17:15
Ian Wright, Jean Helie, Albert Ziegler
17:15-17:45
Ezra Winston, Bhuwan Dhingra, Kathryn Mazaitis, Graham Neubig, William Cohen
16:00-16:45
Tom van Dijk
16:45-17:30
Loredana Sorrentino, Aniello Murano, Rossella Arcucci, Umberto Marotta
16:00-16:45
Yanhong A. Liu, Scott D. Stoller, Saksham Chand, Xuetian Weng
16:00-16:30
H. Férée, J.. Pohjola, R. Kumar, S. Owens, M.O. Myreen, S. Ho
17:30-18:00
Paolo Torrini, David Nowak, Narjes Jomaa, Mohamed Sami Cherif
16:00-16:30
Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman
16:30-17:00
Mohammed Al-Nuaimi, Hongyang Qu, Sandor Veres
17:00-17:30
Gleifer Alves, Louise Dennis, Michael Fisher
16:00-18:00 Termination Competition (report and short talks)
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break
19:15-21:30 Workshops dinner at Magdalen College