posted by organizer: aldinia || 6144 views || tracked by 5 users: [display]

FOSAD 2019 : 19th FOSAD Summerschool on Foundations of Security Analysis and Design

FacebookTwitterLinkedInGoogle


Conference Series : Foundations of Security Analysis and Design
 
Link: http://www.sti.uniurb.it/events/fosad19/
 
When Aug 26, 2019 - Aug 30, 2019
Where Bertinoro, Italy
Submission Deadline Jul 5, 2019
Notification Due Jul 8, 2019
Final Version Due Jul 31, 2019
Categories    security   computer science   formal methods   information technology
 

Call For Papers


*** Application Deadline: July 5, 2019

FOSAD has been one of the foremost events established
with the goal of disseminating knowledge about
foundations of security analysis and design to
graduate students and young computer scientists from
academia or industry.

COURSES)

Lecturers:

- Herve Debar (Telecom SudParis)
Vulnerabilities in the Internet of Thing

- David Evans (University of Virginia)
Trustworthy Machine Learning

- Daniel Gruss (TU Graz)
Microarchitectural Attacks

- Antonio Lioy (Politecnico di Torino)
Integrity Verification of Software-defined Infrastructures

- Javier Lopez (University of Malaga)
Edge Computing Security

- Matteo Maffei (TU Wien)
Blockchain and Protocol Verification

Programme:

http://www.sti.uniurb.it/events/fosad19/Programme.html


The courses alternate theory and practice sessions.

PhD FORUM)

A special session is organized for participants
who intend to take advantage of the audience for
presenting their current research/tool in the area.

SCIENTIFIC COMMITTEE)

Martin Abadi Javier Lopez
Alessandro Aldini Fabio Martinelli (Chair)
Gilles Barthe Catherine Meadows
Eerke Boiten Bart Preneel

SCHOOL VENUE)

The school is organized at the University Residential
Center of Bertinoro (CEUB), Italy:
http://www.ceub.it/
The host venue provides a unique architectonical and
environmental setting joining the stunning views of
the hilltop of Bertinoro with the historical location
of the ancient fortress and the facilities of the
Center, which offers accommodation, meeting rooms,
and modern conference and computing services.

SCHOOL DATES)

Prospective participants should apply through the
FOSAD web page by:
July 5, 2019.
Notification of accepted applicants will be posted by:
July 8, 2019.
Registration to the school is due by:
July 31, 2019.

SCHOOL FEES)

The full fee is 900 Euros and covers stay from
August 25, in double room, half board (breakfast
and lunch), welcome dinner of August 25 and social
dinner included.
A limited amount of grants will be provided to
cover part of the fee for young researchers.

PARTNERSHIP)

FOSAD 2019 is organized in cooperation with:

SPARTA - Cybersecurity Competence Network
http://www.sparta.eu

NeCS - European Network for Cyber-security
http://www.necs-project.eu

CyberSec4Europe - Cyber Security for Europe
https://www.cybersec4europe.eu/

IFIP WG 11.14 Secure Engineering (NESSoS)
http://www.nessos-project.eu


Related Resources

FOSAD 2021   20th FOSAD: International School on Foundations of Security Analysis and Design
EI-CFAIS 2021   2021 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2021)
S&P 2022   IEEE Symposium on Security and Privacy (Third deadline)
MDA AI&PR 2022   17th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Security,
IWoSR 2021   2021 International Workshop on Service Robotics (IWoSR 2021)
PAKDD 2021   Pacific-Asia Conference on Knowledge Discovery and Data Mining
NeCoM 2022   14th International Conference on Networks & Communications
ICDEPI-SCOPUS 2022   5th International Conference on Design Engineering and Product Innovation (ICDEPI 2022)
CSW 2022   2022 International Workshop on Cyber Security (CSW 2022)
EMSA 2022   11th International Conference on Embedded Systems and Applications