Anuncios

Current Announcements

• Frau Dr. Petra Berenbrink übernimmt zum Wintersemester 2016 die Leitung der Arbeitsgruppe.

Former Announcements / Events

• Dr. Frank Heitmann hat am 30.9.2016 seinen letzten Arbeitstag hier am Fachbreich.
• Dr. Frank Heitmann hat eine Vertretungsprofessur am Fachbereich Informatik erhalten (zum 1.4.2015).
• Dr. Manfred Kufleitner hat am 31.3.2015 seinen letzten Arbeitstag hier am Fachbereich.
• Dr. Manfred Kufleitner hat eine Vertretungsprofessur am Fachbereich Informatik erhalten (zum 1.10.2014).
• Dr. Frank Heitmann hat am 30.9.2014 seinen letzten Arbeitstag als Vertretungsprofessor hier am Fachbereich.
• Dr. Frank Heitmann hat eine Vertretungsprofessur am Fachbereich Informatik erhalten (zum 1.10.2013).
• Dr. Köhler-Bußmeier hat einen Ruf an die HAW Hamburg erhalten (zum 1.9.2013).
• Dr. Dr. hc. mult. Wilfried Brauer ist am 25. Februar 2014 verstorben. Er hat nicht nur die Informatik in Hamburg sondern auch 1971 den jetzigen Arbeitsbereich "Theoretische Grundlagen der Informatik (TGI)" gegründet und bis 1985 geleitet.
• Disputation Frank Heitmann am 3.7.2013
• 18.6.2012. Der Arbeitsbereich TGI trauert um Dr. Manfred Kudlek (1940-2012)
• Petri Nets 2012 33rd International Conference on Application and Theory of Petri Nets and Concurrency, in Hamburg, Germany, June 25-29, 2012 (sólo en Inglés)
• PNSE '12 International Workshop on Petri Nets and Software Engineering, in Hamburg, Germany, June 25–26, 2012 (satellite event of Petri Nets 2012) (sólo en Inglés)
• LAM '12 International Workshop on Logics, Agents, and Mobility in Hamburg, Germany, June 25–26, 2012 (satellite event of Petri Nets 2012) (sólo en Inglés)
• Prof. Dr. Rüdiger Valk's Colloquium, in Hamburg, Germany, November 28th, 2011
• PNSE '11 International Workshop on Petri Nets and Software Engineering, in Newcastle upon Tyne, UK, June 20 or 21, 2011 (satellite event of Petri Nets 2011) (sólo en Inglés)
• PNSE '10 International Workshop on Petri Nets and Software Engineering, in Braga, Portugal, June 21 or 22, 2010 (satellite event of Petri Nets 2010) (sólo en Inglés)
• PNSE '09 International Workshop on Petri Nets and Software Engineering, in Paris, France, June 22/23, 2009 (satellite event of Petri Nets 2009) (sólo en Inglés)
• OrgMod '09 International Workshop on Organizational Modeling, inParis, France, June 22/23, 2009 (satellite event of Petri Nets 2009) (sólo en Inglés)
• MOCA '09 Fifth International Workshop on Modelling of Objects, Components, and Agents, in Hamburg, Germany, September 11, 2009 (co-located with MATES 2009 and CLIMA-X 2009) (sólo en Inglés)
• PNDS '08 International Workshop on Petri Nets and Distributed Systems, in Xi'an, China, June 23/24, 2009 (satellite event of Petri Nets 2008) (sólo en Inglés)
• PNSE '07 International Workshop on Petri Nets and Software Engineering, in Siedlce, Poland, June 25-26, 2007 (satellite event of Petri Nets 2007) (sólo en Inglés)
• AWPN 2006 13. Workshop "Algorithmen und Werkzeuge für Petrinetze", 25. - 26. September 2006, Universität Hamburg (sólo en Alemán)
• MOCA'06 Fourth Workshop on Modelling of Objects, Components, and Agents, in Turku, Finland, June 26, 2006 (satellite event of Petri Nets 2006 and ACSD 2006) (sólo en Inglés)
• PNDS 2005 First Workshop on High-Level Petri Nets and Distributed Systems, in Hamburg, Germany, March 14-16, 2005
• Joint workshops:
  • MOCA'04 Third Workshop on Modelling of Objects, Components, and Agents, in Aarhus, Denmark, October 11-13, 2004
    
  • CPN'04 Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, in Aarhus, Denmark, October 8-11, 2004
• VVEIS'04 The Second International Workshop on Verification and Validation of Enterprise Information Systems at 6th International Conference on Enterprise Information Systems (ICEIS) 2004 in Porto, Portugal, 14-17 April 2004
• MASHO'03 Workshop on Modelling Artificial Societies and Hybrid Organizations at KI2003 in Hamburg, Germany, September 15-18, 2003
• SOLI'03 First International Workshop on Social Life, 14. September 2003
  held in conjunction with ECAL 2003, the 7th European Conference on ARTIFICIAL Life, 14. - 17. September 2003, Dortmund, Germany.
• RASTA'03 Second International Workshop on Regulated Agent-Based Social Systems: Theories and Applications in connection with ICAIL 2003  the Ninth International Conference on ARTIFICIAL INTELLIGENCE and LAW    24 - 28 June, 2003 Edinburgh, Scotland, UK
• Joint workshops:
  • MOCA'02 Second Workshop on Modelling of Objects, Components, and Agents, in Aarhus, Denmark, August 26-27, 2002
    
  • CPN'02 Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, in Aarhus, Denmark, August 28-30, 2002
• Joint workshops:
  • CPN'01 Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, in Aarhus, Denmark, August 29-31, 2001
    
  • MOCA'01 Workshop on Modelling of Objects, Components, and Agents, in Aarhus, Denmark, August 27-28, 2001
    
• 2nd Workshop on ATTITUDE, PERSONALITY AND EMOTIONS IN USER-ADAPTED INTERACTION
  in Verbindung mit User Modeling 2001 Sonthofen, Deutschland, Juli 13-17, 2001
• EXPO2000FBI (sólo en Alemán)
• SBC'2000 Workshop on Structural and Behavioural Concepts of High-Level Petri Nets
• MATCH Summer Schools'98 Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH) .
  
• MATCH Workshop PNSE'97 Petri Nets used in System Engineering Modelling, Verification, and Validation Hamburg, Germany, September 25-26, 1997.
  Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH) .
  
• Festkolloquium zu Ehren von Herrn Prof. Dr. Dr. h. c. Wilfried Brauer
  anlaesslich seines 60. Geburtstages