Person

Steffen van Bergerem

M. Sc. RWTH
Steffen Van Bergerem
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Address

Building: Erweiterungsbau 1

Room: 4117a

Ahornstr. 55

52074 Aachen

Contact

WorkPhone
Phone: +49 241 80 21702

Office Hours

by appointment
 

Research Interests

Connections between logics and computational learning theory, computational complexity theory

 

Publications

Source Authors and Contributors
[Contribution to a book, Contribution to a conference proceedings]
On the Parameterized Complexity of Learning First-Order Logic
In: Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 337-346, 2022
[DOI: 10.1145/3517804.3524151]
van Bergerem, Steffen (Corresponding author)
Grohe, Martin
Ritzert, Martin
[Contribution to a book, Contribution to a conference proceedings]
Learning Concepts Described By Weight Aggregation Logic
In: 29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (virtual conference) / edited by Christel Baier, Jean Goubault-Larrecq, 10:1-10:18, 2021
[DOI: 10.4230/LIPICS.CSL.2021.10]
van Bergerem, Steffen (Corresponding author)
Schweikardt, Nicole (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Learning Concepts Definable in First-Order Logic with Counting
In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) / publisher: IEEE, 13 Seiten, 2019
[DOI: 10.1109/LICS.2019.8785811]
van Bergerem, Steffen (Corresponding author)
 

Talks