Logic List Mailing Archive

Extension of Deadline for the XIIth SLALM (Costa Rica, Jan 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.

 http://www.vinv.ucr.ac.cr/slalm04
 http://www.emate.ucr.ac.cr/slalm04
***************************************************************************
*****************
                            NOTICE:  

 THE NEW DEADLINE FOR SUBMITTING ABSTRACTS OF CONTRIBUTED TALKS 
 IS NOVEMBER 1, 2003.
***************************************************************************
*****************
 
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 philosophyof log
ic, Model theory, Philosophical logic, Proof theory, 
Recursion theory and Algorithm complexity, and Set theory. As in previous e
ditions, a SCHOOL IN MATHEMATICAL LOGIC will be held from January the 7th t
o 10th, consisting in four short courses 
(see below). 
 
 The following INVITED SPEAKERS have accepted to participate in the symposi
um: 
 
Joan Bagaria,  Universidad de Barcelona, Spain.
Sam Buss,  University of California at San Diego, USA.
Walter Carnielli,  Universidad de Campinhas, Brazil.
Enrique Casanovas,  Universidad de Barcelona, Spain.
Oswaldo Chateubriand,  Universidad Pontificia Catolica de Rio, Brazil.
Luis Jaime Corredor,  Universidad de Los Andes, Colombia.
Omar de la Cruz,  Universidad de Purdue, USA.
Lou van den Dries,  University of Illinois at Urbana-Champaign, U.S.A.
Joerg Flum,  Universit?t Freiburg, Germany.
E. G. Ken L?pez Escobar,  University of Maryland, U.S.A.
Jos? Iovino,  Universidad de Texas, USA.
Richard Lassaigne,  Universite Paris 7, France.
Daniele Mundici,  Universidad de Florencia, Italia.
Istv?n N?meti,  Alfr?d R?nyi Institute of Mathematics, Hungarian Ac
ademy of Sciences.
Alexander Prestel,  Universit?t Konstanz, Germany.
Jean-Pierre Ressayre,  Universit? Paris 7, France.
Stevo Todorcevic,  Universit? Paris 7, France.
Jouko V??n?nen,  University of Helsinki, Finland.
Andr?s Villaveces,  Universidad Nacional de Colombia.
 

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.


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


CONTRIBUTED TALKS

The new deadline for submitting abstracts of contributed talks is November 
1, 2003. The general ASL rules concerning abstracts apply.We appreciate to 
receive the .tex file as well as another processed file.
They can be sent to: abstractslalm@ns.vinv.ucr.ac.cr, abstractslalm@emate.u
cr.ac.cr  or preferably to
eugenioch@racsa.co.cr.


LATIN AMERICAN SCHOOL ON MATHEMATICAL LOGIC:

From 7 to 10 January, previous to the symposium, the following short cours
es 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,
City 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:

Association for Symbolic Logic 
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.
Servicio Alem?n de Intercambio Acad?mico.
Centro Cultural Espa?ol, Embajada de Espa?a en Costa Rica.
Embajada de Francia en Costa Rica.
Centro de L?gica, Epistemolog?a e Historia de la Ciencia, UNICAMP, Bras
il.

REGISTRATION:

The registration process will be handled through the XIIth SLALM Web Site
The inscription to the School (from 7 to 10 January) and to the Symposium
(from 12 to 16 January)have a cost of $100(U.S dollars) each one. For
students the cost of each event will be $50 (must present respective
documentation that shows that condition) The amount of the inscription can
be paid at the event begining.