Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B D E F G K L N R U V

B
Boigelot, Bernard	Decidability of difference logics with unary predicates
Bright, Curtis	Enumerating Projective Planes of Order Nine with Proof Verification An SC-Square Approach to the Minimum Kochen–Specker Problem
D
Dallaire, Daniel	Enumerating Projective Planes of Order Nine with Proof Verification
Davenport, James H.	NP: SMT-Solving Combinatorial Inequalities
David, Bogdan	Automatic Deployment of Component-based Applications in the Cloud
E
England, Matthew	NP: SMT-Solving Combinatorial Inequalities
Erașcu, Mădălina	Automatic Deployment of Component-based Applications in the Cloud
F
Fontaine, Pascal	Decidability of difference logics with unary predicates
G
Ganesh, Vijay	An SC-Square Approach to the Minimum Kochen–Specker Problem
K
Kremer, Gereon	Cylindrical Algebraic Coverings for Quantifiers
L
Lewis, Robert	Computer algebra and automation in Lean's mathematical library
Li, Zhengyu	An SC-Square Approach to the Minimum Kochen–Specker Problem
N
Nalbach, Jasper	Cylindrical Algebraic Coverings for Quantifiers
R
Ratschan, Stefan	Non-Linear Real Arithmetic with Transcendental Function Symbols: Undecidable but Easy?
U
Uncu, Ali Kemal	NP: SMT-Solving Combinatorial Inequalities
V
Vergain, Baptiste	Decidability of difference logics with unary predicates