---

Luca Aceto: Membership of Organizing and Program Committees

---

• CONCUR'96, Seventh International Conference on Concurrency Theory, 26-29 August 1996, Pisa, Italy.

• EXPRESSIVENESS IN CONCURRENCY, 8-12 September 1997, Santa Margherita Ligure, Italy.

• LICS'98, Thirteenth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE, June 21-24, 1998, Indianapolis, Indiana, United States.

• EXPRESS'98. Workshop on "Expressiveness in Concurrency".

• EXPRESS'99. Workshop on "Expressiveness in Concurrency".

• EXPRESS'00. Workshop on "Expressiveness in Concurrency". (Co-chaired with Bjorn Victor.)

• Member of the Organizing Committee for CONCUR 2001.
• Co-chair of EXPRESS'01. Workshop on "Expressiveness in Concurrency".
• International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS 2003 that will be held in Brisbane, Australia, 22nd - 27th September, 2003.
• Process Algebra: Open Problems and Future Directions (July 21-25, 2003, University of Bologna Residential Center, Bertinoro (Forlì), Italy). A workshop I co-organized with Zoltán Ésik (University of Szeged), Wan Fokkink (CWI) and Anna Ingólfsdóttir (BRICS and Aalborg University).

• CONCUR 2004, Fifteenth International Conference on Concurrency Theory, Tuesday 31 August - Friday 3 September 2004, London, England. (PC member)

• Workshop on Structural Operational Semantics affiliated to CONCUR 2004, London, England, 30 August 2004. (Program Committee Co-Chairman together with Wan Fokkink and Irek Ulidowski.)

• FOSSACS 2005 (Foundations of Software Science and Computation Structures), 4-8 April 2005, Edinburgh, Scotland. (PC member)

• Structural Operational Semantics 2005 (a satellite workshop of ICALP 2005), July 10, 2005, Lisbon, Portugal. (PC member)

• 25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2005), December 15-18, 2005, International Institute of Information Technology Hyderabad, India. (PC member)
• Algebraic Process Calculi: The First Twenty Five Years and Beyond, Bertinoro, Italy, 1-5 August 2005. (Co-organizer with Mario Bravetti, Jim Davies, Wan Fokkink, Andy Gordon, Joost-Pieter Katoen, Faron Moller and Steve Schneider.)

• CALCO 2005, First Conference on Algebra and Coalgebra in Computer Science, September 3 - 6, 2005, University of Wales Swansea, UK. (PC member)
• Foundation of Software Science and Computation Structures (FOSSACS) 2006, Vienna, March 25th - April 2nd 2006. (Program Committee Co-Chairman together with Anna Ingólfsdóttir.)

• Twenty First Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2006), August 12th-15th, 2006, Seattle, Washington, USA. (PC member)

• THE 17th INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR 2006), August 27-30, Bonn, Germany. (PC member)

---

Luca Aceto: Other Events

---

• Invited speaker at the Workshop on LOGIC, MODELS AND COMPUTER SCIENCE (LMCS06), Camerino (Italy), April 20-22, 2006.

• Invited speaker at the Symposium on Semantics of Concurrency, Zaal 4, Auditorium, TU/Eindhoven, September 26, 2005.
• Invited speaker at EXPRESS'03, 10th International Workshop on Expressiveness in Concurrency, September 2, 2003, Marseille, France.

• Invited speaker at Fixed Points in Computer Science 2002, a satellite workshop of LICS'02.
• Invited speaker at 1st International School on Formal Methods for the Design of Computer, Communication and Software Systems: Process Algebras (23-28 July 2001, Bertinoro, Italy).