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