Erik Demaine's List of Events

Disclaimer Turn off help bubbles

Calendar for    
Search for keywords in sorted by    
           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


[map by MyWorld66, distributed under Creative Commons Attribution-ShareAlike 1.0 License]

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