Priv.-Doz. Dr. Michael Köhler-Bußmeier (Vertretungsprofessor)
|
|
|
|
 |
 |
- Raum:
- C-207 (NEW)
- Sprechstunde:
- Mi., 10:10-12:12 (Anmeldung per E-Mail erbeten)
- Telefon:
- 040 / 42883-2239 (NEW)
- Telefax:
- 040 / 42883-2246
- E-Mail:
- koehler[at]informatik.uni-hamburg.de
- Stellung:
- Vertretungsprofessor, Privatdozent
- Vitae
- Lebenslauf (Kurzfassung)
- Aktuelle Projekte:
- Nebenläufige Systeme, Petrinetze und verteilte Algorithmen
- Organisationen und Geschäftsprozesse
- Herold
- Aikido :-)
- Frühere Projekte:
- DFG-Projekt Sozionik (ASKO) und Sozionikaktuell
-
Algebra der Objektnetze
- Projekt SISOL
- DFG-Projekt Sozionik (DISPO)
- Mitgliedschaft (international):
- GI (Gesellschaft für Informatik), Fachgruppe Petrinetze und verwandte Systemmodelle (Fachgruppe 0.0.1)
- Association: Computability in Europe
- Mitgliedschaft (Universität):
- Prüfungsausschuß (PA)
- Promotionsausschuß (PromA)
- Studienkommision (StuKo) / Studienreform-Ausschuß (SRA)
- Aktuelle Publikationen
- Neues Buch: Selbstorganisation und Governance in künstlichen und sozialen Systemen.
- Habilitationsschrift: Koordinierte Selbstorganisation und selbstorganisierte Koordination
- Bibliographie
- Bibliographie (online)
- Publikationsliste [PDF]
- Einträge in der Computer Science Bibliography
- ... my Erdös-Number=3 (Paul Erdös/Solomon Marcus/Manfred Kudlek/Michael Köhler)
- Lehre
- Betreute Diplomarbeiten
- Hinweise zu Abschlussarbeiten
- Online-Vorlesung: Formale Grundlagen der Informatik 1
- Online-Vorlesung: Formale Grundlagen der Informatik 2
- OE-Vorlesung: Welfencreme oder: Einführung in Petrinetze
- Workshops und Konferenzen (PC Vorsitz)
-
- Co-Organizer of 33rd International Conference on Application and Theory of Petri Nets and Concurrency. 25.-29. June 2012, Hamburg, Germany
- Co-Chair of the Fifth International Workshop on Logics, Agents and Mobility (LAM'12). A satellite workshop at the International Conference Petri Nets 2012. 25. June 2012, Hamburg, Germany
- Chair of the Fourth International Workshop on Logics, Agents and Mobility (LAM'11). A satellite workshop at the Twenty-Second International Conference on CONCURRENCY THEORY (CONCUR 2011). 10 September 2011 Aachen, Germany
- Chair of the OrgMod'09: International Workshop on Organizational Modelling at the Conference on Application and Theory of Petri Nets (ICATPN), Paris, France, 2009
- 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
- Workshops und Konferenzen (Mitglied im Programmkommitee)
- 5th International Workshop on Petri Nets, Graph Transformation and other Concurrency Formalisms (PNGT 2012). September 29, 2012. Bremen, Germany. A Satellite Event of ICGT 2012.
- 10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2012. In conjunction with the 14th International Conference on Enterprise Information Systems - ICEIS 2012. 28 June, 2012 - Wroclaw, Poland.
- 9th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems. Co-located with ICEIS 2011 in Bejing (China) on 8-9 June, 2011.
- 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
- Third International Workshop on Logics, Agents and Mobility (LAM'10) A satellite workshop at the twenty-fifth annual IEEE Symposium on Logic in Computer Science (LICS 2010) Edinburgh, Scotland, United Kingdom, July 15, 2010
- 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
- Second International Workshop on Logics, Agents and Mobility (LAM'09) 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
