Scalability and Trust - Current Challanges in Computing
-----------------------------------
          
ABSTRACT
-----------------------------------
Se vor trece in revista principalele directii de 
cercetare a laboratorului de informatica din Cachan 
grupate pe urmatoarele domenii:
- Automated Verification
scope: distributed, timed, and infinite-state systems
methods: automata theory, formal languages,  games
- Security and Cryptography
scope: intrusion detection, security APIs, protocol  analysis
methods: logic and proof theory, term rewriting
- Large-Scale Data Management
scope: distributed databases, web services
methods: tree automata, algorithmic model theory, complexity
- Grid Computing
scope: parallel and distributed programming, multi-core systems
methods: parallel language extensions, grid operating systems
Mai multe informatii despre  laborator se gasesc la adresele
- Master Parisien de Recherche en Informatique: 
  http://mpri.master.univ-paris7.fr/
- Laboratoire Specification et Verification: 
  http://lsv.ens-cachan.fr/
          
SPEAKER(S)
-----------------------------------
dr. Dietmar BERWANGER
Centre Nationale de la Recherche Scientifique (Laboratoire Specification
et Verification, ENS Cachan)
Franta
-----------------------------------
Dr. Dietmar Berwanger is a Research Fellow at CNRS 
France (LSV Cachan). Previously, he was in the Logic 
and Complexity group of Erich Gradel at RWTH Aachen 
University, at LaBRI Bordeaux and at EPFL Lausanne. 
His research is on logical and algorithmic foundations 
of interactive systems, in particular: theory of 
infinite games, fixed-point logics, \mu-calculus, 
verification and synthesis of open systems, 
graph structure theory and complexity.
-----------------------------------
          
Bogdana NEUVILLE
Centre Nationale de la Recherche Scientifique (Laboratoire Specification
et Verification, ENS Cachan)
Franta
-----------------------------------
Bogdana NEUVILLE is Director of International Affairs, Ecole Normale Superieure De Cachan (ENS De Cachan), Cachan.
-----------------------------------