posted by system || 3337 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

FM 2024   Formal Methods
SOEN 2024   9th International Conference on Software Engineering
ICFEM 2024   International Conference on Formal Engineering Methods
ITCCMA 2024   11th International Conference on Information Technology, Control, Chaos, Modeling and Applications
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
TAP 2024   18th International Conference on Tests and Proofs
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
ReacTS 2024   International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
SIMULTECH 2024   14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
CONISOFT 2024   12th International Conference on Software Engineering Research and Innovation