Jakob-Haringer-Str. 2

5020 Salzburg, Austria

Room 2.17


+43 (0)662 8044 6417

+43 (0)662 8044 611 (fax)

Skype ana_sokolova


  1. Algebraic Traces for Probability and Nondeterminism

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

  2. Tracing Probability and Nondeterminism

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

  3. The Theory of Traces for Nondeterminism and Probability

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

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

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

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

  4. Semantics of Probabilistic Automata via Coalgebra

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

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

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

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

  6. Syntax and Semantics for Probability and Nondeterminism

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

  7. Semantics Meets Syntax in Coalgebra

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

  8. Semantics of Concurrent Data Structures

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

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

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

  9. Convexity Meets Coalgebra in Probabilistic Systems

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

  10. Linearizability via Order-extension Results

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

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

  11. Proper Semirings and Proper Convex Functors

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

  12. Probabilistic Systems Semantics via Coalgebra

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

  13. The Power of Convex Algebras

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

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

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

  14. Convex Algebras for Probabilistic Systems

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

  15. Proper Convex Functors for Probabilistic Systems Semantics

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

  16. Concurrent Data Structures: Semantics and Relaxations

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

  17. Termination in Convex Sets of Distributions

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

  18. Local Linearizability

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

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

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

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

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

  19. Probabilistic systems coalgebraically

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

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

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

  21. Quantitatively Relaxed Data Structures

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

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

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

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

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

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

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

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

  22. Trace Semantics via Determinization

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

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

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

    4. CMCS 2012, 31st of March 2012, Tallinn (30 min. talk) slides (pdf)

  23. Sound and Complete Axiomatization of Trace Semantics for Probabilistic Transition Systems

    1. QAIS research workshop and kick-off meeting, 17th of October 2011, University of Minho, Braga (30 min. talk) slides (pdf)

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

  24. Response times versus utilization in scheduler overhead accounting

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

  26. Coalgebraic behaviour via coinduction

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

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

  29. RISE Workshop, Graz, 23rd of February 2010 (30 min. talk). Together with Andreas Haas, slides mainly by Christoph Kirschslides (pdf)

  30. A workload-oriented programming model for temporal isolation with VBS

  31. RePP Workshop 2009, ESWeek Grenoble, 15th of October 2009 (30 min. talk) slides (pdf) slides (open office with animations)

  32. Traces, Executions, and Schedulers, Coalgebraically
    CALCO 2009, Udine, 8th of September 2009 (30 min. talk) slides (pdf)

  33. 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)

  34. 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)

  35. Exemplaric Expressivity of Modal Logics

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

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

    3. 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 corresponding to this talk are the ones from TUE (above).

    4. Coalgebra Day 2008, Radboud University Nijmegen, 11th of March 2008 (30 min. talk) slides (pptx, huge)    slides (pdf)

  36. 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)   

  37. The Microcosm Principle and Concurrency in Coalgebra

    1. 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.

    2. ProSe (Process Seminar), TU Eindhoven, 22nd of February 2007 slides (pdf)   

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

  38. Probabilistic automata: types and semantics
    IPA Herfstdagen on Stochastic Systems, Bergen NH, 28th of November 2006 (45 min. talk) slides (pdf)   

  1. Compositionality and algebraic properties of process operations
    Coalgebra Day 2006, Nijmegen, 30 October 2006 (20 min. talk) slides (pdf)   

  2. 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)   

  3. 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)   

  4. Generic Trace Theory
    CMCS'06 workshop, satellite event of ETAPS'06, Vienna, Austria, 25th of March 2006 (40 min. talk) slides (pdf)   

  5. 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)   

  6. Coalgebraic analysis of probabilistic systems
    PhD defense - lekenpraatje (short talk 10 min), 3-11-2005, TU Eindhoven  slides (pdf)  more-info

  7. Weak bisimulation for action-type coalgebras

    1. 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)   

    2. CTCS'04, Kopenhagen, Denmark, August 2004 (short talk 30 min.) slides (pdf)   

  8. A hierarchy of probabilistic system types

    1. FMT group, TU Twente, April 2005 slides (pdf)   

    2. Institute of Informatics, PMF, Skopje, June 2003 (the conference talk from below)

    3. ZIC Colloquium, TU Eindhoven, May 2003 (long detailed talk). Together with Falk Bartels slides (pdf)   

    4. CMCS'03, Warsaw, Polland, April 2003 (short talk 30 min.). Together with Falk Bartels slides (pdf)   

    5. ACG Seminar, CWI, Amsterdam, March 2003 (long detailed talk). Together with Falk Bartels slides (pdf)   

  9. On relational properties of lumpability
    (A)MaPAoTS project meeting, June 2003, TU Eindhoven slides (pdf)   

Many thanks to Silviu Craciunas for the photo (RTAS 2010 in Stockholm) and his help with iWeb!

Ana Sokolova

Dr. TU Eindhoven, The Netherlands, 2005

Associate Professor

Computational Systems Group

Department of Computer Sciences

University of Salzburg