EN | DE
Theoretische Informatik

Differences

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

Link to this comparison view

schroeder [2019/02/04 08:40]
lutz [Highlights]
schroeder [2019/02/17 16:01] (current)
lutz [Highlights]
Line 27: Line 27:
     * //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://www.jair.org|J. Artif. Intell. Res. (JAIR)]]     * //Probabilistic Description Logics for Subjective Uncertainty// (V. Gutierrez-Basulto, J. Jung, C. Lutz, L. Schröder) in [[http://www.jair.org|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]]   
-  * New DFG project //Probabilistic Description Logic as a Fragment of Probabilistic First-Order Logic (ProbDL2)// 
-  * New DFG project //Generic Algorithmic Methods in Modal and Hybrid Logics (GenMod3)//  
-  * Get course material for the [[teaching:nasslli2014|course on coalgebraic logic]] by [[http://users.cecs.anu.edu.au/~dpattinson/|Dirk Pattinson]] and myself at [[http://www.nasslli2014.com/|NASSLLI 2014]] 
   * Check out [[research:software:cool|COOL - The Coalgebraic Ontology Logic Reasoner]].    * Check out [[research:software:cool|COOL - The Coalgebraic Ontology Logic Reasoner]]. 
 ==== Research ==== ==== Research ====