Priv.-Doz. Dr. Michael Köhler-Bußmeier

Hinweis

Birou:

-

Consultaţii:

nur nach Anmeldung per E-Mail

Telefon:

040 / 42883-2181

Telefax:

040 / 42883-2246

E-Mail:

koehler[at]informatik.uni-hamburg.de

Funcţie:

Privatdozent

Vitae

Proiecte (bis 2013)

Konzeption und Durchführung des inverted-classroom Ansatzes für die Lehre im Pflichtmodul Formale Grundlagen der Informatik (FGI-1) (BMBF-Teilprojekt: 01PL12033)

Didaktische und methodische Qualifikation studentischer Hilfskräfte für die Üungsbetreuung der Studieneingangsphase der Informatik (BMBF-Teilprojekt: 01PL12033)

Herold (BMBF-Projekt 01BS0901)

Sozionikaktuell

DFG-Projekt Sozionik (DISPO)

Projekt SISOL

Concurrency, Petri Nets, and Distributed Algorithms

Organizations and business processes

Aikido :-)

GI (Gesellschaft für Informatik), Fachgruppe Petrinetze und verwandte Systemmodelle (Fachgruppe 0.0.1)

Association: Computability in Europe

Prüfungsausschuß (PA) - bis 2013

Promotionsausschuß (PromA) - bis 2013

Studienkommision (StuKo) / Studienreform-Ausschuß (SRA) - bis 2013

Bibliografie (TGI-DB, 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

International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems. A satellite workshop at the 35rd International Conference on Application and Theory of Petri Nets and Concurrency, Tunis, Tunisia, June 24, 2014

International Workshop on Petri Nets and Software Engineering (PNSE'13). A satellite workshop at the Conference on Application and Theory of Petri Nets (ICATPN'13), Milano, Italy, June 24-25, 2013

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