PROGRAM FOR MONDAY, SEPTEMBER 11TH: 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
18:30
19:00
19:30
20:00
09:00-09:20 Opening
09:20-10:10 Invited talk: Subtropical Solving (Thomas Sturm)
10:10-10:30 Coffee break
10:30-11:20 Invited talk: Generic Encodings and Static Analysis of Constructor Rewriting Systems (Horatiu Cirstea)
11:20-11:40 Coffee break
13:00-14:00 Lunch
14:00-15:30 Tutorial: The TLA+ Language and Tools for Specifying and Verifying Systems (Stephan Merz)
15:30-15:50 Coffee break
16:10-16:30
Siyuan Deng, Gregory Reid
16:30-16:50
Huseyin Sabri Aliefendioglu, Zafeirakis Zafeirakopoulos
16:50-17:10
Sergei Abramov, Anna Ryabenko
17:10-17:30
Cristina Popirlan, Claudiu-Ionut Popirlan
15:50-16:10
C. Stoean, N. Bacanin, R. Stoean, L. Ionescu, A.-M. Garau, C.-C. Ghitescu
16:50-17:10
Renata Avros, Saar Keshet, Dvora Toledano Kitai, Evgeny Vexler, Zeev Volkovich
17:10-17:30
B. Radomirovic, L. Jovanovic, C. Stoean, M. Zivkovic, A. Njegus, N. Bacanin
17:30-17:50
Kristijan Cincar, Todor Ivascu, Viorel Negru
18:00-20:00 Welcome cocktail