Priv.-Doz. Dr. Michael Köhler-Bußmeier (Guest Professor)
|
|
|
|
 |
 |
- Room:
- C-207 (NEW)
- Consulting time:
- Mi., 10:10-12:12 (Anmeldung per E-Mail erbeten)
- Phone:
- 040 / 42883-2239 (NEW)
- Telefax:
- 040 / 42883-2246
- E-Mail:
- koehler[at]informatik.uni-hamburg.de
- Position:
- Vertretungsprofessor, Privatdozent
- Vitae
- C.V. (short)
- Current projects:
- Concurrency, Petri Nets, and Distributed Algorithms
- Organizations and business processes
- Herold
- 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)
- Association: Computability in Europe
- Membership (University):
- Prüfungsausschuß (PA)
- Promotionsausschuß (PromA)
- Studienkommision (StuKo) / Studienreform-Ausschuß (SRA)
- Recent Publications
- New book: Self-organisation and governance in artificial and social systems. (in german)
- Habilitation Thesis: Coordinated self-organisation and self-organised coordination
- Bibliography
- Bibliography (online)
- List of Publication [PDF]
- My entries in the Computer Science Bibliography
- ... my Erdös-Number=3 (Paul Erdös/Solomon Marcus/Manfred Kudlek/Michael Köhler)
- Lehre
- Supervised Bachelor- and Master-Thesis
- Hints for Bachelor- and Master-Thesis
- Online-Vorlesung: Formale Grundlagen der Informatik 1
- Online-Vorlesung: Formale Grundlagen der Informatik 2
- OE-Vorlesung: Welfencreme oder: Einführung in Petrinetze
- Workshops and Conferences (PC Chair)
-
- 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 and Conferences (PC Member)
- 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
