FM 2016: 21ST INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
PROGRAM FOR FRIDAY, NOVEMBER 11TH: 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
15:30
16:00
16:30
17:00
17:30
18:00
10:30-11:00
G. Nies, H. Hermanns, M. Stenger, M. Bisgaard, D. Gerhardt, J. Krčál
11:00-11:30
Heinrich Ody, Martin Fränzle, Michael R. Hansen
11:30-12:00
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad, Naijun Zhan
12:00-12:30
Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
14:00-14:30
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
14:30-15:00
Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
15:00-15:30
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep
15:30-16:00
Andrew Sogokon, Khalil Ghorbal, Taylor T Johnson
14:00-14:30
Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Néron, Benjamin Morin
14:30-15:00
Becker, Crespo, Galowicz, Hensel, Hirai, Kunz, Nakata, Sacchini, Tews, Tuerk
16:30-17:00
Zhe Hou, David Sanan, Alwen Tiu, Yang Liu, Koh Chuen Hoa
17:00-17:15
M. Hasanagic, P.G. Larsen, P. W. V. Tran-Jørgensen, K. Lausdahl
17:15-17:30
R. Mukherjee, S. Joshi, A. Griesmayer, D. Kroening, T. Melham
17:30-18:00
Christoph-Simon Senjak, Martin Hofmann
10:00-10:30 Coffee Break
12:30-14:00 Lunch Break
16:00-16:30 Coffee Break