The schedule of the Summer School on Formal Methods and Artificial Intelligence is available.

Dates:

  • From August 23rd to August 27th 2021