ConferenceMathematics & StatisticsPure Mathematics

International Conference on Mathematical Logic and Proof Theory

ICMLPT

Thu, Apr 30, 2026
New York, United States
About This Conference
The aim of the Conference is to provide a platform to the researchers and practitioners from both academia as well as industry to meet the share cuttingedge development in the field.
Call for Papers

Mathematical Logic
Proof Theory
Model Theory
Set Theory
Axiomatic Systems
Formal Systems
Incompleteness
Consistency
Computability
Foundations of Mathematics
Algebraic Logic
Logical Methods
Descriptive Set Theory
Higher Order Logic
Abstract Algebra Connections

Important Dates

Start Date

Thursday, April 30, 2026

Registration Deadline

Wednesday, April 15, 2026

Submission Deadline

Wednesday, April 15, 2026

Venue
New York, New York, United States

New York, United States

Deadline: Apr 15, 2026

Official Website
Organizer

ISIT

Nathan Vincent
Quick Info
TypeConference
MonthApril-2026