IFIP TC1 Working Group Proposal
"Concurrency Theory"
List of DBLP Publications and CVs of the Current Participants

Click on the name of the participant for his/her list of DBLP publications. A link to the participant's home page is provided when a CV is not yet available.

1. Martin Abadi, UC Santa Cruz, USA [CV]
2. Luca Aceto, Reykjavik University, Iceland, and BRICS and Aalborg University, DK [CV]
3. Roberto Amadio, Université de Paris 7, FR [CV (in French)]
4. Jos Baeten, Eindhoven University of Technology, NL [CV]
5. Jan Bergstra, University of Amsterdam, NL [Home Page]
6. Marco Bernardo, Università di Urbino, I [CV]
7. Gerard Boudol, INRIA Sophia-Antipolis, FR [CV]
8. Luca Cardelli, Microsoft Research, UK [CV]
9. Ilaria Castellani, INRIA Sophia-Antipolis, FR [Home Page]
10. Flavio Corradini, Università degli Studi di L'Aquila, I [Home Page]
11. Vincent Danos, CNRS and Paris VII, FR [Home Page]
12. Pedro D'Argenio, Universidad Nacional de Córdoba, Argentina [CV]
13. Luca de Alfaro, UC Santa Cruz, USA [CV]
14. Rocco De Nicola, Università di Firenze, I [CV]
15. Zoltan Esik, University of Szeged, HU [Home Page]
16. Wan Fokkink, Vrije Universiteit Amsterdam and CWI, NL [CV]
17. Hubert Garavel, VERIMAG/Grenoble, FR [CV]
18. Rob van Glabbeek, NICTA, Australia [CV]
19. Andrew Gordon, Microsoft Research, UK [Home Page]
20. Jan Friso Groote, Eindhoven University of Technology, NL [CV]
21. Matthew Hennessy, Sussex, UK [Home Page]
22. Holger Hermanns, Saarbruecken, DE [CV]
23. Kohei Honda, Queen Mary College London, UK [CV]
24. Anna Ingolfsdottir, reykjavik University, Iceland, and BRICS, Aalborg University, DK. [CV]
25. Joost-Pieter Katoen, RWTH Aachen University, D, and University of Twente, NL [CV]
26. Naoki Kobayashi, Tohuku University, JPN [CV]
27. Orna Kupferman, Hebrew University, Jerusalem, IL [Home Page]
28. Anna Labella, Università di Roma "La Sapienza", I [CV]
29. Cosimo Laneve, Università di Bologna, I [CV]
30. Kim G. Larsen, BRICS, CISS and Aalborg University, DK [CV]
31. Huimin Lin, Chinese Academy of Sciences, CHN [CV]
32. Bas Luttik, Eindhoven University of Technology, NL [Home Page]
33. George Milne, The University of Western Australia, Australia [Home Page]
34. Ugo Montanari, Università di Pisa, I [CV]
35. Madhavan Mukund, Chennai, India [CV]
36. Uwe Nestmann, EPFL, CH [Home Page]
37. Catuscia Palamidessi, INRIA/Futurs/Saclay, FR [CV]
38. Prakash Panangaden, McGill, Canada [CV]
39. Alban Ponse, University of Amsterdam, NL [Home Page]
40. Corrado Priami, Università di Trento, I [Home Page]
41. Bill Roscoe, Oxford, UK [Home Page]
42. Davide Sangiorgi, Università di Bologna, I [CV]
43. Steve Schneider, Royal Holloway, UK [CV]
44. Scott Smolka, SUNY Sony Brook, USA [CV]
45. Eugene Stark, SUNY Sony Brook, USA [CV]
46. Colin Stirling, Edinburgh, UK [Home Page]
47. P.S. Thiagarajan, Singapore University, Singapore [CV]
48. Irek Ulidowski, University of Leicester, UK [Home Page]
49. Moshe Vardi, Rice University, USA [Home Page and CV]
50. Walter Vogler, Universität Augsburg, D [CV]
51. Liu Xinxin, Chinese Academy of Sciences, CHN
52. Nobuko Yoshida, Imperial College, UK [CV]