27 listopada 2021 00:06
OPUS21: 1,4 mln zł na badania naukowe pracowników II UWr
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 (494 832 zł)
- Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań kierowany przez Marka Szykułę (907 680 zł).
Ogłoszenie na stronie Narodowego Centrum Nauki.