SMT — PROGRAM

Days: Friday, 24 July 2026 Saturday, 25 July 2026

Friday, 24 July 2026
08:45-09:00 Welcome SMT
Location: C1.04
09:00-10:30 Invited Talk + Encodings SMT
Location: C1.04
09:00-10:00
SAT-Guided Gröbner Basis Methods for Arithmetic Circuit Verification (abstract) 60 min
Daniela Kaufmann1
1 TU Wien
10:00-10:30
An Eager Encoding of Array Summation Constraints (abstract) 30 min
Patrick Janoschek1, Roland Herrmann1, Philipp Rümmer2
1 University of Regensburg
2 Uppsala University, University of Regensburg
10:00-11:00 Coffee Break SMT
Location: C1.04
11:00-12:30 MCSat & Nonlinear Arithmetic SMT
Location: C1.04
12:00-14:00 Lunch SMT
Location: C1.04
14:00-15:30 Decision Procedures & Automation SMT
Location: C1.04
15:30-16:30 Coffee Break SMT
Location: C1.04
16:00-17:30 Learning, LLMs & Counting SMT
Location: C1.04
Saturday, 25 July 2026
09:00-10:30 Invited Talk + Parallelism SMT
Location: C1.04
10:00-11:00 Coffee Break SMT
Location: C1.04
11:00-12:30 Arrays, Datatypes & Relational Reasoning SMT
Location: C1.04
12:00-14:00 Lunch SMT
Location: C1.04
15:30-16:30 Coffee Break SMT
Location: C1.04
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑