Konferenzen  >  Mathematik  >  Mathematische Logik, Grundlagen der Mathematik  >  Großbritannien

Wählen Sie ein Land aus
1
LDMC — Liverpool Discrete Mathematics Colloquium
02. Sep 2025 - 03. Sep 2025 • Liverpool, Großbritannien
Veranstalter:
University of Liverpool
Zusammenfassung:
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.
Themen:
Constraint Satisfaction Problems, Extremal Combinatorics, Structural Graph Theory, Algorithmic Meta Theorems.
Eintrags-ID:
1667644
2
OMIGAWD — OMIGAWD: O-Minimal Geometry - Interactions, Applications and Wider Developments, 2025
08. Sep 2025 - 11. Sep 2025 • Coventry, Großbritannien
Veranstalter:
University of Warwick, UK, Warwick Mathematics Institute
Zusammenfassung:
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.
Kontakt:
Email: omigawd2025@gmail.com
Themen:
o-minimal geometry, logic, model theory, o-minimality
Eintrags-ID:
1662656
3
BLC 2025 — British Logic Colloquium 2025 (BLC 2025) and Peter Aczel Memorial Conference
10. Sep 2025 - 12. Sep 2025 • Manchester, Großbritannien
Zusammenfassung:
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.
Eintrags-ID:
1666193


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Kein Tracking | Keine Pop-ups | Keine Animationen
Stand vom 8. Juli 2025