---

Luca Aceto's Slides for Some Recent Talks

---

• Some of my favourite open problems in the equational logic of processes. Talk at Open Problems in Concurrency Theory, Bertinoro (Italy), 18-21 June 2014.
• Rule Formats for Structural Operational Semantics: A Very Short Introduction. Seminar at the Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China, 21 November 2013.
• Algebraic Synchronization Trees and Processes. Seminar at IMT Lucca, 30 May 2012.
• Audio and slides of the talk Alan Turing: The Father of Computer Science in .avi format. Alan Turing Year events organized by ICE-TCS at Reykjavik University, 12 January 2012.
• A Rule Format for Unit Elements. ICE-TCS seminar, 30 October 2009.
• Characteristic Formulae for Fixed-Point Semantics: A General Framework. Talk delivered at EXPRESS'09, 16th International Workshop on Expressiveness in Concurrency, 5 September 2009.
• The Saga of the Equational Axiomatization of Parallel Composition. Invited talk delivered at CONCUR 2007, Lisbon, Portugal, 5 September 2007.
• Ready To Preorder: Get Your BCCSP Axiomatization for Free!. Talk delivered at the 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO'07), Bergen, Norway, 24 August 2007.
• How Do You Like Iceland? A View from a Foreign Academic. Talk delivered at the Conference on Iceland as an International Workplace in Science and Technology, Reykjavik (Iceland), May 4, 2007.
• On the Axiomatizability of Priority. Talk delivered at the Second ICE-TCS Symposium on Theoretical Computer Science, Reykjavik (Iceland), May 31, 2006.
• Impossibility Results in the Equational Logic of Processes. Invited talk delivered at the Workshop on LOGIC, MODELS AND COMPUTER SCIENCE (LMCS06) , Camerino (Italy), April 20-22, 2006.
• 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)