PROGRAM FOR TUESDAY, SEPTEMBER 13TH: 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
18:00
18:30
19:00
10:00-10:50 Invited talk: Prescriptive Analytics: When data- and simulation-based models interact in a cooperative way - Michael Affenzeller
11:10-12:00 Invited talk: SAT Solvers and Quantum Computing: Potential and Challenges - Robert Wille
13:30-15:00 Tutorial: Mathematical Model Checking in RISCAL - Wolfgang Schreiner
15:20-17:20
Yannick Chevalier, Michael Rusinowitch
15:20-17:20
Saber Gholami, Hovhannes A. Harutyunyan
15:20-17:00
Marilena Lupascu
15:20-17:00
Otilia Maria Muntean, Ciprian Pungilă, Viorel Negru
15:20-17:00
Dan-Gabriel Anton
15:20-17:20
Kifayat Ullah
15:20-17:20
Vasile Berinde, Ioan A. Rus
15:20-17:20
Vasile Berinde, Adrian Petrusel, Ioan A. Rus
15:20-17:20
Paula Homorodan
17:40-19:00
Vasile Ionut Iga, Gheorghe Cosmin Silaghi
17:40-19:00
Andreea Dutulescu, Mihai Dascalu, Stefan Ruseti
17:40-19:00
Gabriel-Razvan Busuioc, Andrei Paraschiv, Mihai Dascalu
17:40-19:00
Radu-Andrei Rosu, Mihaela-Elena Breaban, Henri Luchian
17:40-19:00
Ciprian-Mihai Ceaușescu, Bogdan Alexe
17:40-19:00
Vladut-Gabriel Ghelbere, Todor Ivascu, Viorel Negru
17:40-19:00
Alexandra Marchis
10:50-11:10 Coffee Break
12:00-13:30 Lunch Break
15:00-15:20 Coffee Break
17:20-17:40 Coffee Break