[TYPES/announce] CSF 2016: 2nd CALL FOR PARTICIPATION (upcoming early registration and student travel scholarship deadlines)
Matteo Maffei
maffei at cs.uni-saarland.de
Fri May 20 06:33:27 EDT 2016
2nd CALL FOR PARTICIPATION
29th IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF’16)
--- June 27-July 1, 2016, Lisbon, Portugal ---
CSF affiliated workshops: FCS, GraMSec
Website: http://csf2016.tecnico.ulisboa.pt <http://csf2016.tecnico.ulisboa.pt/>
The early registration deadline is ** May 27, 2016 **
Online registration: http://csf2016.tecnico.ulisboa.pt/registration.html <http://csf2016.tecnico.ulisboa.pt/registration.html>
The deadline for student travel scholarships is ** May 23, 2016 **
Application: http://csf2016.tecnico.ulisboa.pt/scholarships.html <http://csf2016.tecnico.ulisboa.pt/scholarships.html>
---
The Computer Security Foundations Symposium (CSF) is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security. It was created in 1988 as a workshop of the IEEE Computer Society's Technical Committee on Security and Privacy, in response to a 1986 essay by Don Good entitled “The Foundations of Computer Security—We Need Some.” The meeting became a “symposium” in 2007, along with a policy for open, increased attendance. Over the past two decades, many seminal papers and techniques have been presented first at CSF.
---
Invited speakers:
- Ross Anderson, University of Cambridge: Are the real limits to scale a matter of science, or engineering, or of something else?
- Andrew Appel, Princeton University: Modular Verification for Computer Security
- Ulfar Erlingsson, Google: Data-driven Software Security: Models and Methods
---
The preliminary program is available at http://csf2016.tecnico.ulisboa.pt/program.html <http://csf2016.tecnico.ulisboa.pt/program.html>
---
CSF Program Chairs:
- Michael Hicks, University of Maryland
- Boris Köpf, IMDEA Software Institute
Organizing Committee:
- General chair: Pedro Adão, Universidade de Lisboa and Instituto de Telecomunicações
- Publications chair: Deepak Garg, Max Planck Institute for Software Systems
- Publicity chair: Matteo Maffei, CISPA, Saarland University
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160520/9db61549/attachment.html>
More information about the Types-announce
mailing list