IFIP WG 1.8: Events
List of events organized by the members of
the working group from August 2005 onwards, roughly in reverse
- 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:
- 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
A workshop report and further comments are available from our
- 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