2 projects found matching your search criteria :
Structure and interpretation of programming languages in the "proofs-as-programs" paradigm
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Małgorzata Biernacka
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
µPPET: studying the Cosmic Rays Muon Puzzle by probing muons with J-PETs
Call: SONATA BIS 13 , Panel: ST9
Principal investigator: dr Alessio Porcelli
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej