Objective 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 Topic(s) FETOPEN-CSA-FETEXCHANGE-2015 - FET Exchange Coordination and Support Activities 2015 Call for proposal H2020-FETOPEN-2014-2015 See other projects for this call Sub call H2020-FETOPEN-2015-CSA Funding Scheme CSA - Coordination and support action Coordinator UNIVERSITY OF BATH Net EU contribution € 114 456,25 Address CLAVERTON DOWN BA2 7AY Bath United Kingdom See on map Region South West (England) Gloucestershire, Wiltshire and Bristol/Bath area Bath and North East Somerset, North Somerset and South Gloucestershire Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Total cost € 114 456,25 Participants (10) Sort alphabetically Sort by Net EU contribution Expand all Collapse all RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN Germany Net EU contribution € 55 000,00 Address TEMPLERGRABEN 55 52062 Aachen See on map Region Nordrhein-Westfalen Köln Städteregion Aachen Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Total cost € 55 000,00 FONDAZIONE BRUNO KESSLER Italy Net EU contribution € 45 000,00 Address VIA SANTA CROCE 77 38122 Trento See on map Region Nord-Est Provincia Autonoma di Trento Trento Activity type Research Organisations Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Total cost € 45 000,00 UNIVERSITA DEGLI STUDI DI GENOVA Italy Net EU contribution € 45 000,00 Address VIA BALBI 5 16126 Genova See on map Region Nord-Ovest Liguria Genova Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Total cost € 45 000,00 MAPLESOFT EUROPE LIMITED United Kingdom Net EU contribution € 23 750,00 Address HILL HOUSE, 1 LITTLE NEW STREET EC4A 3TR London See on map SME The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed. Yes Region London Inner London — West Camden and City of London Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Total cost € 23 750,00 UNIVERSITE DE LORRAINE France Net EU contribution € 36 250,00 Address COURS LEOPOLD 34 54052 Nancy Cedex See on map Region Grand Est Lorraine Meurthe-et-Moselle Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Total cost € 36 250,00 COVENTRY UNIVERSITY United Kingdom Net EU contribution € 43 272,50 Address PRIORY STREET CV1 5FB Coventry See on map Region West Midlands (England) West Midlands Coventry Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Total cost € 43 272,50 THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD United Kingdom Net EU contribution € 36 250,00 Address WELLINGTON SQUARE UNIVERSITY OFFICES OX1 2JD Oxford See on map Region South East (England) Berkshire, Buckinghamshire and Oxfordshire Oxfordshire Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Total cost € 36 250,00 UNIVERSITAET KASSEL Germany Net EU contribution € 36 250,00 Address MONCHEBERGSTRASSE 19 34125 Kassel See on map Region Hessen Kassel Kassel, Kreisfreie Stadt Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Total cost € 36 250,00 MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV Germany Net EU contribution € 28 125,00 Address HOFGARTENSTRASSE 8 80539 Munchen See on map Region Bayern Oberbayern München, Kreisfreie Stadt Activity type Research Organisations Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Total cost € 28 125,00 UNIVERSITAT LINZ Austria Net EU contribution € 36 250,00 Address ALTENBERGER STRASSE 69 4040 Linz See on map Region Westösterreich Oberösterreich Linz-Wels Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Total cost € 36 250,00