Jump to content

User:Chalst/conferences

From Wikipedia, the free encyclopedia

Conferences and workshops

[edit]
  • 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.