User:Chalst/conferences

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Conferences and workshops

  • SD05 The structures and deuductions workshop with the theme The quest for the essence of proofs, which I am coorganising. It will be a satellite of ICALP 2005.
Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=User:Chalst/conferences&oldid=1119280"