WAIT 2016 in Vienna

Friday, Nov 11, 2016

The third WAIT workshop on induction is held between 17-18 November at the TU Wien. Details are available on the workshop page.