Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Logic Colloquium 2013


view this post on Zulip Email Gateway (Aug 19 2022 at 10:24):

From: Makarius <makarius@sketis.net>
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
Medalist.

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.

+++++++


Last updated: Apr 19 2024 at 01:05 UTC