Current Journal Activities

• Technical editor of the Logic Journal of the IGPL.
• Member of the Editorial Board of the Journal of Logic and Computation
• Member of the Editorial Board of the Journal of Applied Logic

Conferences

• 10th Conference on Automated Deduction (CADE) 1990, Kaiserslautern, Germany (local arrangement chairman)
• German Workshop on Artificial Intelligence GWAI 1992 (programme chairman)
• International Conference on Temporal Logic (ICTL) 1994, Bonn (local arrangement chairman)
• International Conference on Formal and Applied Practical Reasoning, Bonn, 1996 (local arrangement chairman)
• UK Automated Reasoning Workshop 2000 (programme chairman).

Software

• Quantifier Elimination Program SCAN

Senior Membership in Scientific Associations

• Association for Automated Reasoning (vice president)
• Automated Reasoning UK (former member of the advisory board)

Related Links

• I maintain a conference web page.
• Page of Positive Reviews of Research in Logical AI
• A collection of links to KR and Ontology formalisms

Last Modified: Tuesday, 01-Oct-2002 13:21:10 CEST