SMT 2025: 23RD INTERNATIONAL WORKSHOP ON SATISFIABILITY MODULO THEORIES
PROGRAM FOR MONDAY, AUGUST 11TH: 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
09:00-10:00
Katalin Fazekas
11:00-11:20
Christophe Junke, François Bobot
11:20-11:40
Can Cebeci, Nikolaj Bjørner, George Candea, Clément Pit-Claudel
11:40-12:00
H.-J. Schurr, M. Preiner, A. Niemetz, C. Barrett, P. Fontaine, C. Tinelli
12:00-12:30
Nestan Tsiskaridze, Andrew Reynolds, Cesare Tinelli, Clark Barrett
13:30-13:50
Amar Shah, Yi Zhou, Marijn Heule, Bryan Parno
13:50-14:50
Martin Jonáš, François Bobot, David Deharbe, Dominik Winterer
15:30-16:15
Cesare Tinelli
16:15-17:00
Sophie Tourret, Jochen Hoenicke
10:30-11:00 Coffee Break
12:30-13:30 Lunch Break
15:00-15:30 Coffee Break