The PROGRAMme spring meeting in Lille (5 – 7 june) was an exciting but intense meeting — we thanks everyone who contributed to this!
Below you can find the slides for some of the talks as well as a link to the LilleTV channel where you can relive most of the talks and the discussions that follow:
Edgar Daylight and Felice Cardone, Unbounded nondeterminism: an introduction for the philosopher of Computing
Stephen Kell (University of Kent), Software against humanity? An Illichian perspective on the industrial era of software
Amirouche Moktefi, Early logic machines and the problem of elimination
Ray Turner, Computational abstraction