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

Setzer A.G. a.g.setzer at swansea.ac.uk
Mon Apr 6 15:13:12 CEST 2020


I pressed the wrong button and sent it too fast. So here is the link

http://cs.swansea.ac.uk/bctcs2020/

Anton

________________________________
From: Setzer A.G.
Sent: 06 April 2020 14:12
To: agda at lists.chalmers.se <agda at lists.chalmers.se>
Subject: Example of an online conference in theoretical computer science BCTCS starting now

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/aa2f7d26/attachment.html>


More information about the Agda mailing list