Priv.-Doz. Dr. Michael Köhler-Bußmeier
|
|
|
|
 |
 |
- Bureau:
- C-207 (NEW)
- Heure de consultation:
- Mi., 10:10-12:12 (Anmeldung per E-Mail erbeten)
- Téléphone:
- 040 / 42883-2239 (NEW)
- Télécopie:
- 040 / 42883-2246
- E-Mail:
- koehler[at]informatik.uni-hamburg.de
- Position:
- Vertretungsprofessor, Privatdozent
- Vitae
- Projets actuels:
- Systemes concurrentes, Réseaux de Petri et algorithmes distribues
- Organisation, processus et modelage des processus
- Herold
- Aikido :-)
- Projets anciens
- DFG-Projekt Sozionik (ASKO) (seulement en Allemand) Sozionikaktuell
-
- Projekt SISOL (seulement en Allemand)
- DFG-Projekt Sozionik (DISPO) (seulement en Allemand)
- Affiliation (international):
- GI (Gesellschaft für Informatik), Fachgruppe Petrinetze und verwandte Systemmodelle (Fachgruppe 0.0.1)
- Association: Computability in Europe
- Membre de (Université)
- Prüfungsausschuß (PA)
- Promotionsausschuß (PromA)
- Studienkommision (StuKo) / Studienreform-Ausschuß (SRA)
- Bibliographie (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
- OE-Vorlesung: Welfencreme oder: Einführung in Petrinetze
-
- 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
- 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
