Discussion Forums


FroCoS - Frontiers of Combining Systems

AiML-ICTL 2002 - Advances in Modal Logics
AWR 2002 - Automated Reasoning Workshop
DL2002 - International Workshop on Description Logics
CALCULEMUS-2002 - Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
JELIA 2002 - European Workshop on Logic in AI
STRATEGIES - International Workshop on Strategies in Automated Deduction
UNIF 2002 - International Workshop on Unification


CADE-18 - International Conference on Automated Deduction
CAV'02 - International Conference on Computer-Aided Verification
CP2002 - International Conference on Principles and Practice of Constraint Programming
CSL'02 - Annual Conference of the European Association for Computer Science Logic
LICS 2002 - IEEE Symposium on Logic in Computer Science
RTA 2002 - International Conference on Rewriting Techniques and Applications
TABLEAUX 2002 - International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Web Forum of the Automated Reasoning Research Area

Last updated: Jun 2002.