| |||||||||||||||
FIT 2012 : 4th International Workshop on Foundations of Interface Technologies | |||||||||||||||
Link: http://fit2012.pst.ifi.lmu.de/ | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
WORKSHOP TOPIC & AIM
--------------------------- Component-based design is widely considered as a major approach to developing complex systems in a time- and cost-effective way. Component interfaces are central in this approach and summarize the externally visible properties of a component which can be syntactic properties such as operation signatures, but can also be behavioral and extra-functional properties such as quality of service, security and dependability. In recent years, rich interface formalisms have been proposed to specify legal sequences of messages, or resource and timing constraints. The challenge is to achieve compositionality - the key requirement for the effective analysis and prediction of global system behavior based on individual component behaviors. The aim of this workshop is to bring together researchers who are interested in the formal underpinnings of interface technologies. FIT 2012 is affiliated to ETAPS and will be held in Tallinn, Estonia. TOPICS OF INTEREST --------------------------- * Modeling of rich interfaces, handling aspects like o timeliness o QoS o safety o reliability o fault-tolerance o security o probability o resource constraints * Type systems * Design methods for interfaces, design by contract * Verification and analysis of interfaces: o abstraction o refinement o assume/guarantee reasoning o compositionality o property preservation o adaptation * Domain-specific interfaces, use of interfaces like o product lines o web services SUBMISSIONS ------------------------ FIT embraces an inclusive formula that emphasizes interaction and discussion. Researchers are encouraged to submit new results, work in progress, work already published, or work submitted for publication elsewhere. Submissions will be judged on general quality and prospective interest to workshop participants. Contributions should be typeset in EPTCS format, available at http://style.eptcs.org/ . Two kinds of submissions are considered: * Regular papers (up to 20 pages in EPTCS format), presenting original and unpublished work (which can also be a survey) * Abstracts (up to 3 pages in EPTCS format), presenting published work All papers should be submitted via EasyChair: https://www.easychair.org/conferences/?conf=fit2012 Informal proceedings will be given to registered participants. Regular papers will be published as post-proceedings after the workshop as a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS). IMPORTANT DATES ------------------------ * Submission: Monday, 19th December 2011 * Notification: Thursday, 19th January 2012 * Camera-ready version for the local pre-proceedings: Monday, 6th February 2012 * Workshop: Sunday, 25th March 2012 * Final version for Post-Proceedings (EPTCS): 12th April 2012 INVITED SPEAKERS ---------------------------------------- * José Luiz Fiadeiro (University of Leicester, UK) * Jiri Srba (Aalborg University, Denmark) * Karsten Wolf (Universität Rostock, Germany) PROGRAMME COMMITTEE ---------------------------------------- * Tevfik Bultan (University of California, Santa Barbara, USA) * Marco Faella (Università di Napoli "Federico II", Italy) * Rolf Hennicker (LMU München, Germany) * Holger Hermanns (Saarland University, Germany) * Kim G. Larsen (Aalborg University, Denmark) * Axel Legay (INRIA/IRISA Rennes, France) * Thomas Santen (Microsoft Research, Germany) * Sven Schewe (University of Liverpool, UK) * Mariëlle Stoelinga (University of Twente, The Netherlands) * Andrzej Wąsowski (IT University Copenhagen, Denmark) |
|