Helena Rasiowa Award

The Helena Rasiowa Award is the best student paper award for the CSL conference series, starting from CSL 2022.

The award is given to the best paper (as decided by the PC) written solely by students or for which students were the main contributors.  A student in this context is any person who is currently studying for a degree or whose PhD award date is less than one year prior to the first day of the conference.

At CSL 2023, the Helena Rasiowa Award has been given to the paper

Tower-Complete Problems in Contraction-Free Substructural Logics by Hiromi Tanaka

At CSL 2022, the Helena Rasiowa Award has been given to the paper

On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions by Antonio Casares