FM 2016: 21ST INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
PROGRAM FOR THURSDAY, NOVEMBER 10TH: 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
10:30-11:00
Victor B. F. Gomes, Georg Struth
11:00-11:30
Gudmund Grov, Yuhui Lin, Vytautas Tumas
12:00-12:30
Bat-Chen Rothenberg, Orna Grumberg
10:30-11:00
P. Filipovikj, N. Mahmud, R. Marinescu, C. Seceleanu, O. Ljungkrantz, H. Lönn
11:00-11:30
Bjørnar Luteberget, Christian Johansen, Claus Feyling, Martin Steffen
11:30-12:00
Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate
12:00-12:30
R. Cavada, A. Cimatti, L. Crema, M. Roccabruna, S. Tonetta
14:00-14:30
Georgios Giantamidis, Stavros Tripakis
15:00-15:30
Dimitra Giannakopoulou, Dennis Guck, Johann Schumann
14:00-14:30
Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun
14:30-15:00
Yu Jiang, Han Liu, Hui Kong, Houbing Song, Ming Gu, Jiaguang Sun, Lui Sha
15:00-15:45 Industry Track, Panel Discussion: Formal Methods in Industry
16:30-17:30 Lucas Award Ceremony
10:00-10:30 Coffee Break
12:30-14:00 Lunch Break and FME Business Meeting
15:45-16:30 Coffee Break