================================ Call For Short Abstracts Workshop on Higher Dimensional Algebras, Categories, and Types June 20, Ljubljana, Slovenia ================================ The importance of higher dimensional structure for mathematics and computer science has been recognized for a long time. However, recent connections between homotopy theory and type theory have spurred new activity that is connecting previously unrelated topics. The workshop will be a place for meeting and dissemination of ideas between researchers from different areas who all use higher dimensional structures. Invited speakers: Thorsten Altenkirch Steve Awodey Emily Riehl To contribute a lecture please submit a 1 page A4 extended abstract through easychair. easychair.org/account/signin.cgi?fail=1;conf=hdact12 Submission deadline Sun April 15 (short extension possible on request) Author notification Sun April 29 Program Committee Nicola Gambino Neil Ghani Zhaohui Luo Erik Palmgren Randy Pollack Urs Schreiber Bas Spitters Thomas Streicher There will be a registration fee of E50 to cover costs which can be paid in cash at the event. There will be no separate post-proceedings for HDACT, as there is already an excellent venue for such papers: the MSCS special issue 'From Type Theory and Homotopy Theory to Univalent Foundations' Further information can be found at 4wft.fmf.uni-lj.si/hdact/ The workshop takes place straight after the Fourth Workshop on Formal Topology, details of which can be found at 4wft.fmf.uni-lj.si/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]