Some Useful Links

• Who is Who in Formal Methods
• Relational Methods in Computer Science
• IFIP Working Group 2.1 "Algorithmic Languages and Calculi"
• The Collecion of Computer Science Bibliographies of the University of Karlsruhe
• German Informatics Society (GI)

Electronic Journals

• Journal on Relational Methods in Computer Science
• Logic Journal of the IGPL
• Electronic Notes in Theoretical Computer Science
• ACM Transactions on Computational Logic
• Journal of Universal Computer Science
• The Computer Journal Online

Events - Conferences

• RelMiCS 7 - Relational Methods in Computer Science, May 12 -17, Malente (Germany).
• The 9th International Conference on Relational Methods in Computer Science and the 4th International Workshop on Kleene Algebra, 29 Aug. - 2 Sep. 2006, Manchester (UK)

Miscellanious

• The webpages of the institute, which are only available for local users: http://www.informatik.uni-kiel.de/inf/ifi/
• Pictures of our working group
• Pictures of the trip made on July 5, 2002