Aula de 2a.feira está CANCELADA! O palestrante não conseguiu embarcar e perdeu o vôo.
Até segunda ordem, o restante do calendário permanece como foi divulgado. Ruy 2014-02-11 20:57 GMT-03:00 Ruy de Queiroz <r...@cin.ufpe.br>: > 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 <r...@cin.ufpe.br>: > > É 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