[TYPES/announce] Proof Theory: Linear Logic, Ludics and Geometry of Interaction & Transcendental Syntax: The conditions of Possibility of Language

Christiano Braga cbraga at ic.uff.br
Sun Aug 5 11:53:18 EDT 2012

[Apologies for multiple postings.]

Paraty 2012


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

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,
•	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

•	School Lectures
•	Conference Lectures

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
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)

-------------- next part --------------
A non-text attachment was scrubbed...
Name: cartaz final.pdf
Type: application/pdf
Size: 696245 bytes
Desc: not available
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120805/bbec3e41/attachment-0001.pdf>
-------------- next part --------------

More information about the Types-announce mailing list