Presentation of research, master and PhD studies 
in Computer Science.
Security and how to fill holes in a proof.
-----------------------------------
          
ABSTRACT
-----------------------------------
Part 1: Presentation of research, master and PhD studies 
in Computer Science at the ENS Cachan.
Introduction to a research topic: formal analysis of security
Public: all students/ all faculty (elementary presentation)

Part 2: "Security and how to fill holes in a proof"
Public: requires basic knowledge on formal proof 
systems/concurrency
Keywords : Computer & Communication Security - Formal methods -
Logic & Formal proofs - Concurrency/ Process calculus -
Verification

Fields : computer science, mathematics
          
SPEAKER(S)
-----------------------------------
Professor Hubert COMON, PhD
ENS Cachan
Franta
-----------------------------------
For more information please visit:
http://www.lsv.ens-cachan.fr/~comon/
-----------------------------------