Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Riscrittura con Sostituzioni Esplicite: Aspetti Logici e di Complessità |
---|---|
Titolo del progetto di ricerca in inglese | Rewriting and Explicit Substitutions: Logical and Complexity-Theoretic Aspects |
Campo principale della ricerca | Mathematics |
Sottocampo della ricerca | Mathematical logic |
Campo principale della ricerca | Computer science |
Sottocampo della ricerca | Programming |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | - |
Descrizione sintetica in italiano | In Linear Logic, structural rules have logical status thanks to the introduction of exponential connectives, and the usual connectives are split into two classes: additive and multiplicative connectives. Implicit computational complexity develops theory and applications of machine-independent approaches to computational complexity, with particular emphasis on approaches based on mathematical logic. The area appears to be fragmented; a paradigm shift is called for. What is needed are some unifying syntactic and semantic frameworks for the quantitative analysis of proofs and programs. Such frameworks should be powerful enough to capture many logical systems and programming languages, but simple enough to be useful in evaluating quantitative properties of systems. A first main idea is to view computation as an interaction. A second one is to achieve control of the cut-elimination process. |
Descrizione sintetica in inglese | In Linear Logic, structural rules have logical status thanks to the introduction of exponential connectives, and the usual connectives are split into two classes: additive and multiplicative connectives. Implicit computational complexity develops theory and applications of machine-independent approaches to computational complexity, with particular emphasis on approaches based on mathematical logic. The area appears to be fragmented; a paradigm shift is called for. What is needed are some unifying syntactic and semantic frameworks for the quantitative analysis of proofs and programs. Such frameworks should be powerful enough to capture many logical systems and programming languages, but simple enough to be useful in evaluating quantitative properties of systems. A first main idea is to view computation as an interaction. A second one is to achieve control of the cut-elimination process. |
Data del bando | 26/08/2013 |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
All |
Nazionalità dei candidati |
All |
Sito web del bando | https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx |
Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
---|---|
Criteri di selezione in italiano (breve descrizione) | il bando e la modulistica per partecipare alla procedura di valutazione comparativa sono disponibili all'indirizzo: https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx |
Criteri di selezione in inglese (breve descrizione) | to apply for research grants fill out the form available at the following address: https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx |
Nome dell'Ente finanziatore | ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | Bologna |
Sito web | http://www.unibo.it |
luigi.distefano@unibo.it |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 16/09/2013 - alle ore 00:00 |
---|---|
Come candidarsi | Other |