Chris Kapulkin  Past Talks & Events

Conference on Type Theory, Homotopy Theory and Univalent Foundations,
Talk: Univalent categories and the Rezk completion
Barcelona, Spain, September 23rd to 27th, 2013

West Coast Algebraic Topology Summer School 2013,
Talk: On BarrBeck Theorem for higher categories (after Lurie).
Eugene, OR, September 6th to 8th, 2013

Geometry and Physics XI,
Participant.
Pittsburgh, PA, August 19th to 23rd, 2013

Samuel Eilenberg Centenary Conference,
Talk: Univalent categories and the Rezk completion
Warsaw, Poland, July 22nd to 26th, 2013

Summer Graduate School: Algebraic Topology,
Talk: On Simplicial localiztions of categories by Dwyer and Kan.
MSRI, Berkeley, CA, June 17th to 28th, 2013

Special Year 201213 on Univalent Foundations of Mathematics,
Participant.
Institute for Advanced Study, Princeton, NJ, September 2012 to May 2013

Legacy of Daniel Quillen: Ktheory and Homotopical Algebra,
Participant.
MIT, Cambridge, MA, October 6th to 8th, 2012

Logic Colloquium 2012,
Talk: Fibration categories and type theory.
University of Manchester, United Kingdom, July 12th to 18th, 2012.

MIT Talbot Workshop 2012: Calculus of Functors,
Participant.
Garden City, UT, May 14th to 18th, 2012.

Graduate Student Topology Conference 2012,
Talk: Fibration categories and type theory.
University of Indiana, Bloomington, IN, March 31st to April 1st, 2012.

Mathematics: Algorithms and Proofs 2011,
Talk: Fibration categories and type theory.
Lorentz Center, Leiden (Netherlands), November 28th to December 2nd, 2011.

MiniWorkshop: The Homotopy Interpretation of Constructive Type Theory,
Participant.
Oberwolfach (Germany), February 27th to March 5th, 2011.

Category Theory Octoberfest 2010,
Talk: Homotopytheoretic models of type theory.
Dalhousie University, Halifax (Canada), October 23rd to 24th, 2010.

The Seminar on Logic and its Applications,
Organizer.
Warsaw (Poland), May 8th to 9th, 2010.