Objectif The use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Whereas Symbolic Computation is concerned with the algorithmic determination of exact solutions to complex mathematical problems, more recent developments in the area of Satisfiability Checking tackle similar problems but with different algorithmic and technological solutions. Though both communities have made remarkable progress in the last decades, they still need to be strengthened to tackle practical problems of rapidly increasing size and complexity. Their separate tools (computer algebra systems and SMT solvers) are urgently needed to examine prevailing problems with a direct effect to our society. For example, Satisfiability Checking is an essential backend for assuring the security and the safety of computer systems. In various scientific areas, Symbolic Computation enables dealing with large mathematical problems 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. However, researchers from these two communities rarely interact, and also their tools lack common, mutual interfaces for unifiying their strengths. 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. These are the main objectives of this CSA. We 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.We believe that these activities will initiate cross-fertilisation of both fields and bring mutual improvements. Combining the knowledge, experience and the technologies in these communities will enable the development of radically improved software tools Programme(s) H2020-EU.1.2. - EXCELLENT SCIENCE - Future and Emerging Technologies (FET) Main Programme H2020-EU.1.2.1. - FET Open Thème(s) FETOPEN-CSA-FETEXCHANGE-2015 - FET Exchange Coordination and Support Activities 2015 Appel à propositions H2020-FETOPEN-2014-2015 Voir d’autres projets de cet appel Sous appel H2020-FETOPEN-2015-CSA Régime de financement CSA - Coordination and support action Coordinateur UNIVERSITY OF BATH Contribution nette de l'UE € 114 456,25 Adresse CLAVERTON DOWN BA2 7AY Bath Royaume-Uni Voir sur la carte Région South West (England) Gloucestershire, Wiltshire and Bristol/Bath area Bath and North East Somerset, North Somerset and South Gloucestershire Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 114 456,25 Participants (10) Trier par ordre alphabétique Trier par contribution nette de l'UE Tout développer Tout réduire RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN Allemagne Contribution nette de l'UE € 55 000,00 Adresse TEMPLERGRABEN 55 52062 Aachen Voir sur la carte Région Nordrhein-Westfalen Köln Städteregion Aachen Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 55 000,00 FONDAZIONE BRUNO KESSLER Italie Contribution nette de l'UE € 45 000,00 Adresse VIA SANTA CROCE 77 38122 Trento Voir sur la carte Région Nord-Est Provincia Autonoma di Trento Trento Type d’activité Research Organisations Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 45 000,00 UNIVERSITA DEGLI STUDI DI GENOVA Italie Contribution nette de l'UE € 45 000,00 Adresse VIA BALBI 5 16126 Genova Voir sur la carte Région Nord-Ovest Liguria Genova Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 45 000,00 MAPLESOFT EUROPE LIMITED Royaume-Uni Contribution nette de l'UE € 23 750,00 Adresse HILL HOUSE, 1 LITTLE NEW STREET EC4A 3TR London Voir sur la carte PME L’entreprise s’est définie comme une PME (petite et moyenne entreprise) au moment de la signature de la convention de subvention. Oui Région London Inner London — West Camden and City of London Type d’activité Private for-profit entities (excluding Higher or Secondary Education Establishments) Liens Contacter l’organisation Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 23 750,00 UNIVERSITE DE LORRAINE France Contribution nette de l'UE € 36 250,00 Adresse COURS LEOPOLD 34 54052 Nancy Cedex Voir sur la carte Région Grand Est Lorraine Meurthe-et-Moselle Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 36 250,00 COVENTRY UNIVERSITY Royaume-Uni Contribution nette de l'UE € 43 272,50 Adresse PRIORY STREET CV1 5FB Coventry Voir sur la carte Région West Midlands (England) West Midlands Coventry Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 43 272,50 THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD Royaume-Uni Contribution nette de l'UE € 36 250,00 Adresse WELLINGTON SQUARE UNIVERSITY OFFICES OX1 2JD Oxford Voir sur la carte Région South East (England) Berkshire, Buckinghamshire and Oxfordshire Oxfordshire Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 36 250,00 UNIVERSITAET KASSEL Allemagne Contribution nette de l'UE € 36 250,00 Adresse MONCHEBERGSTRASSE 19 34125 Kassel Voir sur la carte Région Hessen Kassel Kassel, Kreisfreie Stadt Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 36 250,00 MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV Allemagne Contribution nette de l'UE € 28 125,00 Adresse HOFGARTENSTRASSE 8 80539 Munchen Voir sur la carte Région Bayern Oberbayern München, Kreisfreie Stadt Type d’activité Research Organisations Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 28 125,00 UNIVERSITAT LINZ Autriche Contribution nette de l'UE € 36 250,00 Adresse ALTENBERGER STRASSE 69 4040 Linz Voir sur la carte Région Westösterreich Oberösterreich Linz-Wels Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 36 250,00