5 Nov
2012
5 Nov
'12
1:35 p.m.
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/