Talks

• Coalgebraic Semantics for Probability and Other Effects: from Bisimilarity to epsilon-Bisimilarity — MFPS 2022 Invited Talk
  
  MFPS 2026, June 3, 2026, Ljubljana (1 hour talk). slides (pdf)
• Tracing coalgebras: a case for monads — CMCS 2022 Keynote Talk
  
  CMCS 2022, 2 April 2022, ETAPS, Munich (1 hour talk). slides (pdf)
• Monads leave traces
  
  FAU Erlangen, 8 February 2022, Erlangen (1 hour talk). slides (pdf)
• Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively — CALCO 2021 Best Presentation Award
  
  CALCO 2021, 3 September 2021, Salzburg (20 min talk). slides (pdf)
• Algebraic Traces for Probability and Nondeterminism
  
  Invited talk (online), GI Meeting Deduction and Logic, 26 March 2021, FAU Erlangen-Nürnberg (45 min talk). slides (pdf)
• Tracing Probability and Nondeterminism
  
  Invited talk (online), TRENDS 2020, CONCUR 2020 Workshop, 5 September 2020 (1 hour talk). slides (pdf)
• The Theory of Traces for Nondeterminism and Probability
  
  Seminar talk (online), 24 April 2020, University of Birmingham (1 hour talk). slides (pdf)
  HVW20, 28 January 2020, Turracher Höhe (1 hour tutorial talk). slides (pdf)
  Coalgebra Day, 28 October 2019, NII Tokyo (45 min talk). slides (pdf)
  Seminar talk, 15 April 2019, University of Pisa (1 hour talk). slides (pdf)
• Semantics of Probabilistic Automata via Coalgebra
  
  PLS, special session on computer science, 29 June 2019 (40 min invited talk). slides (pdf)
  WiL, 23 June 2019 (30 min talk). slides (pdf)
• On coalgebra, loving what you do, and doing beautiful science
  
  LMW, 22 June 2019 (30 min invited talk). slides (pdf)
• Syntax and Semantics for Probability and Nondeterminism
  
  HVW19, 19 March 2019, Turracher Höhe (30 min talk). slides (pdf)
• Semantics Meets Syntax in Coalgebra
  
  SYSMICS19, 23 January 2019, Amsterdam (30 min talk). slides (pdf)
• Semantics of Concurrent Data Structures
  
  AVM 2018, RiSE Highlights talk, 25 September 2018, Wagrain (30 min talk). slides (pdf)
  MOVEP summer school, invited tutorial, 18 July 2018, ENS Paris-Saclay, Cachan (2.5 hour talk). slides (pdf)
  IFIP WG 1.3 Meeting Royal Holloway, invited observer talk, 6 July 2018, RHUL (40 min talk). slides (pdf)
• Convexity Meets Coalgebra in Probabilistic Systems
  
  Coalgebra Now workshop @ FLoC, invited talk, 8 July 2018, Oxford (45 min talk). slides (pdf)
• Linearizability via Order-extension Results
  
  IRIF seminar, 28 May 2018, IRIF, University Paris Diderot (Paris 7) (1 hour talk). slides (pdf)
  Dagstuhl Seminar 18211, 25 May 2018, Dagstuhl (30 min talk). slides (pdf)
• Proper Semirings and Proper Convex Functors
  
  FoSSaCS 2018, 17 April 2018, Thessaloniki (30 min talk). slides (pdf)
• Probabilistic Systems Semantics via Coalgebra
  
  TbiLLC 2017, invited tutorial, 18–22 September 2017, Lagodekhi, Georgia (3 × 1 hour talk). Slides: part 1 (pdf), part 2 (pdf), part 3 (pdf)
• The Power of Convex Algebras
  
  NII Shonan Meeting No.097 on Enhanced Coinduction, 15 November 2017, Shonan (30 min talk). slides (pdf)
  CONCUR 2017, 7 September 2017, Berlin (30 min talk). slides (pdf)
  IFIP WG1.3 Meeting Binz, 9 January 2017, Binz (40 min talk). slides (pdf)
• Convex Algebras for Probabilistic Systems
  
  TRENDS 2017, 9 September 2017, Berlin (25 min talk). slides (pdf)
• Proper Convex Functors for Probabilistic Systems Semantics
  
  IFIP WG1.3 Meeting Berlin, 4 September 2017, Berlin (40 min talk). slides (pdf)
• Concurrent Data Structures: Semantics and Relaxations
  
  IMDEA, Madrid, invited talk, 17 July 2017 (1 hour talk). slides (pdf)
• Termination in Convex Sets of Distributions
  
  CALCO 2017, 14 June 2017, Ljubljana (30 min talk). slides (pdf)
• Local Linearizability
  
  CiiT'18, 20 April 2018, Mavrovo (50 min keynote talk). slides (pdf)
  HVW'17, 1 February 2017, Obergurgl (30 min talk). slides (pdf)
  CONCUR'16, 23 August 2016, Quebec City (30 min talk). slides (pdf)
  RiSE/PUMA meeting 2015, 19 October 2015, Bad Griesbach (40 min talk). slides (pdf)
  FRIDA Workshop (at DisCoTec), 5 June 2015, Grenoble (30 min talk). slides (pdf)
• Probabilistic systems coalgebraically
  
  QAIS Workshop, 16 September 2013, University of Minho, Braga (1 hour tutorial). slides (pdf)
  CMCS, ETAPS, invited talk, 26 March 2010, Paphos, Cyprus (1 hour). slides (pdf)
• Congruences of Convex Algebras
  
  Dagstuhl Seminar 12411 on Coalgebraic Logics, 12 October 2012, Schloss Dagstuhl (30 min talk). slides (pdf)
• Quantitatively Relaxed Data Structures
  
  Seminar talk, 21 November 2014, Dependable Systems and Software, Saarland University, Saarbrücken (1 hour talk). slides (pdf)
  FRIDA Workshop (at VSL), 23 July 2014, Vienna (30 min talk). slides (pdf)
  Concurrency Yak (at POPL), 22 January 2013, POPL, Rome (40 min informal talk on current research). slides (pdf)
  Computer Science Seminar, 14 December 2012, University of Leicester (1 hour talk). slides (pdf)
  Dagstuhl Seminar 12461 on Games and Decisions for Rigorous Systems Engineering, 16 November 2012, Schloss Dagstuhl (20 min talk). slides (pdf)
  Seminar talk, 30 October 2012, University of Tokyo (1 hour talk). slides (pdf)
  Seminar talk, 3 September 2012, University of Pisa (1 hour talk). slides (pdf)
  RISE Seminar, 14 June 2012, TU Vienna (1 hour talk). slides (pdf)
• Trace Semantics via Determinization
  
  NII Shonan Meeting 26 on Coinduction, 10 October 2013, Shonan (40 min talk). slides (pdf)
  COIN seminar, 6 December 2012, Nijmegen (40 min talk). slides (pdf)
  Theory of Probabilistic Systems (Workshop), 4 April 2012, Bellairs Research Institute, Barbados (75 min blackboard talk).
  CMCS 2012, 31 March 2012, Tallinn (30 min talk). slides (pdf)
• Sound and Complete Axiomatization of Trace Semantics for Probabilistic Transition Systems
  
  QAIS research workshop and kick-off meeting, 17 October 2011, University of Minho, Braga (30 min talk). slides (pdf)
  MFPS XXVII, 27 May 2011, CMU, Pittsburgh (30 min talk). slides (pdf)
• Response times versus utilization in scheduler overhead accounting
  
  RTAS, CPS Week, 15 April 2010, Stockholm (30 min talk). slides (pdf)
• Coalgebraic behaviour via coinduction
  
  IST Austria, seminar, 5 March 2010 (45 min talk). slides (pdf)
• Short-term memory for self-collecting mutators: Towards time- and space-predictable virtualization
  
  RISE Workshop, Graz, 23 February 2010 (30 min talk). Together with Andreas Haas; slides mainly by Christoph Kirsch. slides (pdf)
• A workload-oriented programming model for temporal isolation with VBS
  
  RePP Workshop 2009, ESWeek Grenoble, 15 October 2009 (30 min talk). slides (pdf), slides (open office with animations)
• Traces, Executions, and Schedulers, Coalgebraically
  
  CALCO 2009, Udine, 8 September 2009 (30 min talk). slides (pdf)
• Explicit, dynamic memory management with temporal and spatial guarantees
  
  Artist Design Summer School, Beijing, Tsinghua University, 20–24 July 2009 (replacing Christoph Kirsch; 6 hours of lectures planned and mainly prepared by Christoph Kirsch). course slides (pdf) and additional CF slides: slides (pdf)
• Classification of probabilistic systems
  
  Seminar of the Computer Science Group, Research Institute for Mathematical Sciences (RIMS), Kyoto University, 19 November 2008 (1 hour talk). slides (pdf)
• Exemplaric Expressivity of Modal Logics
  
  Dagstuhl Seminar on Coalgebraic Logics, Dagstuhl, 7 December 2009 (30 min talk). slides (pptx, huge), slides (pdf)
  ProSe (Process Seminar), TU Eindhoven, 9 February 2009 (1 hour talk). slides (pptx, huge), slides (pdf)
  Seminar of the Computer Science Group, RIMS, Kyoto University, 4 December 2008 (1 hour talk). Informal talk extending the coalgebra day talk (slides below). New slides corresponding to this talk are the ones from TUE (above).
  Coalgebra Day 2008, Radboud University Nijmegen, 11 March 2008 (30 min talk). slides (pptx, huge), slides (pdf)
• Bisimilarity and Trace via Coinduction
  
  Researcher's Seminar of the Theory and Logic Group, Vienna University of Technology (TU Wien), 23 January 2008 (1 hour talk). slides (pdf)
• The Microcosm Principle and Concurrency in Coalgebra
  
  Mathematical conference in honour of Prof. Blagoj Popov's 85th birthday, Ohrid, Macedonia, 6 September 2008 (25 min talk). slides (pptx), slides (pdf). Thanks to Ichiro Hasuo for letting me use and edit his (already most beautiful) FoSSaCS slides.
  ProSe (Process Seminar), TU Eindhoven, 22 February 2007. slides (pdf)
  ICIS Colloquium, RU Nijmegen, 12 February 2007. slides (pdf)
• Probabilistic automata: types and semantics
  
  IPA Herfstdagen on Stochastic Systems, Bergen NH, 28 November 2006 (45 min talk). slides (pdf)
• Compositionality and algebraic properties of process operations
  
  Coalgebra Day 2006, Nijmegen, 30 October 2006 (20 min talk). slides (pdf)
• Probabilistic models for verification
  
  Computational Systems Group, Department of Computer Sciences, University of Salzburg, 13 October 2006 (1 hour talk), invited by Prof. Christoph Kirsch. slides (pdf)
• Probabilistic systems: a place where categories meet probability
  
  Computer Science Colloquium, University Dortmund, 12 June 2006 (1 hour talk), invited by Prof. Ernst Doberkat. slides (pdf)
• Generic Trace Theory
  
  CMCS'06 workshop, satellite event of ETAPS'06, Vienna, 25 March 2006 (40 min talk). slides (pdf)
• On Semantic Relations: From probabilistic systems to coalgebras and back
  
  GEOCAL'06 meeting, workshop on Probabilistic Transition Systems, CIRM, Marseille–Luminy, 1 March 2006 (90 min talk). slides (pdf)
• Coalgebraic analysis of probabilistic systems
  
  PhD Defense — lekenpraatje (short talk, 10 min), 3 November 2005, TU Eindhoven. slides (pdf), more info
• Weak bisimulation for action-type coalgebras
  
  ZIC colloquium, TU Eindhoven, December 2004; Institute of Informatics, PMF, Skopje, June 2004; ACG Seminar, CWI, Amsterdam, May 2004 (long detailed talk). slides (pdf)
  CTCS'04, Copenhagen, Denmark, August 2004 (short talk, 30 min). slides (pdf)
• A hierarchy of probabilistic system types
  
  FMT group, TU Twente, April 2005. slides (pdf)
  Institute of Informatics, PMF, Skopje, June 2003 (the conference talk from below).
  ZIC Colloquium, TU Eindhoven, May 2003 (long detailed talk). Together with Falk Bartels. slides (pdf)
  CMCS'03, Warsaw, Poland, April 2003 (short talk, 30 min). Together with Falk Bartels. slides (pdf)
  ACG Seminar, CWI, Amsterdam, March 2003 (long detailed talk). Together with Falk Bartels. slides (pdf)
• On relational properties of lumpability
  
  (A)MaPAoTS project meeting, June 2003, TU Eindhoven. slides (pdf)