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