Summer School on Behavioural Approaches for API-Economy with Applications

by Emilio Tuosto, May 16, 2019

HIGHLIGHTS

- Early Registration (* only 2 weeks left *): May 31 2019
- Courses + Boot Camp from Actyx, DCR Solutions, and McAfee!
- Registration closes: June 20 2019
- Programme now available

                      Summer School on

Behavioural Approaches for API-Economy with Applications

               8-12 July 2019, Leicester, UK

https://www.um.edu.mt/projects/behapi/leicester-summer-school-behavioural-approaches-for-api-economy-with-applications/

HIGHLIGHTS

- Early Registration: May 31 2019  (* only 2 weeks left *)

- Courses + Boot Camp from Actyx, DCR Solutions, and McAfee!

- Registration closes: June 20 2019

- Programme now available

BACKGROUND:

A main goal of the BehAPI network is to facilitate the interactions between academia and industry by equipping API platforms with models, languages, and tools to support API-based software.  In this context, the school will feature theoretical and practical sessions on the following topics centred on the concept of behavioural APIs.

The school offers a nice mix of courses from academia and industry. Many courses will be supported by practical hands-on sessions with state-of-the-art tools and technology. The school will also host a bootcamp where companies will showcase their approaches to API development with hands-on sessions.

COURSES

* Temporal Coordination of Actors: Specification, Inference and Enforcement of Mechanisms

  Gul Agha (U. of Illinois at Urbana-Champain)

* Introduction to Session Types

  Ornela Dardha (U. of Glasgow)

* Choreographic Programming of Adaptive Applications

  Ivan Lanese (U. of Bologna)

* Foundations of runtime verification

  Karoliina Lehtinen (U. of Liverpool)

* Session Types meet Type Providers: Compile-time Generation of Protocol APIs

  Rumyana Neykova (Brunel University London)

  

* The impact of asynchronous communication on the theory of contracts and session types

  Gianluigi Zavattaro (U. of Bologna)

BOOT CAMP

* Industry use-case: uncompromisingly available agents

  Roland Kuhn (Actyx & member of the Akka initiative)

* Business Process Regulatory Compliance

  Hugo AndrĂ©s Lopez (DCR Solutions)

* Cybersecurity for the API economy

  Leonardo Frittelli, Facundo Maldonado, Andres More, Damian Quiroga (McAfee - Cordoba, Argentina)

 

REGISTRATION:

Early registration is 300 for student, academic and independent participants, and 500 for industry participants. The registration fee includes coffee breaks and lunches, but ** not ** accommodation; please see the conference webpage for advice.

The early registration deadline is ** May 31 **. Spaces are limited, so please register early to secure your place.