[Agda] Example of an online conference in theoretical computer science BCTCS starting now
Herminie Pagel
herminie.pagel at gmail.com
Fri Apr 10 14:01:30 CEST 2020
There seem to be some known issues with Zoom, to know more just search for
"zoom security and privacy issues".
A member of the Mathematically Structured Programming Group at Strathclyde
told me that they use Jitsi for the MSP 101 talks and works well with ~25
people.
Fully browser support only for latest versions of Chrome or Chromium, but
they are working on that:
https://github.com/jitsi/jitsi-meet/issues/4758
Should we give it a try?
https://jitsi.org/
-- h
Am Mo., 6. Apr. 2020 um 16:42 Uhr schrieb Nils Anders Danielsson <
nad at cse.gu.se>:
> On 2020-04-06 15:12, Setzer A.G. wrote:
> > since we might need to shift Agda implememntors meeting online
>
> I think we should aim to have an online Agda meeting before the
> (Swedish) summer.
>
> Does anyone have any ideas about how we could organise the excursion?
>
> --
> /NAD
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200410/d0034b9d/attachment.html>
More information about the Agda
mailing list