[TYPES/announce] Call for Participation: Fmoods'07 (as part of DisCoTec 07. Paphos, Cyprus, 6.-8. June 2007)
Martin Steffen
msteffen at ifi.uio.no
Tue Apr 24 02:29:59 EDT 2007
-----------------------------------------------------------------
Call for Participation
FMOODS 2007
9th IFIP International Conference on
Formal Methods for Open Object-Based Distributed Systems
http://www.liacs.nl/home/marcello/FMOODS
----------------------------------------------------------------
As part of DisCoTec, the federated conferences on
Distributed Computing Techniques
- Fmoods'07
- COORDINATION'07 (9th International Conference on Coordination
Models and Languages)
- DAIS'07 (7th IFIP International Conference on Distributed
Applications and Interoperable Systems)
http://www.discotec07.cs.ucy.ac.cy
Paphos, Cyprus 6 - 8 June 2007
-------------------------------------------------------------------
plus
- 1 day pre-conference workshop as a merge of
* DSE: International Workshop on Dynamic Software Evolution.
Organizers: Manuel Oriol (ETHZ), Oscar Nierstrasz (U. Bern)
* MTCoord'07: 3rd International Workshop on Methods and Tools
for Coordinating Concurrent, Distributed and Mobile Systems-
Organizers: Carolyn Talcott and Isabelle Linden
o Early registration deadline approaching (until 5 May 2007)
o for
- further registration details (student reductions, workshop fees...),
- travel information and information about Cyprus,
see (under "registration")
http://www.discotec07.cs.ucy.ac.cy
- for accepted papers of the conferences, the call for papers, and
further information, consult the web-site, as well.
o Invited speakers for the joint event:
- Mariangiola Dezani-Ciancaglini, University of Torino, Italy
- Rachid Guerraoui,
School of Computer and Communication Sciences,
Ecole Polytechnique Federale de Lausanne
- Wolfgang Ahrendt, Chalmers University of Technology, Göteborg
-----------------------------------------------------------------------------
PROGRAM of Fmoods'07 (for exact time slots, see the web page)
-----------------------------------------------------------------------------
o WEDNESDAY June 6th
- INVITED SPEAKER FMOODS: Mariangiola Dezani-Ciancaglini
Asynchronous Session Types and Progress for
Object Oriented Languages
- Session: REWRITING LOGIC
* On Formal Analysis of OO Languages using Rewriting Logic:
Designing for Performance
M. Hills and G. Rosu
* Distributed applications implemented with parameterized skeletons
in Maude
A. Riesco and A. Verdejo
* Formal Modeling and Analysis of the OGDC Wireless Sensor
Network Algorithm in Real-Time Maude
P. C. Olveczky and S. Thorvaldsen
- Session: ALGEBRAIC CALCULI
* A Mechanized Model of the Theory of Objects
L. Henrio and F. Kammueller
* Pict Correctness Revisited
P. Bidinger and A. Compagnoni
- Session 3: MODEL CHECKING
* Analysis of UML Activities using Dynamic Meta Modeling
C. Soltenborn, H. Wehrheim and G. Engels
* Verifying Distributed, Event-Based Middleware Applications Using
Domain-Specific Software Model Checking
L. R. Cai, J. Bradbury and J. Dingel
* Model checking of Extended OCL constraints on UML models in SOCLe
J. Mullins and R. Oarga
o Thursday, June 7th
- INVITED SPEAKER FMOODS: Wolfgang Ahrendt
KeY - A Formal Method for Object-Oriented Systems
- Session 4: QUANTITATIVE ANALYSIS
* Performance-Oriented Comparison of Web Services via
Client-Specific Testing Preorders
M. Bernardo and L. Padovani
* A Probabilistic Formal Analysis Approach to Cross Layer
Optimization in Distributed Embedded Systems
M. Kim, M.-O. Stehr, C. Talcott, N. Dutt and N. Venkatasubramanian
* On Resource-Sensitive Timed Component Connectors
M. Sun and F. Arbab
- Session 5: COMPONENTS AND SERVICES I
(Joint session FMOODS and Coordination)
* A Representation-Independent Behavioral Semantics for
Object-Oriented Components
A. Poetzsch-Heffter and J. Schäfer
* Combining Formal Methods and Aspects for Specifying and
Enforcing Architectural Invariants
S. Kallel, A. Charfi, M. Mezini, M. Jmaiel
* A Formal Language for Electronic Contracts
C. Prisacariu and G. Schneider
o FRIDAY June 8th
- INVITED SPEAKER COORDINATION
Rachid Guerraoui
Sommersby: The Return of the Transaction
- Session 6: SPECIFICATION, VERIFICATION, AND REFINEMENT
* A Sound and Complete Shared-Variable Concurrency Model for
Multi-Threaded Java Programs
F. de Boer
* Refactoring object-oriented specifications with data and processes
T. Ruhroth and H. Wehrheim
* A Refinement Method for Java Programs
H. Grandy, K. Stenzel and W. Reif
- SESSION 7: COMPONENTS AND SERVICES II
(Joint session Coordination and FMOODS)
* Component Connectors with QoS Guarantees
F. Arbab, T. Chothia, M. Sun, Y.-J. Moon
* Adaptation of Open Component-based Systems
P. Poizat and G. Salaün
* Context-Based Adaptation of Component Behavioural Interfaces
J. Ca'mara, C. Canal Velasco, J. Cubo, E. Pimentel, G. Salaun
------------------------------------------------------------------------------------------------------------
OBJECTIVES AND SCOPE:
Established in 1996, the FMOODS series of conferences aims to provide
an integrated forum for research on formal aspects of Open Object-based
Distributed Systems. The conference will especially welcome novel
contributions reflecting recent developments in the area, in particular
component- and model-based design, service-oriented computing and
software quality. Areas of interest include but are not limited to:
- Semantics and implementation of object-oriented programming and
(visual) modelling languages
- Formal techniques for specification, design, analysis, verification,
validation and testing
- Model checking, theorem proving and deductive verification
- Type systems and behavioural typing
- Formal methods for service-oriented computing
- Formal techniques for security and trust in global computing
- Formalization of runtime system evolution (e.g. dynamic updates,
reconfiguration)
- Multiple viewpoint modelling and consistency between different views
- Model transformations and refactorings
- Integration of quality of service requirements into formal models
- Formal approaches to component-based design
- Applications of formal methods (e.g. web services, multimedia,
telecommunications)
- Experience reports on best practices and tools
ORGANISERS:
General chair:
George Papadopoulos (U. of Cyprus, CY)
PC chairs:
Einar Broch Johnsen (U. of Oslo, NO)
Marcello Bonsangue (LIACS, NL)
Publicity Chair:
Martin Steffen (U. of Oslo, NO)
Steering Committee:
John Derrick (U. of Sheffield, UK)
Roberto Gorrieri (U. of Bologna, IT)
Elie Najm (ENST, Paris, FR)
Carolyn Talcott (SRI International, US)
Program Committee
Bernhard Aichernig (TU. of Graz, AT)
Alessandro Aldini (U. of Urbino, IT)
Frank de Boer (CWI, NL)
Eerke Boiten (U. of Kent, UK)
Marcello Bonsangue (LIACS, NL)
John Derrick (U. of Sheffield, UK)
Einar Broch Johnsen (U. of Oslo, NO)
Robert France (Colorado State U., US)
Reiko Heckel (U. of Leicester, UK)
Naoki Kobayashi (Tohoku University, JP)
Zhiming Liu (UNU-IIST, MO)
Elie Najm (ENST, Paris, FR)
David Naumann (Stevens Inst. of Technology, US)
Uwe Nestmann (TU of Berlin, DE)
Erik Poll (U. of Nijmegen, NL)
Antonio Ravara (TU of Lisbon, PT)
Arend Rensink (U. of Twente, NL)
Ralf Reussner (U. of Karlsruhe, DE)
Grigore Rosu (U. of Illinois at Urbana-Champaign, US)
Bernhard Rumpe (TU Braunschweig, DE)
Martin Steffen (U. of Oslo, NO)
Carolyn Talcott (SRI International, US)
Heike Wehrheim (U. of Paderborn, DE)
Martin Wirsing (U. of Munich DE)
Wang Yi (Uppsala University, SE)
Gianluigi Zavattaro (U. of Bologna, IT)
Elena Zucca (U. of Genova, IT)
More information about the Types-announce
mailing list