Granty NCN dla naszych pracowników

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.

Serdecznie gratulujemy!