Research Group Theoretical Computer Science
headed by
Welcome to the Research Group Theoretical Computer Science in the Department of Mathematics and Computer Science at the University of Bremen, Germany. We are part of the Technologie-Zentrum Informatik TZI [Centre for Computing Technologies] as a member of the TZI branch Software analysis and transformation SAT, a partner in the interdisciplinary Bremen Research Cluster for Dynamics in Logistics LogDynamics, and a member of the Collaborative Research Centre 637 Autonomous Cooperating Logistic Processes - A Paradigm Shift and its Limitations.
Prof. Dr Hans-Jörg Kreowski
Our teaching and research concentrates on theoretical computer science. In particular, we work in the areas of algebraic specification, graph transformation, and syntactic methods of picture generation. Moreover, we work on making informatics (i.e. computer science) more attractive to women, which implies reforms of the university education as well as gender studies in informatics (see Informatica Feminale and Kompetenzzentrum Frauen in Naturwissenschaft und Technik ).
The research group's progress from 1994 and 2000 is documented in a series of annual reports.
Further interesting links:
- 6th International Conference on Graph Transformation (ICGT 2012)
- 3rd International Conference on Dynamics in Logistics (LDIC 2012)
- EdMat - Education Matters
- FIfF-Jahrestagung 2010: transparenz.arbeit.kontrolle
- ICGT 2010: 5th International Conference on Graph Transformation
- Third International Workshop on Graph Computation Models (GCM 2010)
- FIfF-Jahrestagung 2009: Verantwortung 2.0
- Festkolloquium zum 60. Geburtstag von Hans-Jörg Kreowski
- LDIC 2009: 2nd International Conference on Dynamics in Logistics in Bremen, Germany, August 17 - 21, 2009
- FIfF-Jahrestagung 2008: Krieg und Frieden - digital
- ICGT 2008: 4th International Conference on Graph Transformation in Leicester (United Kingdom), September 7 - 13, 2008
- GCM 2008: Workshop on Graph Computation Models
- Lectures given by Grzegorz Rozenberg in Bremen!
- 1st Graph Transformation Day
- International Conference on Dynamics in Logistics in Bremen, 2007
Mail Address
University of Bremen
Dept. for Math. &
Computer Science
P.O. Box 330 440
28334 Bremen
Germany
Physical Address
Linzer Strasse 9a
OAS 3002
28359 Bremen
Phone
++49(421)218 64450
Fax
++49 (421)218 64459
Email (Secr.)
Helga Reinermann
helga@tzi.de
