[Apologies for multiple postings] -- FOCLASA 2015 Call for Participation -- FOCLASA 2015: 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems http://foclasa.lcc.uma.es/ 5 September 2015, Madrid (Spain) In conjunction with CONCUR 2015 ============================================================== FOCLASA 2015 is a workshop colocated with the 25th International Conference on Concurrency Theory (CONCUR 2015 - http://mafalda.fdi.ucm.es/concur2015). The goal of the FOCLASA workshop is to put together researchers and practitioners to share and identify common problems, and to devise general solutions in the context of coordination languages and self-adaptive systems.
This year FOCLASA has a joint programme with the International Symposium on Web Services, Formal Methods and Behavioural Types (WS-FM/BEAT 2015 - http://www.projects.science.uu.nl/WSFM-BEAT2015/index.php). The programme is available below. == WS-FM/BEAT programme on Friday == 14:30 - 16:00 Session 1 14:30 - 14:45 Opening 14:45 - 16:00 Static Analysis of Unbounded Networks with Behavioural Types. Cosimo Laneve (invited talk). 16:00 - 16:30 Break 16:30 - 18:45 Session 2 16:30 - 17:15 Type Inference for Session Types in the Pi-Calculus. Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hόttel, Mathias Ormstrup Bjerregaard, Niels Sonnich Poulsen and Sebastian Wahl. 17:15 - 18:00 Type checking purpose-based access control policies in the pi-calculus. Eleni Kokkinofta and Anna Philippou. 18:00 - 18:45 On honest interactions among untrusted services. Massimo Bartoletti and Roberto Zunino. == WS-FM/BEAT and FOCLASA joint programme on Saturday == 08:50 - 10:30 Session 1 08:50 - 09:00 Opening 09:00 - 09:45 A Context-Oriented Extension of F#. Andrea Canciani, Pierpaolo Degano, Gianluigi Ferrari and Letterio Galletta. 09:45 - 10:30 Specifying Finite-State Actors. Jonathan Schuster, Stephen Chang and Matthias Felleisen. 10:30 - 11:00 Break 11:00 - 13:00 Session 2 11:00 - 11:45 On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems. Marco Autili, Amleto Di Salle, Alexander Perucci and Massimo Tivoli. 11:45 - 13:00 Towards Dynamic Updates in Service Composition. Mario Bravetti (invited talk). 13:00 - 14:45 Lunch 14:45 - 16:00 Session 3 Title to be announced. Javier Esparza (invited talk) 16:00 - 16:30 Break 16:30 - 18:15 Session 4 16:30 - 17:15 A Constraint-based Approach for Generating Transformation Patterns. Asma Cherif and Abdessamad Imine. 17:15 - 18:00 Service Choreography, SBVR, and Time. Nurulhuda A. Manaf, Sotiris Moschoyiannis and Paul Krause. 18:00 - 18:15 Closing == PROGRAM COMMITTEE CHAIRS == * Jose Proenca iMinds-Distrinet, KU Leuven, Belgium and HASLab/INESC TEC, University of Minho, Portugal jose.proe...@cs.kuleuven.be * Massimo Tivoli University of L'Aquila, L'Aquila, Italy massimo.tiv...@univaq.it == PUBLICITY CHAIR == * Alexander Perucci, University of L'Aquila, Italy == PROGRAM COMMITTEE == * Farhad Arbab, CWI, The Netherlands * Marco Autili, Univ. of L'Aquila, Italy * Luis Barbosa, Universidade do Minho, Portugal * Steffen Becker, University of Paderborn, Germany * Javier Camara, Carnegie Mellon University, USA * Carlos Canal, University of Malαga, Spain * Carlos Cuesta, Rey Juan Carlos University, Spain * David Garlan, Carnegie Mellon University, USA * Alfredo Goldmann, University of Sγo Paulo, Brazil * Keijo Heljanko, Aalto University, Finland * Jean-Marie Jacquet, University of Namur, Belgium * Christian Krause, SAP Innovation Center, Germany * Sun Meng, Peking University, China * Liliana Pasquale, University of Limerick, Ireland * Jose Proenca, iMinds-Distrinet and HASLab/INESC TEC, KU Leuven, Belgium * Marjan Sirjani, Reykjavik University, Iceland * Carolyn Talcott, SRI International, USA * Massimo Tivoli, University of L'Aquila, Italy * Mirko Viroli, University of Bologna, Italy == STEERING COMMITTEE == * Farhad Arbab, CWI, The Netherlands * Antonio Brogi, University of Pisa, Italy * Carlos Canal, University of Malαga, Spain * Jean-Marie Jacquet, University of Namur, Belgium * Ernesto Pimentel, University of Malαga, Spain * Gwen Salaun, Grenoble INP - INRIA Grenoble - LIG, France ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
