Template for displaying personal pages. It is used in Template:Mitarbeiter and Template:Mitarbeiter/en.

Usage:

{{DisplayMitarbeiter
| L = "/en" (English) or empty (German)
| Page = title of the main page where the person's data is stored
| Akademischer Titel = title prefix
| Name = full name
| Ehemaliger = 0 (current employees) or 1 (former employees)
| Forschungsgruppe = list of German research group names (semicolon separated)
| Bild = Image
| Stellung = Position
| Raum = Room
| Info = text description
| Gebäude = Building code (usually APB)
| Sprechstunde Tag = Week day of office hours as a German abbreviation, e.g., Do
| Sprechstunde Beginn = office hour start, e.g., 11:00
| Sprechstunde Ende = office hour end, e.g., 12:00
| Telefon = phone number
| Fax = fax number
| Email = email
| Alternative URI = homepage
| Public Key = filename of public key
| DBLP = URL of DBLP publication page
| Google Scholar = URL of Google Scholar page
| Publikationen anzeigen = 1 (show publications) or 0 (don't show any publications)
| Abschlussarbeiten anzeigen = 1 (show supervisions) or 0 (don't show any supervisions)
| Projekte anzeigen = 1 (show projects) or 0 (don't show any projects)
| Sekretariat Mail = mail address of secretary (leave empty to hide)
| Matrix = matrix account (leave empty to hide)
}}

Example output

Dr. Vorlage:DisplayMitarbeiter (example name)

Position Computational Logic

email
Public Key
Secretary: secretary@example.org
Chat (Matrix ): @matrix:example.org
phone number
fax number
Room
Consultation hour for students: Thu, 11:00 am – 12:00 pm

text description

Newest Publications

View full publication list

Philipp Hanisch, Markus Krötzsch
Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
Proceedings of the 29th International Conference on Database Theory, LIPIcs, to appear
Details

Markus Krötzsch
Modern Datalog: Concepts, Methods, Applications
In Alessandro Artale, Meghyn Bienvenu, Yazmı́n Ibáñez Garcı́a, Filip Murlak, eds., Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025), volume 138 of OASIcs, 2025. Dagstuhl Publishing
Details Download

Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch
Verifying Datalog Reasoning with Lean (Extended Abstract)
KR 2025 - Recently Published Research Track, November 2025
Details Download

Piotr Gorczyca, Dörthe Arndt, Martin Diller, Jochen Hampe, Georg Heidenreich, Pascal Kettmann, Markus Krötzsch, Stephan Mennicke, Sebastian Rudolph, Hannes Straß
Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes
Proceedings of the 21st International Conference on Semantic Systems (SEMANTiCS 2025), to appear
Details Download

Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch
Verifying Datalog Reasoning with Lean
In Yannick Forster, Chantal Keller, eds., 16th International Conference on Interactive Theorem Proving (ITP 2025), volume 352 of Leibniz International Proceedings in Informatics (LIPIcs), 36:1-36:19, September 2025. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download

Lukas Gerlach, Alex Ivliev, Julián Méndez, Simon Meusel, Raimund Dachselt, Markus Krötzsch
EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization
The Fifth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024), November 2024
Details Download

Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
Towards Mass Spectrum Analysis with ASP
In Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez, eds., Proc. of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024), volume 15245 of LNCS, 200-214, October 2024. Springer
Details Download

Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit
In Pierre Marquis,Magdalena Ortiz,Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 743-754, 2024. IJCAI Organization
Details Download

Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
Nemo: A Scalable and Versatile Datalog Engine
In Mario Alviano, Matthias Lanzinger, eds., Proceedings of the 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024), volume 3801 of CEUR Workshop Proceedings, 43-47, November 2024. CEUR-WS.org
Details Download

Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time
Proc. ACM Manag. Data, 2(2):93, May 2024
Details Download

View full publication list