[TYPES/announce] Workshop on Higher Dimensional Algebras, Categories, and Types

Neil Ghani Neil.Ghani at cis.strath.ac.uk
Fri Mar 30 06:53:54 EDT 2012

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.


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


The workshop takes place straight after the Fourth Workshop on Formal
Topology, details of which can be found at


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120330/15bec5c7/attachment.html>

More information about the Types-announce mailing list