FM24: 26TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
PROGRAM FOR FRIDAY, SEPTEMBER 13TH: 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
10:00-10:20
James Baxter, Gustavo Carvalho, Ana Cavalcanti, Francisco Rodrigues Júnior
11:10-11:30
Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong
11:50-12:10
M. Valnet, N. Courant, G. Bury, P. Chambart, V. Laviron
10:50-11:10
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
11:10-11:30
Han Su, Shenghua Feng, Sinong Zhan, Naijun Zhan
11:30-11:50
Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan
12:10-12:30
Zhang, Kapoor, Meira-Goes, Garlan, Kang, Ganlath, Mishra, Ammar
14:00-14:20
Konstantin Britikov, Martin Blicha, Natasha Sharygina, Grigory Fedyukovich
14:20-14:40
Laura Titolo, Mariano Moscato, Marco A. Feliu, Paolo Masci, Cesar Munoz
14:40-15:00
Emerson Sales, Omar Inverso, Emilio Tuosto
14:00-14:20
Huiyu Tan, Xi Yang, Fu Song, Taolue Chen, Zhilin Wu
14:40-15:00
Nimrod Busany, Rafi Shalom, Dan Klein, Shahar Maoz
15:00-15:20
Nicholas Coughlin, Kait Lam, Graeme Smith, Kirsten Winter
15:50-16:10
Lara Bargmann, Brijesh Dongol, Heike Wehrheim
16:10-16:30
Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Völp
16:30-16:50
Carlos Gustavo Lopez Pombo, Agustín Eloy Martinez Suñé, Emilio Tuosto
15:50-16:10
P. Kobialka, A. Pferscher, G.R. Bergersen, E.B. Johnsen, S.L. Tapia Tarifa
16:10-16:30
I. Colonnelli, D. Medic, A. Mulone, V. Bono, L. Padovani, M. Aldinucci
16:30-16:50
Dirk Beyer, Henrik Wachowitz
16:50-17:10
Raven Beutner, Bernd Finkbeiner, Angelina Göbl
17:10-17:30 Closing
10:20-10:50 Coffee Break
12:30-14:00 Lunch Break
15:20-15:50 Coffee Break