TAIC PART 2020
Sat 24 Oct 2020 Porto, Portugal
co-located with ICST 2020

Lunch, Diner, Coffee-breaks

Dates
You're viewing the program in a time zone which is different from your device's time zone - change time zone

This program is tentative and subject to change.

Sat 24 Oct
Times are displayed in time zone: (GMT) Azores change

icst-2020-catering
10:30 - 11:00: Catering - Coffee Break
icst-2020-catering
12:30 - 14:00: Catering - Lunch
icst-2020-catering
15:30 - 16:00: Catering - Coffee Break

Sun 25 Oct
Times are displayed in time zone: (GMT) Azores change

icst-2020-papers
09:30 - 10:30: Research Papers - Keynote 1: Liana Hadarean - One-click formal methods Infante at Infante
icst-2020-catering
10:30 - 11:00: Catering - Coffee Break
icst-2020-catering
12:30 - 14:00: Catering - Lunch
icst-2020-catering12:30 - 14:00
Lunch
icst-2020-catering
15:30 - 16:00: Catering - Coffee Break
icst-2020-catering
18:00 - 19:30: Catering - Reception at Alfândega
icst-2020-catering18:00 - 19:30
Social Event

Mon 26 Oct
Times are displayed in time zone: (GMT) Azores change

icst-2020-papers
09:30 - 10:30: Research Papers - Keynote 2 - Elvira Albert - Smart – and also reliable and gas-efficient – Contracts at Infante
icst-2020-catering
10:30 - 11:00: Catering - Coffee Break
icst-2020-catering
12:30 - 14:00: Catering - Lunch
icst-2020-catering
15:30 - 16:00: Catering - Coffee Break
icst-2020-catering
19:00 - 22:00: Catering - Banquet at Palácio da Bolsa
icst-2020-catering19:00 - 22:00
Social Event

Tue 27 Oct
Times are displayed in time zone: (GMT) Azores change

icst-2020-papers
09:30 - 10:30: Research Papers - Keynote 3 - Franjo Ivancic - SunDew: Systematic Automated Security Testing at Infante
icst-2020-catering
10:30 - 11:00: Catering - Coffee Break
icst-2020-catering
12:30 - 14:00: Catering - Lunch
icst-2020-catering
15:30 - 16:00: Catering - Coffee Break

Wed 28 Oct
Times are displayed in time zone: (GMT) Azores change

icst-2020-catering
10:30 - 11:00: Catering - Coffee Break
icst-2020-catering
12:30 - 14:00: Catering - Lunch
icst-2020-catering
15:30 - 16:00: Catering - Coffee Break