posted by system || 3054 views || tracked by 7 users: [display]

FMSAS 2012 : First International Workshop on Formal Methods for Self-Adaptive Systems


When Jun 27, 2012 - Jun 29, 2012
Where Montreal, QC, Canada
Submission Deadline Mar 28, 2012
Categories    formal methods

Call For Papers

This meeting provides an excellent opportunity to learn about the new
problems being investigated not only in your domain but related ones
in computing science and software engineering. It is hope that the
application of a set of tools in one domain would lead to cross
fertilization and provide new insights and application of known
recipes. The conference will have focused sessions in the following
areas: Algorithms and theory; artificial intelligence; bio-medical,
life science and medical computing; computational linguistics;
computing applications; databases, data mining; e-commerce; hardware
and architecture; human-computer interaction; parallel computing;
programming languages; privacy and security; software engineering;
supercomputing; system technology; virtual reality; web design and
development; as well as emerging computing technologies.

Health: a new concept and many new opportunities in the Age of Social Media
Alejandro (Alex) R. Jadad, MD DPhil,
University of Toronto and University Health Network


First International Workshop on Formal Methods for Self-Adaptive
Systems (FMSAS 2012). Submissions for the workshops are through
ConfSys(see below).Please address any inquiries about the workshop to


In addition to regular papers, position papers are invited. These
papers could be work in progress and/or exploring of new concepts and

Position papers should be clearly marked on the first page and for the
review purpose could be of a length varying from a short paper(6-10
pages) to a regular full paper(15-20 pages).


This is an integral part of this meeting. In the poster session,
graduate students are invited to compete by presenting their work in
progress. The students have a chance to orally make a presentation
(three-five minutes) and also display the salient features of their
work and answer questions. The posters would be judged by the
participants and the best poster(s) would be awarded prize(s).

Poster submissions should be marked as such on the first page to
distinguish them from regular papers. The length of a poster paper for
review purpose would be 5-7 pages.

An accepted poster would be limited to 4 pages in ACM
proceedings style (double-columned pages) and should describe (i)
motivation for the presented concepts, (ii) the technology and the
system, and (iii) the significance of the contribution.

The student's advise(s)r could be co:author(s) of a poster
paper. Poster papers would be published as part of the
proceedings. Currently we are hoping to waive the registration fee for
students who only have an accepted poster!


In addition to the research and poster papers, C3S2E-09 also invites
quality demo papers. The demo session of C3S2E-09 will provide
researchers and practitioners an exciting and highly interactive way to
explore new ideas and results. In the session, graduate students are
invited to present their work in progress. The students have a chance to
interactively show a demo and answer questions. Research prototype
demonstration should focus on developments in any of the computing
science and software engineering areas mentioned above, showing new
technological advances in applying computing science and software
engineering techniques.

All demo submissions must be within 3 pages in ACM proceedings style
(double-columned pages) and should describe (i) motivation for the
presented concepts, (ii) system components, (iii) implementation
techniques, and (iv) the significance of the contribution.

The student's adviser could be co-authors of a demo paper. Demo papers
would be published as part of the proceedings.


The conference proceedings will be published by BytePress in
association with ACM and would be added to ACM's Digital Library. All
submissions would also be invited to publish their papers in the CINDI
Digital Library. The extended version of the best papers would also be
invited for publication in the first issue of CS2E journal which would
be launched in 2012.

All accepted papers along with the copyright forms must be submitted
electronically before the deadline to

in PDF format and formatted using the ACM camera-ready templates
available at:

Please sign up as a user of ConfSys to log in and choose the correct


All the dates are given on the milestone page on ConfSys for
C3S2E. The following are the salient ones:

ConfSys user Sign-Up begins: Always on
Paper submission begins: 2012-01-01
Paper submission deadline: 2012-03-28
Workshop submission deadline: 2012-04-01
Acceptance notice: 2012-05-07
Camera-ready copies deadline: 2012-06-04
Conference dates: 2012-06-27 -- 2012-06-29
Note: You may have an issue signing into the secure site:

This is a feature of new mass market browsers which automatically
rejects self-signed certificate. Try to see if the browser would allow
you to view the certificate and ascertain that it is issued by
us(CINDI Group). Then accept it "once" and make sure it is the correct
authority. Once you are satisfied, you can "import" the certificate in
your browser. One method of importing the certificate is to go to the
main site and point your browser to:

to import the certificate into your browser:

You may always use the non-secure server:

Related Resources

FM 2023   Formal Methods
AI 2022   8th International Conference on Artificial Intelligence and Applications
SBMF 2022   25th Brazilian Symposium on Formal Methods
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
ModeVVa 2022   19th Workshop on Model Driven Engineering, Verification and Validation
iccq 2023   The Third International Conference on Code Quality
VSTTE 2022   14th International Conference on Verified Software: Theories, Tools, and Experiments
FTSCS 2022   8th International Workshop on Formal Techniques for Safety-Critical Systems
ICLA 2022   10th Indian Conference on Logic and its Applications
FACS 2022   18th International Conference on Formal Aspects of Component Software