EN | DE
Theoretische Informatik

Differences

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

Link to this comparison view

main [2018/11/15 13:54]
lutz [Highlights]
main [2019/07/03 14:09] (current)
vittinghoff [Welcome]
Line 1: Line 1:
 ====== Welcome ====== ====== Welcome ======
- +<html><p><A href="https://www8.cs.fau.de/_media/:wise2019.pdf" target="_blank"><img src="https://www8.cs.fau.de/_media/wise2019.png" style="float:right; margin-left: 25px; border: 1px solid #989898;" /></A></html>
-<html><p><A href="https://www8.cs.fau.de/_media/ws18:ws2018-2019.pdf" target="_blank"><img src="https://www8.cs.fau.de/_media/ws18:ws_2018.png" style="float:right; margin-left: 25px; border: 1px solid #989898;" /></A></html>+
 <!--<WRAP half column>--> <!--<WRAP half column>-->
 <!-- TODO: replace the bureaucratic text below by something human-freindly -->    <!-- TODO: replace the bureaucratic text below by something human-freindly -->   
Line 14: Line 13:
 </WRAP>--> </WRAP>-->
 ====== Highlights ====== ====== Highlights ======
 +    * //Game-Based Local Model Checking for the Coalgebraic mu-Calculus// (Daniel Hausmann, Lutz Schröder) at [[https://event.cwi.nl/concur2019/|CONCUR 2019]]
 +    * //Graded Monads and Graded Logics for the Linear Time -- Branching Time Spectrum// (Ulrich Dorsch, Stefan Milius, Lutz Schröder) at [[https://event.cwi.nl/concur2019/|CONCUR 2019]]
 +    * //A Modal Characterization Theorem for a Probabilistic Fuzzy
 +  Description Logic// (Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König) at [[https://ijcai19.org/|IJCAI 2019]] ([[https://arxiv.org/abs/1810.04722|preprint]])
 +    * //Varieties of Data Languages// (Stefan Milius, Henning Urbat) at [[https://icalp2019.upatras.gr/|ICALP 2019]]
 +    * //Equational Axiomatization of Algebras with Structure// (Stefan Milius, Henning Urbat) at [[https://www.etaps.org/2019/fossacs|FoSSaCS 2019]]
 +    * //Optimal Satisfiability Checking for Arithmetic mu-Calculi// (Daniel Hausmann, Lutz Schröder) at [[https://www.etaps.org/2019/fossacs|FoSSaCS 2019]]
     * //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     * [[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
Line 32: Line 38:
     * //Unifying Guarded and Unguarded Iteration// (S. Goncharov, L. Schröder, C. Rauch and M. Pirog) at [[http://www.etaps.org/index.php/2017/fossacs|FOSSACS 2017]]     * //Unifying Guarded and Unguarded Iteration// (S. Goncharov, L. Schröder, C. Rauch and M. Pirog) at [[http://www.etaps.org/index.php/2017/fossacs|FOSSACS 2017]]
     * //Probabilistic Description Logics for Subjective Uncertainty// (V. Gutierrez-Basulto, J. Jung, C. Lutz, L. Schröder) in [[http://jair.org/papers/paper5222.html|J. Artif. Intell. Res. (JAIR)]]     * //Probabilistic Description Logics for Subjective Uncertainty// (V. Gutierrez-Basulto, J. Jung, C. Lutz, L. Schröder) in [[http://jair.org/papers/paper5222.html|J. Artif. Intell. Res. (JAIR)]]
-    * //Program Equivalence is Coinductive// (D. Pattinson, L. Schröder) at [[http://lics.rwth-aachen.de/lics16/|LICS 2016]] 
-    * //Global Caching for the Alternation-free Coalgebraic mu-Calculus// (Daniel Hausmann, Lutz Schröder, Christoph Egger) at [[http://www.concur2016.ulaval.ca|CONCUR 2016]] 
-    * DFG project //Probabilistic Description Logic as a Fragment of Probabilistic First-Order Logic// (Lutz Schröder)  
-    * //A New Foundation for Finitary Corecursion: The Locally Finite Fixpoint and its Properties// (Stefan Milius, Dirk Pattinson, Thorsten Wißmann) and //Profinite Monads, Profinite Equations and Reitermann's Theorem// (Liang-Ting Chen, Jiří Adámek, Stefan Milius, Henning Urbat) at [[http://www.etaps.org/index.php/2016/fossacs|FoSSaCS 2016]]