Difference between revisions of "DiversIoT:DiverseIoT meeting during ETAPS"
From its-wiki.no
(→Agenda) |
m (Cristian moved page DiverseIoT meeting during ETAPS to DiversIoT:DiverseIoT meeting during ETAPS) |
||
(One intermediate revision by the same user not shown) | |||
Line 6: | Line 6: | ||
|Organiser=Cristian | |Organiser=Cristian | ||
|User=Cristian, Gerardo Schneider, Uli Fahrnberg, | |User=Cristian, Gerardo Schneider, Uli Fahrnberg, | ||
− | |Project= | + | |Project=DiversIoT, |
}} | }} | ||
= Agenda = | = Agenda = |
Latest revision as of 19:48, 14 September 2017
DiverseIoT meeting during ETAPS | |||||||
---|---|---|---|---|---|---|---|
|
![]() |
DiversIoT:DiverseIoT meeting during ETAPS
Title | DiverseIoT meeting during ETAPS |
---|---|
Place | Uppsala, Sweden |
Date, Time | 2017/04/28, 1000-1700 |
Contact Person | Cristian |
Participants | Cristian, Gerardo Schneider, Uli Fahrnberg |
related to Project | DiversIoT |
Keywords |
this page was created by Special:FormEdit/Meeting, and can be edited by Special:FormEdit/Meeting/DiversIoT:DiverseIoT meeting during ETAPS |
Category:Meeting |
Agenda
- Preparation discussions about Uli Fahrenberg (Ecole Politechnique Paris) long term visit to Oslo
- EU privacy call project preparation discussions with Gerardo Schneider (Chalmers) and others
- Cybersecurity PPP: Privacy, Data Protection, Digital Identities
- Attending CPS and IoT talks
- Talk by Joël Ouaknine (MPI-SWS, Germany, and University of Oxford, UK)
- on "Fundamental Algorithmic Problems and Challenges in Dynamical and Cyber-Physical Systems"
- Talk by Véronique Cortier (CNRS research director at Loria, Nancy, France)
- on "Secure composition of security protocols"
- Talk by Alessandro Abate (University of Oxford)
- on "Data-driven and model-based formal verification of complex physical systems"
- Attending the very relevant talks in the