SYNASC2022: 24TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
PROGRAM FOR WEDNESDAY, SEPTEMBER 14TH: 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
19:30
20:00
20:30
21:00
21:30
22:00
09:00-10:30 Tutorial: Application, Analysis, and Development of Metaheuristic Algorithms with HeuristicLab, an Open-source Optimization Environment for Research and Education - Stefan Wagner
09:00-10:30 Tutorial: Conditional Rewriting in Theorema 2.0 - Wolfgang Windsteiger
10:50-11:50
Roderick Bloem, Vedad Hadžić, Martina Seidl, Ankit Shukla
10:50-11:50
Irene Hiess, Ludwig Kampel, Michael Wagner, Dimitris E. Simos
10:50-11:50
Florin Dumitrescu, Adina-Magda Florea, Mihai Trascau, Alexandru Sorici
10:50-11:50
Bogdan Butunoi, Viorel Negru
13:30-14:20 Invited talk: Implementation Techniques for Mathematical Model Checking - Wolfgang Schreiner
14:40-16:00
James Worrell
14:40-16:00
Cristina Laura Sîrbu, Georgiana Simion, Cătălin Daniel Căleanu
14:40-16:00
T.-A.-M. Florea, A.-R. Asofroniei, S.-A. Stefaniga
14:40-16:00
Rotar Danut
16:20-17:40
Alexandru Ionascu, Sebastian-Aurelian Stefaniga
16:20-17:40
Bogdan Budihala, Todor Ivascu, Sebastian Stefaniga
19:00-22:00 Conference Dinner: 19:00 Schlossbrasserie, Schlossberg 1a, 4020 Linz, phone Tudor +43 650 5809220
10:30-10:50 Coffee Break
12:00-13:30 Lunch Break
14:20-14:40 Coffee Break
16:00-16:20 Coffee Break