Ana Sokolova, talks

Ana Sokolova: some talks (ordered by topic and chronologically)

Congruences of Convex Algebras
- Dagstuhl Seminar 12411 on Coalgebraic Logics, 12th of October 2012, Schloss Dagstuhl (30 min. talk)
  slides (pdf, huge sorry)
Quantitatively Relaxed Data Structures
- Concurrency Yak (at POPL), 22nd of January 2013, POPL, Rome (40 min. informal talk on current research)
  slides (pdf, huge sorry)
- Computer Science Seminar, 14th of December 2012, University of Leicester (1 hour talk)
  slides (pdf, huge sorry)
- Dagstuhl Seminar 12461 on Games and Decisions for Rigorous Systems Engineering, 16th of November 2012, Schloss Dagstuhl (20 min. talk)
  slides (pdf, huge sorry)
- Seminar talk, 30th of October 2012, University of Tokyo (1 hour talk)
  slides (pdf, huge sorry)
- Seminar talk, 3rd of September 2012, University of Pisa (1 hour talk)
  slides (pdf, huge sorry)
- RISE Seminar, 14th of June 2012, TU Vienna (1 hour talk)
  slides (pdf, huge sorry)
Trace Semantics via Determinization
- COIN seminar, 6th of December 2012, Nijmegen (40 min. talk)
  slides (pdf, huge sorry)
- 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, huge sorry)
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, huge sorry)
- MFPS XXVII, 27th of May 2011, CMU, Pittsburgh (30 min. talk)
  slides (pdf, huge sorry)
Response times versus utilization in scheduler overhead accounting
- RTAS, CPS Week, 15th of April 2010, Stockholm (30 min. talk)
  slides (pdf)
Probabilistic systems coalgebraically
- CMCS, ETAPS, invited talk, 26th of March 2010, Paphos, Cyprus (1 hour talk)
  slides (pdf, huge sorry)
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 corresponding to 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)

back home