HYBRID EVENT: You Can Participate In Person At Shanghai, China Or Virtually From Your Home Or Work
ICMLPT · Registering as Listener

International Conference on Mathematical Logic and Proof Theory

24–25 May 2027 Shanghai, China Standard / Physical Participation
Listener Registration
$135
virtual · $175 in person
Registration Benefits:
Official invitation letterIssued automatically after registration
Certificate & digital materialsGet certificate, slides and resource materials
Supporting global researchConnect 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

Your details

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

Coupon code

Have a code? Apply it here — the discount updates the total immediately.
Apply

1. Policy on Cancellations & Refunds :

  • A full refund is possible only if the cancellation request is submitted at least 70 days before the conference, with formal paperwork completed at least 60 days prior.
  • If cancellation occurs between 60 and 30 days before the event, partial refunds may be granted based on administrative costs incurred.
  • Cancellations made within 30 days of the event are non-refundable, though participants will receive a credit valid for one year.
  • Registrations made less than 30 days before the event are not eligible for refunds, but may be transferred to another ISIT conference.
  • Since this conference is hybrid format, the organizer reserves the right to conduct the event either in-person or virtually. Please note that no refunds will be issued due to changes in the event format.
  • Virtual registration fees are non-refundable. A credit will instead be issued for use at a future conference event.

2. Participation & Registration Requirements :

  • To attend an ISIT event, participants must complete the registration process within the stipulated time.
  • The event schedule, venue, and format are subject to changes at the discretion of the organizers, with prior notice sent via email.
  • ISIT is not liable for any financial losses resulting from changes in event details.
  • Fees paid for registration are strictly non-refundable.
  • If the primary author cannot participate, a co-author may attend instead, but refunds will not be granted for non-attendance.

3. Submission & Publication Norms :

  • Researchers submitting papers to ISIT must ensure their institution or supervisor is aware of their submission.
  • Each submission is subject to a rigorous peer review before being accepted for presentation.
  • Only papers linked to a completed registration will be included in conference proceedings.
  • The submitting author is considered the primary author; ISIT does not verify individual authorship claims.
  • If any concerns regarding authorship arise and are validated, the paper will be withdrawn without reconsideration.
  • Once a paper is removed, it cannot be reintroduced into any ISIT publication.

4. Travel & Accommodation Responsibilities :

  • Attendees are responsible for making their own travel and lodging arrangements.
  • ISIT does not provide logistical assistance for travel or accommodation.
  • The organization bears no responsibility for expenses incurred due to conference modifications or rescheduling.

5. Visa & Invitation Letter Policy :

  • Attendees are responsible for making their own travel and lodging arrangements.
  • ISIT does not provide logistical assistance for travel or accommodation.
  • The organization bears no responsibility for expenses incurred due to conference modifications or rescheduling.
  • ISIT does not engage directly with consulates or embassies on behalf of attendees.
  • Participants must handle their own visa applications and processes.
  • Important Information Regarding Invitation Letters:
    • The invitation letter is provided solely for conference attendance and does not serve as a document for immigration, employment, or residency purposes.
    • The letter assists in visa applications but does not guarantee visa approval.
    • ISIT holds no responsibility for visa denials or processing delays, and all related costs are borne by the applicant.
    • Any alterations or unauthorized use of the invitation letter will result in its invalidation and possible cancellation of conference participation.
    • Legal action may be pursued if the document is misused.
    • By accepting the invitation letter, attendees agree to comply with international travel regulations and ethical participation standards.

6. Registration Transfers :

  • Registrations may be transferred to another individual from the same institution if the original participant cannot attend.
  • Transfer requests must be made via email to [email protected] with necessary details and supporting documents.
  • Transfers must be requested at least 14 days before the event; otherwise, they will not be accommodated.
  • Transferred registrations are not eligible for refunds.

7. General Considerations :

  • Any modifications or cancellations must be communicated in writing to [email protected].
  • Registration confirms acknowledgment and acceptance of these policies.
  • ISIT does not initiate automatic transactions; all payments are voluntarily completed by registrants.
  • Once registered, participants must submit a conference registration form within three days for confirmation.
  • Travel plans should only be finalized after receiving the official conference itinerary, which will be shared 15 days before the event.

8. Conference Programme and Participation Policy :

  • Presentations from different but relevant academic areas may be combined by the Organiser within an interdisciplinary or multidisciplinary programme to encourage cross-disciplinary understanding, interaction, and future research partnerships.
Payments encrypted & processed securely. Refundable up to 14 days before the event.

What you'll hear about

Session tracks covered across the event.
View all 11 tracks →
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.