[TYPES/announce] FOCLASA 2006 CFP

Mirko Viroli mirko.viroli at unibo.it
Wed May 10 04:07:54 EDT 2006


Call for Papers -- Submission deadline: May 31, 2006

---------------
FOCLASA 2006
---------------

5th International Workshop on the
Foundations of Coordination Languages and Software Architectures

A Satellite Workshop of CONCUR 2006

http://foclasa06.lcc.uma.es/

Call for Papers

     FOCLASA 2006 is a satellite workshop of the 17th International 
Conference on Concurrency Theory CONCUR 2006. The workshop will be held 
at same location as CONCUR on August 31, 2006, one day after the main 
conference. The workshop tries to provide a venue where researchers and 
practitioners on the topics above can meet, exchange ideas and problems, 
identify some of the key and fundamental issues related to coordination 
languages and software architecture, and explore together and 
disseminate solutions.

     FOCLASA 2006 invites the submission of technical papers in any of 
the topics of interest and areas listed above.  Submissions must 
describe authors’ original research work and their results. Description 
of work-in-progress is also encouraged. The contributions should not 
exceed 15 pages formatted according to the style of the Electronic Notes 
on Theoretical Computer Science (ENTCS), and should be emailed as 
PostScript (PS) or Portable Document Format (PDF) files to 
foclasa06 at lcc.uma.es.

     All submissions will be reviewed by an international program 
committee that will select them for presentation in the workshop. 
Selected papers will be available through the workshop website, and a 
printed version of the proceedings will be distributed among 
participants during the workshop. The proceedings of the workshop will 
be published in Electronic Notes in Theoretical Computer Science (ENTCS).

     Participants will make a presentation of their papers (about twenty 
or twenty five minutes maximum), followed by a five to ten minutes round 
of questions and discussion on participants’ work. The workshop will 
also include a closing panel in which several issues related to the 
topics of the workshop and some issues raised during the workshop will 
be discussed. The Panel Chair will invite the panelists and moderate the 
debate.

     The publication of a special issue on FOCLASA 2006 in an 
international scientific journal is also being prepared. Selected 
participants will be invited to submit an extended version of their 
papers after the workshop. These extended versions will be reviewed by 
an international program committee, which will decide on their final 
publication on the special issue. Previous editions of FOCLASA have been 
published on Fundamenta Informaticae and Science of  Computer Programming.
Topics of interest

     Topics of interest include (but are not limited to):

     * Theoretical models (coordination, component composition, 
concurrency, semantics, expressiveness)
     * Specification, refinement, and analysis of software systems 
(architectures, patterns and styles, verification of functional and 
non-functional properties)
     * Languages for interaction, coordination, architectures, and 
interface definition (implementation, interoperability, heterogeneity)
     * Dynamic software architectures (mobile agents, 
self-organizing/adaptive/reconfigurable systems)
     * Tools and environments for the development of applications.

     In particular, practice, experience and methodologies from the 
following areas are solicited as well:

     * Web Services
     * Multi-agent systems
     * Peer-to-peer systems
     * Grid computing
     * Component- based systems

Program Committee

     Farhad Arbab, CWI, The Netherlands
     Luis Barbosa, University of Minho, Portugal
     Antonio Brogi, University of Pisa, Italy
     Carlos Canal (co-chair), University of Málaga, Spain
     Atsushi Igarashi, University of Kyoto, Japan
     Jean-Marie Jacquet, University of Namur, Belgium
     Nickolas Kavantzas, Oracle, USA
     Antónia Lopes, University of Lisbon, Portugal
     Ronaldo Menezes, Florida Institute of Technology, USA
     John-Jules Ch. Meyer, Universiteit Utrecht, The Netherlands
     Ernesto Pimentel, University of Málaga, Spain
     Pascal Poizat, University of Évry, France
     Alessandro Ricci, University of Bologna, Italy
     Vladimiro Sassone, University of Southampton, UK
     Miguel Valero, Universidad Complutense de Madrid, Spain
     Mirko Viroli (co-chair), University of Bologna, Italy
     Jan Vitek, Purdue University, USA

Important dates

     Submission:               May 31, 2006
     Notification of acceptance:          June 30, 2006
     Final version due:            July 20, 2006
     Workshop:                August 31, 2006

Organisation

Carlos Canal
Universidad de Málaga
ETSI Informática
Campus de Teatinos
29071 Málaga (Spain)
Phone: +34 952 13 33 11
Fax: +34 952 13 13 97
Web: http://www.lcc.uma.es/~canal


Mirko Viroli
Università degli Studi di Bologna
DEIS
via Venezia 52
47023 Cesena (Italy)
Phone: +39 547 339216
Fax: +39 547 339208
Web: http://www.ingce.unibo.it/~mviroli



More information about the Types-announce mailing list