posted by user: raclet || 3156 views || tracked by 6 users: [display]

FIT 2012 : 4th International Workshop on Foundations of Interface Technologies

FacebookTwitterLinkedInGoogle

Link: http://fit2012.pst.ifi.lmu.de/
 
When Mar 25, 2012 - Mar 25, 2012
Where Tallinn, Estonia
Submission Deadline Dec 19, 2011
Notification Due Jan 19, 2012
Final Version Due Feb 6, 2012
Categories    formal methods   design   software engineering   modeling
 

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)

Related Resources

CETA--EI 2025   2025 4th International Conference on Computer Engineering, Technologies and Applications (CETA 2025)
IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
ICDTHT 2025   ICDTHT´25 - The 2025 International Conference on Demographic Transition, Health and Technologies
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
CETA 2025   2025 4th International Conference on Computer Engineering, Technologies and Applications (CETA 2025)
MAT 2024   10th International Conference of Advances in Materials Science and Engineering
UBICOMM 2025   The Nineteenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies
ACIJ 2024   Advanced Computing: An International Journal
CENTRIC 2025   The Eighteenth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services
SOTICS 2025   The Fifteenth International Conference on Social Media Technologies, Communication, and Informatics