Program
The workshop will take place on August 25th, 2019, as an affiliated event of CADE 2019.
The workshop program will consist of mentoring talks given by our invited speakers:
- Geoff Sutcliffe, U. Miami
- Cesare Tinelli, U. Iowa
- Josef Urban, CTU/CIIRC Prague
- Christoph Weidenbach, MPI Saarbruecken
More details on the program schedule will be provided in July 2019.