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

[Neil Ghani]

================================
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/

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