Home
Random
Nearby
Log in
Settings
Donate
About Wikipedia
Disclaimers
Search
User
:
Chalst/conferences
User page
Talk
Language
Watch
Edit
<
User:Chalst
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
.