Difference between revisions of "International Working Day Meeting at IFI/UiO"
From its-wiki.no
(Created page with "{{Meeting |Title=International Working Day Meeting at IFI/UiO |Place=IFI |Date=2016/09/09 |Duration=1000-1800 |Organiser=Cristian |User=Cristian, Olaf Owe, |Project=IoTSec, }}...") |
|||
| Line 19: | Line 19: | ||
* 13:15 : Talk by Haakon Norman (ITU Copenhagen, DK) | * 13:15 : Talk by Haakon Norman (ITU Copenhagen, DK) | ||
| − | on "Semanatics for psi-calculi" | + | :: on "Semanatics for psi-calculi" |
* 14:00 Questions and Discussions | * 14:00 Questions and Discussions | ||
| Line 27: | Line 27: | ||
* 16:30 Sushi dinner and "social" discussions | * 16:30 Sushi dinner and "social" discussions | ||
| − | '''Location''' : in the lunch area of 9th floor | + | :: '''Location''' : in the lunch area of 9th floor |
= Participants and Invited people= | = Participants and Invited people= | ||
| Line 34: | Line 34: | ||
* Haakon Norman (ITU Copenhagen, DK) | * 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. | + | :: 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 | * 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 | * Bjørnar Luteberget (from RailCOMPLETE) working on modelling and automation of railway safety regulations | ||
Revision as of 14:44, 7 September 2016
| Wiki for ITS | ||||||
|---|---|---|---|---|---|---|
|
|
International Working Day Meeting at IFI/UiO
| Title | International Working Day Meeting at IFI/UiO |
|---|---|
| Place | IFI |
| Date, Time | 2016/09/09, 1000-1800 |
| Contact Person | Cristian |
| Participants | Cristian, Olaf Owe |
| related to Project | IoTSec |
| Keywords |
| this page was created by Special:FormEdit/Meeting, and can be edited by Special:FormEdit/Meeting/International Working Day Meeting at IFI/UiO |
| 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
