[FOM] Rio de Janeiro 2013 - World event on Universal Logic

UNILOG 2013 martin at eipye.com
Wed Oct 3 21:19:02 EDT 2012

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

More information about the FOM mailing list