Logic List Mailing Archive

School "Proof Theory: Linear Logic, Ludics, Geometry of Interaction"
&
Conference "Transcendental syntax: the conditions of possibility of language"
Paraty (Rio State, BRAZIL)
27 august to 01 september 2012
http://www.tecmf.inf.puc-rio.br/ProofTheory2012


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

Financial help for participants

A limited number of modest travel grants will be available for 
participants who would not otherwise have resources to attend 
ProofTheory2012, and whose attendance would benefit both the applicant and 
the event.

Applicants should note that a grant is limited, and that costs in excess 
of the grant will not be reimbursed.

Grants will be awarded based on the grant committee's assessment of the 
applicant's genuine financial need, the potential benefit to the 
applicant's education and research, and the potential benefit to 
ProofTheory2012.

Applications: should explain briefly (limited to 2000 characters)

     the current status of the applicant
     the kind of participation of the applicant in the school
     a breakdown of the estimated amount needed

Applications should be send by July, 15th to the following email address 
<luiz AT inf DOT puc-rio DOT br>. The following should also be sent with 
the application:

     a letter of the PhD supervisor (for students)
     a letter of recommendation (for researchers without position)