School in Proof Theory : Linear Logic, Ludics and Geometry of interaction
School in Proof Theory: Linear Logic, Ludics and Geometry of interaction
at Paraty (Rio de Janeiro State, Brazil), from 27 august to 01 september 2012.
Coord. Jean-Baptiste Joinet (Cirphles) et Luiz Carlos Pereira (PUC-Rio)
This school 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 ».
It will be followed by a conference of philosophy of logic : « The conditions of possibility of language ».
Both events will hold from 27/08 to 01/09/2012 at Paraty (Rio de Janeiro State, Brazil).
The scientific committee (for both events) is composed with Jean-Yves Girard, Jean-Baptiste Joinet, Luiz Carlos Pereira, Elaine Pimentel.
If you are interested to attend, please read the pdf attached file (see below) and see the school and conference web site
For any complementary questions (european side) : jbjoinet@ens.fr