PROGRAM FOR THURSDAY, JULY 12TH: 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
09:00-09:30
Christian Doczkal, Guillaume Combette, Damien Pous
09:30-10:00
Simon Jantsch, Michael Norrish
10:00-10:30
Yannick Forster, Edith Heiter, Gert Smolka
09:00-09:20
Takeshi Tsukada, Kazuyuki Asada, Luke Ong
09:40-10:00
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
10:00-10:20
Amar Hadzihasanovic, Kang Feng Ng, Quanlong Wang
10:20-10:40
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
09:00-09:20
Francesco Gavazzo
10:20-10:40
Andreas Nuyts, Dominique Devriese
09:30-10:00
P. Malacaria, M. Khouzani, C. Pasareanu, Q.-S. Phan, K. Luckow
10:00-10:30
Gilles Barthe, Benjamin Grégoire, Vincent Laporte
10:00-10:30
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
10:50-11:15
Hoang-Dung Tran, Weiming Xiang, Stanley Bak, Taylor T Johnson
11:15-11:40
Manish Goyal, Parasara Sridhar Duggirala
12:05-12:30
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
10:50-11:15
Kwesi Rutledge, Sze Zheng Yong, Necmiye Ozay
11:15-11:40
Carlos Renato Vazquez, David Gómez-Gutiérrez, Antonio Ramirez-Trevino
11:40-12:05
Gabriella Fiore, Elena De Santis, Giordano Pola, Maria Domenica Di Benedetto
12:05-12:30
Kanishka Raj Singh, Yuhao Ding, Necmiye Ozay, Sze Zheng Yong
11:00-11:30
Vincent Cheval, Veronique Cortier, Mathieu Turuani
11:30-12:00
Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
11:00-11:30
Mauricio Ayala-Rincon, Maribel Fernandez, Daniele Nantes-Sobrinho
12:00-12:30
Dominique Larchey-Wendling
11:00-11:30
Shubhani Gupta, Aseem Saxena, Anmol Mahajan, Sorav Bansal
11:30-12:00
A. Cimatti, A. Griggio, A. Irfan, M. Roveri, R. Sebastiani
11:00-11:30
Martin Brain, Florian Schanda, Youcheng Sun
11:30-12:00
Peter Backeman, Aleksandar Zeljić, Philipp Ruemmer, Christoph M. Wintersteiger
12:20-12:40
Albert Atserias, Joanna Ochremiak
14:00-14:25
Alexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon, Thao Dang
14:50-15:15
Computing Controlled Invariant Sets for Hybrid Systems with Applications to Model-Predictive Control
Benoît Legat, Paulo Tabuada, Raphaël M. Jungers
15:15-15:40
Francesco Smarra, Achin Jain, Rahul Mangharam, Alessandro D'Innocenzo
14:00-14:25
de Oliveira, Varma, Postoyan, Morarescu, Daafouz, Costa
14:25-14:50
I.C. Morarescu, V.S. Varma, L. Busoniu, S. Lasaulce
14:50-15:15
Yorai Wardi, Carla Seatzu, Magnus Egerstedt
15:15-15:40
Xiangyu Meng, Arian Houshmand, Christos G. Cassandras
14:00-15:00 FSCD General Meeting
14:00-14:20
Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin
14:40-15:00
T. Brazdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, F. Zuleger
15:20-15:40
André Platzer, Yong Kiam Tan
14:40-15:00
Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff
15:00-15:20
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
14:30-15:00
Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
15:00-15:30
S. Korneev, N. Narodytska, L. Pulina, A. Tacchella, N. Bjorner, M. Sagiv
15:00-15:30
Zarathustra Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban
16:00-16:30
Aoto, Hamana, Hirokawa, Middeldorp, Nagele, Nishida, Shintani, Zankl
16:30-17:00
Manuel Eberl, Max W. Haslbeck, Tobias Nipkow
16:00-16:30
Leonardo Alt, Christian Reitwiessner
16:30-17:00
Guillaume Bury, David Delahaye, Simon Cruanes
17:00-17:30
Reynolds, Barbosa, Niemetz, Noetzli, Preiner, Barrett, Tinelli
16:10-16:35
A. Krishnan, M.I. Sampath, Y.S.E. Foo, B. Patil, H.B. Gooi
16:35-17:00
Amanda Abreu, Romain Bourdais, Herve Gueguen
17:00-17:25
Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid
16:10-16:35
Kengo Kido, Sean Sedwards, Ichiro Hasuo
16:35-17:00
Zohra Kader, Antoine Girard, Adnane Saoud
17:00-17:25
Adrien Le Coent, Laurent Fribourg, Jonathan Vacher
16:30-17:00
Joerg Endrullis, Jan Willem Klop, Roy Overbeek
17:00-18:00 ITP Business Meeting
17:00-17:15
Catuscia Palamidessi
19:45-21:30 ADHS Banquet at Balliol College
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break