Opendata, web and dolomites

D-FINED SIGNED

Duality for Finite Models: Relating Structure and Power

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "D-FINED" data sheet

The following table provides information about the project.

Coordinator
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD 

Organization address
address: WELLINGTON SQUARE UNIVERSITY OFFICES
city: OXFORD
postcode: OX1 2JD
website: www.ox.ac.uk

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country United Kingdom [UK]
 Total cost 212˙933 €
 EC max contribution 212˙933 € (100%)
 Programme 1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility)
 Code Call H2020-MSCA-IF-2018
 Funding Scheme MSCA-IF-EF-ST
 Starting year 2020
 Duration (year-month-day) from 2020-02-01   to  2022-01-31

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD UK (OXFORD) coordinator 212˙933.00

Map

 Project objective

'The present project is positioned in the research area of logic and semantics of computation, combining a rich mathematical theory with concrete applications in computer science. Finite model theory (FMT) is the specialisation of model theory to the class of finite models, and has been called ``the logic of computer science' because in the latter field the basic models of computation are finite. Most of the classical results of model theory fail when restricted to finite models, hence FMT is studied using different tools and methods. For this reason, FMT has developed mostly independently from model theory and the research communities, as well as the techniques, are almost disjoint. FMT exemplifies a strand in the field of logic in computer science focussing on expressiveness and complexity (``Power'), as opposed to the one focussing on semantics and compositionality (``Structure'). In this project we will apply Stone duality to bridge the gap between the semantics methods of model theory, and the combinatorial and complexity-theoretic methods of FMT, i.e., to relate Structure and Power.

In his Ph.D. thesis, the applicant has successfully applied Stone duality and topology to the study of formal languages and logic on finite words. The proposed project constitutes both a natural continuation of this research line, generalising from finite words to finite models, and a novel approach to FMT. The applicant will collaborate with the supervisor, who is a leading expert in the interactions between logic and computational models arising in computer science.

An essential feature of this project is its high degree of interdisciplinarity, aiming to strengthen the connections between mathematics and computer science. The host institution, which is home to several experts in logic and foundations of computer science, will benefit from the applicant's experience in duality theory and topology, thus fostering cross-fertilisation within the European research community.'

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "D-FINED" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "D-FINED" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.3.2.)

SIMIS (2020)

Strongly Interacting Mass Imbalanced Superfluid with ultracold fermions

Read More  

LISEDIDYS (2020)

Limit sets of discrete dynamical systems

Read More  

NPsVLCD (2019)

Natural Product-Inspired Therapies for Leishmaniasis and Chagas Disease

Read More