STRATEGIES IN AUTOMATED DEDUCTION
(workshop series in conjunction with
CADE
and
IJCAR
conferences)
- IWS'10:
1st International Workshop on Strategies in Rewriting, Proving, and Programming,
held in conjunction with
FLoC'10
(5th Federated Logic Conference),
Edinburgh, Scotland, UK, July 9, 2010
-
- STRATEGIES'06:
6th International Workshop on Strategies in Automated Deduction,
held in conjunction with
IJCAR'06
(2nd International Joint Conference on Automated Reasoning),
which is part of
FLoC'06
(4th Federated Logic Conference),
Seattle, Washington, USA, August 16, 2006
-
STRATEGIES'04:
5th International Workshop on Strategies in Automated Deduction,
held in conjunction with
IJCAR'04
(2nd International Joint Conference on Automated Reasoning),
Cork, Ireland, July 4, 2004
- STRATEGIES'01:
4th International Workshop on Strategies in Automated Deduction,
held in conjunction with
IJCAR'01
(1st International Joint Conference on Automated Reasoning),
Siena, Italy, June 18, 2001
- STRATEGIES'99:
3rd International Workshop on Strategies in Automated Deduction,
held in conjunction with
FLoC'99
(2nd Federated Logic Conference),
Trento, Italy, July 5, 1999
- STRATEGIES'98:
2nd International Workshop on Strategies in Automated Deduction,
held in conjunction with
CADE'98
(5th International Conference on Automated Deduction),
Lindau, Germany, July 5, 1998
- STRATEGIES'97:
1st International Workshop on Strategies in Automated Deduction,
held in conjunction with
CADE'97
(14th International Conference on Automated Deduction),
Townsville, North Queensland, Australia, July 13, 1997
Last modified: Wed Dec 2 16:34:16 CET 2009