Obiettivo "Complexity theory concerns fundamental questions on the mathematics of computer science about the amount of resources needed to run programs or solve problems. The ReACT project will build on recent work in realizability models for linear logic to provide new characterizations of existing complexity classes. The end goal is to enable researchers to attack long-standing open problems in complexity theory by using mathematical techniques, tools and invariants from operators algebras and dynamical systems.The ""complexity-through-realizability"" techniques developed by the ReACT project will provide a unified framework for studying many computational paradigms and their associated computational complexity theory grounded on well-studied mathematical concepts. This will allow for comparison of complexity classes defined from different computational paradigms (e.g. sequential and quantum computation), as well as establish a theory of complexity for computational paradigms lacking such (e.g. concurrent processes).The ""complexity-through-realizability"" approach stems from established logical-based approaches of complexity theory and inherits their strengths. It furthermore improves crucially over them as it builds upon state-of-the-art theoretical results on realizability models for linear logic using well-studied mathematical concepts from operators algebras and dynamical systems. As a consequence, it opens the way to the use against the open problems of the discipline the many techniques, tools and invariants that were developed in these mathematical disciplines.The ReACT project has two objectives. The first objective aims at establishing this new approach to complexity as an emerging and promising field of study which generalizes and extends previous techniques. The second objective is to investigate investigating how the mathematical methods and techniques derived from of our approach can be used to attack long-standing open problems in complexity theory." Campo scientifico natural sciencesmathematicsapplied mathematicsdynamical systemsnatural sciencesmathematicspure mathematicsalgebranatural sciencesmathematicspure mathematicsmathematical analysisfunctional analysisoperator algebranatural sciencesmathematicspure mathematicsdiscrete mathematicsgraph theorynatural sciencesmathematicsapplied mathematicsmathematical model Programma(i) H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions Main Programme H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility Argomento(i) MSCA-IF-2014-EF - Marie Skłodowska-Curie Individual Fellowships (IF-EF) Invito a presentare proposte H2020-MSCA-IF-2014 Vedi altri progetti per questo bando Meccanismo di finanziamento MSCA-IF-EF-ST - Standard EF Coordinatore KOBENHAVNS UNIVERSITET Contribution nette de l'UE € 212 194,80 Indirizzo Norregade 10 1165 Kobenhavn Danimarca Mostra sulla mappa Regione Danmark Hovedstaden Byen København Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 212 194,80