Conference « The conditions of possibility of language » : 27 aug – 01 sept 2012, Paraty (Brazil)

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