Erik Demaine
's
List of Events
Disclaimer
Turn off help bubbles
Calendar for
January
February
March
April
May
June
July
August
September
October
November
December
2019
2020
2021
2022
2023
2024
2025
2026
2027
2028
2029
Search for keywords
in
any field
where
title
URL
note
sorted by
acronym
title
due
when
accept
final
hotel
register
topic
Note: Searching for nothing will return all events, sorted as you like.
Filter for events with dates no earlier than
days,
months, and
years in the past.
Filter for events with dates no later than
days,
months, and
years in the future.
Subfilter: include entries that match filters, not whole events.
Generate iCalendar
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
[
Wayback
]
Topic:
languages
PC:
Frédéric Blanqui, Gilles Dowek, Jim Lipton, Sara Negri, Mitsu Okada