[TYPES/announce] Last Call for Papers TPR'07 Deadline April 13th
Frederic Blanqui
blanqui at loria.fr
Thu Apr 12 10:52:30 EDT 2007
================================================================
LAST CALL FOR PAPERS
TPR '07
International Workshop on Type theory, proof theory, and rewriting
Paris, France, June 29th 2007
http://www.lix.polytechnique.fr/~dowek/tpr.html
================================================================
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
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.
Venue
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.
More information about the Types-announce
mailing list