CADE-20
20th International Conference
on Automated Deduction
Tallinn
,
Estonia
22 July - 27 July, 2005
the medieval atmosphere
about cade
important dates
submission
accepted papers
schedule
detailed schedule
ws and tutorials
equipment
casc
registration
site
location
hotels
travel
invited speakers
program committee
organizers
poster
single page
invited speakers
Randal Bryant (CMU)
Gilles Dowek (Ecole Polytechnique)
Frank Wolter (U. Liverpool).
