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