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__