Category Archives: ASL Meetings

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)

Logic Colloquium 2012, July 12 – 18 2012

The 2012 ASL European Summer Meeting will take place 12th-18th July 2012 (University of Manchester).

Tutorials

Plenary Lectures

 

Special Session on Set Theory (organiser: U. Abraham)

 

2012 North American Annual ASL Meeting

The 2012 North American Annual Meeting will take place March 31–April 3, 2012 (University of Wisconsin Madison).

Plenary Speakers

  • A. Dow (University of North Carolina at Charlotte)
  • J. Steel (Berkeley)
  • I. Goldbring (UCLA)
  • W. Goldfarb (Harvard University)
  • J. Miller (UW Madison)
  • A. Montalbán (University of Chicago)
  • T. Pitassi (University of Toronto)
  • G. Sargsyan (Rutgers University)
  • S. Starchenko (University of Notre Dame)
  • M. Vardi (Rice University)

Special Session on Set Theory