User:Chalst/conferences

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.