SYNASC2022: 24TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
PROGRAM FOR MONDAY, SEPTEMBER 12TH: 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:50 Tutorial: Quantified Boolean Formulas - Martina Seidl
11:10-12:00 Invited talk: Reasoning with SAT and Beyond - Martina Seidl
13:30-15:10
Denis Mironov, Gleb Koshevoy
13:30-15:10
Kisun Lee, Stephen Melczer, Josip Smolčić
13:30-15:10
Zoltán Kovács, Christopher Brown, Tomas Recio, Robert Vajda
15:30-16:50
Ali Kemal Uncu, James H. Davenport
15:30-16:50
Jovanovic, Jovanovic, Antonijevic, Zivkovic, Budimirovic, Strumberger, Bacanin
15:30-16:50
Roxana Sipos-Lascu, Laura-Silvia Dioșan
17:10-19:10
Fabrício Olivetti De França
17:10-19:10
David Piringer, Bernhard Bloder, Gabriel Kronberger
17:10-19:10
Wolfgang Roland, Michael Kommenda, Gerald Berger-Weber
17:10-18:30
M. Bessonov, I. Ilmer, T. Konstantinova, A. Ovchinnikov, G. Pogudin, P. Soto
17:10-18:30
Octavian-Florin Maghiar
17:10-18:30
Alina Cărunta, Mihai Pleșu
10:50-11:10 Coffee Break
12:00-13:30 Lunch Break
15:10-15:30 Coffee Break
16:50-17:10 Coffee Break
19:00-20:00 Wellcome Party