Resources

These are resources that I find useful, and hence are strongly biased towards my interests. Omission from this list does not imply anything significant (except, perhaps, some sloth on my part).

Local Seminars

• Computer Science, RMIT
• CS&SE,Melbourne University
• Information Systems, Melbourne University
• CS&SE,Monash University
• Agents Vic

Useful Links

• RMIT Agents
• `Proofs and Types' by Girard, Lafont and Taylor
• Sequent Proofs
• Proof Theory Page
• Logic Museum

Events

• EACSL Annual Conference on Computer Science and Logic (CSL'07)
  
• 35th International Colloquium on Automata, Languages and Programming (ICALP'08)
  
• CATS'08
  
• ACSW'08
  
• International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'08)
  
• Computability in Europe 2008: Logic and Theory of Algorithms (CiE'08)
  
• International Joint Conference on Automated Deduction (IJCAR'08)
  

Regular Events

• CADE
• CSL
• IJCAI
• LICS
• TABLEAUX
• AIML
• ACSW

Journals

• Logical Methods in Computer Science (free on-line access)
• Discrete Mathematics and Theoretical Computer Science
• Information and Computation
• Journal of Automated Reasoning
• Journal of Logic and Computation
• Theory and Practice of Logic Programming Note: This journal was founded after the Editorial Board of the Journal of Logic Programming resigned en masse in November, 1999. The Assocation for Logic Progamming withdrew its support for the Journal of Logic Programming, and adopted the Theory and Practice of Logic Programming as the sole official journal of the Association for Logic Programming.
• Journal of Symbolic Computation
• Journal of Symbolic Logic
• Theoretical Computer Science
• ACM Transactions on Computational Logic

Academic Publishers

• Academic Press
• MIT Press
• Oxford University Press

Organisations

• Association for Automated Reasoning
• Association for Logic Programming
• Association for Symbolic Logic
• Computer Science Association
• Australian Research Council
• Australian Research Council (Grants Programmes)
• National Information and Communication Technology of Australia

Descriptive Links

• Linear Logic
• Logic Programming Archive
• Logic Programming Page
• Logic Programming References
• Automated Reasoning
• Links2Go (Logic)
• AgentCities
• RoboCup
• RoboRescue

Programming Languages

• A Timeline of Computer Programming Languages
• Beginners Guide to Coding
• Beginner's Resources to Learn Programming Languages
• Guru99
• Lygon
• Lolli
• Forum
• Lambda Prolog
• Mercury
• NuProlog and related systems
• BProlog
• Open Prolog
• GNU Prolog
• BinProlog 5.75
• Ciao Prolog
• Prolog CAFE
  
• Programming Resources
• Beginner's Guide to Programming
• A Guide to Web Development and Programming Languages

Theorem Provers

• Otter
• Spass
• Blicksem
• Gandalf

Proof Assistants

• Jape
• Lego
• Twelf
• Isabelle
• Coq
• Nu-prl