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
Fax: +49 241 80 22215

Office Hours

by appointment
 

Publications

Title Authors Published in

Learning Concepts Definable in First-Order Logic with Counting

Slides

Steffen van Bergerem

34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019

DOI: 10.1109/LICS.2019.8785811

 

Research Interests

Connections between logics and computational learning theory, computational complexity theory