Infelizmente, a vinda de Eric Finster ficou inviabilizada. O curso está, portanto, CANCELADO.
Pedimos desculpas pelos inconvenientes causados. Ruy 2014-02-16 7:57 GMT-03:00 Ruy de Queiroz <r...@cin.ufpe.br>: > 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
