* Ludics in Brazil: Paraty 2012
@ 2012-08-06 14:19 Valeria de Paiva
0 siblings, 0 replies; only message in thread
From: Valeria de Paiva @ 2012-08-06 14:19 UTC (permalink / raw)
To: categories
============================
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/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2012-08-06 14:19 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-08-06 14:19 Ludics in Brazil: Paraty 2012 Valeria de Paiva
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).