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

[Thorsten Altenkirch]

Does this mean that zoom enables a hostile takeover of your computer or just that unauthorised people can listen to your conversations? In the 2nd case i don’t care.

Thorsten

Sent from my iPhone

On 10 Apr 2020, at 13:01, Herminie Pagel <herminie.pagel at gmail.com> wrote:


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<mailto: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<mailto:Agda at lists.chalmers.se>
https://lists.chalmers.se/mailman/listinfo/agda
_______________________________________________
Agda mailing list
Agda at lists.chalmers.se
https://lists.chalmers.se/mailman/listinfo/agda



This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment. 

Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored 
where permitted by law.




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