Prof. Dr. Erich Grädel

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

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

Mitherausgeber des Journals Logical Methods in Computer Science (seit 2004)
Herausgeber des Journals Mathematical Logic Quarterly (seit 2012)
Mitglied des Editorial Board des Journal of Logic and Computation (Corner Editor für Logic and Games, seit 2007).
Herausgeber des Journal of Symbolic Logic (2008 - 2013)
Chair des europäischen GAMES-Netzwerks (2002 – 2013)
Autor und Herausgeber von fünf Büchern

K. M. Dannert and E. Grädel. Semiring provenance for guarded logics. In Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory through Algebraic Logic (to appear), Outstanding Contribution to Logic. Springer, 2020.
A. Dawar, E. Grädel, and M. Hoelzel. Convergence and Nonconvergence Laws for Random Expansions of Product Structures. In Fields of Logic and Computation III (A. Blass, P. Cégielski, N. Dershowitz, M. Droste, and B. Finkbeiner, Eds.), pp. 118–132. Springer, 2020.
E. Grädel and M. Otto. Guarded Teams: The Horizontally Guarded Case. 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. 22:1–22:17, Dagstuhl, Germany. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2020.
K. M. Dannert and E. Grädel. Provenance Analysis: A Perspective for Description Logics? In Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, vol. 11560 of Lecture Notes in Computer Science, pp. 266–285. Springer, 2019.
K. M. Dannert, E. Grädel, M. Naaf, and V. Tannen. Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic. arXiv e-prints, pp. arXiv:1910.07910, 2019.