Simon Knäuer

I am a Ph.D. student in the DFG Research Training Group QuantLa.

Currently I am working on

• Infinite Domain Constraint Satisfaction Problems
• CSPs of Finite Relation Algebras
• Second Order Logic and CSPs

My supervisors are Prof. Dr. Manuel Bodirsky and Prof. Dr. Franz Baader

Publications:

• The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom, with Manuel Bodirsky, in the Journal of Artificial Intelligence Research, Volume 75, 2022. Available at https://jair.org/index.php/jair/article/view/14195

• Datalog-Expressibility for Monadic and Guarded Second-Order Logic, with Manuel Bodirsky and Sebastian Rudolph, in the proceedings of ICALP 21. Preprint available at ArXiv:2010.05677

• On Logics and Homomorphism Closure, with Manuel Bodirsky, Thomas Feller and Sebastian Rudolph, in the proceedings of LICS 21. Preprint available at https://arxiv.org/abs/2104.11955

• Network satisfaction for symmetric relation algebras with a flexible atom, with Manuel Bodirsky, in the proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21). Preprint available at ArXiv:2008.11943

• ASNP: a tame fragment of existential second-order logic, with Manuel Bodirsky and Florian Starke, in the proceedings of Computability in Europe (CiE) 2020. Preprint available at ArXiv:2001.08190. Here is our Video for the conference.

• Hardness of Network Satisfaction for Relation Algebras with Normal Representations, with Manuel Bodirsky, in the proceedings of RAMICS 2020. Preprint available at https://arxiv.org/abs/1912.08482.

Conferences and Talks:

• 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), 12–16.7.2021, virtual conference (Here is our Video for the conference.)
• 36th Annual Symposium on Logic in Computer Science (LICS 2021), 29.6 –02.7.2021,  virtual conference
• CSP online seminar, 24.2.2021 (Recording of my talk.)
• Oberwolfach Workshop: "Homogeneous Structures: Model Theory meets Universal Algebra". January 3-9, 2021, (online conference).
• RAMICS 2020, October 26-29, 2020, (online conference). Here are Slides and Recording of my talk.
• QuantLA Workshop, October 5-7, 2020, (online workshop). "MSO ∩ Datalog"

• CSP World Congress 2020, September 20-26, 2020, Völs am Schlern (IT).

• Computability in Europe, June 29-July 2, 2020, (online conference). Here is our Video for the conference.
• Research Exchange Trip "Universal Algebra and CSP", November 20-21, 2019, Prague
• Workshop "Logic in Computer Science", October 21-22, 2019, Jena. "Relation Algebras and CSPs" (20min)
• QuantLA Workshop, October 7–11, 2019, Stolpen.  "Relation Algebras and CSPs" (1h)
• DMV-Jahrestagung, September 23-26, 2019, Karlsruhe. "Relation Algebras and CSPs" (20min)

• Midsummer Combinatorial Workshop, July 29-August 2, 2019, Prague.

• AAA98, June 21-23, 2019, Dresden. "Relation Algebras and CSPs"
• QuantLA Spring school, March 25-29, 2019, Krippen.
• AAA97, March 1-3, 2019, Vienna. "Constraint Satisfaction over the Random Tournament"
• QuantLa Research Seminar, January 8, 2019, Dresden. "Constraint Satisfaction over the Random Tournament"
• Research Exchange Trip "Universal Algebra and CSP", October 17-18, 2018, Prague

Contact:

E-mail: 

Besucheradresse: Willersbau, Room C 41
Zellescher Weg 12 - 14, 01069 Dresden (Lage Campus Navigator)