Skip to main content Link Menu Expand (external link) Document Search Copy Copied
Concurrency Theory

IFIP-WG 1.8 “Concurrency Theory”

IFIP

Welcome to the home page of WG 1.8 “Concurrency Theory” established in 2005 under Technical Committee TC1 Foundations of Computer Science of IFIP. The main aim of this working group, among others, is to develop the theoretical foundations of concurrency, exploring the frontiers of existing theoretical models like process algebra and various process calculi, so as to obtain a deeper theoretical understanding of concurrent and parallel systems.

Regular Activities

  • TRENDS: The working group organizes an annual workshop on “Trends in Concurrency Theory” co-located with the International Conference on Concurrency Theory (CONCUR). Below are the links to the web pages of the current / past editions:

    • TRENDS 2023 to be held on September 23, 2023 in Antwerp, Belgium,
    • TRENDS 2022 held on September 12, 2022 in Warsaw, Poland,
    • TRENDS 2021 held online on August 28, 2021,
    • TRENDS 2020 held online on September 5, 2020,
    • TRENDS 2019 held on August 31 in Amsterdam, The Netherlands,
    • TRENDS 2018 held on September 8 in Beijing, China,
    • TRENDS 2017 held on September 9 in Berlin, Germany,
    • TRENDS 2016 held on September 5, 2015 in Quebec City, Canada,
    • TRENDS 2015 held on September 5, 2015 in Madrid, Spain,
    • TRENDS 2014 held on September 6, 2014 in Rome, Italy,
    • TRENDS 2013 held on August 31, 2013 in Buenos Aires, Argentina, and
    • TRENDS 2012 held on September 8, 2012 in Newcastle upon Tyne, UK.

  • Open Problems in Concurrency Theory (OPCT): a series of seminars dedicated to invited presentations on the open problems in the field:

    • OPCT 2023 from June 26 to June 30, 2023, in Bertinoro, Italy.
    • OPCT 2019 (in conjunction with POPL 2019) from January 15 to 16 at Cascais, Portugal.
    • OPCT 2017 from June 25 to June 28 at IST, Austria.
    • OPCT 2014 from June 18 to June 21, 2014, in Bertinoro, Italy.

  • CONCUR Test of Time award: The award is jointly organized by CONCUR and the IFIP WG 1.8. Its purpose is to recognize important achievements in Concurrency Theory that were published at the CONCUR conference and have stood the test of time:

Publications

  • JLAMP Special Issue on Open Problems in Concurrency Theory (invited contributions from the research seminar OPCT 2017)
  • JLAMP Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016)
  • JLAMP Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015)
  • JLAMP Special Issue on Open Problems in Concurrency Theory (invited contributions from the research seminar OPCT 2014)

Members

  1. Luca Aceto, Reykjavik University, IS
  2. Jos Baeten, CWI, NL
  3. Christel Baier, Technische Universität Dresden,DE
  4. Marco Bernardo, Università di Urbino, IT
  5. Michele Boreale, Università di Firenze, IT
  6. Patricia Bouyer-Decitre, Université Paris-Saclay, CNRS, ENS Paris-Saclay, FR
  7. Luca Cardelli, Microsoft Research, UK
  8. Ilaria Castellani, INRIA Sophia Antipolis, FR
  9. Flavio Corradini, Università di Camerino, IT
  10. Silvia Crafa, Università di Padova, IT
  11. Vincent Danos, CNRS and Paris VII, FR
  12. Pedro D’Argenio, Universidad Nacional de Córdoba, AR (Chair)
  13. Luca de Alfaro, UC Santa Cruz, US
  14. Rocco De Nicola, IMT Lucca, IT
  15. Javier Esparza, TU München, DE
  16. Wan Fokkink, Vrije Universiteit Amsterdam and TU Eindhoven, NL
  17. David de Frutos Escrig, Universidad Compultense Madris, ES
  18. Yuxi Fu, Shanghai Jiaotong University, CN
  19. Hubert Garavel, INRIA Grenoble, FR
  20. Paul Gastin, Université Paris-Saclay, CNRS, ENS Paris-Saclay, FR
  21. Rob van Glabbeek, Universty of Edinburgh, UK
  22. Holger Hermanns, Saarland University, DE
  23. Joost-Pieter Katoen, RWTH Aachen University, DE
  24. Naoki Kobayashi, Tokyo University, JP
  25. Antonin Kucera, Masaryk University, CZ
  26. Orna Kupferman, Hebrew University, Jerusalem, IL
  27. Marta Kwiatkowska, Oxford University, UK
  28. Cosimo Laneve, Università di Bologna, IT
  29. Kim G. Larsen, BRICS, CISS and Aalborg University, DK
  30. Huimin Lin, Chinese Academy of Sciences, CN
  31. Xinxin Liu, Chinese Academy of Sciences, CN
  32. Bas Luttik, Eindhoven University of Technology, NL
  33. Ugo Montanari, Università di Pisa, IT
  34. Mohammad Mousavi, King’s College London, UK
  35. Madhavan Mukund, Chennai Mathematical Institute, IN
  36. Uwe Nestmann, TU Berlin, DE
  37. Catuscia Palamidessi, INRIA Saclay, FR
  38. Prakash Panangaden, McGill, CA
  39. Kirstin Peters, Ausburg University, DE
  40. Bill Roscoe, Oxford University, UK
  41. Davide Sangiorgi, Università di Bologna, IT
  42. Steve Schneider, University of Surrey, UK
  43. Alexandra Silva, Cornell University, UK
  44. Scott Smolka, SUNY Sony Brook, US
  45. Ana Sokolova, Salzburg University, AT (Secretary)
  46. Colin Stirling, University of Edinburgh, UK
  47. Mariëlle Stoelinga, University of Twente, NL
  48. Simone Tini, University of Insubria, IT
  49. Irek Ulidowski, University of Leicester, UK
  50. Moshe Vardi, Rice University, US
  51. Vasco Vasconcelos, University of Lisbon, PT
  52. Walter Vogler, Universität Augsburg, DE
  53. Nobuko Yoshida, University of Oxford, UK

Emeriti members

  1. Ursula Goltz, TU Braunschweig, DE

Past Members

  1. Martin Abadi, UC Santa Cruz and Google, USA
  2. Roberto Amadio, Université de Paris 7, FR
  3. Jan Bergstra, University of Amsterdam, NL
  4. Gerard Boudol, INRIA Sophia Antipolis, FR
  5. Zoltan Esik, University of Szeged, HU (in memoriam)
  6. Andrew D. Gordon, Microsoft Research, UK
  7. Jan Friso Groote, Eindhoven University of Technology, NL
  8. Matthew Hennessy, Trinity College Dublin, IE
  9. Kohei Honda, Queen Mary College London, UK (some photos)
  10. Anna Ingolfsdottir, Reykjavik University, Iceland
  11. Anna Labella, Università di Roma “La Sapienza”, IT
  12. George Milne, The University of Western Australia, Australia
  13. Alban Ponse, University of Amsterdam, NL
  14. Corrado Priami, Università di Trento, IT
  15. Eugene Stark, SUNY Sony Brook, USA
  16. P.S. Thiagarajan, National University of Singapore, SG

Relevant Links

Past Activities

  • Some members of IFIP WG 1.8 organized a workshop on 25 Years of Combining Concurrency and Compositionality (WS25CCC) from August 6 to August 9, 2013 in Königswinter, Germany.
  • IFIP WG 1.8 organized a workshop on Formal Methods for Embedded Systems at FMweek in Eindhoven.
  • IFIP WG 1.8 together with IFIP WG 2.2 organized a workshop on “behavioural varieties in concurrency” at CONCUR 2009 in Bologna, on Wednesday 2 September 2009.

Chairpersons and Secretaries