Team:CARTE

Team Carte

Members

Overall Objectives

Research Program

Computer Virology
Computation over continuous structures
Rewriting

Application Domains

Computer Virology
Computations and Dynamical Systems

Highlights of the Year

New Results

Quantum Computing
Implicit Computational Complexity
Computing with Infinite Objects
Cellular automata as a model of computation

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Inria | Raweb 2016 | Presentation of the Team CARTE | CARTE Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: Highlights of the Year

Highlights of the Year

The Marie Curie RISE project Computing with Infinite Data coordinated by Dieter Spreen (Siegen University), in which Mathieu Hoyrup is participating, has been accepted. It will start in April 2017.

Previous |

Home | Next next