Difference between revisions of "DiversIoT:DiverseIoT meeting during ETAPS"
From its-wiki.no
(→Agenda) |
|||
| Line 10: | Line 10: | ||
= Agenda = | = Agenda = | ||
: Preparation discussions about Uli Fahrenberg (Ecole Politechnique Paris) long term visit to Oslo | : Preparation discussions about Uli Fahrenberg (Ecole Politechnique Paris) long term visit to Oslo | ||
| − | : EU privacy call project preparation discussions with Gerardo Schneider (Chalmers) and | + | : EU privacy call project preparation discussions with Gerardo Schneider (Chalmers) and others |
| − | [https://ec.europa.eu/research/participants/portal/desktop/en/opportunities/h2020/topics/ds-08-2017.html Cybersecurity PPP: Privacy, Data Protection, Digital Identities] | + | : [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 | : Attending CPS and IoT talks | ||
:: Talk by Joël Ouaknine (MPI-SWS, Germany, and University of Oxford, UK) | :: 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" | + | :: on "Fundamental Algorithmic Problems and Challenges in Dynamical and Cyber-Physical Systems" |
:: Talk by Véronique Cortier (CNRS research director at Loria, Nancy, France) | :: Talk by Véronique Cortier (CNRS research director at Loria, Nancy, France) | ||
| − | on "Secure composition of security protocols" | + | :: on "Secure composition of security protocols" |
:: Talk by Alessandro Abate (University of Oxford) | :: Talk by Alessandro Abate (University of Oxford) | ||
| − | on "Data-driven and model-based formal verification of complex physical systems" | + | :: on "Data-driven and model-based formal verification of complex physical systems" |
: Attending the very relevant talks in the | : Attending the very relevant talks in the | ||
[https://sec.informatik.uni-stuttgart.de/events/hotspot2017 Hot Issues in Security Principles and Trust] | [https://sec.informatik.uni-stuttgart.de/events/hotspot2017 Hot Issues in Security Principles and Trust] | ||
Revision as of 07:58, 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 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