[HoTT] 4 meetings in April here in Birmingham UK

[HoTT] 4 meetings in April here in Birmingham UK

[Martín Hötzel Escardó]

[-- Attachment #1.1: Type: text/plain, Size: 901 bytes --]

(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.

[-- Attachment #1.2: Type: text/html, Size: 1338 bytes --]

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

[Jamie Vicary]

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.