============================ Paraty 2012 http://www.tecmf.inf.puc-rio.br/ProofTheory2012 Logic School: Proof Theory: Linear Logic, Ludics and Geometry of Interaction Conference: Transcendental Syntax: The conditions of Possibility of Language Paraty, Rio de Janeiro-RJ, Brazil, August, 27th - September, 1st 2012 Contents 1. Paraty 2012 1. Scientific Commitee 2. Organizational Commitee 2. School Main Topics 3. Program 4. Financial help for participants Scientific Commitee ? Jean-Yves GIRARD CNRS, Institut de math?matiques de Luminy, ?quipe Logique de la programmation ? Jean-Baptiste JOINET University Panth?on-Sorbonne, UFR de Philosophie, Centre International de Recherche: Philosophie, Lettres, Savoirs ? Luiz Carlos PEREIRA PUC-Rio, Departamento de Filosofia, Instituto de L?gica e Filosofia da Linguagem ? Elaine PIMENTEL Federal University of Minais Gerais (Brazil) & Univalle (Colombia), Departamento de Matematica Organizational Commitee ? Luiz Carlos Pereira ? Jean??Baptiste Joinet ? Hermann Haeusler ? Bruno Lopes ? Alexandre Rademaker School Main Topics ? Linear logic ? Ludics ? Geometry of interaction Program ? School Lectures ? Conference Lectures -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]