Einige nützliche Links

• Who is Who der Formalen Methoden
• Relationale Methoden in der Informatik
• IFIP Working Group 2.1 "Algorithmic Languages and Calculi"
• The Collecion of Computer Science Bibliographies der Universität Karlsruhe
• Gesellschaft für Informatik

Elektronische Zeitschriften

• 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

Ereignisse - Konferenzen

• 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)

Verschiedenes

• Die nur lokal aufrufbaren Seiten des Instituts: http://www.informatik.uni-kiel.de/inf/ifi/
• Bilder von der Arbeitsgruppe
• Bilder vom Ausflug am 7. Juli 2002