Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Logiche di Kleene per l'informatica |
---|---|
Titolo del progetto di ricerca in inglese | Kleene Logics for computer science |
G.S.D. | 01/INFO-01 - INFORMATICA |
S.S.D | INFO-01/A - Informatica |
Descrizione sintetica in italiano | Le logiche di Kleene sono state applicate con successo in campi dove l’informazione può essere non nota, come nei database relazionali, programmi concorrenti e debuggers reversibili. Il progetto di ricerca punta ad espandere considerevolmente la conoscenza e l’uso delle logiche di Kleene, con un particolare riguardo alla loro applicazione nella teoria della conoscenza, la teoria della concorrenza e la computazione reversibile |
Descrizione sintetica in inglese | Kleene logics have been successfully applied in fields where information may be unknown, such as relational databases, concurrent programs and reversible debuggers. The project aims to considerably expand the current understanding and use of Kleene logics, with a particular focus on their application in the theory of knowledge, concurrency theory and reversible computing |
Data del bando | 17/07/2024 |
Numero di assegnazioni per anno | 1 |
Paesi in cui può essere condotta la ricerca |
OTHER |
Paesi di residenza dei candidati |
OTHER |
Nazionalità dei candidati |
OTHER |
Sito web del bando | http://www.uniurb.it/assegnidiricerca |
Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
---|
Nome dell'Ente finanziatore | Università degli Studi di Urbino Carlo Bo – DISPEA |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | Urbino |
Sito web | http://www.uniurb.it |
amministrazione.reclutamento.pdoc@uniurb.it |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 17/08/2024 - alle ore 00:00 |
---|---|
Come candidarsi | Other |