---

Luca Aceto's Slides for Recent Talks

---

• Bisimilarity is not Finitely Based over BPA with Interrupt. Talk delivered at the Symposium on the Semantics of Concurrency, Eindhoven University of Technology, The Netherlands, 26 September 2005.
• The Importance of Research for a Modern University. Talk delivered at the Autumn 2005 Reykjavik University staff day, August 17, 2005, Reykjavik, Iceland.

• The Importance of Being Negative (with Emphasis on the Equational Logic of Processes). Seminar delivered at the Inaugural ICE-TCS Symposium held at Reykjavik University, April 30, 2005, Reykjavik, Iceland.

• The Joys of Bisimulation. Part 1: Games Processes Play. Seminar at Reykjavik University, March 31, 2005, Reykjavik, Iceland.

• The Role of Hennessy's Merge in the Quest for Finite Equational Axiomatizations of Parallel Composition Modulo Bisimilarity. Seminar at BRICS, Aalborg University, September 29, 2004, Aalborg, Denmark. [Abstract]

• How to Referee a Scientific Paper. Seminar at Reykjavík University, November 14, 2003, Reykjavík, Iceland.

• How to Give a Talk. Seminar at Reykjavík University, October 31, 2003, Reykjavík, Iceland.

• How to Write a Paper. Seminar at Reykjavík University, October 23, 2003, Reykjavík, Iceland.

• Nested Semantics over Finite Trees are Equationally Hard. Invited talk at EXPRESS'03, 10th International Workshop on Expressiveness in Concurrency, September 2, 2003, Marseille, France.

• Kleene Through the Process Algebraic Glass. Invited talk at FICS'02.

• A Fully Equational Proof of Parikh's Theorem. (Courtesy of Zoltán Ésik)

• Equational Theories of Tropical Semirings.
  [Slides for the FoSSaCS '01 talk (PostScript file)]
  Slides for a seminar talk based on this paper (PostScript file)]

• 2-Nested Simulation is not Finitely Equationally Axiomatizable. (Courtesy of Anna Ingólfsdóttir)

BRICS WWW home page
Luca Aceto, Department of Computer Science, Aalborg University.

Last modified: Monday, 03-Oct-2005 17:25:31 CEST.