[isabelle] Logic Colloquium 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 (Mathematics Nobel prize) and a  CNRS Silver

Submission for Contributed talks is now open and the call for ASL travel
grants and ASL-NSF travel grants is also open. Registration will open soon.
For further details see the meeting web page:  http://ptmat.fc.ul.pt/LC2013.

 Please forward this message to everyone you know. Don't forget anyone!

 The organizing committee.


  At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;

Professor Auxiliar Pedro Quaresma
Departamento de Matem\'atica, Faculdade de Ci\^encias e Tecnologia
Universidade de Coimbra
correioE: pedro at mat.uc.pt
p\'agina: http://www.mat.uc.pt/~pedro/
telef: +351 239 791 137; fax: +351 239 832 568

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.