• 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, 0200, AUSTRALIA     
    ANU CRICOS Provider Number - 00120C