[ecoop-info] UNILOG'2013 Extended Deadline November 15

universal logic universal.logic at unine.ch
Mon Nov 5 13:35:49 CET 2012


UNILOG'2013
http://www.uni-log.org/
The 4th World Congress and School on Universal Logic
will happen in Rio de Janeiro, March 29 - April 7, 2013
A world event dedicated to all aspects of logic

30 invited/keynote speakers: S.Feferman, Y.Gurevich, J.Seldin, D.Mundici, P.Suppes. A.Avron, etc.
1 contest: Scope of logic theorems
15 workshops: Many-Valued Logics, Abstract Proof Theory, Intuitionistic Modal Logic, etc.
1 secret speaker: his/her/its identity will be revealed only at the time of
his/her/its talk
25 tutorials: Non-Deterministic Semantics, Hypersequents, Undecidability and Incompleteness Everywhere, etc.

Extended Deadline to submit a talk:  November 15th, 2012
Pre-registration is open
>---------------------------------------------------
World Congress and School on Universal Logic
Montreux 2005 - Xi'an 2007 - Lisbon 2010 - Rio 2013
http://www.uni-log.org/




More information about the ecoop-info mailing list