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
    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:   <> 
Technion Math Net-2 (TECHMATH2)
Editor: Michael Cwikel   <> 
Announcement from: David Blanc   <>