[ecoop-info] UNILOG'2013 Extended Deadline November 15

UNILOG 2013 unilog2013 at gmail.com
Mon Nov 5 13:50:09 CET 2012


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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20121105/1752239b/attachment.html 


More information about the ecoop-info mailing list