Ogłoszono wyniki konkursu Narodowego Centrum Nauki w programie OPUS 21. Wśród zwycięskich projektów znalazły się
Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach skończonych. kierowany przez Emanuela Kierońskiego z Instytutu Informatyki.
Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań. kierowany przez Marka Szykułę z Instytutu Informatyki.