Birs- 16w5099: Interval Analysis and Constructive Mathematics

  1. Title:
    On the connection between Nonstandard Analysis and Constructive Analysis
    Speaker:
    Sam Sanders

    Link:
    http://www.birs.ca/events/2016/5-day-workshops/16w5099/videos/watch/201611180930-Sanders.html

  2. Title:
    Operators for Computation over Partially Ordered Structures
    Speaker:
    Pedro Francisco Valencia Vizcaíno

    Link:
    http://www.birs.ca/events/2016/5-day-workshops/16w5099/videos/watch/201611181020-ValenciaVizcaino.html

  3. Title:
    Schanuel's Conjecture: Constructive Aspects
    Speaker:
    Angus Macintyre

    Link:
    http://www.birs.ca/events/2016/5-day-workshops/16w5099/videos/watch/201611181115-Macintyre.html