About ARW
Organising committee
Workshops
Related sites
Printer friendly site
The Thirteenth Workshop on Automated Reasoning was co-located with AISB 2006. Financial support was received from the British Logic Colloquium and Microsoft Research Cambridge.
last modified on Wednesday, 05-Apr-2006 17:00:21 BST