Erik Demaine
's List of Events
Disclaimer
Unparsable date `May 30--June 3, 2022' at /afs/csail.mit.edu/u/e/edemaine/public_html/events/DateRange.pm line 63,
line 1307.
Calendar for
January
February
March
April
May
June
July
August
September
October
November
December
2020
2021
2022
2023
2024
2025
2026
2027
2028
2029
2030
Search for keywords
in
any field
where
title
URL
note
sorted by
title
due
when
accept
final
hotel
register
topic
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