Menu

Dec. 14, 2020, 11:21 p.m.

Dariusz Biernacki's project Abstract machines for programming languages: Investigations in formal interderivations received funding under the Polish-French PHC Polonium programme. The research will be conducted  in cooperation with Sergueï Lenglet (Université de Lorraine, Nancy) and Alan Schmitt (INRIA, Rennes).

PHC Polonium programme