My Talks

Tracing coalgebras: a case for monads    CMCS 2022 Keynote Talk

          CMCS 2022, 2nd of April 2022, ETAPS, Munich (1 hour talk) slides (pdf)



Monads leave traces  

          FAU Erlangen, 8th of February 2022, Erlangen (1 hour talk) slides (pdf)

Nawrotzki’s Algorithm for the Countable Splitting Lemma, Constructively   CALCO 2021 Best Presentation Award


          CALCO 2021, 3rd of September 2021, Salzburg (20 min talk) slides (pdf)



Algebraic Traces for Probability and Nondeterminism


          Invited talk ONLINE, GI Meeting Deduction and Logic, 26th of March 2021, FAU Erlangen-Nürnberg (45 min talk) slides (pdf)


Tracing Probability and Nondeterminism


          Invited talk ONLINE, TRENDS 2020,  CONCUR 2020 Workshop, 5th of September 2020 (1 hour talk) slides (pdf)


The Theory of Traces for Nondeterminism and Probability


          Seminar talk ONLINE, 24th of April 2020, University of Birmingham (1 hour talk) slides (pdf)


          HVW20, 28th of January 2020, Turracher Höhe (1 hour tutorial talk) slides (pdf)


          Coalgebra Day, 28th of October 2019, NII Tokyo (45 min talk) slides (pdf)


          Seminar talk, 15th of April 2019, University of Pisa (1 hour talk) slides (pdf)



Semantics of Probabilistic Automata via Coalgebra


          PLS, special session on computer science, 29th of June 2019 (40 min invited talk) slides (pdf)


          WiL, 23rd of June 2019 (30 min talk) slides (pdf)



On coalgebra, loving what you do, and doing beautiful science


          LMW, 22nd of June 2019 (30 min invited talk) slides (pdf)



Syntax and Semantics for Probability and Nondeterminism


          HVW19, 19th of March 2019, Turracher Höhe (30 min talk) slides (pdf)



Semantics Meets Syntax in Coalgebra


          SYSMICS19, 23rd of Janury 2019, Amsterdam (30 min talk) slides (pdf)



Semantics of Concurrent Data Structures

          AVM 2018, RiSE Highlights talk, 25th of September 2018, Wagrain (30 min. talk) slides (pdf)


          MOVEP summer school, invited tutorial, 18th of July 2018, ENS Paris-Saclay, Cachan (2.5 hour talk) slides (pdf)


          IFIP WG 1.3 Meeting Royal Holloway, invited observer talk, 6th of July 2018, RHUL (40 min. talk) slides (pdf)


Convexity Meets Coalgebra in Probabilistic Systems


          Coalgebra Now workshop @ FLoC, invited talk, 8th of July 2018, Oxford (45min talk) slides (pdf)


Linearizability via Order-extension Results


          IRIF seminar, 28th of May 2018, IRIF, University Paris Diderot (Paris 7) (1 hour talk) slides (pdf)


          Dagstuhl Seminar 18211, 25th of May 2018, Dagstuhl (30 min. talk) slides (pdf)



Proper Semirings and Proper Convex Functors 


          FoSSaCS 2018, 17th of April 2018, Thessaloniki (30 min. talk) slides (pdf)



Probabilistic Systems Semantics via Coalgebra


          TbiLLC 2017, invited tutoria18th-22nd of September 2017, Lagodekhi, Georgia (3 x 1 hour talk) 
slides part1 (pdf), part2 (pdf), part3 (pdf)

The Power of Convex Algebras


          NII Shonan Meeting No.097 on Enhanced Coinduction, 15th of November 2017, Shonan (30 min. talk) slides (pdf)


          CONCUR 2017, 7th of September 2017, Berlin (30 min. talk) slides (pdf)


          IFIP WG1.3 Meeting Binz, 9th of January 2017, Binz (40 min. talk) slides (pdf)


Convex Algebras for Probabilistic Systems


          TRENDS 2017, 9th of September 2017, Berlin (25 min. talk) slides (pdf) 



Proper Convex Functors for Probabilistic Systems Semantics


          IFIP WG1.3 Meeting Berlin, 4th of September 2017, Berlin (40 min. talk) slides (pdf)


Concurrent Data Structures: Semantics and Relaxations


          IMDEA, Madrid, invited talk, 17th of July 2017, Berlin (1 hour talk) slides (pdf)



Termination in Convex Sets of Distributions


          CALCO 2017, 14th of June 2017, Ljubljana (30 min. talk) slides (pdf)


Local Linearizability


          CiiT’18, 20th of April 2018, Mavrovo (50 min. keynote talk) slides (pdf)


          HVW’17, 1st of February 2017, Obergurgl (30 min. talk) slides (pdf)


          CONCUR’16, 23th of August 2016, Quebec City (30 min. talk) slides (pdf)


          RiSE/PUMA meeting 2015, 19th of October 2015, Bad Griesbach (40 min. talk) slides (pdf)


          FRIDA Workshop (at DisCoTec), 5th of June 2015, DisCoTec, Grenoble (30 min. talk) slides (pdf)


Probabilistic systems coalgebraically


          QAIS Workshop, 16th of September 2013, University of Minho, Braga (1 hour tutorial) slides (pdf)


          CMCS, ETAPS, invited talk, 26th of March 2010, Paphos, Cyprus (1 hour) slides (pdf)


Congruences of Convex Algebras


          Dagstuhl Seminar 12411 on Coalgebraic Logics, 12th of October 2012, Schloss Dagstuhl (30 min. talk) slides (pdf)



Quantitatively Relaxed Data Structures


          Seminar talk, 21st of November 2014, Dependable Systems and Software,  Saarland University, Saarbruecken (1 hour talk) slides (pdf)


          FRIDA Workshop (at VSL), 23rd of July 2014, VSL, Vienna (30 min. talk) slides (pdf)


          Concurrency Yak (at POPL), 22nd of January 2013, POPL, Rome (40 min. informal talk on current research) slides (pdf)


          Computer Science Seminar, 14th of December 2012, University of Leicester (1 hour talk) slides (pdf)


          Dagstuhl Seminar 12461 on Games and Decisions for Rigorous Systems Engineering, 16th of November 2012, Schloss Dagstuhl (20 min. talk) slides (pdf)


          Seminar talk, 30th of October 2012, University of Tokyo (1 hour talk) slides (pdf)


          Seminar talk, 3rd of September 2012, University of Pisa (1 hour talk) slides (pdf)


          RISE Seminar, 14th of June 2012, TU Vienna (1 hour talk) slides (pdf)



Trace Semantics via Determinization


          NII Shonan Meeting 26 on Coinduction, 10th of October 2013, Shonnan (40 min. talk) slides (pdf)


          COIN seminar, 6th of December 2012, Nijmegen (40 min. talk) slides (pdf)


          Theory of Probabilistic Systems (Workshop), 4th of April 2012, Bellairs Research Institute, Barbados (75 min. blackboard talk) 


          CMCS 2012, 31st of 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, 17th of October 2011, University of Minho, Braga (30 min. talk) slides (pdf)


          MFPS XXVII, 27th of May 2011, CMU, Pittsburgh (30 min. talk) slides (pdf)



Response times versus utilization in scheduler overhead accounting


          RTAS, CPS Week, 15th of April 2010, Stockholm (30 min. talk) slides (pdf)



Coalgebraic behaviour via coinduction


          IST Austria, seminar, 5th of March 2010 (45 min. talk) slides (pdf)



Short-term memory for self-collecting mutators: Towards time- and space-predictable virtualization


          RISE Workshop, Graz, 23rd of 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, 15th of October 2009 (30 min. talk) slides (pdf) slides (open office with animations)



Traces, Executions, and Schedulers, Coalgebraically
CALCO 2009, Udine, 8th of 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 (pdf)



Classification of probabilistic systems


          Seminar of the Computer Science Group, Research Institute for Mathematical Sciences (RIMS), Kyoto University, 19th of November 2008 (1 hour talk) slides (pdf)



Exemplaric Expressivity of Modal Logics


          Dagstuhl Seminar on Coalgebraic Logics , Dagstuhl, 7th of December 2009 (30min talk) slides (pptx, huge)    slides (pdf)


          ProSe (Process Seminar), TU Eindhoven, 9th of February 2009 (1 hour talk) slides (pptx, huge)    slides (pdf)


          Seminar of the Computer Science Group, Research Institute for Mathematical Sciences (RIMS), Kyoto University,  4th of December 2008 (1 hour talk). Informal talk extending the coalgebra day talk (slides below). New slides correspondingto this talk are the ones from TUE (above).

          Coalgebra Day 2008, Radboud University Nijmegen, 11th of 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), 23rd of 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, 6th of 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, 22nd of February 2007 slides (pdf)   
     

          ICIS Colloquium , RU Nijmegen, 12th of February 2007 slides (pdf)   



Probabilistic automata: types and semantics

          
IPA Herfstdagen on Stochastic Systems, Bergen NH, 28th of 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, 13th of 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, 12th of June 2006 (1 hour talk)  invited by Prof. Ernst Doberkat slides (pdf)   



Generic Trace Theory

          
CMCS'06 workshop, satellite event of ETAPS'06, Vienna, Austria, 25th of 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, 1st of March 2006 (90 min. talk)     slides (pdf)   



Coalgebraic analysis of probabilistic systems


          PhD Defense - lekenpraatje (short talk 10 min), 3-11-2005, TU Eindhoven  slides (pdf)  more-info



Weak bisimulation for action-type coalgebras 


          ZIC colloquium, TU Eindhoven, December 2004, and Institute of Informatics, PMF, Skopje, June 2004 ACG Seminar, CWI, Amsterdam, May 2004, (long detailed talk) slides (pdf)   


          CTCS'04, Kopenhagen, 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, Polland, 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)