The Australian National University
CSL Home | CECS Home | ANU Home | Search ANU | HORUS | Staff Home

Logic and Computation Group: Links

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