posted by user: RicardoSLALM2014 || 2258 views || tracked by 4 users: [display]

SLALM 2014 : 16th Latin American Symposium on Mathematical Logic

FacebookTwitterLinkedInGoogle

Link: http://www-2.dc.uba.ar/congresos/slalm2014/
 
When Jul 28, 2014 - Aug 1, 2014
Where Buenos Aires
Submission Deadline Apr 20, 2014
Notification Due May 26, 2014
Final Version Due Jul 10, 2014
Categories    model theory   non classical logics   set theory   computability theory
 

Call For Papers

16th Latin American Symposium on Mathematical Logic
XVI SLALM- Simposio Latinoamericano de Lógica Matemática.
Buenos Aires- Argentina
28th July- 1st August 2014

You are cordially invited to participate in the 16th Latin-American Symposium on Mathematical Logic that will take place in Buenos Aires, Argentina, from July the 28th to August the 1st.

It 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 have 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)
Isaac Goldbring (University of Illinois, Chicago)


Computability Theory:
Coordinated by Theodore Slaman and Carlos Areces (Universidad Nacional de Córdoba, Argentina)

Delia Kesner (Laboratoire PPS, CNRS - Université Paris Diderot)
Andy Lewis (London School of Economics, UK)


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)
Marcelo Coniglio (Department of Philosophy, Institute of Philosophy and Human Sciences, State University of Campinas, Brazil)

Submissions to the Conference:
Contributed presentations can be submitted in one of the four parallel sessions: Model Theory, Computability Theory, Set Theory and Non-classical Logic. More information on the submission procedure, can be found at the conference web site http://www2.dc.uba.ar/congresos/slalm2014/

Abstracts of contributed talks will be published in The Bulletin of
Symbolic Logic.


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

Related Resources

SLALM 2017   17th Latin American Symposium on Mathematical Logic
LACNEM 2017   7th Latin American Conference on Networked and Electronic Media
LARS/SBR 2017   LARS/SBR 2017 Latin American Robotics Symposium / Brazilian Robotics Symposium
CARLA 2017   Latin American HPC Conference - CARLA 2017 - Springer CCIS Series
IEEE LATINCOM 2017   9th Latin-American Conference on Communications
LACLO 2017   12th Latin-American Conference on Learning Technologies
LAWCN 2017   Latin-American Workshop on Computational Neuroscience
TTCS 2017   Topics in Theoretical Computer Science
SLIOIA/ASAI 2017   Latin American Symposium on Operations Research & Artificial Intelligence - Argentine Symposium on Artificial Intelligence
AFyL 2017   Posglobalization, Decolonization, and Transmodernity