---

Luca Aceto's homepage

---

Office: B2-204 (from January 20, 2003)
Email : luca AT cs.auc.dk
PHONE : +45 96 35 80 80 (Switchboard)
PHONE : +45 96 35 98 51 (Direct)
FAX   : +45 98 15 98 89

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. CONCUR 2004, Fifteenth International Conference on Concurrency Theory, Tuesday 31 August - Friday 3 September 2004, London, England. (PC member)

    2. 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.) Deadline for submissions: Sunday, 6 June 2004.

    3. Foundation of Software Science and Computation Structures (FOSSACS) 2006, Vienna, 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).

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

  • My curriculum vitae et studiorum. [Also available in Italian, albeit usually in a less up-to-date form.]

  • 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 the path:
    Daniel J. Kleitman (1), Albert R. Meyer (2), Bard Bloom (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

• Róbert, Sara Margret and Kári in the common room at the MIT mathematics department in June 2004. Sigurdur Helgason looks on.
• My brother's new-born daughter (December 2003).

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