From: "Javier Cámara Moreno" <jcmoreno@dei.uc.pt>
To: "Javier Cámara Moreno" <jcmoreno@dei.uc.pt>,
gdr.gpl@imag.fr, arp@cines.fr, alp-diffusion@univ-lille1.fr
Subject: [Caml-list] Call for Participation: FACS 2012
Date: Mon, 27 Aug 2012 16:19:29 +0200 [thread overview]
Message-ID: <503B81F1.1010103@dei.uc.pt> (raw)
In-Reply-To: <503B7E6D.1060406@dei.uc.pt>
[We apologize for multiple copies]
====================================================================
Call for Participation
FACS 2012
9th International Symposium
Formal Aspects of Component Software
http://www.cmu.edu/silicon-valley/facs12/
Mountain View, USA, September 12-14, 2012
====================================================================
* Scope *
The component-based software development approach has emerged as a
promising paradigm to cope with the complexity of present-day software
systems by bringing sound engineering principles into software
engineering. However, many challenging conceptual and technological
issues still remain in component-based software development theory and
practice. Moreover, the advent of service-oriented computing has
brought to the fore new dimensions, such as quality of service and
robustness to withstand inevitable faults, that require revisiting
established component-based concepts in order to meet the new
requirements of the service-oriented paradigm.
FACS 2012 is concerned with how formal methods can be used to make
component-based and service-oriented software development
succeed. Formal methods have provided a foundation for component-based
software by successfully addressing challenging issues such as
mathematical models for components, composition and adaptation, or
rigorous approaches to verification, deployment, testing, and
certification.
====================================================================
* Invited Speakers *
Tevfik Bultan, UC Santa Barbara
"Analyzing Interactions of Asynchronously Communicating Software Components"
Shaz Qadeer, Microsoft
"Safe programming of asynchronous interaction: Can we do it for real?"
====================================================================
* Registration *
The early registration deadline of FACS is August 31st.
The registration page is available on the FACS website:
http://www.cmu.edu/silicon-valley/facs12/index.html
====================================================================
* Accepted Papers *
* Harsh Beohar and Pieter Cuijpers. Desynchronisation of Concrete
Synchronous Systems
* Hanne Riis Nielson, Flemming Nielson and Roberto Vigo. A Calculus for
Quality
* Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Bjornsson and Arni
Herman Reynisson. Guided Search for Deadlocks in Actor-Based Models
* Nils Jansen, Erika Abraham, Barna Zajzon, Ralf Wimmer, Johann
Schuster, Joost Pieter Katoen and Bernd Becker. Symbolic Counterexample
Generation for Discrete-time Markov Chains
* Domenico Bianculli, Carlo Ghezzi and Pierluigi San Pietro. The Tale of
SOLOIST: a Specification Language for Service Compositions Interactions
* Sebastian Bauer, Rolf Hennicker and Axel Legay. Component Interfaces
with Contracts on Ports
* Qiusong Yang. Assumption Generation for Asynchronous Systems by
Abstraction Refinement
* Chris Chilton, Bengt Jonsson and Marta Kwiatkowska. Assume-Guarantee
Reasoning for Safe Component Behaviours
* Ralf Sasse, Samuel King, Jose Meseguer and Shuo Tang. IBOS: A
Correct-By Construction Modular Browser
* Frank de Boer, Mario Bravetti, Immo Grabe, Matias Lee, Martin Steffen
and Gianluigi Zavattaro. Proving Deadlock Freedom for Active Objects and
Futures
* Pablo Castro, Nazareno Aguirre, Carlos Gustavo Lopez Pombo and Tom
Maibaum. A Categorical Approach to Structuring and Promoting Z
Specifications
* Kyungmin Bae, Jose Meseguer and Peter Olveczky. Formal Patterns for
Multirate Distributed Real-Time Systems
* Christos Kloukinas and Mert Ozkaya. XcD - Modular, Realizable Software
Architectures
* Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu and Vasant Honavar.
Model Checking of Qualitative Sensitivity Preferences to Minimize
Credential Disclosure
* Stijn De Gouw and Frank S. De Boer. Run-Time Verification of Black-Box
Components using Behavioral Specifications: An Experience Report on Tool
Development
* Amir Molzam Sharifloo and Paola Spoletini. LOVER: Light-weight Formal
Verification of adaptivE systems at Run time
--
---------------------------------------------------------------
Javier Camara
Postdoctoral Research Associate
DEI - Departamento Engenharia Informática
University of Coimbra
Portugal
Mail: jcmoreno@dei.uc.pt
Web: www.javicamara.com
---------------------------------------------------------------
parent reply other threads:[~2012-08-27 14:41 UTC|newest]
Thread overview: expand[flat|nested] mbox.gz Atom feed
[parent not found: <503B7E6D.1060406@dei.uc.pt>]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=503B81F1.1010103@dei.uc.pt \
--to=jcmoreno@dei.uc.pt \
--cc=alp-diffusion@univ-lille1.fr \
--cc=arp@cines.fr \
--cc=gdr.gpl@imag.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox