Accepted ITC Conference Grants
2nd call (8 May 2023)
- Anti-unification and Generalization: A Survey
Grantee: David Cerna (Czech Academy of Sciences Institute of Computer Science, Czech Republic)
Conference: 32nd International Joint Conference on Artificial Intelligence (IJCAI), Macao, S.A.R. of China
Grant: 2000 EUR
Dates: 2023-08-17 to 2023-08-26
1st call (1 March 2023)
- System F mu omega with Context-free Session Types__
Grantee: Diogo Poças (LASIGE, Lisbo, Portugal)__
Conference: 32nd European joint conferences on theory and practice of software (ETAPS), Paris, France__
Grant: 1876 EUR__ Dates: 2023-04-23 to 2023-04-27__