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/

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]