We invite you to join the MAT-BIO Exchange Summer School 2026 that will take place from 31st of  August to 4th of September 2026, at our Faculty.

Registration is open until the 8th of June.

Please note that travel, accommodation, and meals will be covered for all selected students.

We invite you to the XXXI National Conference on Applications of Mathematics in Biology and Medicine: International Edition.

It will take place in Kościelisko, from September 15th to 19th. The registration is now open, early-bird conference fee until the end of May.

The next PhD Open will take place on May 18-21.

Dmitry Chistikov (University of Warwick) will give a course titled Presburger arithmetic and its extensions.

The remote online public defence of the doctoral dissertation will take place on 14 May 2026 at 02:30 PM .

Title of the dissertation: Algebraic and Homological Properties of Strict Polynomial Functors
Supervisor: Assoc. Prof. Marcin Chałupnik (University of Warsaw)

As part of the MIMUW colloquium,  Piotr Kucharski will deliver a talk titled “Knot-quiver correspondence”. The talk will take place on May 14, 2026 at 2:30 PM in the Faculty Council Room (2180).

Our students performed exceptionally well at the 33rd Vojtech Jarnik International Mathematical Competition:

• in Category I (1st-2nd year of study), Mikołaj Woźniak took third place, and Krzysztof Karwik placed 6th-10th.

• in Category II (3rd-5th year of study), Adam Naskręcki took second place, and Łukasz Łopacki placed 19th-21st.

Their supervisor was Witold Bednorz. Congratulations!

On this year's SIGMOD Research Highlights (a list of the 10 best database papers, both theory and systems, published in the preceding year) there are two papers we're particularly proud of:
-> Relational Programming in Rel by Filip Murlak
-> AnyBlox: A Framework for Self-Decoding Datasets by our graduate Mateusz Gienieczka (currently a PhD student at TU Munich, previously Filip Murlak's master student)

Congrats!

Damian Niwiński and Paweł Urzyczyn, along with Teodor Knapik (from ISEA, Université de la Nouvelle Calédonie) are this year's winners of the Test of Time award at the ETAPS congress for their paper Higher-Order Pushdown Trees Are Easy published at the 2002 FoSSaCS conference.

Congratulations!