Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Applied Category Theory 2022: Call for Participation
@ 2022-06-07  6:51 Fredrik Nordvall Forsberg
  0 siblings, 0 replies; only message in thread
From: Fredrik Nordvall Forsberg @ 2022-06-07  6:51 UTC (permalink / raw)
  To: types-announce, logic, homotopytypetheory, spls


5th Annual International Conference on Applied Category Theory (ACT2022)
July 18--22, 2022

The 5th International Conference on Applied Category Theory will take
place at the University of Strathclyde from 18 to 22 July 2022. This
conference follows previous events at Cambridge (2021), MIT (2020),
Oxford (2019) and Leiden (2018).


The conference will be fully hybrid, that is, it will be possible for
both the audience and presenters to participate remotely over Zoom, if


We are asking in-person participants to register and pay a nominal
registration fee of GB£20 (about US$25) at the following link:

If the fee is a financial burden for you, please contact us.

Online attendance will be free, although we ask that you nevertheless
register using the above link. This will allow us to keep track of the
numbers of participants, send out zoom links, etc.

The university's Covid regulations change unpredictably, and we still
don't know what the capacity of the room will be. In the event that we
are over-subscribed, we have some side rooms where participants can
watch the livestream together while still participating normally in
coffee breaks etc. The reason for the registration fee is to give us the
option to limit participation if it becomes necessary, and if that
happens then places will be first-come-first-served except for accepted

Registration closes: Sunday 10 July


We have a budget for financial assistance for participants thanks to our
sponsors, for which priority will be given to accepted speakers, PhD
students and early career researchers. Please contact the organisers if
this would be useful to you, including information about your status,
and your estimated costs.

Financial support application deadline: Friday 10 June Anywhere on Earth
Financial support notification: Monday 13 June


Central Glasgow has many hotels and Airbnbs, but can be busy in the
summer months. The conference will be held in the McCance building on
the Strathclyde campus:
The nearest hotel is the Premier Inn, about 30 seconds walk away.

Glasgow is well served by trains in the UK (e.g. London Euston is 4.5
hours away), and can be reached from the European continent via a
Eurostar train to London. Note that advance train tickets can be
considerably cheaper in the UK. Glasgow has an international airport,
and is also quite easily reachable from Edinburgh airport.

Please see https://msp.cis.strath.ac.uk/act2022/practical.html for more

We look forward to welcoming you in Glasgow!

-- The organisers
Jules Hedges (jules.hedges@strath.ac.uk)
Fredrik Nordvall Forsberg (fredrik.nordvall-forsberg@strath.ac.uk)
Jade Master (jade.master@strath.ac.uk)
James Fairbanks (fairbanksj@ufl.edu)

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.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/fb3c90f1-0c83-d755-2155-bbca63e28b5e%40strath.ac.uk.

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-06-07  6:51 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-06-07  6:51 [HoTT] Applied Category Theory 2022: Call for Participation Fredrik Nordvall Forsberg

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