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

Website | Edit Freely

Category FMSAS 2012

Deadline: March 28, 2012 | Date: June 27, 2012-June 29, 2012

Venue/Country: Montreal, Canada

Updated: 2012-03-05 10:27:15 (GMT+9)

Call For Papers - CFP

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