Доклад:

D. Zeilberger (Rutgers Univ.) — Summation vs Integration (12 мая), WZ Algorithmic Proof Theory (14 мая), Determinant Evaluations Via Integral Representations (15 мая).