FM 2016: 21ST INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
PROGRAM FOR WEDNESDAY, NOVEMBER 9TH: TALK VIEW
Days:
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
10:30-11:00
Ian J. Hayes, Robert Colvin, Larissa Meinicke, Kirsten Winter, Andrius Velykis
11:30-12:00
A. Holzer, D. Schwartz-Narbonne, M. Tabaei Befrouei, G. Weissenbacher, T. Wies
12:00-12:30
Artem Khyzha, Alexey Gotsman, Matthew Parkinson
14:00-14:30
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
14:30-15:00
Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Šafránek
15:00-15:30
Ofer Strichman, Maor Veitsman
15:30-15:45
Anton Wijs, Thomas Neele, Dragan Bosnacki
15:45-16:00
L. Astefanoaei, S. Bensalem, M. Bozga, C.-H. Cheng, H. Ruess
14:00-14:30
Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu
14:30-15:00
Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan
15:00-15:30
Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang
15:30-16:00
Alessandro Cimatti, Sergio Mover, Mirko Sessa
17:00-17:30
Pedro Antonino, Thomas Gibson-Robinson, Bill Roscoe
17:30-18:00
Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
16:30-17:00
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
17:00-17:30
Adel Djoudi, Sébastien Bardin, Éric Goubault
17:30-18:00
Saksham Chand, Annie Liu, Scott Stoller
10:00-10:30 Coffee Break
12:30-14:00 Lunch Break
16:00-16:30 Coffee Break