[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


--- 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