---

Luca Aceto's homepage

---

Office: 206 (Second floor)
Email : luca AT ru.is 
Email : cschair AT ru.is (for HoD matters) 
PHONE : +354  599 6200 (Switchboard)
PHONE : +354  599 6419 (Direct)
FAX   : +354  599 6301

Employment

Further information on the positions I have held previously may be found here.

Research

Work Related Links

• Links Related to my Publications and Co-workers
  • Web page for the book Reactive Systems: Modelling, Specification and Verification (Cambridge University Press, July 2007) by Anna Ingolfsdottir, Kim G. Larsen, Jiri Srba and myself. The web page for the book at CUP is here. [Endorsements]
    You can now purchase the book with a 20% discount using this discount flyer. Hurry up, the discount is valid only until 1 October 2007!
  • Books written or edited by Anna Ingolfsdottir and/or me.
  • Recent Publications by Anna Ingolfsdottir and/or me.

  • My MathSciNet entry. [Note: This will only work if you have a subscription to MathSci.]

  • My entry in the DBLP Bibliography Server.

  • My entry in Google Scholar.
  • My entry in CiteSeer.
  • My BRICS Publications list.

  • Anna Ingólfsdóttir's home page.

  • List of co-authors and co-editors. (You may also wish to look at the, slightly less complete, list of my co-authors provided by the DBLP Bibliography Server.)

  • Handbook of Process Algebra.

• Research Centres
  • Chair of the TC1 Working Group 1.8 on Concurrency Theory, of the International Federation for Information Processing (IFIP). [List of members of the WG.] [Blog for discussions within the WG]
  • I am a member of BRICS.
  • I am one of the scientific co-directors of the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS).

• Conferences, Workshops and Seminar Series
  • Conferences and events I am, or have been, involved in.

    Present and Future Committees and Events

    1. 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.)
    2. FOSSACS 2008, March 29 - April 6, 2008, Budapest, Hungary. (PC Member)
    3. 19th Nordic Workshop on Programming Theory (NWPT'07), Oslo, Norway, 10-12 October, 2007. (PC member.)
    4. CONCUR 2007, Lisbon, Portugal, September 4-7, 2007. (Invited speaker)
    5. 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.)

• Editorial Work and Related Scientific Activities
  • Editor of the Concurrency Column of the Bulletin of the European Association for Theoretical Computer Science (EATCS) (starting from the October 2003 issue).

  • Editor of the Journal of Logic and Algebraic Programming, Elsevier (starting from December 2003).

  • I am an editor of ACTA CYBERNETICA (a scientific journal published by the Department of Informatics of the University of Szeged, Szeged, Hungary).

  • I am, or have been, a guest editor of
    • a special issue of Theoretical Computer Science devoted to selected papers from Process Algebra: Open Problems and Future Directions (July 21-25, 2003, University of Bologna Residential Center, Bertinoro (Forlì), Italy). (Co-edited with Wan Fokkink, Anna Ingólfsdóttir and Zoltán Ésik.) Submission deadline: December 15, 2003
    • a special issue of the Journal of Logic and Algebraic Programming on structural operational semantics (with Wan Fokkink).
    • an IPL special issue on process algebra (appeared as Volume 80, Issue 1, 15 October 2001), and

    • a special issue of MSCS devoted to "The Difference between Concurrent and Sequential Computation" and to selected papers from EXPRESS'00: 7th International Workshop on Expressiveness in Concurrency.

    • a special issue of the Nordic Journal on Computing devoted to selected papers from EXPRESS'01: 8th International Workshop on Expressiveness in Concurrency. (Appeared as volume 9, number 2, summer 2002.)

  • I have recently edited the report containing the Research Evaluation 1996-2000 (available as gzipped DVI file. You can also look at the cover art designed by Alberto Bongi) for the Department of Computer Science at Aalborg University. Our evaluators were Sřren Damgaard (IBM Denmark), Matthias Jarke (RWTH Aachen), and Moshe Y. Vardi (Rice University).

  • I am a member of the Scientific Advisory Board of BICI (Bertinoro International Center for Informatics).

  • I am member of the EATCS council.

  • I am a member of the steering committee for ETAPS (September 2004-February 2006).

• CV, Teaching and Some Recent Talks
  • Slides I used for some recent talks.

  • My curriculum vitae et studiorum. [Also available in Italian, albeit in a now obsolete form. I do not maintain my CV in Italian any longer.]

  • Teaching.

• Other Miscellaneous Academic Links
  • A process algebra diary. (My postings before Sunday, 7 May 2006 are available here.)
  • The current best upper bound on my Erdös number is 4 via any of the following paths:
    
    • Daniel J. Kleitman (1), Albert R. Meyer (2), Bard Bloom (3), Luca Aceto (4).
    • Andrew J. Granville (1), Jan van de Lune (2), Wan Fokkink (3), Luca Aceto (4).
    • Norbert W. Sauer (1), Werner Kuich (2), Zoltán Ésik (3), Luca Aceto (4).

  • Kari Ragnarsson's home page.
  • Logi Ragnarsson's home page.

  • Bridget Eileen Tenner's home page.

  • BRICS.

  • ECET Network.
  • Luigi Liquori is another computer scientist from Pescara in exile.

  • Some other Italian computer scientists named Luca, who are also working abroad, are Luca de Alfaro, Luca Cardelli, Luca Trevisan and Luca Vigano'.

Some Photos

• Visit to Eindhoven for Mousavi's PhD defence (26 September 2005).
• Group photo taken on the last day of the APC 25 workshop (5th October 2005).
• Anna and I in Flavio Corradini's office and back from the canteen (Camerino, July 2005).
• Robert, Kolbeinn and Sverrir Pall in football mode (8th January 2005).
• Photos from the PhDs pre-Hooding Ceremony at the MIT mathematics department in June 2004.
  • Róbert, Sara Margret and Kári in the common room at the MIT mathematics department. Sigurdur Helgason looks on.
  • Anna and Julia enjoying a bite.
  • Kári, Ragnar and Sigurdur Helgason.
  • Kári and Bridget.

• My brother's new-born daughter (December 2003) and at her christening (September 2004).

• My sister's kids in June 2003.

• Robert composing an email message in April 2003.

• Family lunch during the third day of CONCUR 2001.

• Robert resting during CONCUR 2001.

• Huimin Lin and Robert at "Grenen", plus other photos from Skagen, Sunday, 22 November, 1998.

• BRICS Retreat at Rřnbjerg Feriecenter, May 17-18, 1999. These include two recent photos of my son Robert.

• Robert in the autumn of 1996.

• A partial view of Pescara, my home town. (Courtesy of Carlo Pace-Palitti.) (Weather in Pescara.) An entertaining, and I believe thoughtful, account of (summer) life in my home town can be found in the book An Italian Education by Tim Parks.