### Workshop on Formal Topology, Higher Dimensional Algebra, Categories and Types

#### Posted by Urs Schreiber

This June takes place the *Fourth Workshop on Formal Topology* (and related topics, including constructive and computable topology, point-free topology, and other forms of non-classical topology) in Ljubljana, Slovenia.

Keynote speakers are Per Martin-Löf, Ieke Moerdijk and Vladimir Voevodsky.

See the *workshop webpage* for details.

Adjoined to that, on the last day, is a *Workshop on Higher Dimensional Algebra, Categories and Types*, which I am helping to organize a bit.

This should consist of three talks, roughly one on type theory, one on type theory and homotopy theory and one on higher category theory.

Two confirmed of three speakers are Thorsten Altenkirch and Steve Awodey.

For more details on this see the *HDACT Workshop Webpage*.

## Re: Workshop on Formal Topology, Higher Dimensional Algebra, Categories and Types

Above I had written:

I should have added much earlier: the third speaker is Emily Riehl.