Talks

Given at Conferences and Meetings

• Dissimilarity for Linear Dynamical Systems,
  QEST+FORMAT 2024 (Calgary, Canada) (slides)
• Tensor of Quantitative Equational Theories,
  CALCO 2021 (Salzburg, Austria) (slides)
• An Algebraic Theory of Markov Processes,
  LICS 2018 (Oxford, UK) (slides)
• On the Metric-based Approximate Minimization of Markov Chains,
  ICALP 2017 (Warsaw, Poland) (slides)
• Complete Axiomatization for the Total Variation Distance of Markov Chains,
  MFPS XXXIII (Ljubljana, Slovenia) (slides)
• Complete Axiomatization for the Bisimilarity Distance on Markov Chains,
  CONCUR 2016 (Quebéc City, Canada) (slides)
• Converging from Branching to Linear Metrics on Markov Chains,
  ICTAC 2015 (Cali, Colombia) (slides)
• On the Total Variation Distance of Semi-Markov Chains,
  FoSSaCS 2015 (London, UK) (slides)
• Finding a Forest in a Tree,
  TCG 2014 (Rome, Italy) (slides)
• Computing Behavioral Distances, Compositionally,
  MFCS 2013 (Klosterneuburg, Austria) (slides)
• The BisimDist Library,
  QEST 2013 (Buenos Aires, Argentina) (slides)
• On-the-Fly Exact Computation of Bisimilarity Distances,
  TACAS 2013 (Rome, Italy) (slides)
• Structural Operational Semantics for Continuous State Probabilistic Processes,
  CMCS 2012 (Tallin, Estonia) (slides)
• On Decidability of Bigraphical Sortings,
  GCM 2010 (Enschede, Netherlands) (slides)
• Measurable Stochastic for Brane Calculus,
  MeCBIC 2010 (Jena, Germany) (slides)
• A Bigraph-based Framework for Protein and Cell Interactions,
  MeCBIC 2009 (Bologna, Italy) (slides)
• Undecidability of Model Checking in Brane Logic,
  DCM 2007 (Wrocław, Poland) (slides)

Informal or Invited

• Quantitative Algebraic Reasoning,
  Oct 2024, invited talk @Dagstuhl Seminar 24432 (Dagstuhl, Germany) (slides)
  Aug 2020, invited talk @EXPRESS/SOS 2020 (Virtually on Zoom) (slides)
• Two Propositional Logics for the Lawvere Quantale,
  Oct 2024, PLS@ITU (Copenhagen, Denmark) (slides)
• A Coinductive Topology for Reasoning about Markov Processes,
  July 2022, invited talk @OPCT 2023 (Bertinoro, Italy) (slides)
• Quantitative Algebraic Effects: Sum and Tensor,
  July 2022, invited talk @MFPS 2022 (Ithaca/Paris/online) (slides) (video)
• On the Metric-based Approximate Minimization of Markov Chains,
  Jan 2017, REPAS Meeting (Ljubljana, Slovenia) (slides)
• Metric-based State Space Reduction for Markov Chains,
  Jan 2017, invited talk @QuantLA Seminars (TU Dresden, Germany) (slides)
• Complete Axiomatization for the Bisimilarity Distance on Markov Chains,
  Sep 2016, DEIS Seminar (Aalborg, Denmark) (slides)
• Converging from Branching to Linear Metrics for Weighted Transition Systems,
  Apr 2016, WATA 2016 (Aalborg, Denmark) (slides)
• Converging from Branching to Linear Metrics on Markov Chains,
  Dec 2015, IDEA4CPS Meeting (Beijing, China) (slides)
• On the Total Variation Distance of Semi Markov Chains,
  Dec 2014, invited talk @Focus Seminar (Bologna, Italy) (slides)
  Sep 2014, IDEA4CPS Meeting (Aalborg, Denmark) (slides)
• Finding a Forest in a Tree,
  Nov 2014, Breakfast Talks (Aalborg, Denmark) (slides)
• Computing Behavioral Distances, Compositionally,
  Aug 2013, MT-LAB Meeting (Copenhagen, Denmark) (slides)
  Jan 2013, invited talk @Dagstuhl Seminar 14041 (Dagstuhl, Germany) (slides)
• Structural Operational Semantics for Continuous State Probabilistic Processes,
  May 2012, Breakfast Talks (Aalborg, Denmark) (slides)

valid XHTML | CSS