É com satisfação que confirmamos a oferta de um mini-curso em "Teoria da Homotopia e Teoria dos Tipos", por Eric Finster (Paris), como parte do Programa de Verão 2014 da Matemática (UFPE).
Período: 17 a 21 de Fevereiro de 2014 Horário: 14-18hs Sala: (a confirmar) Para maiores informações sobre inscrições no Programa de Verão 2014 da Matemática (UFPE), visite http://www.dmat.ufpe.br/Verao2014/index.html Ruy ------ Short Course on Homotopy Theory and Type Theory ======================================== In this course, I will give a short overview of some classical constructions from algebraic topology and homotopy theory, including the theory of homotopy groups, homology groups, fibrations and cofibration sequences, as well as some basic applications of these tools. I will then proceed to detail the connection with intensional type theory, and in particular, how some of these constructions can be mimicked in modern proof assistants. Bio === Eric Finster received his Ph.D. in mathematics in 2010 from the University of Virginia. His thesis work concerned stable splittings of mapping spaces and spaces of sections derived from a technique in homotopy theory known as Goodwillie Calculus. After graduating, he held postdoctoral positions at the École Polytechnique Fédéral de Lausanne in Switzerland, and the Institute for Advanced study in Princeton, where he participated in the Univalent Foundations project. His work concerns connections between logic, computer science, homotopy theory and higher category theory. _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
