EN | DE
Theoretische Informatik

Differences

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

Link to this comparison view

sergey [2019/01/02 16:50]
sergey picture layout
sergey [2019/01/10 18:10] (current)
sergey Birmingham slides
Line 63: Line 63:
 </html> </html>
 ====== Recent Talks ====== ====== Recent Talks ======
 +  * {{:sergey:birmingham-gtrace-slides.pdf|Towards Coherence for Guarded Traces}} presented at the [[http://talks.bham.ac.uk/show/index/86|Birmingham School of Computer Science Theory Seminar]]
   * {{:ws18:ober:goncharov-talk.pdf|From Delay Monad to Duration Monad: An Excursion into Non-Inductive Semantics}} presented at the [[https://www8.cs.fau.de/ws18:ober|Chair Seminar]]   * {{:ws18:ober:goncharov-talk.pdf|From Delay Monad to Duration Monad: An Excursion into Non-Inductive Semantics}} presented at the [[https://www8.cs.fau.de/ws18:ober|Chair Seminar]]
   * {{:sergey:guarded-metalanguage-talk-ictac.pdf|A Metalanguage for Guarded Iteration}} presented at [[https://www.ictac.org.za|ICTAC 2018]]   * {{:sergey:guarded-metalanguage-talk-ictac.pdf|A Metalanguage for Guarded Iteration}} presented at [[https://www.ictac.org.za|ICTAC 2018]]