[Agda] Example of an online conference in theoretical computer science BCTCS starting now

[Setzer A.G.]

Dear agda people,

since we might need to shift Agda implememntors meeting online, I wanted to point out that there is an example of an online conference running now - BCTCS british colloquium in theoretical computer science. You might have a look and see how it works, it is free to watch via Zoom


Anton


-----------------------------------------------------------------------------

Dr Anton Setzer
Darllenydd / Reader
Ystafell / Room  403
Adran Gyfrifiadureg / Dept. of Computer Science
Y Ffowndri Gyfrifiadurol / Computational Foundry
Coleg Gwyddoniaeth / College of Science
Prifysgol Abertawe/ Swansea University
Campws y Bae/ Bay Campus
Abertawe / Swansea   SA1 8EN
DU  / UK

Rhowch wybod i ni os hoffech dderbyn eich gohebiaeth yn Gymraeg. / Let us know if you would like to receive correspondence in Welsh.
Rydym yn croesawu gohebiaeth yn Gymraeg neu yn Saesneg. / We welcome correspondence in Welsh or English.
Ni fydd gohebu yn Gymraeg yn arwain at oedi./ Corresponding in Welsh will not lead to a delay.



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200406/0f00d98b/attachment.html>