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!

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!