Organizing Committee:
Scientific Committee: Thierry Coquand (University of Gothenburg), Assia Mahboubi (Inria Saclay), Marie-Françoise Roy (Université Rennes 1), Peter Schuster (University of Leeds), Bas Spitters (Aarhus University)
http://scientific-events.weebly.com/1508.html