When: Thursday, May 10 2018
Where: Room 6.3.38, Department of Informatics, FCUL, Campo Grande, Lisboa, Portugal.
Workshop Program:
11:30 – 11:35 Opening
11:35 – 12:00 HeadREST _ Specifying REST services, Vasco T. Vasconcelos
12:00 – 12:25 HeadREST Codegen _ Server stubs and client SDKs from your HeadREST spec, Telmo Santos
<Lunch break>
14:00 – 15:00 Typed Definitional Interpretation of a Communication-Based Concurrent Language, Peter Thiemann
<Break>
15:30 – 16:00 On the relationship between non-interference and computational security: an approach encompassing REST, Paulo Mateus
16:00 – 16:25 REST APIs _ How the cool kids do it nowadays, Alcides Fonseca
<Coffee break>
17:00 – 17:25 HeadREST Tester _ Testing APIs from your HeadREST spec, Francisco Martins
17:25 – 17:30 Closing
Sponsored by:
Project: UID/CEC/00408/2013
Project: PTDC/EEI-CTP/4503/2014