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

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.
INVITED TALKS
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
WORKSHOP
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
'fmsas[at]confevent[dot]net'.
POSITION PAPERS
In addition to regular papers, position papers are invited. These
papers could be work in progress and/or exploring of new concepts and
directions.
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).
POSTER COMPETITION
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!
CALL FOR DEMOS
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.
CONFERENCE PUBLICATION
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
https://confsys.encs.concordia.ca/ConfSys
in PDF format and formatted using the ACM camera-ready templates
available at:
http://www.acm.org/sigs/publications/proceedings-t...
Please sign up as a user of ConfSys to log in and choose the correct
event.
IMPORTANT DATES
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
http://confsys.encs.concordia.ca/c3s2e

Note: You may have an issue signing into the secure site:
https://confsys.encs.concordia.ca/ConfSys
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:
http://confsys.encs.concordia.ca/cindi.crt
to import the certificate into your browser:
You may always use the non-secure server:
http://confsys.encs.concordia.ca/ConfSys