Talks
Stone Duality for Markov Processes, Coalgebra Workshop, Bellairs Institute, Barbados, March 2013. [slides]
On-the-Fly Exact Computation of Bisimilarity Distances, TACAS2013, Rome, Italy, March 2013. [slides]
Truth, Provability and Metamathematics, in the series Mathematical Pearls, Department of Mathematics, Aalborg University, November 2012. [slides]
Quantitative versus Qualitative reasoning for Markov Processes, The 2nd General Meeting of the Sino-Danish Basic Research Centre IDEA4CPS, Shanghai, China, November 2012. [slides]
Approximate reasoning for Markov Processes, MT-Lab Meeting, Copenhagen, Denmark, October 2012. [slides]
Taking it to the limit: Approximate reasoning for Markov Processes, Mathematical Foundations of Computer Science, MFCS 2012, Bratislava, Slovakia, August 2012. [slides]
Parametrized Metatheory for Continuous Markovian Logic, Quantities in Formal Methods, QFM 2012, Paris, France, August 2012. [slides]
Stone Duality for Markov Processes, 8th Scandibnavian Logic Symposium, SLS 2012, Roskilde, Denmark, August 2012. [slides]
A Metric Analog of Stone Duality for Markov Processes, Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 2012. [slides]
A Metric Analog of Stone Duality for Markov Processes, Bellairs Workshop on Markov Processes and Quantum Computation, Bellairs Research Institute, Barbados, April 2012. [slides]
Continuous Markovian Logic. Computer Science Logic, CSL 2011, Bergen, Norway, September 2011. [slides]
Compositional Continuous Markov Processes. MT-Lab meeting, Aalborg University, August 2011. [slides]
Markovian Logics. The Metric Space of Logical Formulas. Logic Colloquium 2011, Barcelona, Spain, July 2011. [slides]
Modular Markovian Logic. ICALP 2011, Zurich, Switzerland, July 2011. [slides]
Decidability of Modular Logics for Concurrency. The Ershov Informatics Conference PSI 2011, Novosibirsk, Russia, June 2011. [slides]
A Modular Logic for Reasoning about Concurrent Markovian Systems. The Oxford Advance Seminar on Informatic Structures, Oxford University Computing Laboratory, UK, June 2011. [slides]
Reasoning about Concurrent Stochastic Systems. The Microsoft Research Cambridge, UK, March 2011. [slides]
Modular Markovian Logic. MT-Lab meeting, DTU Copenhagen, Denmark, January 2011. [slides]
Prolegomenon to Bisimulation - From Non-wellfounded Sets to Bialgebras. Aalborg University, Denmark, November 2010. [slides]
The Measurable Space of Stochastic Processes. QEST 2010, Williamsburg, Virginia, USA, September 2010. [slides]
The challenge of modular reasoning on stochastic concurrent systems . MT-Lab meeting, Aalborg University, Denmark, August 2010. [slides]
Logical Specifications of Stochastic Systems. The Microsoft Research Joint Institutes Workshop, Paris, France, April 2010. [slides]
Quantitative Model Checking in distributed settings. The Microsoft Research Joint Institutes Workshop, Cambridge, UK, October 2009. [slides]
Identity-Bisimulation-Robustness and Natural Systems. Saarland University, Saarbrucken, Germany, August 2009. [slides]
A Complete Axiomatic System for Process-based Spatial Logic. The 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, Torun, Poland, August 2008. [slides]
Analysing Biochemical Oscillations through Probabilistic Model Checking. The Second International Workshop "From Biology To Concurrency" FBTC 2008, Reykjavik, Iceland, July 2008. [slides]
BioLogics. Biomolecular information in logical form. Correlations Workshop, Brussels, Belgium, June 2008. [slides]
A logic for bimolecular interactions in compartmentalized systems. Department of Computer Science, University of Leicester, UK, May 2008. [slides]
Robustness in Natural and Computational Systems. Imperial College, London, UK, January 2008. [slides]
Multimodal logics for specifying parallel-distributed systems. Department of Computer Science, University of Sheffield, UK, November 2007. [slides]
Colonies of Synchronizing Agents. Computability and Robustness. Microsoft eScience Workshop, Microsoft Research Cambridge, UK, October 2007. [slides]
BetaWB - A language for modular representation of biological systems. The International Conference on Systems Biology, ICSB, Long Beach, California, USA, October 2007. [slides]
A Calculus for Modelling, Simulating and Analysing Compartmentalized Biological Systems. International Conference of Computational Methods in Sciences and Engineering, ICCMSE 2007, Symposium on Modelling Complex Molecular and Biomaterial Systems: Simulation of Reactive Processes, Methodological Advances and Interplay with the Experiments, Corfu, Greece, September 2007. [slides]
Observing Distributed Computation. A Dynamic-Epistemic Approach. The second Conference on Algebra and Coalgebra in Computer Science, CALCO2007, Bergen, Norway, August 2007. [slides]
Model checking bio-processes. Species, mutants and their robustness. University of Udine, Italy, July 2007. [slides]
Colonies of synchronizing agents: An abstract model of intracellular and intercellular processes. International Workshop on Automata for Cellular and Molecular Computing, Budapest, Hungary, 2007. [slides]
Decidable extensions of Hennessy-Milner Logic. The International Conference on Formal Methods for Networked and Distributed Systems, FORTE 2006, Paris, France, September 2006. [slides]
Protein Calculus. School of Biosciences, University of Birmingham, UK, July 2006. [slides]
Playing with partial knowledge in membrane systems: A logical approach. The seventh Workshop on Membrane Computing - At the Crossroads of Cell Biology and Computation, WMC7, Leiden University, The Netherlands, 2006. [slides]
Dynamic-Epistemic Spatial Logics for Concurrency. Department of Electronics and Computer Science, University of Southampton, UK, November 2005. [slides]
Model checking biological systems described using ambient calculus. The second International Workshop on Computational Methods in Systems Biology, CMSB04, Paris, France, May 2004. [slides]
A logical approach to security in the context of Ambient Calculus. Mefisto workshop, University of Pisa, Italy, April 2004. [slides]