MOCQUA - 2018 - Rapport annuel d'activité

MOCQUA

MOCQUA - 2018

Team Mocqua

Team, Visitors, External Collaborators

Overall Objectives

Designing the future of computational models

Research Program

Quantum Computing
Higher-Order Computing
Dynamical Systems

Application Domains

Quantum Computing
Higher-Order Computing
Simulation of Dynamical Systems by Cellular Automata

Highlights of the Year

New Software and Platforms

Software

New Results

Completeness of the ZX-calculus
Second-order entropy accumulation theorem
Mixed-state certification
Descriptive Set Theory
Semicomputable geometry
Resource bounded computation
Inductive reasoning
Cellular automata with stochastic evolutions

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

Previous |

Home | Next next

Section: Partnerships and Cooperations

European Initiatives

FP7 & H2020 Projects

Mathieu Hoyrup participates in the Marie-Curie RISE project Computing with Infinite Data coordinated by Dieter Spreen (Univ. Siegen) that has started in April 2017.

Previous |

Home | Next next