SMT 2025: 23RD INTERNATIONAL WORKSHOP ON SATISFIABILITY MODULO THEORIES
PROGRAM FOR SUNDAY, AUGUST 10TH: TALK VIEW
Days:
next day
all days

View: with abstractssession overview

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
11:10-11:30
Jan Jakubuv, Mikoláš Janota
11:30-11:50
Marek Dančo, Petra Hozzová, Mikoláš Janota
11:50-12:10
Guilherme Toledo, Benjamin Przybocki, Yoni Zohar
13:30-14:00
Jacob M. Howe, Martin Brain, Arnau Gàmez-Montolio
14:00-14:20
Florian Frohn, Jürgen Giesl
14:20-14:40
Hichem Rami Ait-El-Hara, Guillaume Bury, Basile Clément, Pierre Villemot
14:40-15:00
Enrico Lipparini, Thomas Hader, Ahmed Irfan, Stéphane Graham-Lengrand
15:50-16:10
T. Kolárik, F. Labbaf, M. Blicha, M. Wand, N. Sharygina, G. Fedyukovich
16:10-16:30
Arijit Shaw, Kuldeep S. Meel
16:30-16:50
Guy Frankel, Rudi Schneider, Michel Steuwer, Elizabeth Polgreen
16:50-17:10
Soaibuzzaman, Jan Oliver Ringert
11:00-11:10 Short Break (10 minutes)
12:30-13:30 Lunch Break
15:00-15:30 Coffee Break