Miscellaneous

Useful Links

• Petri Nets World
• Association for Symbolic Logic
• Association for Logic Programming
• Association for Automated Reasoning
• Association for Constraint Programming
• Principles of Knowledge Representation and Reasoning, Incorporated (KR Inc.)
• GT Bioss
• CoLoMoTo (Consortium for Logical Models and Tools)
• International Society for Computational Biology (ISCB)
• Working Group 5 (on Cellular Automata and Discrete Complex Systems)