Conférences  >  Mathématiques  >  Logique mathématique et fondements  >  Royaume-Uni

University of Liverpool

This two day Colloquium aims to bring together researchers in discrete mathematics, from areas such as structural and algorithmic graph theory, extremal combinatorics, logic and foundations of Computer Science. There is a four-hour tutorial on Constraint Satisfaction Problems given by Andrei Krokhin (Durham), nine invited talks, and a session with contributed one slide pitches by junior researchers.

Constraint Satisfaction Problems, Extremal Combinatorics, Structural Graph Theory, Algorithmic Meta Theorems.

Théorie des graphes et combinatoire,    Optimisation, recherche opérationnelle

University of Warwick, UK, Warwick Mathematics Institute

The space of real numbers, although arguably a familiar space for people thinking mathematically, plays host to scary and intuition-defying objects such as the Cantor set and the Weierstrass function. O-minimal geometry provides a framework for studying sets and functions with tame topological and geometric properties, generalizing semi-algebraic and subanalytic geometry, while retaining key finiteness conditions. Over the years, o-minimality has had applications in a wide range of areas such as diophantine geometry, Hodge theory, theoretical computer science, combinatorics, dynamical systems, physics, and machine learning, where it has been essential to go beyond just algebraic sets while at the same time having control over complexity and structure. This conference will explore recent advances in o-minimal geometry and its interactions with other areas. Talks will cover both foundational aspects and emerging directions, highlighting new perspectives and open problems.

Email.: omigawd2025@gmail.com

o-minimal geometry, logic, model theory, o-minimality

This meeting aims to bring together researchers working in logic and related areas, both from the UK and overseas, to share and discuss recent developments in those areas. The plenary speakers are all leaders in their respective fields, and their talks would normally cover not only their own work but also important related research in their fields. This would benefit all the participants and, in particular, junior researchers including students and postdocs. The contributed talks would benefit the speakers by giving them an opportunity to present their work to a general logic audience (outside their immediate research area) and by encouraging discussions with both senior and junior logicians.