Logic & Computation links
Conferences
- 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
Collaborators
- 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
