ConferenceMathematics & StatisticsPure Mathematics
International Conference on Mathematical Logic and Proof Theory
ICMLPT
Wed, Jun 3, 2026
Lublin, Poland
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.
ConferenceMathematics & StatisticsPure Mathematics
International Conference on Mathematical Logic and Proof Theory
ICMLPT
Wed, Jun 3, 2026
Lublin, Poland
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
Wednesday, June 3, 2026
Registration Deadline
Tuesday, May 19, 2026
Submission Deadline
Thursday, May 14, 2026
Venue
Lublin, Lublin, Poland