• AiML 2008: Advances in Modal Logic 2008
  • IJCAR 2008: The 4th International Joint Conference on Automated Reasoning
  • JELIA 2008: 11th European Conference on Logics in Artificial Intelligence
  • TIME 2008: 15th International Symposium on Temporal Representation and Reasoning 
    Dr. Rajeev P. Goré           Tel: +61-2-6125 8603 
Automated Reasoning Group    Fax: +61-2-6125 8651 
Computer Sciences Laboratory Email: Rajeev.Gore at anu.edu.au
Research School of Information Sciences and Engineering 
Australian National University 
Canberra, ACT, 0200, AUSTRALIA     
ANU CRICOS Provider Number - 00120C
    Rajeev.Gore at anu.edu.au