Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B D E F H I K L M O R S T V W Z

A
Achilleos, Antonis	Closing a Gap in the Complexity of Refinement Modal Logic
Allender, Eric	27 and still counting: Iterated product, inductive counting, and the structure of P
Antonopoulos, Timos	First-Order Logic of Order and Metric has the Three-Variable Property
B
Beckmann, Arnold	LCC'14 Opening Remarks
Biere, Armin	On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic
Buss, Sam	Search problems, proof complexity, and second-order bounded arithmetic
D
Dawar, Anuj	On the power of fixed-point logic with counting
E
Etessami, Kousha	ImmermanFest Opening Remarks
F
Fröhlich, Andreas	On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic
H
Hunter, Paul	First-Order Logic of Order and Metric has the Three-Variable Property
I
Immerman, Neil	Closing Remarks
K
Kahle, Reinhard	Towards recursion schemata for the probablistic class PP
Kolaitis, Phokion	Some Reflections on Definability and Complexity
Kovásznai, Gergely	On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic
L
Lampis, Michael	Closing a Gap in the Complexity of Refinement Modal Logic
Lange, Martin	Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic
Lozes, Etienne	Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic
M
Mazza, Damiano	Non-uniform Polytime Computation in the Infinitary Affine Lambda-calculus
Moser, Georg	Weighted Automata Theory for Complexity Analysis of Rewrite Systems
O
Oitavem, Isabel	Towards recursion schemata for the probablistic class PP
R
Raza, Shahab	First-Order Logic of Order and Metric has the Three-Variable Property
Rossman, Benjamin	Infinite AC0 Circuits for Parity The Variable Hierarchy on Ordered Graphs
S
Sagiv, Mooly	Reasoning about transitive closure in Immerman's style
Schweikardt, Nicole	Crane Beach Revisited
T
Toruńczyk, Szymon	Descriptive Complexity and CSP
V
Veith, Helmut	On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic
W
Worrell, James	First-Order Logic of Order and Metric has the Three-Variable Property
Z
Zeume, Thomas	Small Dynamic Descriptive Complexity Classes