* [HoTT] 4 meetings in April here in Birmingham UK
@ 2019-03-07 16:38 Martín Hötzel Escardó
2019-03-07 17:24 ` Jamie Vicary
0 siblings, 1 reply; 2+ messages in thread
From: Martín Hötzel Escardó @ 2019-03-07 16:38 UTC (permalink / raw)
To: Homotopy Type Theory
[-- 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 --]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [HoTT] 4 meetings in April here in Birmingham UK
2019-03-07 16:38 [HoTT] 4 meetings in April here in Birmingham UK Martín Hötzel Escardó
@ 2019-03-07 17:24 ` Jamie Vicary
0 siblings, 0 replies; 2+ messages in thread
From: Jamie Vicary @ 2019-03-07 17:24 UTC (permalink / raw)
To: Martín Hötzel Escardó; +Cc: Homotopy Type Theory
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.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2019-03-07 17:24 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-03-07 16:38 [HoTT] 4 meetings in April here in Birmingham UK Martín Hötzel Escardó
2019-03-07 17:24 ` Jamie Vicary
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).