Group
THEORETICAL FOUNDATIONS OF COMPUTER SCIENCE

Dr. Michael Köhler-Bußmeier

Room:: C-216
Consulting time:: z.Z. in Elternzeit. Termine daher nur nach vorheriger Vereinbarung
Phone:: 040 / 42883-2244
Telefax:: 040 / 42883-2246
E-Mail:: koehler[at]informatik.uni-hamburg.de
Position:: research assistant
Current projects:: Dynamische Petrinetzstrukturen (German only); Petri net tools as basis for model creation, evaluation and execution; Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze (German only); Geschäftsprozessmodellierung und -management (German only); Web-Engineering (German only); Theoretische und softwaretechnische Grundlagen der Agentenorientierung (German only); Petrinetze zur Modellierung in sozialen Kontexten (German only); Selbstorganisationsprinzipien (German only); Petri Net and Agent-Based Applications; (neu) AG "PIGS in Space"; Aikido
Former projects:: DFG-Project Sozionics (ASKO) and Sozionikaktuell; Algebra of Object Nets; Projekt SISOL (German only); DFG-Projekt Sozionik (DISPO) (German only)
Membership (international):: GI (Gesellschaft für Informatik), Fachgruppe Petrinetze und verwandte Systemmodelle (Fachgruppe 0.0.1)
Membership (University):: Prüfungs-Ausschuß (PA); Studienreform-Ausschuß (SRA)
Bibliography: New book: Self-organisation and governance in artificial and social systems. (in german); Bibliography; List of Publication [PDF]; My entries in the Computer Science Bibliography
Supervised Bachelor- and Master-Thesis
Talks
Workshops and Conferences (PC Chair): Chair of the International Workshop on Logics for Agents and Mobility at the European Summer School in Logic, Language, and Information (ESSLLI), Hamburg, Germany, August 4-15, 2008; Chair of the OrgMod'09: International Workshop on Organizational Modelling at the Conference on Application and Theory of Petri Nets (ICATPN), Paris, France, 2009
Workshops and Conferences (PC Member): International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2010). In conjunction with the 12th International Conference on Enterprise Information Systems (ICEIS 2010). 8-9 June, 2010 - Funchal, Madeira, Portugal; International Workshop on Petri Nets and Software Engineering (PNSE'09). A satellite workshop at the Conference on Application and Theory of Petri Nets (ICATPN'09), Paris, France, June 22-23, 2007; International Workshop on Logics for Agents and Mobility A satellite workshop at the Twenty-Fourth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2009). Los Angeles, USA, 10 August 2009.; International Workshop on Modelling of Objects, Components, and Agents (MOCA'09). Co-located with MATES 2009 and CLIMA-X 2009. Hamburg, Germany, 11th September 2009; International Workshop on Petri Nets and Software Engineering (PNSE'07). A satellite workshop at the Conference on Application and Theory of Petri Nets (ICATPN), Siedlce, Poland, June 25-26, 2007