[FOM] Logic Colloquium

Fernando Ferreira martin at eipye.com
Fri Mar 22 20:46:59 EDT 2013

The Logic Colloquium 2013 (ASL European Summer 
Meeting) will take place for the first time in 
Portugal, in Évora,  one of Portugal’s most 
beautifully preserved medieval towns, which was 
declared World Heritage by the UNESCO in 1986, on 
July 22-27, 2013. The Logic Colloquium is the 
annual European conference on Logic, organised 
under the auspices of the Association for 
Symbolic Logic (ASL) and provides a forum for 
presenting and discussing the new developments in 
the area of Logic, including Mathematical logic, 
Computer science logic and Philosophical logic. 
The scientific program of the Logic Colloquium 
2013 is composed of  very important invited 
speakers including a Fields Medalist and a  CNRS Silver Medalist.

Submission for contributed talks is now open 
(deadline March 29); the call for ASL travel 
grants and ASL-NSF travel grants is  open 
(deadline March 25). Registration is now also 
open (deadline May 31). For further details see 
the meeting web page:  http://ptmat.fc.ul.pt/LC2013.


Fernando Ferreira
Departamento de Matemática
Faculdade de Ciências
Universidade de Lisboa
Campo Grande, Edifício C6, Gabinete 6.2.8
P-1749-016 Lisboa


More information about the FOM mailing list