Erik Demaine's List of Events

Disclaimer
Calendar for
Search for keywords in sorted by
          Note: Searching for nothing will return all events, sorted as you like.

TPR 2007

TPR 2007: International Workshop on Type theory, Proof theory, and Rewriting

Due: April 13, 2007
When: June 29, 2007
Where: Paris, France
URL: http://www.lix.polytechnique.fr/~dowek/tpr.html
Topic: languages
PC: Frédéric Blanqui, Gilles Dowek, Jim Lipton, Sara Negri, Mitsu Okada