Akademia Nauk Formalnych we Wrocławiu

Where proof
precedes
construction

A European centre of excellence in formal sciences, mathematical logic, and software verification — educating the next generation of researchers who build certainty into every system.

Discover ANF
About the Academy

Thirty years of
formal rigour

Founded in 1993 in the intellectual tradition of the Lwów–Warsaw school of logic, the Academy of Formal Sciences is one of Europe's few institutions entirely dedicated to the mathematical foundations of computing. From automated program repair to smart contract verification, our research shapes how the world builds trustworthy software.

42
Faculty
380
Students
3
Faculties
14
Erasmus+ Partners
Learn More →
Tarczyński Memorial Library
Faculties

Three pillars of
formal thought

01
Mathematical Logic
Wydział Logiki Matematycznej
Foundations of mathematics, proof theory, formal linguistics, and model theory. The intellectual heart of ANF since 1993.
02
Computer Science
Wydział Informatyki
Programming language theory, type systems, algorithms, program synthesis, and equality saturation. Where theory meets implementation.
03
Software Security
Wydział Bezpieczeństwa Oprogramowania
Static analysis, formal verification, blockchain security, and automated program repair. Our fastest-growing faculty since 2015.
News & Events

Latest from ANF

EU Trustworthy AI
March 2026

ANF Joins EU Trustworthy AI Research Cluster

The Academy has been selected as a partner in the Horizon Europe Trustworthy AI initiative, securing €1.2M in funding for research into formally verified machine learning systems.

 WFMW 2026
February 2026

WFMW 2026 Call for Papers Now Open

The 22nd Wrocław Formal Methods Workshop invites submissions on program verification, type theory, and automated reasoning. Deadline: April 30, 2026.

 Prof. Nowicka
January 2026

Prof. Nowicka Awarded ERC Starting Grant

Dr hab. Ewa Nowicka has received a prestigious European Research Council Starting Grant for her project on equality saturation techniques for verified compiler optimisation.
Kazimierz Tarczyński
Our Founder

Kazimierz Tarczyński

"Mathematics produces proofs. Engineering produces machines. We produce proofs of machines."

A student of the Lwów–Warsaw school tradition, Tarczyński spent three decades building the intellectual foundations for what would become ANF. From a Friday evening seminar of seven students in 1968 to a fully accredited academy, his vision of uniting logic with computation endures in every programme we offer.

Begin your proof

Applications for the 2026/2027 academic year are now open.

Apply Now