[FOM] UNILOG'2013 Extended Deadline November 15th, 2012
jean-yves beziau
martin at eipye.com
Wed Nov 7 01:17:21 EST 2012
UNILOG'2013
<http://www.uni-log.org/>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, J.M.Dunn, 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/>http://www.uni-log.org/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20121106/3dbb10ae/attachment.html>
More information about the FOM
mailing list