[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
TPR'07 Call for participation Type theory, proof theory, and rewriting Friday, June 29th, 2007, Paris Type theory, proof theory and rewriting is a workshop to present on-going work on proof theory and type theory with an emphasis on the use of rewriting techniques in these areas. Talks will be given by Jim Lipton, Olivier Hermant, Michele Pagani and Lorenzo Tortora de Falco, Makoto Hamana, Mitsu Okada, Frédéric Blanqui, Jean-Pierre Jouannaud and Albert Rubio, Thorsten Altenkirch and James Chapman, Nicolas Oury, Bruno Barras and Bruno Bernardo, and Ross Duncan. The program is online at: http://www.lix.polytechnique.fr/~dowek/tpr.html No registration is required. This workshop is a small TYPES meeting. It will be hosted by the laboratory Preuves, Programmes et Systèmes, 175 rue du Chevalleret, 75013 Paris, France, Room 0C2. Hope to see you there. Regards. Gilles Dowek, Frédéric Blanqui, Jim Lipton, Sara Negri, Mitsu Okada