Discussion of Homotopy Type Theory and Univalent Foundations
 help / Atom feed
* [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, back to index

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

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/ public-inbox