[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

TPR '07
International Workshop on Type theory, proof theory, and rewriting
Paris, France, June 29th 2007

                     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.

Topics include, but are not limited to, extensions of type theory with
rewriting, deduction modulo and other extensions of predicate logic,
the use of rewriting in logical frameworks and proof assistants, proof
search methods using rewriting and related methods, proof search tools
using rewriting, cut elimination, structural proof analysis...  This
workshop is supported by the Types project, a coordination action in
EU's 6th framework programme. Types also organizes the HOR workshop, a
few days before.

Program Committee

Frédéric Blanqui (LORIA, France)
Gilles Dowek (École polytechnique, France)
Jim Lipton (Wesleyan University, United States and UPM, Spain)
Sara Negri (University of Helsinki, Finland)
Mitsu Okada (Keio University, Japan)


Submissions --- an extended abstract of length ranging from 3 to 15
pages --- should be sent to Gilles.Dowek AT polytechnique.edu before
Friday, April 13th, 2007.


The workshop will be hosted by the laboratory Preuves, Programmes et
Systèmes, 175 rue du Chevalleret, 75013 Paris, France, Room 0C2.

Important Dates

Deadline for submissions: Friday, April 13th, 2007. Workshop: Friday, June 29th, 2007.

Reply via email to