You are here: Home / Events / SFB-Colloquium


When Jun 15, 2018
from 02:00 PM to 05:00 PM
Where room S2 048 (Science Park building 2, JKU campus), Johannes Kepler University Linz
Add event to calendar vCal


   14.00--14.45 Isabella Larcher: On the number of variables in random lambda-terms with bounds on De Bruijn indices or De Bruijn level

   14:45--15:05: Nicolas Smoot: TBA

   15:05--15:25: Chen Wang: An almost-proof of the Borwein conjecture

   15:25--16:00: [Break]

   16:00--16:45: Roger Behrend: Kuperberg's proof of the AMS-conjecture