You are here: Home / Events / SFB-Colloquium

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
iCal

Program:

   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

Upcoming Events
SFB-Statusseminar Dec 02, 2018 - Dec 05, 2018 — BIFEB, Strobl am Wolfgangsee
Upcoming events…