Cel APIs are typically flat structures, i.e. sets of service/method signatures specifying the expected service parameters and the kind of results one should expect in return. However, correct API usage also requires the individual services to be invoked in a specific order. Despite its importance, the latter information is either often omitted, or stated informally via textual descriptions. Behavioural Types are a suite of technologies that formalise of this information, elevating flat API descriptions to a graph structure of services. This permits automated analyses for correct API compositions so as to provide guarantees such as service compliance, deadlock freedom, dynamic adaptation in the presence of failure, load balancing etc. The proposed project aims to bring the existing prototype tools based on these technologies to mainstream programming languages and development frameworks used in industry. Dziedzina nauki natural sciencescomputer and information sciencessoftware Słowa kluczowe Component-Based Software Static Analysis Dynamic Analysis Type Systems Program(-y) H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions Main Programme H2020-EU.1.3.3. - Stimulating innovation by means of cross-fertilisation of knowledge Temat(-y) MSCA-RISE-2017 - Research and Innovation Staff Exchange Zaproszenie do składania wniosków H2020-MSCA-RISE-2017 Zobacz inne projekty w ramach tego zaproszenia System finansowania MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE) Koordynator UNIVERSITA TA MALTA Wkład UE netto € 110 250,00 Adres TAL OROQQ 2080 MSIDA Malta Zobacz na mapie Region Malta Malta Malta Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 128 250,00 Uczestnicy (21) Sortuj alfabetycznie Sortuj według wkładu UE netto Rozwiń wszystko Zwiń wszystko UNIVERSITY OF LEICESTER Zjednoczone Królestwo Wkład UE netto € 58 500,00 Adres UNIVERSITY ROAD LE1 7RH Leicester Zobacz na mapie Region East Midlands (England) Leicestershire, Rutland and Northamptonshire Leicester Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 85 500,00 NOVA ID FCT - ASSOCIACAO PARA A INOVACAO E DESENVOLVIMENTO DA FCT Portugalia Wkład UE netto € 130 500,00 Adres CAMPUS DE CAPARICA FACULDADE DE CIENCIAS E TECNOLOGIA DA UNIVERSIDADE NOVA DE LISBOA 2829 516 Caparica Zobacz na mapie Region Continente Área Metropolitana de Lisboa Área Metropolitana de Lisboa Rodzaj działalności Research Organisations Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 130 500,00 UNIVERSITY OF KENT Zjednoczone Królestwo Wkład UE netto € 49 500,00 Adres THE REGISTRY CANTERBURY CT2 7NZ Canterbury, Kent Zobacz na mapie Region South East (England) Kent East Kent Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 49 500,00 AALBORG UNIVERSITET Dania Wkład UE netto € 22 500,00 Adres FREDRIK BAJERS VEJ 7K 9220 Aalborg Zobacz na mapie Region Danmark Nordjylland Nordjylland Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 22 500,00 UNIVERSITY OF GLASGOW Zjednoczone Królestwo Wkład UE netto € 31 500,00 Adres UNIVERSITY AVENUE G12 8QQ Glasgow Zobacz na mapie Region Scotland West Central Scotland Glasgow City Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 40 500,00 IT-UNIVERSITETET I KOBENHAVN Dania Wkład UE netto € 45 000,00 Adres RUED LANGGAARDSVEJ 7 2300 Kobenhavn Zobacz na mapie Region Danmark Hovedstaden Byen København Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 81 000,00 ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA Włochy Wkład UE netto € 56 250,00 Adres VIA ZAMBONI 33 40126 Bologna Zobacz na mapie Region Nord-Est Emilia-Romagna Bologna Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 56 250,00 UNIVERSITA DEGLI STUDI DI TORINO Włochy Wkład UE netto € 18 000,00 Adres VIA GIUSEPPE VERDI 8 10124 Torino Zobacz na mapie Region Nord-Ovest Piemonte Torino Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 31 500,00 ACTYX AG Niemcy Wkład UE netto € 18 000,00 Adres MAX BILL STRASSE 38 80807 MUNCHEN Zobacz na mapie MŚP Organizacja określiła się jako MŚP (firma z sektora małych i średnich przedsiębiorstw) w czasie podpisania umowy o grant. Tak Region Bayern Oberbayern München, Kreisfreie Stadt Rodzaj działalności Private for-profit entities (excluding Higher or Secondary Education Establishments) Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 27 000,00 BITLAND SRL Zakończenie uczestnictwa Włochy Wkład UE netto € 0,00 Adres VIA CADUTI DI AMOLA 31 40132 Bologna Zobacz na mapie MŚP Organizacja określiła się jako MŚP (firma z sektora małych i średnich przedsiębiorstw) w czasie podpisania umowy o grant. Tak Region Nord-Est Emilia-Romagna Bologna Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity Brak danych IXARIS SYSTEMS (MALTA) LIMITED Malta Wkład UE netto € 0,00 Adres THE PENTHOUSE SUITE 1, ENTRANCE C, CAPITAL BUSINES TRIQ TAZ-ZWEJT SGN 3000 San Gwann Zobacz na mapie Region Malta Malta Malta Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity Brak danych GREEN BY WEB LDA Portugalia Wkład UE netto € 13 500,00 Adres LUGAR DE ASPRA SABADIM, CAIXA POSTAL 195 S/N 4970 371 Arcos De Valdevez Zobacz na mapie MŚP Organizacja określiła się jako MŚP (firma z sektora małych i średnich przedsiębiorstw) w czasie podpisania umowy o grant. Tak Region Continente Norte Alto Minho Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 13 500,00 COMUNE DI TORINO Zakończenie uczestnictwa Włochy Wkład UE netto € 0,00 Adres PIAZZA PALAZZO DI CITTA 1 10122 Torino Zobacz na mapie Region Nord-Ovest Piemonte Torino Rodzaj działalności Public bodies (excluding Research Organisations and Secondary or Higher Education Establishments) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity Brak danych XIBIS LIMITED Zjednoczone Królestwo Wkład UE netto € 9 000,00 Adres 2 METHUEN PARK SN14 0GB Chippenham Zobacz na mapie Region South West (England) Gloucestershire, Wiltshire and Bristol/Bath area Wiltshire CC Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 9 000,00 EXFORMATICS AS Zakończenie uczestnictwa Dania Wkład UE netto € 0,00 Adres DAG HAMMARSKJOLDS ALLE 13 2100 Kobenhavn Zobacz na mapie Region Danmark Hovedstaden Byen København Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity Brak danych MAIDSAFE.NET LIMITED Zakończenie uczestnictwa Zjednoczone Królestwo Wkład UE netto € 0,00 Adres 72 TEMPLEHILL KA10 6BE Troon, Ayrshire Zobacz na mapie MŚP Organizacja określiła się jako MŚP (firma z sektora małych i średnich przedsiębiorstw) w czasie podpisania umowy o grant. Tak Region Scotland Southern Scotland South Ayrshire Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity Brak danych DCR SOLUTIONS Dania Wkład UE netto € 0,00 Adres SNEKKERSTEN STATIONSVEJ 16 3070 Snekkersten Zobacz na mapie MŚP Organizacja określiła się jako MŚP (firma z sektora małych i średnich przedsiębiorstw) w czasie podpisania umowy o grant. Tak Region Danmark Hovedstaden Nordsjælland Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity Brak danych ITALIANASOFTWARE SRL Włochy Wkład UE netto € 0,00 Adres VIA SELICE 66A 40026 Imola Zobacz na mapie MŚP Organizacja określiła się jako MŚP (firma z sektora małych i średnich przedsiębiorstw) w czasie podpisania umowy o grant. Tak Region Nord-Est Emilia-Romagna Bologna Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity Brak danych GRAN SASSO SCIENCE INSTITUTE Włochy Wkład UE netto € 67 500,00 Adres VIA FRANCESCO CRISPI 7 67100 L'Aquila Zobacz na mapie Region Sud Abruzzo L’Aquila Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 67 500,00 CAIXA MAGICA SOFTWARE SA Portugalia Wkład UE netto € 0,00 Adres RUA SOEIRO PEREIRA GOMES LOTE 1 4 B EDIFICIO ESPANHA 1600 196 Lisboa Zobacz na mapie MŚP Organizacja określiła się jako MŚP (firma z sektora małych i średnich przedsiębiorstw) w czasie podpisania umowy o grant. Tak Region Continente Área Metropolitana de Lisboa Área Metropolitana de Lisboa Rodzaj działalności Private for-profit entities (excluding Higher or Secondary Education Establishments) Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity Brak danych CODEBAKER SRLS Włochy Wkład UE netto € 0,00 Adres VIA FRANCESCO DE SANCTIS, 7 F 40132 BOLOGNA Zobacz na mapie Region Nord-Est Emilia-Romagna Bologna Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity Brak danych Partnerzy (4) Sortuj alfabetycznie Sortuj według wkładu UE netto Rozwiń wszystko Zwiń wszystko Partner Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant. CARNEGIE MELLON UNIVERSITY Stany Zjednoczone Wkład UE netto € 0,00 Adres FORBES AVENUE 5000 15213 Pittsburgh Zobacz na mapie Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 63 000,00 Partner Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant. UNIVERSIDAD DE BUENOS AIRES Argentyna Wkład UE netto € 0,00 Adres CALLE VIAMONTE 430 1053 Buenos Aires Zobacz na mapie Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 144 000,00 Partner Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant. THE BOARD OF TRUSTEES OF THE UNIVERSITY OF ILLINOIS Stany Zjednoczone Wkład UE netto € 0,00 Adres 506 S. WRIGHT STREET, 209 HAB, MC 339 61801 URBANA IL Zobacz na mapie Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 49 500,00 Partner Organizacje partnerskie biorą udział w realizacji działania, jednak nie podpisują umowy o grant. MCAFEE ARGENTINA S.A. Argentyna Wkład UE netto € 0,00 Adres ALEM LEANDRO N. AV. 518 PISO 2 Cordoba Zobacz na mapie Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 13 500,00