Rozstrzygnięcie konkursu w grancie NCN Opus "Granice automatycznej analizy systemów współbieżnych"
W grancie NCN Opus "Granice automatycznej analizy systemów współbieżnych" 2021/41/B/ST6/00535 stypendium na okres 12 m-cy od dnia 1 października 2023 r. zostało przyznane p. Łukaszowi Kamińskiemu.