Priv.-Doz. Dr. Michael Köhler-Bußmeier
|
|
 |
- Birou:
- C-216
- Consultaţii:
- Mi, 14:00 - 15:00 (in der Vorlesungszeit)
- Telefon:
- 040 / 42883-2244
- Telefax:
- 040 / 42883-2246
- E-Mail:
- koehler[at]informatik.uni-hamburg.de
- Funcţie:
- Vertretungsprofessor, Privatdozent
- Vitae
- Proiecte actuale:
- Concurrency, Petri Nets, and Distributed Algorithms
- Organizations and business processes
- Aikido :-)
- Proiecte
- Sozionikaktuell
-
- Projekt SISOL
- DFG-Projekt Sozionik (DISPO)
- GI (Gesellschaft für Informatik), Fachgruppe Petrinetze und verwandte Systemmodelle (Fachgruppe 0.0.1)
- Association: Computability in Europe
- Prüfungsausschuß (PA)
- Promotionsausschuß (PromA)
- Studienkommision (StuKo) / Studienreform-Ausschuß (SRA)
- Bibliografie (online)
- [PDF]
- ... my Erdös-Number=3 (Paul Erdös/Solomon Marcus/Manfred Kudlek/Michael Köhler)
- Lehre
-
- Online-Vorlesung: Formale Grundlagen der Informatik 1
- Online-Vorlesung: Formale Grundlagen der Informatik 2
-
- 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
- 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
