|
COST Action IC1402 - Runtime Verification Beyond Monitoring (ARVI) | ||
| RV Group Work & MC Meeting in Lisbon (PT),
June 8-9, 2017 Agenda |
|||
| June, 8th - 2017 (Thursday) | |||
| Track 1 Building C1 FFCUL Auditorium |
Track 2 Building C6 Room 6.3.28 |
||
| 8:45 - 9:00 | Registration | ||
| 9:00 - 9:05 | Welcome | ||
| 9:05 - 10:00 | [WG] WG status report & WG3 session planning |
||
| WG1 Report | |||
| 10:00 - 10:30 | Coffe break | ||
| 10:30 - 12:00 | [WG1 + WG2] Taxonomy of runtime verification aspects |
||
| 12:00 - 13:30 | Lunch break | ||
| 13:30 - 15:00 | [WG3] Session - 1. Distributed |
[WG3] Session - 5. Transactions |
|
| 15:00 - 15:30 | Coffe break | ||
| 15:30 - 17:00 | MC Meeting | ||
| 20:00 | Dinner | ||
| June, 9th - 2017 (Friday) | |||
| Track 1 Building C1 FFCUL Auditorium |
Track
2 Building C4 Room 4.2.07 |
||
| 9:00 - 10:20 | [WG3] Session - 4. Security |
||
| 10:20 - 10:22 | Group Photo | ||
| 10:22 - 10:30 | Coffe break | ||
| 10:30 - 12:00 | [WG3] Session - 7. Huge |
[WG3] Session - 6. Contracts |
|
| 12:00 - 12:30 | Lunch break | ||
| 13:30 - 15:00 | [WG3] Working Session |
||
| 15:00 - 15:30 | Coffe break | ||
| 15:30 - 17:00 | [WG3] Working Session |
||