Forthcoming Events
Past Events
- Augustus de Morgan workshop series
- 9th European Conference "Logics in Artificial Intelligence" (JELIA'04),
27-30 September 2004, Universidade Nova de Lisboa, Portugal
- Advances in Modal Logic 2004 (AiML-2004), 9-11
September 2004, University of Manchester, UK
- TIME-ICTL 2003,
8-10 July 2003, Cairne, Australia
- International Conference on Algebraic and Topological Methods in Non-Classical Logics, 7-11 July 2003, Tbilisi, Georgia
- Advances in Modal Logic 2002
(AiML-2002),
September 30 - October 2 2002, Université Paul Sabatier,
Toulouse, France
- 9th Workshop on Automated Reasoning - Bridging the Gap between
Theory and Practice
(ARW-2002),
3-4 April 2002, Imperial College, London
- International Conference on Pure and Applied Practical Reasoning
(FAPR-2000),
18-20 September 2000, Imperial College, London
- 7th Workshop on Automated Reasoning - Bridging the Gap between
Theory and Practice
(ARW-2000),
20-21 July 2000, King's College London
- Leverhulme Workshop on Underspecification and
Growth of Information
(LW-2000),
13-14 March 2000, King's College London
- 5th European Conference on Symbolic and Quantitative Approaches
to Reasoning with Uncertainty
(ECSQARU-1999),
5-9 July 1999, University College London
|
|
