Difference between revisions of "DiversIoT:DiverseIoT meeting during ETAPS"
From its-wiki.no
(Created page with "{{Meeting |Title=DiverseIoT meeting during ETAPS |Place=Uppsala, Sweden |Date=2017/04/28 |Duration=1000-1700 |Organiser=Cristian |User=Cristian, Gerardo Schneider, |Project=Di...") |
|||
Line 5: | Line 5: | ||
|Duration=1000-1700 | |Duration=1000-1700 | ||
|Organiser=Cristian | |Organiser=Cristian | ||
− | |User=Cristian, Gerardo Schneider, | + | |User=Cristian, Gerardo Schneider, Uli Fahrnberg, |
|Project=DiverseIoT, | |Project=DiverseIoT, | ||
}} | }} | ||
= Agenda = | = 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 Ti |
− | :: | + | [https://ec.europa.eu/research/participants/portal/desktop/en/opportunities/h2020/topics/ds-08-2017.html 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 | |
+ | [https://sec.informatik.uni-stuttgart.de/events/hotspot2017 Hot Issues in Security Principles and Trust] |
Revision as of 07:57, 29 April 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 | DiverseIoT |
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 Ti
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