CARTE - 2013 - Annual activity report

CARTE

CARTE - 2013

Project-Team Carte

Members

Overall Objectives

Introduction
Highlights of the Year

Research Program

Computer Virology
Computation over continuous structures
Rewriting

Application Domains

Computer Virology
Computations and Dynamical Systems

Software and Platforms

Morphus/MMDEX
TraceSurfer
CROCUS

New Results

Computation and Dynamical Systems
Computability, Complexity and Topology
Implicit Computational Complexity
Computer Virology
Graph rewriting

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2013 Project-Team Activity Report

CARTE

Theoretical adverse computations, and safety

Research centre: Nancy - Grand Est

In partnership with: CNRS, Université de Lorraine

In collaboration with: Laboratoire lorrain de recherche en informatique et ses applications (LORIA)

Field: Algorithmics, Programming, Software and Architecture

Theme: Security and Confidentiality

Keywords: Formal Methods, Security, Virology, Complexity, Model Of Computation, Real Numbers, Dynamical System, Rewriting