XVI SLALM will include four tutorial courses in Model Theory\, Computability Theory\, Set Theory and Non-classical Logic. About a hundred researchers and students from Latin-America and other continents will participate in the meeting.
The Symposium has the scientific sponsorship of the Association for Symbolic Logic.
Program Committee:
Joan Bagaria. University of Barcelona\, Spain
Xavier Caicedo. Universidad de los Andes. Bogotá\;\, Colombia.
Walter Carnielli. Universidad Estadual de Campinas\, Campinas\, SP\, Brasil.
Roberto Cignoli. Universidad de Buenos Aires. Buenos Aires\, Argentina. (Chair)
Carlos Di Prisco. IVIC\, Venezuela.
José\; Iovino. Universidad de Texas. San Antoni\, USA.
Franco Montagna. Universidad de Siena. Siena\, Italia.
Theodore Slaman. University of California at Berkeley\, USA.
Charles Steinhorn. Vassar College\, USA.
Ruy de Queiroz. Universidad Federal de Pernambuco\, Brasil.
Plenary speakers:
Boris Zilber (University of Oxford\, England)
Stevo Todorcievic (University of Toronto\, Canada)
Lev Beklemishev (Steklov Mathematical Institute\, Moscow\, Russia)
Veró\;nica Becher (University of Buenos Aires\, Argentina)
Oswaldo Chateubriand (Pontificia Universidade Cató\;lica de Rio de Janeiro\, Brasil)
Peter Jipsen (Chapman University\, USA)
Tutorials:
Set Theory: Menachem Magidor (Hebrew University of Jerusalem\, Israel)
Computability Theory: Antonio Montalbá\;n (University of California\, Berkeley\, USA)
Model Theory: Kobi Peterzil (Haifa University\, Israel)
Non-Classical Logics: Luca Spada (Dipartimento di Matematica - University of Salerno and \;Institue for Logic\, Language\, and Information - University of Amsterdam).
Sessions and Invited Speakers:
Set Theory:
Coordinated by Joan Bagaria and Carlos Uzcá\;tegui (Universidad de Los Andes\, Venezuela)
Christina Brech (Departamento de Matemá\;tica\, \;Universidade de Sã\;o Paulo\, Brazil)
Carlos Martí\;nez Ranero (Universidad de Concepció\;n\, Chile)
Matteo Viale (Mathematical Department of Torino University\, Italy)
Model Theory:
Coordinated by Charles Steinhorn and Alexander Berenstein (Universidad de Los Andes\, Colombia)
Xavier Vidaux (Universidad de Concepció\;n\, Chile)
Alfredo Dolich (Kingsborough Community College\, CUNY\, USA)
Isaac Goldbring (University of Illinois at Chicago)
Itaï\; Ben Yaacov (Université\; Claude Bernard - Lyon 1)
Vinicius Cifú\; Lopes (Universidade Federal do ABC)
Computability Theory:
Coordinated by Theodore Slaman and Carlos Areces (Universidad Nacional de Có\;rdoba\, Argentina)
Delia Kesner (Laboratoire PPS\, CNRS - Université\; Paris Diderot\, France)
Andy Lewis (London School of Economics\, UK)
Yde Venema (ILLC\, Universiteit van Amsterdam\, Netherlands)
Non-Classical Logics:
Coordinated by Franco Montagna and Manuela Busaniche (Universidad Nacional del Litoral\, Argentina)
Leonardo Manuel Cabrer (Dipartimento di Statistica\, Informatica\, Applicazioni "G. Parenti" Università\; degli studi di Firenze\, Italy)
José\; Luis Castiglioni (Departamento de Matemá\;ticas\, UNLP\, Argentina)
Marcelo Coniglio (Department of Philosophy\, Institute of Philosophy and Human Sciences\, State University of Campinas\, Brazil)
Local Organizer Committee:
Carlos Areces (UNC\, Có\;rdoba)
Manuela Busaniche(IMAL-CONICET\, Santa Fe)
Santiago Figueira(UBA\,Buenos Aires)
Rafael Grimson (UBA\, Buenos Aires)
Javier Legá\;is (UBA\, Buenos Aires)
Ricardo Rodrí\;guez (UBA\, Buenos Aires)
Pedro Sá\;nchez Terraf (UNC\, Có\;rdoba)
Herná\;n San Martí\;n (UNLP\, La Plata)
Contact details
Manuela Busaniche: mbusaniche@santafe-conicet.gov.ar
Ricardo Rodrí\;guez: ricardo@dc.uba.ar