Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal

Lunch, Diner, Coffee-breaks

Dates

This program is tentative and subject to change.

Sat 24 Oct

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

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

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

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

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