##################################################################### Call for Participation
WS-FM:FASOCC 2014 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing 11th - 12th September, 2014 NEW LOCATION: Eindhoven, The Netherlands http://wsfm2014.haifa.ac.il/ ##################################################################### You are kindly invited to participate in the 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing (WS-FM:FASOCC 2014). The aim of the WS-FM:FASOCC workshop series is to bring together researchers working on SOC, cloud computing, and formal methods in order to catalyse fruitful collaboration. The scope of the workshop is not only limited to technological aspects. In fact, the workshop series has a strong tradition of attracting submissions on formal approaches to enterprise systems modelling in general, and business process modelling in particular. As in previous years, the workshop is co-located to the International Conference on Business Process Management (BPM 2014). After it was decided to relocate BPM 2014 from Haifa, Israel to Eindhoven, The Netherlands, WS-FM:FASOCC 2014 will also take place in Eindhoven, 11th - 12th September, 2014. The online registration for WS-FM:FASOCC is available at http://bpm2014.haifa.ac.il/practical-details/registration ############################ Programme ############################ WS-FM:FASOCC will run from 11th September (afternoon) until 12th September (noon). The full programme is available at http://wsfm2014.haifa.ac.il/?page_id=19 Keynotes * Verification of Data-Aware Processes Giuseppe De Giacomo, Sapienza Univ. Roma, Italy * Choreographic Programming Fabrizio Montesi, University of Southern Denmark, Denmark Research paper presentations * Paolo Arcaini, Roxana – Maria Holom and Elvinia Riccobene Modeling and formal analysis of a client-server application for Cloud services * Abel Armas, Marlon Dumas, Luciano Garcia-Banuelos and Artem Polyvyanyy On the Suitability of Generalized Behavioral Profiles for Process Model Comparison * Cinzia Di Giusto and Jorge A. Perez An Event-Based Approach to Runtime Adaptation in Communication Centric Systems * Marco Montali and Andrey Rivkin Formal Verification of Petri Nets with Names ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
