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

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

FacebookTwitterLinkedInGoogle

Link: http://confsys.encs.concordia.ca/c3s2e/c3s2e12
 
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.


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-templates

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

Related Resources

FormaliSE 2020   8th International Conference on Formal Methods in Software Engineering
CAV 2020   Computer Aided Verification
SEAMS 2020   15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
IJCAR 2020   10th International Joint Conference on Automated Reasoning
ABZ 2020   ABZ 2020 – 7th International Conference on Rigorous State Based Methods
ADAPTIVE 2020   The Twelfth International Conference on Adaptive and Self-Adaptive Systems and Applications
CREST 2020   5th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
NFM 2020   12th NASA Formal Methods Symposium
LiVe 2020   4th Workshop on Learning in Verification