IFIP WG 1.8: Events

• IFIP WG 1.8 organizes a workshop on Formal Methods for Embedded Systems at FMweek in Eindhoven. The event is organised by Ulla Goltz, Uwe Nestmann, Rob van Glabbeek and Bas Luttik.
• IFIP WG 1.8 together with IFIP WG 2.2 will organize a workshop at CONCUR 2009 in Bologna, on Wednesday 2 September 2009. The theme is "behavioural varieties in concurrency" and we would like to have a discussion on the equivalences used in concurrency and their applications. The invited speakers who have confirmed their participation at the event so far are:
  • Rob van Glabbeek and
  • Bill Roscoe.
• 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, 6-13 July 2008, Reykjavik, Iceland. (Co-organized by Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.)
• Workshop on business process modelling and theories, 7-8 February 2008, London (England). (Co-organized by Mario Bravetti, Marco Carbone, Kohei Honda and Gianluigi Zavattaro.)
• Applying Concurrency Research in Industry (IFIP WG 1.8) September 7th, 2007, Lisboa (Portugal). (Co-organizers: Luca Aceto, Jos Baeten, Wan Fokkink, Anna Ingolfsdottir and Uwe Nestmann.)
  A workshop report and further comments are available from our blog.
• 14th International Workshop on Expressiveness in Concurrency, September 3rd, 2007, Lisboa (Portugal). (Co-chair: Roberto Amadio.)
• 5th International Workshop on Security Issues in Concurrency, September 3rd, 2007, Lisboa (Portugal). (Co-chair: Catuscia Palamidessi.)
• Emerging Trends in Concurrency Theory, LIX, École Polytechnique de Paris, 13-15 November 2006. (Co-organizer: Catuscia Palamidessi.)
• 18th Nordic Workshop on Programming Theory (NWPT'06), Reykjavik, Iceland, 18-20 October, 2006. (Program Committee Chairs: Luca Aceto and Anna Ingolfsdottir.)
• CONCUR 2006: 17th International Conference on Concurrency Theory, August 27-30, Bonn, Germany. (Program Committee Chairs: Christel Baier and Holger Hermanns.)
• Foundation of Software Science and Computation Structures (FOSSACS) 2006, Vienna, March 25th - April 2nd 2006. (Program Committee Chairs: Luca Aceto and Anna Ingolfsdottir.)
• 12th International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS), March 25 - April 2, 2006, Vienna (Austria). (Program Committee Chairs: Holger Hermanns and Jens Palsberg.)
• CONCUR 2005: 16th International Conference on Concurrency Theory, San Francisco, CA, USA, August 23-26, 2005. (Program Committee Chairs: Martin Abadi and Luca de Alfaro.)
• Algebraic Process Calculi: The First Twenty Five Years and Beyond, Bertinoro, Italy, 1-5 August 2005. (Co-organizers: Luca Aceto, Mario Bravetti, Jim Davies, Wan Fokkink, Andy Gordon, Joost-Pieter Katoen, Faron Moller and Steve Schneider.)