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)
18th Nordic Workshop on Programming Theory (NWPT'06), Reykjavik, Iceland, 18-20 October, 2006. (PC co-chair and co-organizer with Anna Ingolfsdottir.)

Structural Operational Semantics 2007 (an affiliated workshop of LICS 2007 and ICALP 2007), July 9, 2007, Wroclaw, Poland. (PC member)

IFIP WG 1.8 Workshop on Applying Concurrency Research in Industry, Lisbon, Portugal, September 8, 2007. (Co-organizer with Jos Baeten, Wan Fokkink, Anna Ingolfsdottir and Uwe Nestmann.)

19th Nordic Workshop on Programming Theory (NWPT'07), Oslo, Norway, 10-12 October, 2007. (PC member.)

FOSSACS 2008, March 29 - April 6, 2008, Budapest, Hungary. (PC Member)

Thirtyfifth International Conference on Automata, Languages and Programming (ICALP 2008), Reykjavik, Iceland, 7-11 July, 2008. (Co-organizers: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.)
20th Nordic Workshop on Programming Theory, NWPT '08, Tallinn, Estonia, 19-21 November 2008. (PC member)
35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2009), Czech Republic. (PC member for the Foundations of Computer Science track)
Third FSEN: IPM International Conference on Fundamentals of Software Engineering (FSEN09), Iran, April 15-17 2009. (PC member)
SOS 2009, 31 August 2009, Bologna, Italy. (PC member)
20th International Conference on Concurrency Theory (CONCUR 09), 1-4 September 2009, Bologna, Italy. (PC member)
Third Conference on Algebra and Coalgebra in Computer Science (CALCO 2009), Udine, Italy, 7-10 September 2009. (PC member)
21st Nordic Workshop on Programming Theory (NWPT'09), Lyngby, Denmark, 14-16 October 2009. (PC member)
International Conference on Formal Engineering Methods (ICFEM 09), Rio de Janeiro, December 9-12, 2009. (PC member)
37th International Colloquium on Automata, Languages and Programming (ICALP 2010), 5-12 July 2010, Bordeaux, France. (PC member for track B)
35th International Symposium on Mathematical Foundations of Computer Science, August 23-27 2010, Brno, Czech Republic. (PC member)
Structural Operational Semantics 2010, 30 August 2010, Paris. (Co-chair with Pawel Sobocinski.)
22nd Nordic Workshop on Programming Theory (NWPT'10), 10-12 November 2010, Turku, Finland. (PC member)
Fourth FSEN: IPM International Conference on Fundamentals of Software Engineering (FSEN'11), April 20-22, 2011 Tehran, Iran. (PC member)
Workshop on Structural Operational Semantics and the Equational Logic of Processes, 28 April 2011, Reykjavik University. (Co-organizer)
Process Algebra and Coordination (PACO 2011), one-day workshop to be held as a satellite event of DisCoTec 2011. (I am co-chairing the PC.)
38th International Colloquium on Automata, Languages and Programming (ICALP 2011), ETH Zurich, 4-8 July 2011. (PC chair for track B.)
SOS 2011, 5 September 2011, Aachen, Germany. (PC member)
FSTTCS 2011, December 12-14, 2011 IIT Bombay, Mumbai, India. (PC member)
Foundations of Software Science and Computation Structures Conference (FOSSACS 2012), Tallinn, Estonia, March 2012. (PC member)
ICE 2012, 5th Interaction and Concurrency Experience, June 16, 2012, Stockholm, Sweden. (PC member)
EXPRESS/SOS 2012, joint workshop on Expressiveness in Concurrency and Structural Operational Semantics, Newcastle upon Tyne, United Kingdom, September 3, 2012. (PC member)
CONCUR 2012 (23rd International Conference on Concurrency Theory), Newcastle upon Tyne, 3-8 September 2012. (PC member)
2013 European Symposium on Programming (ESOP 2013). (PC member)

Luca Aceto: Other Events

Invited speaker at the MogensFest Symposium, 3-4 October 2009, Aarhus, Denmark.

Invited speaker at 10 Years of Verification in Cachan, 26-27 November 2007, ENS Cachan, France.

Invited speaker at CONCUR 2007, Lisbon, Portugal, September 4-7, 2007.
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).

Last modified: .