Re: [HoTT] 4 meetings in April here in Birmingham UK

[Jamie Vicary <jamievicary@gmail.com>]

Furthermore, just before the UniMath school, SYCO 3 will be taking
place in Oxford, an informal workshop on category theory and its
applications (including type theory and higher category theory):

    http://events.cs.bham.ac.uk/syco/3/

Note that Brexit day is 29 March, and might cause travel problems. So
if you're planning to travel from outside the UK to the UniMath
school, it might make sense to come a few days earlier and enjoy SYCO
as well.

On Thu, Mar 7, 2019 at 4:38 PM Martín Hötzel Escardó
<escardo.martin@gmail.com> wrote:
>
> (i)      1-5 April - UniMath School
>                      https://unimath.github.io/bham2019/
>
> (ii)    8-12 April - 6th Workshop on Formal Topology (6WFTop)
>                      https://www.cs.bham.ac.uk/~sjv/6WFTop/
>
> (iii)     13 April - Giovanni Sambin and Steve Vickers retirement celebration
>                      including a day of talks.
>
> (iv)   14-18 April - Midlands Graduate School in the Foundations of Computing
>                      http://events.cs.bham.ac.uk/mgs2019/
>
> Submissions for (ii) are very welcome (first-come, first-served).
>
> And so is attendance to any of the events.
>
> Martin
>
> --
> You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.