** Fraud Prevention Notice      Be cautious of scams involving cloned emails and fake phone numbers requesting conference or journal fees. Only make payments via Science Net's official event platform and notify us immediately at [email protected] if you suspect fraud.
Science Net
ICSTLF · Registering as Listener

International Conference on Set Theory, Logic, and Foundations

5–6 Aug 2026 Bishkek, Kyrgyzstan Standard / Virtual Participation
Listener Registration From
$239
virtual · $239 in person
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

1Select registration mode

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

All sessions Networking Certificate Invitation letter Conference kit

2Your details

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


3Coupon Code (If Any)

SPECIAL OFFER
10% OFF up to USD 30
USE COUPON CODE
FAST10
Available
Apply

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

Conference Session Tracks

SDG-Aligned Research Themes

The ICSTLF conference tracks support global knowledge exchange, innovation and sustainable development priorities across Pure Mathematics and related disciplines.

01 Foundations of Set Theory +
This track explores the fundamental principles of set theory, including axiomatic systems and their implications for mathematical structures. Discussions will focus on the development and consistency of various set-theoretic frameworks.
02 Mathematical Logic and Its Applications +
This session will delve into the principles of mathematical logic, emphasizing its applications in various domains of mathematics. Topics will include proof theory, model theory, and the interplay between logic and computation.
03 Axiomatic Systems in Mathematics +
Participants will examine the role of axiomatic systems in establishing mathematical truths and their foundational significance. The track will cover various axiomatic approaches and their implications for mathematical consistency.
04 Computability and Complexity +
This track focuses on computability theory, exploring the limits of what can be computed and the complexity of mathematical problems. Discussions will include Turing machines, decidability, and the implications for mathematical logic.
05 Descriptive Set Theory +
This session will investigate the intricacies of descriptive set theory and its applications in various mathematical contexts. Emphasis will be placed on Borel and analytic sets, as well as their connections to other areas of logic.
06 Large Cardinals and Their Implications +
This track will explore the concept of large cardinals and their significance in set theory and beyond. Discussions will include their role in consistency proofs and their impact on the foundations of mathematics.
07 Incompleteness and Its Consequences +
Participants will analyze the implications of G?del's incompleteness theorems for mathematical logic and foundational studies. The session will address the philosophical and practical consequences of incompleteness in formal systems.
08 Algebraic Logic: Theory and Applications +
This track will cover the intersection of algebra and logic, focusing on algebraic structures that arise from logical systems. Topics will include lattice theory, Boolean algebras, and their applications in mathematical reasoning.
09 Topos Theory and Its Foundations +
This session will explore topos theory as a unifying framework in mathematics, emphasizing its categorical foundations. Discussions will include the relationship between topos theory and set theory, as well as its applications in logic.
10 Formal Systems and Proof Theory +
Participants will investigate the nature of formal systems and their role in proof theory. The track will focus on various proof techniques, including natural deduction and sequent calculus, and their implications for mathematical reasoning.
11 Abstract Mathematics and Philosophical Implications +
This track will engage with the philosophical underpinnings of abstract mathematics, exploring how foundational theories shape our understanding of mathematical truth. Discussions will include the implications of various foundational approaches on the philosophy of mathematics.

10% OFF

ON THE TOTAL FEE

Input this Professional Credit at checkout for a max $30.00 offset.

FAST10

10% OFF

ON THE TOTAL FEE

Input this Professional Credit at checkout for a max $30.00 offset.

FAST10