[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

Reply via email to