ECSYM
"Events, Causality and Symmetry-the next-generation semantics"
| Coordinatore | THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
Spiacenti, non ci sono informazioni su questo coordinatore. Contattare Fabio per maggiori infomrazioni, grazie. |
| Nazionalità Coordinatore | United Kingdom [UK] |
| Totale costo | 2˙347˙998 € |
| EC contributo | 2˙347˙998 € |
| Programma | FP7-IDEAS-ERC
Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) |
| Code Call | ERC-2010-AdG_20100224 |
| Funding Scheme | ERC-AG |
| Anno di inizio | 2011 |
| Periodo (anno-mese-giorno) | 2011-05-01 - 2016-04-30 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
Organization address
address: The Old Schools, Trinity Lane contact info |
UK (CAMBRIDGE) | hostInstitution | 2˙347˙998.80 |
| 2 |
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
Organization address
address: The Old Schools, Trinity Lane contact info |
UK (CAMBRIDGE) | hostInstitution | 2˙347˙998.80 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
'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.'