Accepted ITC Conference Grants

3th call (12 November 2023)

• Proof based teaching for elementary education application
  Grantee: Firdevs Tuğba Tekin (Saliha Şükriye Yoluç Primary School, Istanbul, Turkey)
  Conference: 7th World Conference on Future of Education, Cambridge, United Kingdom
  Grant: 1870 EUR
  Dates: 2023-12-15 to 2023-12-17

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__