SFB-Colloquium

When	Jan 26, 2018 from 02:00 PM to 05:00 PM
Where	RISC, Hagenberg
Add event to calendar	vCal iCal

Program:

14:00-14:45 Veronika Pillwein (inequalities)

14:50-15:00 Tobias Magnusson (self-introduction)

15:00-15:30 Coffee break

15:30-16:15 Bernhard Gittenberger (lambda-terms and their de Bruijn representation)