Aqui vão os dados do curso de Eric Finster: Período: 17 a 21/02 17/02: 14h-18h, Sala D-222, Centro de Informática (CIn) da UFPE 18/02: 08h-12h, Sala D-222, Centro de Informática (CIn) da UFPE 19/02: 14h-18h, Sala D-222, Centro de Informática (CIn) da UFPE 20/02: 14h-18h, Sala A-014, Centro de Informática (CIn) da UFPE 21/02: 14h-18h, Sala A-014, Centro de Informática (CIn) da UFPE
A quem interessar: o livro "Homotopy Type Theory" pode ser obtido a partir do seguinte endereço: http://homotopytypetheory.org/book/ Ruy 2014-01-07 19:32 GMT-03:00 Ruy de Queiroz <[email protected]>: > É 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 [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
