EN | DE
Theoretische Informatik

Differences

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

Link to this comparison view

main [2018/11/10 22:51]
lutz [Highlights]
main [2018/11/15 13:54] (current)
lutz [Highlights]
Line 15: Line 15:
 ====== Highlights ====== ====== Highlights ======
     * //A Metalanguage for Guarded Iteration// (Sergey Goncharov, Christoph Rauch, Lutz Schröder) wins best paper award at [[https://www.ictac.org.za/|ICTAC 2018]]     * //A Metalanguage for Guarded Iteration// (Sergey Goncharov, Christoph Rauch, Lutz Schröder) wins best paper award at [[https://www.ictac.org.za/|ICTAC 2018]]
 +    * [[christoph|Christoph Rauch]] wins first place in the technical faculty's [[https://www.apps.tf.fau.de/evaluation/ss18/ss18_u.html|teaching evauation]] in the category ÜP5, summer semester 2018
     * //A Semantics for Hybrid Iteration// (Sergey Goncharov, Julian Jakob, Renato Neves) at [[http://lcs.ios.ac.cn/concur2018/|CONCUR 2018]]     * //A Semantics for Hybrid Iteration// (Sergey Goncharov, Julian Jakob, Renato Neves) at [[http://lcs.ios.ac.cn/concur2018/|CONCUR 2018]]
     * //Guarded Traced Categories// (Sergey Goncharov, Lutz Schröder) wins //EATCS Best Theory Paper Award// at [[https://www.etaps.org|ETAPS 2018]]     * //Guarded Traced Categories// (Sergey Goncharov, Lutz Schröder) wins //EATCS Best Theory Paper Award// at [[https://www.etaps.org|ETAPS 2018]]