Search for European Projects

2 European Projects Found

Searched on 125080 European Projects

 FINISHED 

Combinatorics of Networks and Computation (CONNECT)

Start date: Jan 1, 2017, End date: Dec 31, 2020,

"Networks are present in our lives in numerous different environments: to name just a few, networks can model social relationships, they can model the Internet and links between web pages, they might model the spread of a virus infection between people, and they might represent computer processors/sensors that have to exchange information.This project aims to obtain new insights into the behaviour ...
Read Project

 8

 FINISHED 

Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. (SYSMICS)

Start date: Mar 1, 2016, End date: Feb 28, 2019,

Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus.While classical logic generally formalises the notion of truth, substructural logics allow to handle notions such as resources, vagueness, meaning, and language syntax, motivated by studies in computer science, epistemology, economy, and linguistics. Moreover, ...
Read Project

 13