Hybrid Conferencee

International Conference on Model Theory and Abstract Structures (ICMTAS - 26)

31st - 1st September 2026 | Manchester, UK

10% DISCOUNT

Maximum discount capped at $30. Activate your Scholarly Discount during the payment phase to lower your final checkout amount.

REVEAL OFFER
EARLY10
Sample Abstract
Download
Conference Brochure
Sample Full Paper
Download
Conference Notifications:

"Be sure to check this section regularly for all Research Plus International Conference updates. We’ll keep you informed about deadlines, event details, and more important notifications."

Call for Papers Extended:
"The deadline for full paper submissions has been extended for the Research Plus International Conference in Manchester. Submit your research by today to participate in one of the top conferences."
Certificate of Presentation:
"Present your research and receive a Certificate of Presentation to recognise your valuable contribution to the conference."
Abstract Submissions Open:
"Abstract submissions for the Manchester event are now open! Don’t miss the chance to present your research. Submit now."
Networking with Global Experts:
"Engage with researchers and professionals from around the world at the Manchester conference. Build collaborations and gain insights from leading experts."
Keynote Speaker Sessions:
"Don’t miss our Keynote Sessions in Manchester, featuring global leaders and innovators sharing their knowledge."
Best Paper & Best Paper Presentation Award:
"Submit your paper and stand a chance to win the Best Paper Presentation Award. The winner will be recognized at the conference in Manchester."
SDG-Inspired Conference Focus:
"Our conference will highlight research that addresses global sustainability, inclusive education, and solutions for environmental challenges."

Conference Session Tracks

SDG Wheel

Aligned with

UN Sustainable Development Goals

This conference contributes to global sustainability by aligning its research discussions and academic sessions with key United Nations Sustainable Development Goals. It fosters knowledge exchange, innovation, and collaborative engagement.

SDG 4
SDG 4 Quality Education
SDG 7
SDG 7 Affordable and Clean Energy
SDG 9
SDG 9 Industry, Innovation and Infrastructure
Track 01

Foundations of Model Theory

This track focuses on the fundamental aspects of model theory, exploring its axiomatic underpinnings and the relationships between different models. Participants are encouraged to present new results and methodologies that advance the understanding of model-theoretic structures.

Track 02

Abstract Structures in Logic

This session aims to investigate various abstract structures that arise in logical frameworks, emphasizing their implications for both classical and non-classical logics. Contributions should highlight innovative approaches to understanding these structures within a broader mathematical context.

Track 03

Proof Theory and Its Applications

This track delves into the intricacies of proof theory, examining its applications in both pure mathematics and theoretical computer science. Researchers are invited to discuss new proof systems, their properties, and their relevance to foundational questions.

Track 04

Set Theory and Its Foundations

Focusing on the foundational aspects of set theory, this session will explore its role in mathematics and its interactions with other areas such as logic and category theory. Papers should address both classical results and contemporary developments in the field.

Track 05

Category Theory in Abstract Mathematics

This track examines the role of category theory as a unifying framework in abstract mathematics, highlighting its applications across various domains. Participants are encouraged to present novel categorical approaches to traditional mathematical problems.

Track 06

Homological Algebra and Its Implications

This session focuses on homological algebra, exploring its techniques and applications in various mathematical contexts. Contributions should address both theoretical advancements and practical applications of homological methods.

Track 07

Axiomatic Systems and Logical Foundations

This track investigates the development and implications of axiomatic systems in mathematics, emphasizing their foundational role in logic and proof theory. Researchers are invited to present new axiomatic frameworks and their consequences.

Track 08

Algebraic Logic and Its Developments

This session explores the intersection of algebra and logic, focusing on algebraic approaches to logical systems. Papers should discuss recent advancements in algebraic logic and its applications to model theory.

Track 09

Universal Algebra: Concepts and Applications

This track is dedicated to universal algebra, examining its core concepts and their applications in various mathematical structures. Participants are encouraged to share insights into the unifying aspects of algebraic systems.

Track 10

Formal Methods in Mathematics

This session focuses on the role of formal methods in mathematics, particularly in the context of proof verification and automated reasoning. Contributions should highlight innovative techniques and their implications for mathematical practice.

Track 11

Descriptive Set Theory: Recent Advances

This track addresses recent developments in descriptive set theory, exploring its connections with other areas of mathematics. Researchers are invited to present new findings and methodologies that enhance the understanding of descriptive sets.