Department of Computer and Information Science & Department of Mathematics and Statistics
Connecting Statistical Logic, Dynamical Systems and Optimization
Â
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/