Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

Telefon:	+49-241-80-21722
Fax:	+49-241-80-22215
Büro:	4114a (E1) / Ahornstr. 55
E-Mail:	wilke [AT] logic.rwth-aachen.de

Sprechstunde

Wenn die Tür offen ist / nach Vereinbarung

Forschung

• I am associated with the research training group UnRAVeL
• Logiken der Abhängigkeit und Unabhängigkeit
• Logiken mit Multiteam-Semantik

Lehre

• Mathematische Logik (SS 2016, SS 2017, SS 2018)
• Seminar: Bewachte Logiken und Automaten

Aktuelle Publikationen

• E. Grädel, D. Haase, and R. Wilke. Separation Logic and Logics with Team Semantics. In Workshop on Logics of Dependence and Independence (J. Väänänen and F. Yang, Eds.), 2020.
• M. Hoelzel and R. Wilke. On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. In 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) (M. Fernández and A. Muscholl, Eds.), vol. 152 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 25:1–25:16, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2020.
• R. Wilke. On the Presburger Fragment of Logics with Multiteam Semantics. In Workshop on Logics of Dependence and Independence (J. Väänänen and F. Yang, Eds.), 2020.
• M. Hoelzel and R. Wilke. On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics. arXiv e-prints, pp. arXiv:1910.06057, 2019.

Alle Publikationen