Logic List Mailing Archive

XIIth Latin American Symposium on Mathematical Logic, 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.
 www.vinv.ucr.ac.cr/slalm04
************************************************************************

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
symposium:
 
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
  
PROGRAM COMITTEE: 

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.
Marta Sagastume, Universidad de la Plata, Argentina.


ORGANIZING COMITTEE: 
 
Eugenio Chinchilla, Jorge Guier and Bernardo Montero, from Universidad de
Costa Rica. Max Freund from Universidad Nacional de Costa Rica.
  

CONTRIBUTED TALKS
  
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:
  
                           abstractslalm@ns.vinv.ucr.ac.cr
  

LATIN AMERICAN SCHOOL ON MATHEMATICAL LOGIC:
  
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
ity
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.
  

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


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