29 Mar - 7 Apr 2013
Rio de Janeiro, Brazil
The 4th World Congress and School on Universal Logic - UNILOG'2013 will happen in Rio de Janeiro, March 29 - April 7, 2013 15 invited speakers: S.Feferman, H.Ono, Y.Gurevich, J.Hintikka, J.Seldin, etc. 1 contest: Scope of logic theorems 14 workshops: Between first and second order, Non-Classical mathematics, Abstract proof theory, etc. 1 secret speaker: his/her identity will be revealed only at the time of his/her talk 25 tutorials: Hypersequents, General theory of classifications, Non-deterministic semantics, Logic for the Blind, etc Pre-registration is open Call for papers : Deadline is November 1st, 2012 >---------------------------------------------------------------------------------------- World Congress and School on Universal Logic Montreux 2005 - Xi'an 2007 - Lisbon 2010 - Rio 2013 http://www.uni-log.org/