Logic List Mailing Archive

XIIth Latin American Symposium on Mathematical Logic, San Jose (Costa Rica), January 2004


 XIIth SLALM (Latin American Symposium on Mathematical Logic) 

 San Jos?, COSTA RICA - January 12-16, 2004.

 Escuela de Matem?tica, Universidad de Costa Rica.


We are pleased to announce that the 12th LATIN AMERICAN SYMPOSIUM IN
MATHEMATICAL LOGIC will be held in San Jos?, Costa Rica, from January 12
to 16, 2004.

Topics to be covered includes Algebraic logic, History and philosophy of
logic, Model theory, Philosophical logic, Proof theory, Recursion theory
and Algorithm complexity, and Set theory. As in previous editions, a
SCHOOL IN MATHEMATICAL LOGIC will be held from January the 7th to 10th,
consisting in four short courses (see below).
The following INVITED SPEAKERS have accepted to participate in the symposiu
Joan Bagaria, Universidad de Barcelona, Spain.
Sam Buss, University of California at San Diego, USA.
Lou van den Dries, University of Illinois at Urbana-Champaign, U.S.A.
E. G. Ken L?pez Escobar, University of Maryland, U.S.A.
Alexander Prestel, Universit?t Konstanz, Germany.
Stevo Todorcevic, Universit? Paris 7, France.
Jouko V??n?nen, University of Helsinki, Finland.
Andr?s Villaveces, Universidad Nacional de Colombia.
Istvam Nemeti, Alfr?d R?nyi Institute of Mathematics, Budapest, Hungary

Xavier Caicedo, Universidad de los Andes, Colombia.
Carlos Di Prisco, Instituto Venezolano de Investigaciones Cient?ficas and
Universidad Central de Venezuela.
Jorge I. Guier, Universidad de Costa Rica.
Renato Lewin, Pontificia Universidad Cat?lica de Chile.
E. G. Ken L?pez Escobar, University of Maryland, U.S.A.
Francisco Miraglia, Universidade do S?o Paulo, Brazil.

Eugenio Chinchilla, Jorge Guier and Bernardo Montero, from Universidad de
Costa Rica.


The deadline for submitting abstracts of contributed talks is July 1,
2003. The general ASL rules concerning abstracts apply. They should be
sent to the XIIth SLALM e-mail address:



From 7 to 10 January, previous to the symposium, the following short
courses will be held :

"Teor?a de Modelos y Formas cuadr?ticas", by Max Dickmann, Universit?
Paris VII, France.

"Teor?a de la Complejidad para C?lculo Num?rico", by Felipe Cucker, C
University of Hong Kong, Chine.

"Introduction to Determinacy", by Itay Neeman, University of California at
Los Angeles, U.S.A.

"Introduction to Proof Theory", by Luiz Carlos Pereira, Pontif?cia
Universidade Cat?lica do Rio de Janeiro, Brazil.


Universidad de Costa Rica  
Universidad Nacional de Costa Rica.
CONICIT (Consejo Nacional de Investigaci?n en Ciencia y Tecnolog?a).
Ministerio de Ciencia y Tecnolog?a.
German Academic Exchange Service.
Centro Cultural Espa?ol, Embajada de Espa?a en Costa Rica
Ambassade de France au Costa Rica.

More information about registration and other, will be soon available in
the page www.vinv.ucr.ac.cr/slalm04.