Caros, Estamos trazendo Michael Warren <http://www.math.ias.edu/~mwarren/>, do Institute of Advanced Study, Princeton, (da equipe de Vladimir Voevodsky), para ministrar um mini-curso de "Homotopy Type Theory" no Programa de Verão da Matemática da UFPE de 2013, a ser realizado no periodo de 28/01 a 02/02.
Esperamos contar com a presença de todos os interessados no tema. Abraço, Ruy ------ TITLE: Types and homotopy types ABSTRACT: In this series of lectures I will give an introduction to recent research in what has been called "homotopy type theory" and to Voevodsky's "univalent foundations" program. Both of these areas of research involve connections between homotopy theory, higher-dimensional category theory and type theory, and we aim to introduce sufficient background in all of these areas for attendees to appreciate these connections. Particular attention will be paid to issues related to proving results in homotopy theory in this setting including the question of how to represent spaces as datatypes. BIO: Dr. Warren completed his Ph.D. thesis, entitled "Homotopy Theoretic Aspects of Constructive Type Theory" and supervised by Prof. Steven Awodey, at Carnegie Mellon University in 2008. He was then a Fields Institute Postdoctoral Fellow at the University of Ottawa, where he was a member of the Logic and Foundations of Computing Group, from 2008 to 2010. During the 2010 academic year he was an AARMS Postdoctoral Fellow working in the Atlantic Category Theory Group at Dalhousie University. Since 2011 he has been a Member of the School of Mathematics at the Institute for Advanced Study. His research is in the areas of category theory, mathematical logic, algebraic topology, and theoretical computer science. ------------------------- _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
