[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