Conferences  >  Mathematics  >  Mathematical Logic and Foundations  >  United Kingdom

Select a location
1
OMIGAWD — OMIGAWD: O-Minimal Geometry - Interactions, Applications and Wider Developments, 2025
08 Sep 2025 - 11 Sep 2025 • Coventry, United Kingdom
Organizer:
University of Warwick, UK, Warwick Mathematics Institute
Abstract:
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.
Contact:
Email: omigawd2025@gmail.com
Topics:
o-minimal geometry, logic, model theory, o-minimality
Event listing ID:
1662689
2
BLC 2025 — British Logic Colloquium 2025 (BLC 2025) and Peter Aczel Memorial Conference
10 Sep 2025 - 12 Sep 2025 • Manchester, United Kingdom
Abstract:
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.
Event listing ID:
1666215


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 26 June 2025