Department of Mathematics Center for Mathematics & Scientific Computation University of Haifa This year's Distinguished Lectures Series in Mathematics ============================================ will be given by Prof. Vladimir Voevodsky ************************ (Institute for Advanced Study, Princeton) 2002 Fields Medalist on The UNIVALENT FOUNDATIONS of MATHEMATICS The correspondence between homotopy types and higher categorical analogs of groupoids. First conjectured by Alexander Grothendieck, naturally leads to a view of mathematics where sets are used to parametrize collections of objects without "internal structure", while collections of objects with "internal structure" are parametrized by more general homotopy types. Univalent foundations are based on the combination of this view with the discovery that it is possible to directly formalize reasoning about homotopy types using Matin-Lof type theories. In the talks we will explain how to define usual mathematical objects starting with homotopy types, instead of sets, and show how to use Coq, a computer-assisted formal system, to reason about homotopy types. There will be three talks: * Tuesday, 3 May, 2011 at 16:30 * Wednesday, 4 May, 2011 at 16:30 * Thursday, 5 May, 2011 at 12:00 In room 570 of the Science & Education Building, Univ. of Haifa Refreshments will be served 30 minutes before each talk. For further information, or to arrange entry to campus on day of talks, please call 04-8249294 or 04-08240699, or by e-mail: <mathsec@univ.haifa.ac.il> --------------------------------------------------------- Technion Math Net-2 (TECHMATH2) Editor: Michael Cwikel <techm@math.technion.ac.il> Announcement from: David Blanc <blanc@math.haifa.ac.il>