Welcome to the homepage of Connecting Statistical Logic, Dynamical Systems and Optimization. Here you can find information concerning the activities of our interdisciplinary network platform at the University of Konstanz.

Short description

Our network platform combines concepts from computer science and mathematics, including logic, statistics, dynamical systems, and optimization, to address interdisciplinary challenges. It seeks to formulate mathematical descriptions of learning processes and determine the potential and limits of learning from data. Through regular research colloquiums, scientists from various specializations discuss and share ideas, aiming to foster collaborations that can advance the field. Junior researchers are given significant roles in these events.

Please subscribe to our mailing list if you would like to receive regular announcements on our next talks.

Our network platform is funded through the German Excellence Initiative to promote academic dialogue by providing the necessary support structures. The project period lasts from April 2024 to March 2025 (12 months).

Organisers

Leading researchers (spokespersons):

• Prof. Dr. Sven Kosub, Working Group in Computing Theory and Mathematics, Department of Computer and Information Science, University of Konstanz

• Prof. Dr. Salma Kuhlmann, Working Group in Mathematical Logic, Set Theory and Model Theory, Department of Mathematics and Statistics, University of Konstanz

• TT.-Prof. Dr. Tobias Sutter, Working Group in Machine Learning and Optimization, Department of Computer and Information Science, University of Konstanz

• Prof. Dr. Stefan Volkwein, Working Group in Numerical Optimization, Department of Mathematics and Statistics, University of Konstanz

Participating researcher:

• Dr. Lothar Sebastian Krapp, Working Group in Mathematical Logic, Set Theory and Model Theory, Department of Mathematics and Statistics, University of Konstanz

Doctoral student coordinators:

• Marcel Kaiser, Working Group in Machine Learning and Optimization, Department of Computer and Information Science, University of Konstanz

• Lasse Vogel, Working Group in Mathematical Logic, Set Theory and Model Theory, Department of Mathematics and Statistics, University of Konstanz
  
  

Time and date

Our research colloquium takes place during the summer semester 2024 on Tuesday from 13:30 to 15:00h. Further information or changes will be announced in our schedule and communicated along with links for virtual participation through the mailing list.

Link to this homepage: https://www.math.uni-konstanz.de/algebra/network_platform_cs_math/