---

Luca Aceto's homepage

---

Office: B2-204 
Email : luca AT cs.aau.dk 
PHONE : +45 96 35 80 80 (Switchboard)
PHONE : +45 96 35 98 51 (Direct)
FAX   : +45 98 15 98 89

Office: 507 (Fifth floor)
Email : luca AT ru.is  
PHONE : +354  599 6200 (Switchboard)
PHONE : +354  599 6419 (Direct)
FAX   : +354 599 6201

As of February 1, 2005, and until further notice, I am on leave from Aalborg University. I still read email at the address in Aalborg regularly, albeit at times less frequently than before. For email and postal communication, I strongly advice you to use the addresses in Reykjavík.

Employment

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

Research

Work Related Links

• Links Related to my Publications and Co-workers
  • Official information on my book Action Refinement in Process Algebras, first published by Cambridge University Press in 1992. The book will be available in digital reprint from October 31, 2005. [AMS Review]

  • Recent Publications by Anna Ingólfsdóttir 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 BRICS Publications list.

  • Citations to my scientific work according to CiteSeer.

  • 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.]
  • 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. 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.)

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

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

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

• 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.

  • 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.

  • 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.