This conference is organized by Jean-Baptiste Joinet (Cirphles) and Luiz Carlos Pereira (PUC-Rio), coordinators of the brazilian-french CAPES-COFECUB research program "Théories contemporaines de la logique et philosophie du langage: enjeux épistémologiques et sémantiques".
The conference prolonges an intensive thematic school "Proof Theory: Linear Logic, Ludics and Geometry of interaction"
The two events will hold successively from 27/08 to 01/09/2012 at Paraty (Rio de Janeiro State, Brazil).
Scientific committee (for both events): Jean-Yves Girard, Jean-Baptiste Joinet, Luiz Carlos Pereira, Elaine Pimentel.
If you are interested to attend, please read the pdf attached file and have a look to the official web site (pre-registration window) : www.tecmf.inf.puc-rio.br/ProofTheory2012