Conferences  >  Mathematics  >  Mathematical Logic and Foundations

Select a location
ALL COUNTRIES (11)
1
maths — World Maths Championship
31 Jul 2025 - 18 Aug 2025 • Dubai, United Arab Emirates
Organizer:
GEMA
Abstract:
Welcome to the World Maths Championship, the premier global platform for showcasing mathematical excellence and fostering a passion for mathematics among students worldwide. Powered by the Global Educational Mathematics Association (GEMA), we are dedicated to promoting mathematical literacy, problem-solving skills, and academic competition on an international scale.
Contact:
Event Organizer;     Phone: [+971-527809450];     Email: contact@worldmathschampionship.com
Topics:
Exam Dates: 31st July 2025 18h August 2025, Time: Exam will be available for 24hrs on 31st July and 18th August (whichever date student opted), students can start anytime between those 24hrs, but once started exam will end in its pescribed time limit of 1 hr., Duration: 60 Minutes, Mode of registration: Individually and through schools., Last Date of Registration: 27th July 2025 for 31st July Exam date and 17th August 2025 for 18th August Exam date Result: Generally, the results are announced within 3 month’s time of Last Exam Date Eligibility: For Students of Grade 1-8, Exam Fee: US$ 15, Mode of Exam: Online, Monitoring: Online proctored Exam, Number of Questions: Grade 1 – 4: 35 Questions Grade 5 – 8: 50 Questions, Study Material: There is no need to buy expensive books or study materials, all questions will be coming from existing academic curriculum/books of the students. Sample paper is also available on website. Plus we offer a mock test to students as well to get a better understanding of the exam., Date of Mock Test: 20th July 2025 00:01AM to 17th August 2025 11:00PM. A Mock test will be available between these dates for students to attempt, students can start anytime between these dates, but once started exam will end in its pescribed time limit of 1 hr., How the Exam will be Monitored: Remember this is an AI Proctored exam, System will automatically terminate exam if unusual behavior is found.,
Event listing ID:
1664336
2
Proof Society 2025 — 7th International School and Workshop on Proof Theory
01 Sep 2025 - 05 Sep 2025 • Ghent, Belgium
Organizer:
The 7th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society.
Abstract:
Following the format of previous editions, the event begins with a three-day Summer School (September 1–3) offering five tutorials on a variety of topics related to proof theory. This will be followed by a two-day Workshop (September 4–5) featuring invited lectures and contributed talks. Guided by The Proof Manifesto, this event embraces the notion of proofs in its broadest sense, welcoming participation and contributions from logic, computer science, mathematics, and beyond.
Event listing ID:
1666100
Related subject(s):
3
Summer School — Topology, dynamics, and logic in interaction
01 Sep 2025 - 05 Sep 2025 • Cetraro, Italy
4
LFPSI'25 — 1st International School on Logical Frameworks and Proof Systems Interoperability
08 Sep 2025 - 11 Sep 2025 • Orsay, France
5
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:
1662678
6
TbiLLC 2025 — Fifteenth International Tbilisi Symposium on Logic, Language, and Computation
08 Sep 2025 - 12 Sep 2025 • Kutaisi, Georgia
Organizer:
The Symposium is organised by the TSU Razmadze Mathematical Institute, the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences, the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.
Event listing ID:
1666162
7
DMB25-01 — EMBO Workshop Developmental metabolism: flows of energy, matter, and information
09 Sep 2025 - 12 Sep 2025 • Heidelberg, Germany
Organizer:
EMBL Heidelberg
Abstract:
The fundamental question of the role of metabolism in development has seen a revival in interest over recent years, creating the need for the first edition of this workshop in 2023. This second edition is set to reunite the community two years on, and to ensure the ongoing interactions that can propel progress in developmental metabolism. In this rapidly advancing field, metabolomic methods play a crucial role in unraveling complex processes. The workshop will again aim to bring together researchers from diverse backgrounds: developmental biology, genetics, epigenetics, ecology, physics and math, to provide the developmental metabolism community with cutting-edge research and methodologies applied across scales, insights into the latest advancements in metabolomic techniques and their application to developmental biology. New for 2025 will be an increased integration of tool development and technologies and an added focus on novel metabolomic approaches.
Contact:
EMBL Events;     Email: events@embl.de
Event listing ID:
1635810
Related subject(s):
8
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:
1666259
9
Polish Congress of Logic
22 Sep 2025 - 26 Sep 2025 • Toruń, Poland
Event listing ID:
1666224
10
Logic and Meaning: Colloquium on Gottlob Frege’s Legacy
01 Oct 2025 - 04 Oct 2025 • Online, Any Location (virtual event)
Abstract:
This international colloquium will explore the lasting impact of Gottlob Frege, one of the founding figures of modern logic and analytic philosophy. Scholars from various fields, including logic, philosophy of language, and mathematics, will come together to discuss Frege’s contributions and their influence on contemporary thought.
Event listing ID:
1666297
Related subject(s):
11
APMP 2025 — 8th International Meeting of the Association for the Philosophy of Mathematical Practice
12 Jan 2026 - 15 Jan 2026 • Orange CA, United States
Abstract:
The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking cluster of approaches to understanding mathematics. Relevant themes include issues in the methodology and epistemology of mathematics, history of mathematics, applications of mathematics, mathematical education, and cognitive science.
Event listing ID:
1666379
Related subject(s):


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