Laura Kovacs
Laura Kovacs
Affiliation: TU Wien
Talks
(FSCD)
Saturation-Guided Inductive Synthesis · Invited Talk: Laura Kovács
(SAT)
Generalizing CDCL with Graph Backtracking · Session F: CDCL & Parallel Solving
(LICS)
Session Chair — Session 7B Decidability in Arithmetic and Linear Theories
(SAT)
SAT in Saturation: A Satisfied Match · Invited Talk 2
(SMT)
A Modern View on MCSat · MCSat & Nonlinear Arithmetic
(Vampire)
Lean on Thousands of Problems · Proof checking & applications
(IJCAR)
Completeness of Synthesis under Realizability Assumptions using Superposition · Model Finding, Certification & Synthesis
(ITP)
Lean on Vampire Proofs (Short Paper) · ITP Papers: Automation and Tactics
Pages in this Program
Program
Program on Tuesday, 21 July 2026
FSCD on Tuesday, 21 July 2026
FSCD Program
SAT on Tuesday, 21 July 2026
SAT Program
Program on Wednesday, 22 July 2026
LICS on Wednesday, 22 July 2026
LICS Program
Program on Thursday, 23 July 2026
SAT on Thursday, 23 July 2026
Program on Friday, 24 July 2026
SMT on Friday, 24 July 2026
SMT Program
Vampire on Friday, 24 July 2026
Vampire Program
Program on Tuesday, 28 July 2026
IJCAR on Tuesday, 28 July 2026
IJCAR Program
ITP on Tuesday, 28 July 2026
ITP Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑