---

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

The email address in Aalborg is preferable until further notice. For postal communication, I strongly advice you to use the address 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 published by Cambridge University Press in 1992. [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.

• Conferences, Workshops and Seminar Series
  • I am currently organizing the Departmental Seminar Series at the Department of Computer Science, Aalborg University.
  • Conferences and events I am, or have been, involved in.

    Present and Future Committees

    1. 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.)

    2. 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.)

• 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 a member of the steering committee for ETAPS (September 2004-September 2005).

• 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
  • I am the Socrates coordinator for the Department of Computer Science, Aalborg University. Contact me, if you'd like to become one of our partner institutions.

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

  • 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 and Luca Trevisan.

Some Photos

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