Prior to the summer school in Leicester, a one-day workshop shall be organised on 6th July, where various speakers from all around the globe shall be giving short talks on
The principal activities for knowledge sharing is meetings, workshops, schools, and bootcamps. Meetings give the opportunity to share, within the whole consortium, the experience collected during the secondments among the sites, to identify future challenges and promising directions, and to align research agendas and progress. Workshops are an effective means to disseminate the results of BehAPI to the larger community of scientists and practitioners. Schools and boot camps provide the occasions for advanced training and foster effective transfer of knowledge about the theoretical techniques for and the practical approaches to software development both at the inter- and intra intersectoral level. We exploit the synergy between school and boot camps to turn new ideas into innovative products, by featuring tool demonstration sessions on one hand and entrepreneurship sessions for ESRs (Early Stage Researchers) and ERs (Experienced Researchers) run by industrial partners, on the other hand.
MOTIVATION AND SCOPE Following the success of the first edition in 2017, RADICAL proposes a workshop aligned within the intersection between concurrency and logic, broadly construed. Admittedly broad, such an
The school will feature theoretical and practical sessions on the concept of behavioural APIs. We are proud of offering a nice mix of courses and boot-camps from academia and industry.
[Google Maps Location] As required by the H2020 grant agreement, all participants are to take part in a mid-term meeting. This shall be held on the 5th July at the
This workshop will present ongoing research on behavioural types to assist the development of correct protocol-based systems in the large, by members of the project and by other researchers working
PLACES aims to offer a forum where researchers from different fields exchange new ideas on one of the central challenges for programming: the development of programming methodologies and infrastructures where