Priv.-Doz. Dr. Michael Köhler-Bußmeier (Vertretungsprofessor)
|
|
|
|
 |
 |
- Raum:
- C-216
- Sprechstunde:
- Fr., 12:12 - 13:13 (in der Vorlesungszeit, Sommer 2012)
- Telefon:
- 040 / 42883-2244
- 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
- Online-Vorlesung: Formale Grundlagen der Informatik 1
- Online-Vorlesung: Formale Grundlagen der Informatik 2
-
Vorträge (Auswahl)
- Workshops und Konferenzen (PC Vorsitz)
- 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./26. 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)
- 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
