Granty NCN dla naszych pracowników.
You are here: Home
Friday, November 26, 2021
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.
