CPS Week 2018 Advance Program ‧ R22 - Palácio da Bolsa - Level 2 - Sala Minho

This combined program is provided 'as is'. More up-to-date information may be avalialbe at each event's official websites.

CPS Week 2018 Program Overview

R22 - Palácio da Bolsa - Level 2 - Sala Minho

Stock Exchange Palace - R22 (Level 2)
R. de Ferreira Borges, 4050-253 Porto
The Palácio da Bolsa (Stock Exchange Palace) is a historical building in Porto, Portugal. The palace was built in the 19th century by the city's Commercial Association (Associação Comercial) in Neoclassical style. It is located in the Infante D. Henrique Square in the historical centre of Porto, designated World Heritage Site by UNESCO.

The Palace is located beside the St Francis Church of Porto, which was once part of the St Francis Convent, founded in the 13th century. In 1832, during the Liberal Wars, a fire destroyed the cloisters of the convent, sparing the church. In 1841, Queen Mary II donated the convent ruins to the merchants of the city, who decided to use the spot to build the seat of the Commercial Association.

Building work began in 1842 following the plans of Porto architect Joaquim da Costa Lima Júnior, who designed a Neoclassical palace of Palladian influence, inspired by previous structures built in the city. Most of the palace was finished by 1850, but the decoration of the interior was only completed in 1910 and involved several different artists.
Wikipedia

April 10

see all CPS Week events for this day

08:55 - 09:00DARSOpening Remarks
09:00 - 10:00DARSWorkshop Keynote - Measuring robustness for cyber-physical systems: real-world experiences and challenges
Jim Kapinski
10:30 - 12:30DARSWorkshop Session

Session Chair: Fedro Shamrov

Computing the mutational robustness of gene regulatory network. Mirco Giacobbe, Ashutosh Gupta, Calin C. Guet, Thomas A. Henzinger, Tiago Paixão and Tatjana Petrov

A quantitative approach on safety, reachability and stability specifications. Alina Eqtami and Antoine Girard

Measuring Neural Net Robustness. Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori and Antonio Criminisi

Discussion

14:00 - 15:30DARSWorkshop Keynote + Session

Session chair: Alexey Bakhirkin

Keynote Talk:

Robust to Dynamics Optimization. Amir Ali Ahmadi

A CEGAR Approach for Hybrid Systems Reachability Analysis. Stefan Schupp and Erika Abraham

16:00 - 17:25DARSWorkshop Session

Session chair: Pavithra Prabhakar

Probabilistic Bounded Reachability for Stochastic Hybrid Systems. Fedor Shmarov

Discussion

17:25 - 17:30DARSClosing Remarks

CPS Week 2018 Program Overview

>