• JELIA 2010: European Conference on Logics in Artificial Intelligence
  • IJCAR 2010: International Joint Conference on Automated Reasoning
  • AiML 2010: Advances In Modal Logic 2010
  • DL 2010: The 23rd International Workshop on Description Logics
  • TIME 2009 16th 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