Conferences: Recent and Upcoming

Fields Institute: Workshop on Homotopy Type Theory and Univalent Foundations, May, 2016

This is the group photo for the meeting "Workshop on Homotopy Type Theory and Univalent Foundations of Mathematics", which was held at the Fields Institute in May, 2016. The organizers were Dan Christensen, Chris Kapulkin and Rick Jardine, all of the Department of Mathematics at Western University. Conference web page.  


Members of the Department of Mathematics are heavily involved in conference organization projects, at the national and international levels. What follows is a partial listing, by Faculty member, of meetings eiither held in 2016-17 or upcoming.

Dan Christensen:

Co-organizer (with Chris Kapulkin (Western), Daniel Licata (Wesleyan), Emily Riehl (Johns Hopkins) and Michael Shulman (UC San Diego)), AMS Mathematics Research Communities Workshop: "Homotopy Type Theory and Formalization", Snowbird, Utah, June 4-10, 2017. Workshop web page.

Graham Denham:

Co-organizer (with Nicole Lemire (Western) and Hugh Thomas (UQAM)) 3-day workshop: "Combinatorial Algebra meets Algebraic Combinatorics 2016", Western University, January 22-24 2016. Supported by the Fields Institute, the Atlantic Association for Research in Mathematics, and the Faculty of Science. Conference web page.

Co-organizer (with Giovanni Gaiffi (Pisa), Rita Jiménez Rolland (Oaxaca de Juárez), Alex Suciu (Northeastern), Workshop: at Oberwolfach, Topology of Arrangements and Representation Stability, Oberwolfach, January 14-20, 2018. Workshop web page.

Co-organizer (with Alex Suciu (Northeastern)), AMS Special Session and 1-day satellite workshop: "Arrangements of Hypersurfaces", Northeastern University, Boston, MA, April 20–22 2018. Session web page.

Chris Kapulkin:

Lead organizer (with Dan Christensen (Western), Daniel Licata (Wesleyan), Emily Riehl (Johns Hopkins) and Michael Shulman (UC San Diego)), AMS Mathematics Research Communities Summer School: "Homotopy Type Theory and Formalization", Snowbird, Utah, June 4-10, 2017. Workshop web page.

Member, Program Committee, "Workshop on Homotopy Type Theory/ Univalent Foundations, 2017" (HoTT/UF), Oxford, September 8-9, 2017. Workshop web page.

Co-organizer (with Benedikt Ahrens (Computer Science, Birmingham), Martin Escardo (Computer Science, Birmingham), Achim Jung (Computer Science, Birmingham) and Vladimir Voevodsky (IAS)), "School and Workshop on Univalent Mathematics", Univ. of Birmingham, UK, June 18-22, 2018. Sponsored by the John Templeton Foundation. Workshop web page.

Co-organizer, with Jeremy Avigad (Carnegie Mellon), Henry Cohn (Microsoft Research, MIT), Julia Gordon (UBC), Michael Harris (Columbia), Bogdan Ion (Univ. of Pittsburgh), and Wöden Kusner (Vanderbilt), "From the Fundamental Lemma to Discrete Geometry, to Formal Verification", University of Pittsburgh, June 18-22, 2018. Conference web page.
 
Member, Program Committee, "Workshop on Homotopy Type Theory/ Univalent Foundations, 2018" (HoTT/UF), Oxford, July 7-8, 2018. Workshop web page.

Co-organizer (with Emily Riehl (Johns Hopkins)), HoTT/UF Workshop, 2019 and 2020.

Masoud Khalkhali:

Conference on Noncommutative Geometry and it Applications, Western, December 8-9, 2017. Supported by the Fields Institute. Conference web page.

Jan Minac:

Co-organizer (with Florian Pop (Univ. of Pennsylvania), Adam Topaz (Oxford) and Kirsten Wickelgren (Georgia Institute of Technology)), BIRS Workshop: "Nilpotent Fundamental Groups", Banff, June 18-23, 2017. Workshop web page.

Rasul Shafikov:

Co-organizer (with Debraj Chakrabarti (Central Michigan Univ.), Dal Coman (Syracuse University)), Special Session: Several Complex Variables, Mathematical Congress of the Americas, Montreal, July 27-28, 2017. Congress web site.