FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Alt, Leonardo	On Satisfiability of Polynomial Equations over Large Prime Fields
Amendola, Arturo	NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
B
Banković, Milan	Trail saving in SMT
Barbosa, Haniel	cvc5: A Versatile and Industrial-Strength SMT Solver SMT-COMP Report and Tool Presentations SMT Proof Standardization Update
Barrett, Clark	Bit-Precise Reasoning via Int-Blasting cvc5: A Versatile and Industrial-Strength SMT Solver Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers
Barrett, Clark	Panel discussion "SMT: Past, Present and Future" SMT-Lib Update Report
Becchi, Anna	NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
Bjørner, Nikolaj	User-Propagators for Custom Theories in SMT Solving
Bonacina, Maria-Paola	Panel discussion "SMT: Past, Present and Future" CDSAT for nondisjoint theories with shared predicates: arrays with abstract length
Brain, Martin	cvc5: A Versatile and Industrial-Strength SMT Solver
Brown, Chad	Challenges and Solutions for Higher-Order SMT Proofs
C
Cavada, Roberto	NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
Cimatti, Alessandro	NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems The VMT-LIB Language and Tools
D
Dutertre, Bruno	Panel discussion "SMT: Past, Present and Future"
Déharbe, David	Business Meeting
E
Eisenhofer, Clemens	User-Propagators for Custom Theories in SMT Solving
Esen, Zafer	An SMT-LIB Theory of Heaps
F
Ferrando, Andrea	NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
G
Ganesh, Vijay	Goose: A Meta Solver for Deep Neural Network Verification
Graham-Lengrand, Stéphane	CDSAT for nondisjoint theories with shared predicates: arrays with abstract length
Griggio, Alberto	The VMT-LIB Language and Tools
H
Hader, Thomas	An SMT Approach for Solving Polynomials over Finite Fields
Hoenicke, Jochen	A simple proof format for SMT
Hyvärinen, Antti	Business Meeting
I
Irfan, Ahmed	Bit-Precise Reasoning via Int-Blasting
J
Janota, Mikolas	Challenges and Solutions for Higher-Order SMT Proofs
K
Kaliszyk, Cezary	Challenges and Solutions for Higher-Order SMT Proofs
Khalil, Elias	Goose: A Meta Solver for Deep Neural Network Verification
Kovacs, Laura	User-Propagators for Custom Theories in SMT Solving An SMT Approach for Solving Polynomials over Finite Fields
Kremer, Gereon	cvc5: A Versatile and Industrial-Strength SMT Solver
L
Lachnitt, Hanna	cvc5: A Versatile and Industrial-Strength SMT Solver
M
Mann, Makai	Bit-Precise Reasoning via Int-Blasting cvc5: A Versatile and Industrial-Strength SMT Solver
Mohamed, Abdalrhman	cvc5: A Versatile and Industrial-Strength SMT Solver
Mohamed, Mudathir Mahgoub Yahia	cvc5: A Versatile and Industrial-Strength SMT Solver
N
Niemetz, Aina	Local Search for Bit-Precise Reasoning and Beyond Bit-Precise Reasoning via Int-Blasting cvc5: A Versatile and Industrial-Strength SMT Solver Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers
Noetzli, Andres	Bit-Precise Reasoning via Int-Blasting cvc5: A Versatile and Industrial-Strength SMT Solver
O
Ozdemir, Alex	cvc5: A Versatile and Industrial-Strength SMT Solver
P
Pan, Guanting	Goose: A Meta Solver for Deep Neural Network Verification
Pilati, Lorenzo	NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
Preiner, Mathias	Bit-Precise Reasoning via Int-Blasting cvc5: A Versatile and Industrial-Strength SMT Solver Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers
R
Reynolds, Andrew	Bit-Precise Reasoning via Int-Blasting cvc5: A Versatile and Industrial-Strength SMT Solver
Ruemmer, Philipp	An SMT-LIB Theory of Heaps
S
Scaglione, Giuseppe	NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
Schindler, Tanja	A simple proof format for SMT
Scott, Joseph	Goose: A Meta Solver for Deep Neural Network Verification
Sebastiani, Roberto	Panel discussion "SMT: Past, Present and Future"
Shankar, Natarajan	CDSAT for nondisjoint theories with shared predicates: arrays with abstract length
Sheng, Ying	cvc5: A Versatile and Industrial-Strength SMT Solver
T
Tacchella, Alberto	NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
Tinelli, Cesare	Panel discussion "SMT: Past, Present and Future" Bit-Precise Reasoning via Int-Blasting SMT-Lib Update Report cvc5: A Versatile and Industrial-Strength SMT Solver
Tonetta, Stefano	The VMT-LIB Language and Tools
V
Vella, Lucas	On Satisfiability of Polynomial Equations over Large Prime Fields
Z
Zamboni, Marco	NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
Zohar, Yoni	Bit-Precise Reasoning via Int-Blasting cvc5: A Versatile and Industrial-Strength SMT Solver
Š
Šćepanović, David	Trail saving in SMT

Disclaimer | Powered by EasyChair Smart Program