[ The Types Forum (announcements only),
LAST CALL FOR PAPERS
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.
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.
Deadline for submissions: Friday, April 13th, 2007. Workshop: Friday, June