Logic Colloquium 2013, July 22-27, 2013

Logic Colloquium 2013, organized under the auspices of the Association for Symbolic Logic, will be held in Évora, Portugal, on July 22-27, 2013.

Tutorials:

» Ould Houcine (Université Lyon)
» Luke Ong (University of Oxford)

Plenary speakers:

» Johan van Benthem (University of Amsterdam)
» Mikolaj Bojanczyk (Warsaw University)
» Jorg Brendle (Kobe University)
» Stephen Lempp (University of Wisconsin-Madison)
» Rosalie Iemhoff (Utrecht University)
» François Loeser (Université Pierre et Marie Curie)
» Maryanthe Malliaris (University of Chicago)
» Andrey Morozov (Novosibirski State University)
» Asger Tornquist (University of Copenhagen)
» Vladimir Voevodsky (Institute for Advanced Study)

Special sessions:

» Logic and analysis (Organizers: Mauro Di Nasso and Imme van den Berg):
Hannes Diener (University of Siegen)
Bruno Dinis (Universidade Nova de Lisboa)
Isaac Goldbring (University of Illinois at Chicago)
Tom Lindstroem (University of Oslo)

» Computability (Organizers: Valentina Harizanov and Félix Costa):
Samson Abramsky (University of Oxford)
Paul Shafer (Université Paris Diderot – Paris 7)
Amilcar Sernadas (Instituto Superior Técnico)
Mariya Soskova (Sofia University)

» Model theory (Organizers: Katrin Tent and Mário Edmundo):
Artem Chernikov (The Hebrew University of Jerusalem)
Itay Kaplan (University of Münster)
Tamara Servi (CMAF Universidade de Lisboa)
Margaret Thomas (University of Konstanz)

» Logical analysis of mathematical proofs (Organizers: Matthias Baaz and Fernando Ferreira):
Reinhard Kahle (Universidade Nova de Lisboa)
Alexander Kreuzer (Ecole Normale Supérieure de Lyon)
Alexander Leitsch (Vienna University of Technology)
Benno van den Berg (Utrecht University)

» Set theory (Organizers: Sakae Fuchino and Boban Velickovic):
David Aspero (University of East Anglia)
Charles Morgan (University College London)
Ben Miller (University of Munster)
Toshimichi Usuba (Kobe University)

Attachments

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.