• AiML 2012 International Conference on Advances in Modal Logic:
  • DL 2012 International Workshop on Descriptions Logics:
  • ICLA 2012: 6th Indian Conference on Logic and Applications
  • CLoDeM 2012: IJCAR Workshop on Comparing Logical Decision Methods 
    Prof. Rajeev P. Goré         Tel: +61-2-6125 8603 
Logic and Computation Group    Fax: +61-2-6125 8651 
Research School of Computer Science Email: Rajeev.Gore at anu.edu.au
Australian National University 
Canberra, ACT, 2601, AUSTRALIA     
ANU CRICOS Provider Number - 00120C