[FOM] UNILOG'2013 - Rio de Janeiro - The 4th World Congress and School on Universal Logic
jean-yves beziau
beziau100 at gmail.com
Thu Sep 27 06:26:01 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
Call for papers : Deadline is November 1st, 2012
http://www.uni-log.org/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20120927/60193fd6/attachment.html>
More information about the FOM
mailing list