Local Services

• MIAU

Utilities

• Google Fact Index Slashdot Altavista

Indexes

• Hypatia Electronic Library Consolidated Index Journals and Conferences (HBP) DBLP

Topics

• SIGPLAN
• Spatial Logics
• Calculi for Mobile Processes (pi-calculus)
• Specification and Verification
• Programming Language Research Resources
• Logical Frameworks
• Concurrent Systems
• Rewriting
• Logic Programming
• Linear Logic
• Lambda-Prolog Home Page
• Action Calculi
• Object Orientation
• Categories Home Page
• Petri Nets
• Mathematical Logic

Conference and Workshop Announcements

• "Logic in Computer Science" Related Conferences

Institutions and Groups

• LRI, Paris, FR.
• Algebraic Models for Concurrency, Pisa, IT.
• Carnegie Mellon CS Department
• Logic and Computation , Penn, USA.
• BRICS, DAIMI, DK.
• Computer Lab, Cambridge, UK.
• Computing Laboratory, Oxford, UK.
• Computer Science Lab, SRI, US.
• Concurrency Group, Stanford University, US.
• Department of Software Technology, CWI, NL.
• SICS, SE.
• Department of Computer Science, Edinburgh, UK.
• MICAS, IRISA, Rennes, F.
• Theory and Formal Methods, DoC Imperial College, UK.
• Theory of Computation, MIT, US.
• Theoretical Computer Science, Free University of Amsterdam, NL.

Mailing Lists

• Mobility (MOCA)
• Types
• EAPLS