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/02/17 16:08] (current)
lutz
Line 1: Line 1:
 ====== Welcome ====== ====== Welcome ======
  
-<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>+<html><p><A href="https://www8.cs.fau.de/_media/ss19:vl_sose_2019_poster.pdf" target="_blank"><img src="https://www8.cs.fau.de/_media/ss19:vl_sose_2019_poster.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 14:
 </WRAP>--> </WRAP>-->
 ====== Highlights ====== ====== Highlights ======
 +    * //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 33:
     * //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]]