Objetivo
Headed by Principal Investigator Glynn Winskel, the project ECSYM assembles a world-leading team of theoretical computer scientists and mathematicians. Their goal: to build the next-generation semantics---a new mathematical foundation with which to understand and analyze computation of the complexity we begin to see today. The proposal arises in answer to the anomalies found in today's theories of computation and to the commonality and need for shared techniques becoming apparent across a range of seemingly disparate areas, through security protocols, systems biology, model checking, computational games, types and proof.The evidence points to a new intensional semantics, one in which the current distinctions between operational and denotational semantics disappear. It leads to the project ECSYM (Events, Causality and SYMmetry). The project marries the vision of Scott and Strachey, who sought a comprehensive semantics of computation, with Petri's analysis of computation, as emergent from local causal structure between basic events. A key insight is the increased expressivity a treatment of behavioural symmetry brings to causal models, to the types, processes, operations and applications they can support.
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
ERC-2010-AdG_20100224
Consulte otros proyectos de esta convocatoria
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Institución de acogida
CB2 1TN CAMBRIDGE
Reino Unido
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.