ICMLPT · Registering as Listener

International Conference on Mathematical Logic and Proof Theory

📅 30–1 Jul 2027 📍 Athens, Greece 👤 Standard / Listener

Listener registration from

$165

virtual · $165 in person

Registration benefits
✉
Official invitation letterIssued automatically after registration
📜
Certificate & digital materialsCertificate, slides and resource materials
🌐
Supporting global researchConnect with researchers across 30+ countries

For Support Please Contact

[email protected]

Select registration mode

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

All sessionsNetworkingCertificateInvitation letterConference 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

I agree to the Terms & Conditions and Refund & Cancellation Policy.

VISAMastercardAmexPayPal

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

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 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.