HYBRID EVENT: You can participate in person at Curepipe, Mauritius or Virtually from your home or work
Scholars Forum Listener Registration

International Conference on Mathematical Logic and Proof Theory (ICMLPT - 26)

4th - 5th November 2026 Curepipe, Mauritius
Hybrid Access Invitation Support

Join researchers, academicians, professionals, and industry experts from around the world to exchange knowledge, engage in academic discussions, and advance solutions for a sustainable future.

Academic Participation Experience

Engage in high-quality sessions, gain insights from domain experts, and be part of meaningful academic discussions.

Official Invitation Letter Available

Registered listeners can request an official invitation letter after successful registration confirmation.

Benefits of Registering as Listener
Access to All Conference Sessions

Attend keynote, plenary and technical sessions across relevant tracks.

Networking Opportunities

Connect with global researchers, professionals and domain experts.

Certificate of Participation

Receive an official participation certificate after successful attendance.

Invitation Support

Request invitation letter support after confirmed registration.

Conference Materials

Access available abstracts, session resources and digital materials.

Expert Insights

Gain knowledge from leading speakers and field specialists.

2 Participant Details
Apply
4 Terms & Condition
Conference Programme and Participation Policy:

The Organiser may create shared sessions for research themes spanning more than one discipline, enabling participants to exchange knowledge, build professional relationships, and identify new opportunities for academic cooperation.

Refund, Cancellation, Postponement, Travel and Transfer of Registration:
Refund Policy:

If the registrant is unable to attend and is not in a position to transfer his/her participation to another person or event, then the following refund arrangements apply: Keeping given advance payments towards Venue, Printing, Shipping, Hotels, and other overheads, we had to keep the Refund Policy as the following slabs:

1. Cancellations made before 60 days of the conference are eligible for a full refund, subject to a $100 cancellation charge.
2. Cancellations made within 60-30 days of the conference are eligible for a 50% payment refund.
3. Cancellations made within 30 days of the conference are not eligible for a refund.
4. Virtual Participation registrations are non-refundable.

(a) The above refund policies are applicable only if the registrant has not received the official invitation letter for participation in the event, If the client receives the conference invitation letter but cannot attend the conference, no refund will be provided.

(b) If the client cannot attend the conference for any personal reasons, the registration fee is not refundable. However, the fee will be considered as a credit to participate in any of our international conferences within one year from the date of registration.

(c) In the event of a visa denial, travel reasons, or natural calamities preventing attendance, the registration fee will not be refunded. However, the fee will be considered as a credit to participate in any of our international conferences within one year from the date of registration.

(d) Since this conference is hybrid, the organizer reserves the right to conduct it in any format, physical or virtual. Refunds will not be provided for format changes.

(e) For participants who register close to the conference date or after the standard registration deadline, The registration will be considered for virtual participation only, as the conference is in hybrid mode. However, you will be eligible to attend one more international conference based on your registration category.

Cancellation Policy:

If the organizer cancels this event for any reason, you will receive a credit for 100% of the registration fee paid. You may use this credit for another event which must occur within one year from the date of cancellation.

Postponement of Event:

If the organizer postpones an event for any reason and you are unable or unwilling to attend on rescheduled dates, you will receive a credit for 100% of the registration fee paid. You may use this credit for another event which must occur within one year from the date of postponement.

Travel and Accommodation Responsibilities:

a) The responsibility for making and managing travel arrangements, including flights, transportation, and accommodation, lies solely with the individual participant.

b) In the event of any changes to the conference format, cancellation, or venue adjustments, the organizers cannot assume responsibility for any costs incurred by participants for travel or accommodation.

Transfer of registration:

All fully paid registrations are transferable to other persons from the same organization if the registered person is unable to attend the event. Transfers must be made by the registered person in writing to [email protected]. Details must include the full name of the replacement person, their title, contact phone number, and email address. All other registration details will be assigned to the new person unless otherwise specified. Registration can be transferred from one conference to another conference of the same organizer if the registrant is unable to attend one of the conferences

However, Registration cannot be transferred if it is intimated within 14 days of the respective conference. The transferred registrations will not be eligible for Refund.

Visa Information:

The organizer will not directly contact embassies and consulates on behalf of visa applicants. All delegates or invitees should take responsibility for their visa and travel arrangements. Important note for failed visa applications: Visa issues cannot come under the consideration of the cancellation policy of the organizer, including the inability to obtain a visa.

N.B:

All cancellations or modifications of registration must be made in writing to [email protected]

I agree and accept the Terms and Conditions of the website https://scholarsforum.net/

Conference Session Tracks

Aligned with United Nations Sustainable Development Goals

Our conference tracks support global knowledge exchange, innovation, and sustainable development priorities across diverse disciplines.

SDG 4 SDG 9 SDG 16
01 Foundations of Mathematical Logic
This track focuses on the fundamental principles underlying mathematical logic, exploring the philosophical implications and foundational issues. Participants will discuss various axiomatic systems and their roles in the development of logical frameworks.
02 Proof Theory and Formal Systems
This session addresses the intricacies of proof theory, examining the structure and significance of formal systems. Researchers will present methodologies for analyzing proofs and their implications for consistency and completeness.
03 Model Theory: Structures and Interpretations
This track delves into model theory, emphasizing the relationships between formal languages and their interpretations in mathematical structures. Discussions will include applications of model theory in various branches of mathematics.
04 Set Theory and Its Applications
Focusing on set theory, this session will explore its foundational role in mathematics and its various applications across different fields. Topics will include cardinality, ordinals, and the axiom of choice.
05 Incompleteness and Consistency in Mathematics
This track investigates the profound results of incompleteness theorems and their implications for the consistency of mathematical systems. Participants will analyze historical and contemporary perspectives on these critical issues.
06 Computability and Recursive Functions
This session examines the concepts of computability and recursive functions, highlighting their significance in the realm of mathematical logic. Discussions will include Turing machines, decidability, and the limits of computation.
07 Algebraic Logic: The Intersection of Logic and Algebra
This track explores the connections between algebra and logic, focusing on algebraic structures that arise from logical systems. Topics will include lattice theory, Boolean algebras, and their applications in logic.
08 Descriptive Set Theory: Techniques and Applications
Focusing on descriptive set theory, this session will cover its techniques and applications in various mathematical contexts. Participants will discuss Borel and analytic sets, as well as their implications for topology and analysis.
09 Higher Order Logic: Concepts and Challenges
This track addresses the complexities of higher order logic, exploring its expressive power and the challenges it presents. Participants will engage in discussions about its applications and limitations in formal reasoning.
10 Connections Between Logic and Abstract Algebra
This session investigates the interplay between logical frameworks and abstract algebra, examining how algebraic structures can inform logical systems. Topics will include group theory, ring theory, and their logical implications.
11 Logical Methods in Mathematics
This track highlights the various logical methods employed in mathematical reasoning and proof construction. Participants will explore innovative approaches to problem-solving and their impact on the development of mathematical theories.