ETAPS 2020

Welcome to ETAPS 2020 in Dublin, Ireland.

Latest News - 25/03/2020

Dear friends,

Due to the great disruption caused by the Pandemic, all hotels in Ireland will remain closed until the end of April. Thus, all things remaining equal, we will only be able to finalize our discussions with them regarding the new dates sometime in May.

As we are making every effort to maintain ETAPS 2020 as a physical meeting, we would kindly ask for your patience until this issue is resolved. We hope to be able to make the announcement regarding the new dates which should be in the fall of 2020, sometime towards the end of May.

We would like to take this opportunity to wish you and your families all the best.

The Local Organizing Committee


News alert 14/3/2020 - Conference Postponement

After the governmental directive regarding a partial lockdown in Ireland and that no indoor event with over 100 individuals should take place in the country, the Local Organizing Committee has decided to move the ETAPS 2020 event to a different time. While the restrictions are currently in place until March the 29th, there is a likelihood that this time window may have to be extended, as it has happened in other countries. The Local Organizing Committee will continue monitoring the latest developments and will take all the necessary steps.

ETAPS is a community of people who draw value from the scheduled and spontaneous discussion taking place at its conferences and workshops and in the informal opportunities within and across its communities. After careful consideration, the fully online alternative has thus been deemed not practical nor adequate.

We are currently evaluating various options, trying to minimise disruption as well as financial costs. Thus the following parameters should be noted:

  1. The new conference dates will be announced the soonest.
  2. We are making every effort to agree on suitable dates with the Royal Marine Hotel, but we may be required to change venue in case that they have no availability.
  3. In an effort to minimize hassle and costs, the following actions are being taken regarding registrations and other local services:
    a. All registrations will be automatically transferred
    b. The early registration deadline will be extended until the 30th of April.
    c. All local arrangements, (hotel bookings, etc.) will be cancelled and a relevant credit will appear in your Easy Conferences account. This credit could be used to book similar services once the new dates/venue/your new travel arrangements are finalized . However, if someone would like to get a full refund at this stage, this could be possible.
    d. The Easy Conferences staff will be ready to assist with all new arrangements, invoicing and refunds. Please do not hesitate to get in touch via email or telephone.
  4. All participants’ accounts (within the Easy Conferences system) will be updated the soonest. In addition, the system and the conference website will also be updated. Please keep checking the conference website, https://www.etaps.org/2020, for further conference developments. 

The main concern of the Local Organizing Committee and ETAPS EC is the health of all conference participants, their families/communities and the limitation of the spreading of this new disease. Thus, we will continue monitoring the situation and will act along the guidelines of the Irish Health Authorities and the World Health Organization.

We would like to thank you for your understanding and we look forward to having you with us in Ireland later this year. 

The Local Organizing Committee

 

ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS and TACAS, accompanied by satellite workshops.

ETAPS 2020 in Dublin is the twenty-third event in the series.

POST, which was an ETAPS conference 2012-2019, has been discontinued. 

Registration deadlines

Conference postponed

    • Author registration: 23 February 2020
    • Early registration: Until 16 March 2020
    • Late registration: 17 March to 24 April 2020
    • On-site registration: From 25 April 2020

Programme at a glance

Conference postponed

View the Detailed Programme (mobile friendly)

Monday
27 April 2020

Tuesday
28 April 2020

Wednesday
29 April 2020

Thursday
30 April 2020

Detailed

Detailed

Detailed

Detailed

08:00
Registration

08:30
Registration

08:30
Registration

08:30
Registration

9:00 – 10:00
Invited Talk
Jane Hillston
Room: Carlisle Suite

9:00 – 10:00
Invited Talk
Scott Smolka
Room: Carlisle Suite

9:00 – 10:00
Invited Talk
Işıl Dillig
Room: Carlisle Suite

9:00 – 10:00
Invited Talk
Willem Visser
Room: Carlisle Suite

10:00 – 10:30
Coffee Break

10:00 – 10:30
Coffee Break

10:00 – 10:30
Coffee Break

10:00 – 10:30
Coffee Break

10:30 – 12:30
TACAS
Room: Carlisle Suite
FoSSaCS
Room: Martello 1 Suite

10:30 – 12:30
TACAS
Room: Carlisle Suite
ESOP
Room: Kingstown Suite
FoSSaCS
Room: Martello 1 Suite

10:30 – 12:30
TACAS
Room: Carlisle Suite
ESOP
Room: Kingstown Suite
FoSSaCS
Room: Martello 1 Suite
FASE
Room: Martello 2 Suite

10:30 – 12:30
TACAS
Room: Carlisle Suite
ESOP
Room: Kingstown Suite
FoSSaCS
Room: Martello 1 Suite
FASE
Room: Martello 2 Suite

12:30 – 14:00
Lunch Break

12:30 – 14:00
Lunch Break

12:30 – 14:00
Lunch Break

12:30 – 14:00
Lunch Break

14:00 – 16:00
TACAS
Room: Carlisle Suite
ESOP
Room: Kingstown Suite
FoSSaCS
Room: Martello 1 Suite

14:00 – 16:00
TACAS
Room: Carlisle Suite
ESOP
Room: Kingstown Suite
FoSSaCS
Room: Martello 1 Suite
FASE
Room: Martello 2 Suite
TestComp
Room: Mariner Suite

14:00 – 16:00
TACAS
Room: Carlisle Suite
ESOP
Room: Kingstown Suite
FoSSaCS
Room: Martello 1 Suite
FASE
Room: Martello 2 Suite

14:00 – 16:00
TACAS
Room: Carlisle Suite
FoSSaCS
Room: Martello 1 Suite
FASE
Room: Martello 2 Suite
SVComp
Room: Kingstown Suite

16:00 – 16:30
Coffee Break

16:00 – 16:30
Coffee Break

16:00 – 16:30
Coffee Break

16:00 – 16:30
Coffee Break

16:30 – 18:00
Invited Tutorial
Madhusudan Parthasarathy
Room: Carlisle Suite
TACAS
Room: Kingstown Suite

16:30 – 18:00
Invited Tutorial
Erika Ábrahám
Room: Carlisle Suite
TACAS
Room: Kingstown Suite
TestComp
Room: Mariner Suite

16:30 – 18:00
TACAS
Room: Carlisle Suite
ESOP
Room: Kingstown Suite
FASE
Room: Martello 2 Suite

16:30 – 18:00
TACAS
Room: Carlisle Suite
SVComp
Room: Kingstown Suite

19:00 - 20:30
Welcome Reception

 

18:30 - 22:30
Tour & Conference Dinner

 

 

Venue

ETAPS 2020 will take place at the Luxury 4-star Royal Marine Hotel, a family run and historic landmark and one of the most prestigious hotels in South Dublin.

     

 

 

 

For more information click here.

Travel Information

Getting to Dublin is increasingly easy and popular with many airlines, Etihad, Emirates and United Airlines, opening new routes in recent years. With the emergence of low cost air-travel, along with the traditional carriers, it has never been easier of less expensive to travel to Dublin. Even though Ireland is an island, access is increasingly easy by sea for both ferry and cruise.

To view more info please click here

Sponsors

 

 


http://www.meetinireland.com

Who's online

We have 568 guests and no members online

Site Hosted by