Links

• Travel Information

University

• WE Informatik
• Math.-Nat. Fakultät

Conferences run by us

• AVOCS 2010 (proceedings)
• iFM 2009

Books

• Our local group library

Prolog and Logic Programming

• Planet Prolog
• ALP Newsletter
• Logic Programming Virtual Library
• A Prolog Tutorial
• Learn Prolog Now

Prolog Systems

• Ciao Prolog
• Sicstus Prolog
• XSB Prolog
• SWI Prolog
• Mercury
• Cetus links on Prolog
• Prolog Virtual Worlds

Model Checking Tools

• Spin
• FDR and Probe
• Cadence SMV
• CMU SMV
• ProB

Partial Evaluation

• The LOPSTR Home Page

Miscellaneous

• Errata for the German edition of the Dragon book
• A few BBEdit Codeless Language Modules (for Prolog, CSP, and Logen)
• DBLP Bibliography
• Essays by Paul Graham
• Abnormal Distribution Blog
• Amnesty International on-line