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 / /