ANDREI-60: AUTOMATED NEW-ERA DEDUCTIVE REASONING EVENT IN IBERIA

B
Baader, Franz	How to count chairs and bats in Description Logics
Baaz, Matthias	Deskolemizing Andrew's Skolemization
Benzmüller, Christoph	Higher-order automated theorem proving -- Why has there been such a resistance?
Bjorner, Nikolaj	Basic Hilbert Bases
G
Gurevich, Yuri	Witness algebra, or who needs category theory?
Gurfinkel, Arie	The Curse of Interpolation
H
Henzinger, Thomas	Temporal Logics for Multi-Agent Systems
J
Jouannaud, Jean-Pierre	Rewrite Encodings in Dependent Type Theories: The Problem of Confluence
K
Korovin, Konstantin	Closing Opening, Welcome Abstraction-refinement automated reasoning
Korovina, Margarita	Taylor Models for ERA
Kovacs, Laura	Opening, Welcome 60 Shades of Grey in Vampire
Kutsia, Temur	Anti-unification for lambda-terms: a generic approach
L
Leitsch, Alexander	Proof Schemata and Herbrand Systems
Lyaletski, Alexander	Evidence Algorithm, SAD systems, and automated theorem proving
M
Meyer, Bertrand	A Theory of Object Structures
Middeldorp, Aart	Projection Equivalence Revisited
P
Parigot, Michel	Breaking the rules
Piskac, Ruzica	Using Hilbert Bases for Reasoning about Multisets
R
Reger, Giles	Opening, Welcome How is Vampire doing?
S
Schulz, Stephan	Cooperation and Competition in Automated Theorem Proving
Sharygina, Natasha	Interpolation infusion in SMT-based model checking
Suda, Martin	ENIGMA Given Clause Guidance
Sutcliffe, Geoff	Andrei ... Superman or Rocketman?
T
Tinelli, Cesare	Counter-model-based quantifier Instantiation in SMT
Tsiskaridze, Nestan	Conflict Resolution with WildCards
V
Veanes, Margus	Some memories from mid-late 90s and how having Andrei as my PhD advisor impacted my life
Voronkov, Andrei	Closing Living with Vampire And Sleeping with EasyChair
W
Weidenbach, Christoph	Vampire-60: 1939 or 2045?

Disclaimer | Powered by EasyChair Smart Program