[Agda] ETAPS 2020 afternoon, online, 2 July 2020, call for participation
Tarmo Uustalu
tarmo at cs.ioc.ee
Tue Jun 16 09:40:11 CEST 2020
[There will be no physical ETAPS in Dublin this autumn. Instead, on
2 July 2020, we will hold an online ETAPS 2020 afternoon. The authors
of papers accepted to the main conferences of ETAPS 2020 will get an
opportunity to present their work at ETAPS 2021 in Luxembourg.]
The ETAPS EC and ETAPS 2020 LOC regret to announce that the plan of a
postponed physical ETAPS in Dublin in autumn 2020 has become
unrealistic. We will follow the following substitute plan.
- We will hold a 3-hour virtual online ETAPS 2020 event in the
afternoon of Thu 2 July 2020, see the call below.
Everyone is most welcome to attend. There will be no registration,
no fee.
- The authors of papers accepted to the main conferences of ETAPS 2020
will get an opportunity to present their work at ETAPS 2021 in
Luxembourg, Sat-Thu 27 March-1 April 2021. The exact arrangements
for this move will be announced.
- The workshop organizers will individually decide and announce
whether, when and in what format their workshops will take place.
- The local organizers of ETAPS 2020 will reimburse the fees collected
(minus some administrative charge) according to a policy and a
procedure to be announced.
Thank you for your understanding!
CALL FOR PARTICIPATION
ETAPS 2020 afternoon
online, 2 July 2020
https://etaps.org/2020/afternoon
ETAPS 2020 AFTERNOON
To compensate for the cancelled physical ETAPS 2020 conference in
Dublin, we will hold a 3-hour virtual event to hand out the awards of
the conference and listen to talks by the best paper award
winners. This will take place Thu 2 July 2020.
The presentations will be streamed live. Questions to presenters can
be asked in a chat. The event will be recorded and can be watched
later.
HOW TO JOIN
There will be no registration, no fee.
The link to join the programme online will be published on the webpage
https://etaps.org/2020/afternoon on the day of the event.
PROGRAMME
All times below are CEST.
Start: 15:00 CEST (= GMT+2, Amsterdam).
-------------------------------------------------------------------------
15:00 Welcome by Marieke Huisman
Announcement on ETAPS 2021 in Luxembourg and on the plan for ETAPS
2020 papers by Peter Ryan
15:15 Talk by EASST best paper award winner
Florian Frohn. A calculus for modular loop acceleration (TACAS)
Award handed out by Reiko Heckel
15:45 Announcement of ETAPS test of time award winner
Award handed out by Don Sannella
16:00 Break
16:30 Talk by EAPLS best paper award winner
Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh and Baishakhi Ray.
An empirical study on the use and misuse of Java 8 streams (FASE)
Award handed out by Anton Wijs
17:00 Talk by ETAPS PhD award winner
Oded Padon. Deductive verification of distributed protocols
in first-order logic (Tel Aviv University, 2018)
Award handed out by Caterina Urban
17:30 Talk by EATCS best paper award winner
Thomas Neele, Antti Valmari and Tim A.C. Willemse.
The inconsistent labelling problem of stutter-preserving partial-order
reduction (FoSSaCS)
Award handed out by Don Sannella
18:00 Closing
-------------------------------------------------------------------------
More information about the Agda
mailing list