EN | DE
Theoretische Informatik

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sergey [2019/04/26 19:53]
sergey +mbprog
sergey [2019/06/11 22:30] (current)
sergey Edinburgh slides
Line 65: Line 65:
  
 ====== Recent Talks ====== ====== Recent Talks ======
 +  * {{:sergey:edinburgh-talk.pdf|Towards Coherence for Guarded Traces}} presented at the [[http://wcms.inf.ed.ac.uk/lfcs/events/lfcs-seminars-1/lfcs-seminars/lfcs-seminar-sergey-goncharov|LFCS Seminar]] in the University of Edinburgh
   * {{:sergey:inagural-slides.pdf|Unifying Notions of Feedback}} presented at the [[https://meinstudium.fau.de/termine/tag-der-informatik-2019/|FAU Tag der Informatik 2019]]   * {{:sergey:inagural-slides.pdf|Unifying Notions of Feedback}} presented at the [[https://meinstudium.fau.de/termine/tag-der-informatik-2019/|FAU Tag der Informatik 2019]]
   * {{:sergey:qapl-adequacy-talk.pdf|An Adequate Semantics for Hybrid While}} presented at the [[https://conf.researchr.org/track/etaps-2019/qapl-2019-papers|16th Workshop on Quantitative Aspects of Programming Languages and Systems]]   * {{:sergey:qapl-adequacy-talk.pdf|An Adequate Semantics for Hybrid While}} presented at the [[https://conf.researchr.org/track/etaps-2019/qapl-2019-papers|16th Workshop on Quantitative Aspects of Programming Languages and Systems]]