STRATEGIES 2001
4th International Workshop on Strategies in Automated Deduction
Post-workshop ENTCS proceedings:
Selected papers of STRATEGIES 2001 have been published in the
Electronic Notes in Computer Science (ENTCS)
series of Elsevier,
Volume 58,
Issue 2.
- home
- call for papers
(html,
txt,
pdf,
ps)
- important dates
| submission: |
| April 11, 2001 |
| notification: |
| April 30, 2001 |
| final versions: |
| May 20, 2001 |
| IJCAR: |
| June 20-23, 2001 |
| workshop: |
| June 18, 2001 |
- program comittee
- invited talks
- accepted papers
- registration
- program
- participants
- proceedings
Last modified: Thu Nov 22 16:35:09 CET 2001
BG