Previous | 
Home
Section: Partnerships and Cooperations
European Initiatives
FP7 & H2020 Projects
-
Project title: Satisfiability Checking and Symbolic Computation
-
Other partners: RWTH Aachen (Germany), Fondazione Bruno Kessler (Italy), Università degli Studi di Genova (Italy), Maplesoft Europe Ltd (Germany), Coventry University (U.K.), University of Oxford (U.K.), Universität Kassel (Germany), Max Planck Institut für Informatik (Germany), Universität Linz (Austria)
-
Abstract: Whereas symbolic computation is concerned with efficient algorithms for determining exact solutions to complex mathematical problems, more recent developments in the area of satisfiability checking tackle similar problems with different algorithmic and technological solutions. Both communities have made remarkable progress in the last decades and address practical problems of rapidly increasing size and complexity. For example, satisfiability checking is an essential backend for assuring the security and the safety of computer systems. Techniques and tools of symbolic computation are used by different scientific communities for solving large mathematical problems that are out of reach of pencil and paper developments. Currently the two communities are largely disjoint and unaware of the achievements of each other, despite strong reasons for them to discuss and collaborate, as they share many central interests. Bridges between the communities in the form of common platforms and roadmaps are necessary to initiate an exchange, and to support and to direct their interaction. This Coordination and Support Action within the FET-Open framework will initiate a wide range of activities to bring the two communities together, identify common challenges, offer global events and bilateral visits, propose standards, and so on. Combining the knowledge, experience and the technologies in these communities will lead to cross-fertilization and mutual improvements, enabling the development of radically improved software tools.