12th International Conference on integrated Formal Methods (FM 2016)
http://ifm2016.ru.is | June 1-5, 2016 - Reykjavik, Iceland
CALL FOR AFFILIATED WORKSHOPS
Prospective workshop organizers are invited to submit proposals for workshops to be affiliated to iFM 2016, on topics related to the conferences main subjects.
Important Dates
- Submission of workshop proposals: by September 21, 2015 (extended)
- Notification: by Oktober 5, 2015 (extended)
- Workshops: June 4-5, 2015
Submission via e-mail
Marcel Kyas <marcel@ru.is> - Workshop chair
About iFM
iFM 2016 is concerned with how the application of formal methods may involve modelling different aspects of a system which are best expressed using different formalisms. Correspondingly, different analysis techniques may be used to examine different system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding modelling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.
One day workshops will be held in conjunction with the main events.
Prospective workshop organizers are requested to follow the guidelines below and are encouraged to contact the workshop chairs if any questions arise.
The following speakers are invited to iFM2016:
- Marsha Chechik (University of Toronto, Canada)
- Edmund M. Clarke (Carnegie Mellon University, USA)
- Laura Kovács (Chalmers University of Technology, Sweden)
- Reiner Hähnle (Technical University Darmstadt, Germany)
The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application.
The workshops take place on June 4-5, 2016.
Proposal and Submission Guidelines
Workshop proposals must be written in English, not exceed 5 pages with a reasonable font and margins, and be submitted in PDF format via email to Marcel Kyas (marcel@ru.is).
Proposals should include:
- The name and the preferred date of the proposed workshop
- A short description of the workshop.
- If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance.
- The publicity strategy that will be used by the workshop organizers to promote the workshop.
- The participant solicitation and selection process.
- The target audience and expected number of participants.
- Approximate budget proposal (see section Budget below for details).
- The equipment and any other resource necessary for the organization of the workshop.
- The name and short CV of the organizer(s).
- The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...)
Organizers Responsibilities
The scientific responsibility of organizing a workshop goes to the workshop organizers. In particular, they are responsible for the following items:
- A workshop description (200 words) for inclusion n the iFM site.
- Hosting and maintaining web pages to be linked from the iFM site. Workshop organizers can integrate their pages into the main iFM pages.
- Workshop proceedings, if any. If there is sufficient interest, the organizer of iFM 2016 may contact the editor-in-chief of the Electronic Proceedings in Theoretical Computer Science (http://info.eptcs.org/) for having a common volume dedicated to the workshops of iFM 2016.
- Workshop publicity (possibly including call for papers, submission and review process).
- Scheduling workshop activities in collaboration with the iFM workshop chair.
If you intend to organize a workshop but you need more time to prepare your proposal please let us know.
Please note that as the number of tourists travelling to Iceland in summer time is exceeding its population, we need to know the number of participants before March 23 to be able to reserve accommodation. We cannot guarantee accomodation for participants that register after March 23.
Budget
The iFM organization will provide registration and organizational support for the workshops (including link from the conferences web sites, set-up of meeting space, on-line and on-site registration). Registration fees must be paid for all participants, including organizers and invited guests.
To cover lunches, coffee breaks and basic organizational expenses, all workshops will be required to charge a minimum participation fee (the precise amount is still to be determined). Each workshop may increase this fee to cover additional expenses such as publication charges, student scholarships, costs for invited speakers, etc. All fees will be collected by the iFM organizers as part of the registration, then additional funds will be redistributed to the individual workshop organizers.
Evaluation Process
The proposals will be evaluated by the iFM organizing committee on the basis of their assessed benefit for prospective participants of iFM 2016. Prospective organizers may wish to consult the web pages of previous satellite events as examples:
- iFM 2014: http://ifm2014.cs.unibo.it/workshops.html
- iFM 2013: http://www.it.abo.fi/iFM2013/workshops_and_tutorials.php
- iFM 2012: http://ifm-abz.isti.cnr.it/styled-4/speakers.html
- iFM 2010: http://ifm2010.loria.fr/satellite.html
- iFM 2009: http://www.formal-methods.de/ifm09/workshops.html
Venue
iFM 2016 will take place at the Campus of Reykjavik University, Iceland. The campus at Reykjavik University is set in one of the most beautiful areas next to Iceland's only geothermal beach. The building has well equipped classrooms.
Further Information and Enquiries
Please contact the workshop chair Marcel Kyas <marcel@ru.is>
Call For Papers
CPS Security & Privacy 2016 : Call for Book Chapter Proposals for Security and Privacy in Cyber-Physical Systems: Foundations and Applications (Wiley)
Submission Deadline Aug 31, 2015
Notification Due Sep 15, 2015
Final Version Due Nov 30, 2015
Dear Colleague,
We would like to cordially invite you to contribute a book chapter to a forthcoming book entitled "Security and Privacy in Cyber-Physical Systems: Foundations and Applications" which will be published by Wiley.
Call for Chapters
Chapter Proposal Submission by August 31, 2015.
Submission Procedure:
Please email your abstract (max. 500 words) by August 31, 2015 to cps.wiley@gmail.com and indicate the specific chapter where your work best fits or propose your own topic relevant to the theme of the book.
Please provide the following points in your proposals/abstracts:
1. Title of the contribution,
2. Title of the chapter (of the tentative TOC) if the contribution refers to one of them,
3. Name of author, co-authors, institution, email-address,
4. Content/mission of the proposed article.
Authors of accepted proposals will be notified by the given deadline about the status of their proposals and sent chapter guidelines.
The topics of interest include but are not limited to:
Part I: Foundations and Principles
Chapter 1. Cybersecurity and Privacy: Past, Present and Future
Chapter 2. The interplay of Cyber, Physical, and Human elements in CPS
Chapter 3. Adaptive attack mitigation for CPS
Chapter 4. Authentication and access control for CPS
Chapter 5. Availability, recovery and auditing for CPS
Chapter 6. Data security and privacy for CPS
Chapter 7. Intrusion detection for CPS
Chapter 8. Key management in CPS
Chapter 9. Legacy CPS system protection
Chapter 10. Lightweight crypto and security
Chapter 11. Threat modeling for CPS
Chapter 12. Vulnerability analysis for CPS
Part II: Application Domains
Chapter 13. Energy
Chapter 14. Medical
Chapter 15. Transportation
Chapter 16. Physical Infrastructure
Chapter 17. Manufacturing
Chapter 18. Building
Chapter 19. Agriculture
Chapter 20. Robotics
Chapter 21. Unmanned Aerial Vehicles
Chapter 22. Smart Cities
Editors:
- Houbing Song, West Virginia University, USA (Houbing.Song@mail.wvu.edu)
- Glenn A. Fink, Pacific Northwest National Laboratory, USA (Glenn.Fink@pnnl.gov)
- Sabina Jeschke, RWTH Aachen University, Germany (sabina.jeschke@ima-zlw-ifu.rwth-aachen.de)
- Gilad L. Rosner, Internet of Things Privacy Forum, UK (gilad@giladrosner.com)
12th International Conference on integrated Formal Methods, iFM 2016
http://ifm2016.ru.is | June 1-5, 2016 - Reykjavík, Iceland
CALL FOR AFFILIATED WORKSHOPS
Prospective workshop organizers are invited to submit proposals for workshops to be affiliated to iFM 2016, on topics related to the conferences main subjects.
About iFM
iFM 2016 is concerned with how the application of formal methods may involve modelling different aspects of a system which are best expressed using different formalisms. Correspondingly, different analysis techniques may be used to examine different system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding modelling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.
One day workshops will be held in conjunction with the main events. Prospective workshop organizers are requested to follow the guidelines below and are encouraged to contact the workshop chairs if any questions arise.
The purpose of the workshops is to provide participants with a,friendly, interactive atmosphere for presenting novel ideas and.discussing their application.
The workshops take place on June 4-5, 2016.
Important Dates
- Submission of workshop proposals: by July 20, 2015
- Notification: by August 3, 2015
- Workshops: June 4-5, 2016
Submission via e-mail
Marcel Kyas <marcel@ru.is> - Workshop chair
Proposal and Submission Guidelines
Workshop proposals must be written in English, not exceed 5 pages with a reasonable font and margins, and be submitted in PDF format via email to Marcel Kyas (marcel@ru.is).
Proposals should include:
- The name and the preferred date of the proposed workshop
- A short description of the workshop.
- If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance.
- The publicity strategy that will be used by the workshop organizers to promote the workshop.
- The participant solicitation and selection process.
- The target audience and expected number of participants.
- Approximate budget proposal (see section Budget below for details).
- The equipment and any other resource necessary for the organization of the workshop.
- The name and short CV of the organizer(s).
- The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...).
Organizers Responsibilities
The scientific responsibility of organizing a workshop goes to the workshop organizers. In particular, they are responsible for the following items:
- A workshop description (200 words) for inclusion n the iFM site.
- Hosting and maintaining web pages to be linked from the iFM site. Workshop organizers can integrate their pages into the main iFM pages.
- Workshop proceedings, if any. If there is sufficient interest, the organizer of iFM 2016 may contact the editor-in-chief of the Electronic Proceedings in Theoretical Computer Science (http://info.eptcs.org/) for having a common volume dedicated to the workshops of iFM 2016.
- Workshop publicity (possibly including call for papers, submission and review process).
- Scheduling workshop activities in collaboration with the iFM workshop chair.
Budget
The iFM organization will provide registration and organizational support for the workshops (including link from the conferences web sites, set-up of meeting space, on-line and on-site registration). Registration fees must be paid for all participants, including organizers and invited guests.
To cover lunches, coffee breaks and basic organizational expenses, all workshops will be required to charge a minimum participation fee (the precise amount is still to be determined). Each workshop may increase this fee to cover additional expenses such as publication charges, student scholarships, costs for invited speakers, etc. All fees will be collected by the iFM organizers as part of the registration, then additional funds will be redistributed to the individual workshop organizers.
Evaluation Process
The proposals will be evaluated by the iFM organizing committee on the basis of their assessed benefit for prospective participants of iFM 2016. Prospective organizers may wish to consult the web pages of previous satellite events as examples:
- iFM 2014: http://ifm2014.cs.unibo.it/workshops.html
- iFM 2013: http://www.it.abo.fi/iFM2013/workshops_and_tutorials.php
- iFM 2012: http://ifm-abz.isti.cnr.it/styled-4/speakers.html
- iFM 2010: http://ifm2010.loria.fr/satellite.html
- iFM 2009: http://www.formal-methods.de/ifm09/workshops.html
Venue
iFM 2016 will take place at the Campus of Reykjavík University, Iceland. The campus at Reykjavík University is set in one of the most beautiful areas next to Iceland's only geothermal beach. The building has well equipped classrooms.
Further Information and Enquiries
Please contact the workshop chair Marcel Kyas <marcel@ru.is>