Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
BETTY 2016 - BETTY Summer School 2016
Date2016-06-27 - 2016-07-01
Deadline2016-06-27
VenueKapetanios Odyssia Hotel, Limassol, Cyprus 
KeywordsCOST Action IC1201; Behavioural Types; Reliable Large-Scale Software
Topics/Call fo Papers
Lecturers and topics
? Massimo Bartoletti (University of Cagliari, Italy) :: Behavioural contracts
?Laura Bocchi (University of Kent, UK) :: Multiparty session types
?Luís Caires (Universidade Nova de Lisboa, Portugal) :: Linear logic and behavioural types
?Ornela Dardha (University of Glasgow, UK) :: Introduction to session types
?Raymond Hu (Imperial College London, UK) :: Practical programming with Scribble and session types
?Vasco Vasconcelos (University of Lisbon, Portugal) :: Type-based tools: SePi and ParTypes
?Philip Wadler (University of Edinburgh, UK) :: Title to be confirmed
? Massimo Bartoletti (University of Cagliari, Italy) :: Behavioural contracts
?Laura Bocchi (University of Kent, UK) :: Multiparty session types
?Luís Caires (Universidade Nova de Lisboa, Portugal) :: Linear logic and behavioural types
?Ornela Dardha (University of Glasgow, UK) :: Introduction to session types
?Raymond Hu (Imperial College London, UK) :: Practical programming with Scribble and session types
?Vasco Vasconcelos (University of Lisbon, Portugal) :: Type-based tools: SePi and ParTypes
?Philip Wadler (University of Edinburgh, UK) :: Title to be confirmed
Other CFPs
- 4th International Workshop on Advanced Information Systems for Enterprises
- 14th ACM-IEEE International Conference on Formal Methods and Models for System Design
- International Conference on Pattern Recognition Applications and Methods
- International Conference on Operations Research and Enterprise Systems (ICORES)
- International Conference on Agents and Artificial Intelligence
Last modified: 2016-03-30 22:44:50