Erik Demaine's List of Events

Disclaimer Unparsable date `May 30--June 3, 2022' at /afs/ line 63, line 1307.
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
Topic: languages
PC: Frédéric Blanqui, Gilles Dowek, Jim Lipton, Sara Negri, Mitsu Okada