Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] DIAGRAMS 2020 moving online


view this post on Zulip Email Gateway (Aug 23 2022 at 08:50):

From: Jens Lemanski <Jens.Lemanski@fernuni-hagen.de>
It is with great regret that the organising committee of DIAGRAMS 2020
announce that the conference, planned for 24-28th August, will not take
place face-to-face in Tallinn, Estonia.

Authors of accepted papers, posters and abstracts will be invited to upload
a video of their work, and their videos will be available through the
conference website http://www.diagrams-conference.org/2020/ to all from
August 24th.

In order to allow the organising committee to focus on the main scientific
conference, the satellite events have been cancelled entirely. These events
are the Tutorials, the co-located Workshop, the Graduate Symposium, and the
Keynote contributions.

Please keep up to date with the latest developments for Diagrams 2020 at
http://www.diagrams-conference.org/2020/index.php/covid-19/

PD Dr. Jens Lemanski (Publicity Chair)
FernUniversität in Hagen
Institut für Philosophie LG 1
58084 Hagen, Germany
Tel.: 02331/ 987-2364
https://e.feu.de/jlem


Last updated: Nov 21 2024 at 12:39 UTC