Difference between revisions of "Workshop technical Oslo/IFI"
From its-wiki.no
| Line 1: | Line 1: | ||
{{Meeting | {{Meeting | ||
| − | |Title= | + | |Title=International Working Day Meeting at IFI/UiO |
|Place=IFI | |Place=IFI | ||
| − | |Date=2016/09/ | + | |Date=2016/09/09 |
| − | |Duration= | + | |Duration=1000-1800 |
| − | |Organiser=Cristian | + | |Organiser=Cristian, |
|User=Cristian, Olaf Owe, Josef Noll, | |User=Cristian, Olaf Owe, Josef Noll, | ||
|Project=IoTSec, | |Project=IoTSec, | ||
| Line 10: | Line 10: | ||
= Purpose = | = Purpose = | ||
| − | + | * This is an intense working meeting with several participants, some from the project, some from other countries, and some from outside the project. | |
| − | + | * The purpose was to investigate possible collaboration opportunities, with some of the participants, whereas with others we worked on boosting progress on work already started. | |
| − | + | ||
| − | + | ||
| − | = | + | = Agenda = |
| − | + | * '''Morning''' (10:00 - 12:00) | |
| − | + | ** introductions and brainstoming discussions between participants. | |
| − | + | ||
| − | : | + | |
| − | : | + | |
| − | + | ||
| − | + | ||
| − | + | ||
| + | * 13:15 : Talk by Haakon Norman (ITU Copenhagen, DK) | ||
| + | on "Semanatics for psi-calculi" | ||
| + | * 14:00 Questions and Discussions | ||
| + | * 14:30 break | ||
| − | + | * 15:00 Sum-up discussions and collaboration opportunities | |
| − | + | ||
| − | + | * 16:30 Sushi dinner and "social" discussions | |
| + | '''Location''' : in the lunch area of 9th floor | ||
| − | + | = Participants and Invited people= | |
| − | + | ||
| − | + | This is a short list of the main participants, and mainly the invited people. Others also took part. | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | * Haakon Norman (ITU Copenhagen, DK) | |
| − | + | working on psi-calculi models for complex systems, as well as DCR graphs for adaptive security. With Haakon we have been working all week, on two papers. | |
| − | ( | + | * Denis Migdal (student from ENSI Caen, FR) working on security and authentication mechanisms |
| + | * Bjørnar Luteberget (from RailCOMPLETE) working on modelling and automation of railway safety regulations | ||
| + | * Martin Steffen (IFI Professor) is academic associated to IoTSec working on information flow security | ||
| + | * Manish (our recent PhD in IoTSec, co-supervicesd | ||
| − | === | + | |
| + | = Logistics = | ||
| + | |||
| + | * Location : on the premises of IFI's department (9th + 8th floor of OJD building) | ||
| + | |||
| + | |||
| + | |||
| + | = Minutes = | ||
| + | Minutes of the meeting are in [[IoTAdmin:20160909MeetingIFI_FullDay_Notes]] | ||
Revision as of 14:40, 7 September 2016
| Wiki for ITS | ||||||
|---|---|---|---|---|---|---|
|
|
Workshop technical Oslo/IFI
| Title | International Working Day Meeting at IFI/UiO |
|---|---|
| Place | IFI |
| Date, Time | 2016/09/09, 1000-1800 |
| Contact Person | Cristian |
| Participants | Cristian, Olaf Owe, Josef Noll |
| related to Project | IoTSec |
| Keywords |
| this page was created by Special:FormEdit/Meeting, and can be edited by Special:FormEdit/Meeting/Workshop technical Oslo/IFI |
| Category:Meeting |
Purpose
- This is an intense working meeting with several participants, some from the project, some from other countries, and some from outside the project.
- The purpose was to investigate possible collaboration opportunities, with some of the participants, whereas with others we worked on boosting progress on work already started.
Agenda
- Morning (10:00 - 12:00)
- introductions and brainstoming discussions between participants.
- 13:15 : Talk by Haakon Norman (ITU Copenhagen, DK)
on "Semanatics for psi-calculi"
- 14:00 Questions and Discussions
- 14:30 break
- 15:00 Sum-up discussions and collaboration opportunities
- 16:30 Sushi dinner and "social" discussions
Location : in the lunch area of 9th floor
Participants and Invited people
This is a short list of the main participants, and mainly the invited people. Others also took part.
- Haakon Norman (ITU Copenhagen, DK)
working on psi-calculi models for complex systems, as well as DCR graphs for adaptive security. With Haakon we have been working all week, on two papers.
- Denis Migdal (student from ENSI Caen, FR) working on security and authentication mechanisms
- Bjørnar Luteberget (from RailCOMPLETE) working on modelling and automation of railway safety regulations
- Martin Steffen (IFI Professor) is academic associated to IoTSec working on information flow security
- Manish (our recent PhD in IoTSec, co-supervicesd
Logistics
- Location : on the premises of IFI's department (9th + 8th floor of OJD building)
Minutes
Minutes of the meeting are in IoTAdmin:20160909MeetingIFI_FullDay_Notes
