Back to Results
First PageMeta Content
Proof theory / Classical logic / First-order logic / Finite model theory / Model theory / Logic / Mathematical logic / Metalogic


Annual Conference of the European Association for Computer Science Logic CSL 2011 September–15, 2011, Bergen, Norway PROGRAM
Add to Reading List

Document Date: 2011-08-31 08:53:38

Open Document

File Size: 75,10 KB

Share Result on Facebook

City

Ontology / /

Company

Kahn Networks / /

Facility

Stable Marriage Problem Yann Strozecki / /

Organization

European Association for Computer Science Logic CSL / /

Person

Thomas Wilke / Complexity Cristiano Longo / Thomas Henzinger / Yuli Ye / Jakob Grue Simonsen / Lurdes Sousa / Samuel Mimram / Kim G. Larsen / Yoad Lustig / Logic Radu Mardare / Marianna Nicolosi Asmundo / Arithmetic Kaustuv Chaudhuri / Paz-Pearl Axioms / Seth Fogarty / Bernhard Reus / Nicolas Guenot / John Power / Orna Kupferman / Lukasz Czajka / Emanuel Kieronski / Yang Cai / Georg Moser Matthias Baaz / Benjamin Sapp / Makoto Tatsuta / Daniel Weller / Alexander Rabinovich / Andrew Polonsky / Alberto Carraro / Bastian Laubner / Ting Zhang / Alexis Bernadet / Stephane Lengrand / Thomas Streicher / Arnaud Durand / Paulo Oliva / Pavel Naumov / Tri Man Le / Rosalie Iemhoff / Trees Alexis Bes / Joel Ouaknine / Luca Cardelli / Martin Zimmermann / Moshe Vardi / Lawrence Moss / Thomas Powell / Richard Zach / Alexander Kartzow / Domenico Cantone / Lutz Strassburger / Lars Birkedal / Andreas Schnabl / Antonio Bucciarelli / Mark Jenkins / Olivier Carton / Stefano Berardi / Jiri Adamek / Daniel Bruns / Stephen A. Cook / Stefan Milius / Combinators Martin Escardo / Jan Schwinghammer / Thomas Ehrhard / Ekaterina Komendantskaya / Sumit Nain / Frank Wolter / Martin Otto / Hernich Laubner / Udi Boker / Giulio Manzonetto / /

Position

Miner / President / model / /

ProgrammingLanguage

Lambda Calculus / L / T / /

SocialTag