Skip Navigation CSL Home | CECS Home | ANU Home | Search ANU | HORUS | Staff Home

Logic and Computation Group: Links The Australian National University College of Engineering and Computer Science Research School of Information Sciences and Engineering Computer Sciences Laboratory Logic and Computation Group National ICT Australia Ltd Logic and Computation Program Conferences Collaborators American Association for Artificial Intelligence Conference on Automated Deduction Principles and Practice of Constraint Programming European Conf. on Artificial Intelligence Federated Logic Conference Int'l Conf. on Automated Planning and Scheduling Int'l Conference on Functional Programming Int'l Joint Conference on Automated Reasoning Int'l Joint Conference on Artificial Intelligence Logic for Programming AI and Reasoning Principles of Programming Languages Pacific Rim Int'l Conference on AI Theory and Applications of Satisfiability Testing ACM SIG on Data Communications University of Cambridge Computer Laboratory Griffith University University of Iowa Japan Advanced Inst. for Science and Technology LORIA / INRIA-Lorraine, Nancy Max-Planck Institut für Informatik University of Melbourne NICTA Embedded, Real Time & Operating Systems NICTA Formal Methods Program NICTA Knowledge Representation and Reasoning NICTA Networks Information Processing Program University of Picardie University of California at Los Angeles Miscellaneous Association for Symbolic Logic Association for Automated Reasoning Australasian Association for Logic The TPTP library

Copyright | Disclaimer | Privacy | Contact ANU

Please direct all enquiries for this website to: JavaScript must be enabled to display this email address. Page authorised by: Head of Department, CSL Updated: 19 December, 2006.

The Australian National University CRICOS Provider Number 00120C — ABN: 522 34063906