Group
THEORETICAL
FOUNDATIONS OF
COMPUTER
SCIENCE
Talks (Michael Köhler)
2007
-
Self-Organisation in Multi-Agent Systems. Eingeladener Vortrag.
University of Durham, England, 13. August 2007
-
International Conference on Application and Theory of Petri Nets (ICATPN 2007).
Web Service Orchestration with Super-Dual Object Nets.
Siedlce, Poland, 29. Juni 2007
-
International Conference on Application and Theory of Petri Nets (ICATPN 2007).
Object Nets for Mobility.
Siedlce, Poland, 28. Juni 2007
-
Formal Properties of Object Nets. Eingeladener Vortrag.
TU Berlin, Germany, 11. Mai 2007
-
Sicherheit in Multiagentensystemen.
Eingeladener Vortrag. Darmstadt, Berlin, Germany, 19. Januar 2007
2006
-
International Workshop on
Concurrency, Specification, and Programming (CS&P 2006).
Formalising Multi-Agent Organisations.
Berlin, Germany, 28. September 2006
-
International Workshop on
Concurrency, Specification, and Programming (CS&P 2006).
Reachable markings of Object Petri Nets.
Berlin, Germany, 27. September 2006
-
Algorithms and Tools for Petri Nets (AWPN 2006).
Algebraische Erweiterungen von Objektnetzen.
Hamburg, Germany, 25. September 2006
-
International Workshop on
Foundations of Coordination Languages and Software Architectures (FOCLASA'06).
Dynamic Transition Refinement.
Bonn, Germany, 31. August 2006
-
International Workshop on Modelling with Object, Components, and Agents (MOCA 2005).
The Reachability Problem for Object Nets.
Turku, Finnland, 26. Juni 2006
2005
-
International Workshop on Concurrency, Specification, and Programming (CS&P 2005).
Super-Dual Nets.
Ruciane Nida, Poland, 28. September 2005
-
International Workshop on
Concurrency, Specification, and Programming (CS&P 2005).
Modelling global and local name spaces for mobile agents using object nets.
Ruciane Nida, Poland, 28. September 2005
-
Ordnungsbildung und Erkenntnisprozesse.
Theoriebewertung und Modellerstellungen: ein Erfahrungsbericht.
Hamburg, 5. September 2005
-
Abschlusstreffen des DFG SPP Sozionik.
Theorie sozialer Selbstorganisation.
(mit Roman Langer)
Kloster Seeon, 25. Juni 2005
-
Kolloqium zum Dissertationspreis 2004.
Objektnetze.
Akademie der Wissenschaften, Mainz, 3. Mai 2005
2004
-
International Workshop on Concurrency, Specification, and Programming (CS&P 2004).
Net Processes of Zero-Safe Nets.
Caputh, 24. September 2004
-
Treffen des SPP Sozionik.
Koordinierung mobiler Agenten.
Kloster Seeon, 5. Juli 2004
-
International Conference on Application and Theory of Petri Nets 2004,
Properties of Object Petri Nets.
Bologna, 24. Juni 2004
-
International Workshop on Coordination and Petri Nets 2004,
Coordination of mobile agents: The bucket chain example.
Bologna, 21. Juni 2004
-
TU München, Oberseminar W. Brauer,
Objektnetze: Definition und Eigenschaften.
München, 5. Mai 2004
2003
- Informatiktage 2003,
Decidability Problems for Object Petri Nets.
Bad Schussenried, 8. November 2003
- Algorithms and Tools for Petri Nets (AWPN 2003),
Mobile Object Net Systems: Petri Nets as Active Tokens.
Eichstätt, 26. September 2003
- German Conference on Artificial Intelligence (KI2003),
Workshop 8 - Modelling Artificial Societies and Hybrid Organizations (MASHO'03)
Modelling Social Behaviour with Petri net based Multi-Agent Systems.
Hamburg, 16. September 2003
-
Treffen des SPP Sozionik.
Strukturdynamiken: Modellierung sozialen Verhaltens.
Kloster Seeon, 29. Juni 2003
-
International Conference on Application and Theory of Petri Nets 2003.
Modelling mobility and mobile agents using nets within nets.
Eindhoven, 27. Juni 2003
-
Workshop on Issues in Security and Petri Nets at
International Conference on Application and Theory of Petri Nets 2003.
Modelling sandboxes for mobile agents using nets within nets.
Eindhoven, 23. Juni 2003
-
Modellierung und Simulation menschlichen Verhaltens.
Workshop der ASIM-Fachgruppe "Simulation und Computational Intelligence" (FG 4.5.2)
und der Fachgruppe "Verteilte Künstliche Intelligenz" (FG 1.1.6)
Strukturdynamik als Grundlage zur Modellierung und Simulation menschlichen Verhaltens.
Humboldt-Universität zu Berlin, 24. März 2003
2002
-
International Workshop on Concurrency, Specification, and Programming (CS&P 2002).
Mobile Object Net Systems: Concurrency and Mobility.
Berlin, 7. Oktober 2002
-
Conference on Socionics 2002.
Ein sozionischer Ansatz zur Modellierung der Mikro-Makro-Problematik.
Kloster Seeon, 20. - 23. Juni 2002
2001
-
11. Workshop on Coloured Petri Nets (IWCPN'11).
'Modelling Schimank' - Social Science Meets Computer Science.
Hamburg, 2001
-
Modelling with Objects, Components, and Agents (MOCA 2001).
The Multi Agent Architecture SAM - Towards a Unified Approach for Modeling and Verification of Multi Agent Systems.
Aarhus, Denmark, August 27-28, 2001
2000
-
Conference on Socionics 2000.
Akteurstheoretische Betrachtungen organisationaler Handlungen:
Konstruktion und Modellierung (zusammen mit Daniela Hinck).
Kloster Seeon, 10. bis 13. Juni 2000.
-
Workshop SBC'2000. Structural and Behavioural Concepts of High-Level Petri Nets.
Compositionality for Agent-oriented Petri Nets: Introduction into Dynamic Protocol Petri nets.
Hamburg, Germany, 2. bis 4. Mai 2000.
-
Kick-off Treffen der Sozionikprojekte.
Agieren in sozialen Kontexten - ein sozionischer Ansatz zur Modellerstellung und Theoriebewertung
(zusammen mit Daniela Hinck, Rolf von Lüde, Rüdiger Valk und Roman Langer).
26. bis 28. Januar 2000 im Evangelischen Zentrum Rissen, Hamburg.
1999
-
Informatiktage 1999. Fachwissenschaftlicher Informatik-Kongreß.
Strukturen von Objekt- und Agent-Petrinetzen.
12. und 13. November 1999 im Neuen Kloster, Bad Schussenried.
[Dr. M. Köhler]
[Publications]
[TGI]
Last Change: 22:10 09/22/2007
Impressum