<div dir="ltr"><div>UNILOG'2013</div><div><a href="http://www.uni-log.org/">http://www.uni-log.org/</a></div><div>The 4th World Congress and School on Universal Logic </div><div>will happen in Rio de Janeiro, March 29 - April 7, 2013</div>
<div>A world event dedicated to all aspects of logic</div><div><br></div><div>30 invited/keynote speakers: S.Feferman, Y.Gurevich, J.Seldin, D.Mundici, P.Suppes. A.Avron, etc.</div><div>1 contest: Scope of logic theorems</div>
<div>15 workshops: Many-Valued Logics, Abstract Proof Theory, Intuitionistic Modal Logic, etc.</div><div>1 secret speaker: his/her/its identity will be revealed only at the time of</div><div>his/her/its talk</div><div>25 tutorials: Non-Deterministic Semantics, Hypersequents, Undecidability and Incompleteness Everywhere, etc.</div>
<div><br></div><div>Extended Deadline to submit a talk:  November 15th, 2012</div><div>Pre-registration is open</div><div>>---------------------------------------------------</div><div>World Congress and School on Universal Logic</div>
<div>Montreux 2005 - Xi'an 2007 - Lisbon 2010 - Rio 2013 </div><div><a href="http://www.uni-log.org/">http://www.uni-log.org/</a></div><div><br></div></div>