ICMLF · Registering as Listener

International Conference on Mathematical Logic and Foundations

6th Apr – 7th Apr 2027 Dakar, Senegal Standard / Physical Participation
Listener Registration From
$120
standard · $120
Registration Benefits:
Official invitation letter
Issued automatically after registration
Certificate & digital materials
Get certificate, slides and resource materials
Supporting global research
Connect with researchers across 30+ countries

Select registration mode

Prices are shown before tax and bank charges — no surprises at checkout.

All sessions Networking Certificate Invitation letter Conference kit
Show bank convenience charges

Your details

We only need what's required to register and email your confirmation. Everything else is optional.

3 Coupon Code (If Any)

Apply
Terms of Conditions:

1.1 Paper Submission and Publication in IGAE Conferences

  • All Authors and Co-authors must inform their respective Dept. Head/Principal/Guide about the paper submission to IGAE Conferences.
  • IGAE accepts each paper for the conference only after a review by two internal or external IGAE Reviewers.
  • IGAE never publishes any unregistered paper.
  • IGAE is not responsible for identifying the original author or co-author of the paper. The person who submits the paper will be considered the original author.
  • If IGAE receives a complaint about the originality of an author and it is found to be true, the paper will be suspended immediately.
  • IGAE cannot republish or distribute any suspended paper from the date of suspension.

1.2 Attending IGAE International Conferences

  • All participants must register before attending the conference by paying the specified amount mentioned in the registration menu on the website.
  • The Organizer reserves the right to change the venue and date at any time before the conference. Any changes will be communicated to delegates via their registered email ID.
  • IGAE is not responsible for financial loss due to ticket cancellation or any other bookings if the conference format changes from physical to virtual or is rescheduled.
  • If an author cancels their registration, no refund will be issued.
  • IGAE reserves the right to deny refunds to registered authors or co-authors who have attended the conference and accepted publication/certificates.
  • If the Author cannot attend the conference for any personal reason, the co-Author should attend. No refund will be provided.

1.3 Cancellation & Refund Policy

  • Registration cancellation will be accepted if the registrant did not receive the official invitation letter. Once received, no refund claims will be entertained.
  • A full refund is applicable only if requested at least 70 days before the conference date, with the cancellation form submitted 60 days prior.
  • No refund is available for cancellation requests made 30 days or less before the conference. However, a credit will be issued, valid for one year.
  • For cancellations made between 60-30 days before the conference, a partial refund is available, deducting applicable charges.
  • If registration was completed less than 30 days before the conference, no refund is applicable. The registrant may switch to another conference within one year.
  • If a participant is unable to attend for personal reasons, the registration fee will not be refunded but will be credited for another conference within one year.
  • If the conference is in hybrid mode, the organizer has the right to conduct it in physical or virtual format. No refund is applicable for format changes.

1.4 Travel and Accommodation Responsibilities

  • IGAE is not responsible for arranging or managing travel, flights, transportation, or accommodation for participants.
  • In the event of conference format changes, cancellation, or venue adjustments, IGAE assumes no responsibility for participant-incurred travel or accommodation costs.
  • Registration fees do not include travel or accommodation expenses.

1.5 Transfer of Registration

  • Fully paid registrations can be transferred to another individual from the same institution if the registered person cannot attend. A registration form must be submitted.
  • Transfers must be requested in writing via [email protected], with prior registration details and attestation by the cardholder.
  • Registration can be transferred to another IGAE conference if the registrant cannot attend the originally registered event.
  • Registration transfers are not accepted within 14 days of the respective conference.
  • Transferred registrations are not eligible for refunds.

1.6 Visa Information & Invitation Letter Policy

  • The organizer will not directly contact embassies or consulates on behalf of visa applicants.
  • All delegates/invitees are responsible for their visa and travel arrangements.
  • The invitation letter is issued solely for conference attendance and does not serve as an official document for residency, work, or immigration purposes.
  • The letter is provided to assist in visa applications, and attendees must adhere to the visa regulations of the host country's embassy or consulate.
  • The Organizing Committee holds no responsibility for visa approvals, denials, or processing delays. Visa decisions lie solely with the immigration authorities.
  • All expenses related to visa applications are the sole responsibility of the applicant.
  • Any misuse, modifications, or alterations of the invitation letter will render it invalid and may result in immediate termination of conference registration.
  • The organization reserves the right to take necessary actions against misuse of this document.
  • By accepting the invitation letter, the participant agrees to comply with all legal and ethical international travel and conference attendance guidelines.

1.7 Conference Programme and Participation Policy

  • Where submissions share relevant themes or wider academic value, the Organiser may integrate them across disciplines in interdisciplinary or multidisciplinary sessions that promote diverse viewpoints, knowledge exchange, and professional connections.

To be Noted

  • All cancellations or modifications must be submitted in writing to [email protected]
  • Participants are deemed to have read and agreed to these terms before completing registration.
  • No auto-debit transactions are initiated. All transactions are completed by participants willingly after reviewing the terms.
  • After completing registration, participants must submit the conference registration form within 3 days. The form will be available on the event page. Failure to submit will result in non-confirmation of event participation.
  • Do not book travel arrangements until you receive the official conference program details, which will be sent via email 15 days before the conference.

Payments encrypted & processed securely. Refundable up to 14 days before the event.

Registration summary

ConferenceICMLF
ModeStandard / Physical
ParticipationListener
Registration fee$0.00
Bank charges (5.8%)$0.00
Coupon discount-$0.00
Total payable$0.00

Includes all bank processing charges — the amount above is exactly what will be charged.

SDG Wheel

SDG-Aligned Research Themes

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

SDG 4 – Quality Education SDG 9 – Industry, Innovation and Infrastructure SDG 16 – Peace, Justice and Strong Institutions SDG 17 – Partnerships for the Goals

Need help?

Contact our registration team:

igaeglobal.com

Benefits of Registering as Listener

Access to Conference Sessions
Networking Opportunities
Certificate of Participation
Invitation Letter Support
Conference Kit / Materials
Access to Keynote Sessions

Conference session tracks

Key research areas covered across the sessions — tap a track to read more.

This track focuses on the fundamental principles underlying mathematical logic, exploring its historical development and contemporary significance. Participants are encouraged to present research that delves into the axiomatic frameworks and philosophical implications of logical systems.

This session invites contributions that investigate the nature of proofs within various logical systems, emphasizing both theoretical advancements and practical applications. Topics may include proof complexity, automated theorem proving, and the interplay between proof theory and computational methods.

This track aims to explore the relationships between formal languages and mathematical structures through the lens of model theory. Researchers are encouraged to present studies on definability, types, and the applications of model-theoretic techniques in various mathematical domains.

This session will examine the foundational aspects of set theory, including its axioms, paradoxes, and philosophical implications. Contributions may address both classical and modern developments in set theory, as well as its role in the broader context of mathematics.

This track focuses on the concepts of computability and recursion, investigating the limits of algorithmic processes and their implications for mathematics. Researchers are invited to discuss new findings in recursive function theory and their applications in computer science.

This session aims to explore various formal systems and their logical frameworks, highlighting their significance in the study of mathematical logic. Topics may include the development of new formal languages, consistency proofs, and the role of formal systems in understanding mathematical truth.

This track invites research on automated reasoning techniques and their applications in logic programming. Contributions may cover advancements in algorithms, software tools, and the theoretical underpinnings that facilitate automated deduction in logical systems.

This session will explore various non-classical logics, including modal, intuitionistic, and paraconsistent logics, and their innovative applications. Researchers are encouraged to present work that challenges traditional logical paradigms and proposes new frameworks for understanding reasoning.

This track focuses on the role of category theory in providing a unifying framework for various branches of mathematics. Participants are invited to discuss its foundational aspects, including categorical logic, functorial semantics, and applications in algebra and topology.

This session aims to investigate the interplay between algebra and logic, focusing on algebraic structures that arise from logical systems. Topics may include algebraic semantics, lattice theory, and the applications of algebraic methods in understanding logical phenomena.

This track will examine the philosophical dimensions of logic, addressing questions about truth, meaning, and inference. Researchers are encouraged to present papers that explore the implications of logical theories for philosophical inquiry and the foundations of mathematics.

COPYRIGHT © 2026 IGAE. ALL RIGHTS RESERVED