| |||||||||||
FMSAS 2012 : First International Workshop on Formal Methods for Self-Adaptive Systems | |||||||||||
Link: http://confsys.encs.concordia.ca/c3s2e/c3s2e12 | |||||||||||
| |||||||||||
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 |
|