IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
FOSAD 2019 : 19th FOSAD Summerschool on Foundations of Security Analysis and Design Conference Series : Foundations of Security Analysis and Design  
FOSAD 2019 : 19th FOSAD Summerschool on Foundations of Security Analysis and Design Conference Series : Foundations of Security Analysis and Design  

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

Bertinoro, Italy
Event Date: August 26, 2019 - August 30, 2019
Submission Deadline: July 05, 2019
Notification of Acceptance: July 08, 2019
Camera Ready Version Due: July 31, 2019




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




Credits and Sources

[1] FOSAD 2019 : 19th FOSAD Summerschool on Foundations of Security Analysis and Design Conference Series : Foundations of Security Analysis and Design  


Check other Conferences, Workshops, Seminars, and Events


OTHER SECURITY EVENTS

CANS 2024: The International Conference on Cryptology and Network Security (CANS)
Cambridge, UK
Sep 24, 2024
ICTCE 2024: 2024 The 6th International Conference on Telecommunications and Communication Engineering (ICTCE 2024)--JA
Chengdu, China
Nov 22, 2024
CECSP 2024: 2024 the International Conference on Electronics, Communications, and Signal Processing (CECSP 2024)
Kunming, China
Oct 25, 2024
ICICM 2024: ACM--2024 The 14th International Conference on Information Communication and Management (ICICM 2024)
France, Paris
Nov 6, 2024
ADIP--EI 2024: 2024 6th Asia Digital Image Processing Conference (ADIP 2024)
Tokyo, Japan
Dec 14, 2024
SHOW ALL

OTHER COMPUTER SCIENCE EVENTS

CYBI 2024: 11thInternational Conference on Cybernetics & Informatics
Melbourne, Australia
Apr 20, 2024
ITCC 2024: ACM--2024 6th International Conference on Information Technology and Computer Communications (ITCC 2024)
Singapore
Oct 25, 2024
Informed ML for Complex Data@ESANN 2024: Informed Machine Learning for Complex Data special session at ESANN 2024
Bruges, Belgium
Oct 9, 2024
Web3D 2024 2024: 3D Technologies for the World Wide Web
Guimarães, Portugal
Sep 25, 2024
HUMAD 2024: [Scopus] [ACM] International Workshop on Human-Centered Modeling and Adaptation for Digital Transformation
Cagliari, Italy; also online
Jul 1, 2024
SHOW ALL

OTHER FORMAL METHODS EVENTS

ICFEM 2024: International Conference on Formal Engineering Methods
Hiroshima , Japan
Dec 2, 2024
AFMAS 2024: Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
N/A
SIMULTECH 2024: 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
Dijon, France
Jul 10, 2024
FMICS 2024: 29th International Conference on Formal Methods for Industrial Critical Systems
Milano
Sep 9, 2024
SEC 2024: 10th International Conference on Software Engineering
Melbourne, Australia
Apr 20, 2024
SHOW ALL

OTHER INFORMATION TECHNOLOGY EVENTS

CYBI 2024: 11thInternational Conference on Cybernetics & Informatics
Melbourne, Australia
Apr 20, 2024
ICTCE--JA 2024: 2024 The 6th International Conference on Telecommunications and Communication Engineering (ICTCE 2024)--JA
Chengdu, China
Nov 22, 2024
ACM ICICM 2024: ACM--2024 The 14th International Conference on Information Communication and Management (ICICM 2024)
France, Paris
Nov 6, 2024
ADIP--EI 2024: 2024 6th Asia Digital Image Processing Conference (ADIP 2024)
Tokyo, Japan
Dec 14, 2024
ACM ITCC 2024: ACM--2024 6th International Conference on Information Technology and Computer Communications (ITCC 2024)
Singapore
Oct 25, 2024
SHOW ALL