3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2017) Affiliated with ETAPS 2017 Scope  Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of its state space, stand at the core of verification and synthesis problems for hybrid systems.

CALL FOR PAPERS

24th Reconfigurable Architectures Workshop (RAW 2017)              The 24th Reconfigurable Architectures Workshop (RAW 2017) will be held at the Buena Vista Palace Hotel in Orlando, Florida USA in May 2017. RAW 2017 is associated with the 31st Annual IEEE International Parallel & Distributed Processing Symposium (IEEE IPDPS 2017) and is sponsored by the IEEE Computer Society and the Technical Committee on Parallel Processing.

The 17th IEEE International Conference on Computer and Information Technology (IEEE CIT 2017) held jointly with NSS 2017 and ICA3PP 2017 Keynote speakers

20th IEEE International Symposium on Real-Time Computing (ISORC 2017) May 16-18, 2017 | The Fields Institute, Toronto, Canada | http://isorc2017.org/

Fourth International Workshop on Information Fusion for Smart Mobility Solutions (IFSMS17) In conjunction with the 8th International Conference on Emerging Ubiquitous Systems and Pervasive Networks EUSPN 2017.

You are invited to participate in The Third International Conference on Information Security and Digital Forensics (ISDF2017) that will be held in Metropolitan College, Thessaloniki, Greece on Dec 8-10, 2017. The event will be held over three days, with presentations delivered by researchers from the international community, including presentations from keynote speakers and state-of-the-art lectures. All registered papers will be published in SDIWC Digital Library, and in the proceedings of the conference.

Final Call for Workshops Proposals

The 13th International Conference on integrated Formal Methods (iFM 2017)

Turin, Italy | September 18th - 22nd, 2017 | http://www.ifm2017.di.unito.it/

Important Dates

• Workshop proposals due:  *Monday, 19 December, 2016*
• Workshop proposals notification:  Monday, January 16, 2017
• Workshops:  September 18-19, 2017

About iFM

iFM 2017 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.

Workshops can have the duration of one or two days. 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 September 18-19, 2017.

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 the iFM workshop chairs, Wolfgang Ahrendt and Michael Lienhardt .

Proposals should include:

• The name, the duration (1 or 2 days) 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 is on the workshop organizers. In particular, they are responsible for the following items:

• A workshop description (200 words) for inclusion in 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 iFM 2017 workshop organizers 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 2017.
• Workshop publicity (possibly including call for papers, submission and review process).
• Scheduling workshop activities in collaboration with the iFM workshop chairs.

Budget

The iFM organization will provide registration and organizational support for the workshops (including linking from the conferences web sites, set-up of meeting space, on-line and on-site registration). Registration fees must be paid by 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 STILEMA S.r.l. as part of the iFM registration. STILEMA S.r.l. will require the workshop fees as requested by each workshop organizer.


Evaluation Process

The proposals will be evaluated by the iFM organizing committee on the basis of their assessed benefit for prospective participants of iFM 2017. Prospective organizers may wish to consult the web pages of previous satellite events as examples:

• iFM 2016: http://en.ru.is/ifm/calls/
• 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 2017 will take place at the Cavallerizza Reale in Turin, Italy. The Cavallerizza Reale is set in the center of Turin, close to many historical buildings of the city, like the Mole Antonelliana, the royal palace of Turin, Palazzo Madama, Palazzo Carignano and the main building of the University.

Further Information and Enquiries

You are welcome to contact the iFM workshop chairs Wolfgang Ahrendt  and Michael Lienhardt

General Announcement

Not in Slideshow

Track: Workshop on Adaptive Technology (WAT 2017) The 8th International Conference on Ambient Systems, Networks and Technologies http://usp.us2.list-manage.com/track/click?u=e2bd2dfe2bca5a783c68a77df&id=61fe7a8330&e=7a0e921367 Theme Adaptive approach aims to aid the solution search of practical problems through auto-modifiable mathematical abstractions such as adaptive models and devices. In other words, the adaptive approach can be described as an auto-modifiable formalism.

STAF 2017 Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. The participating conferences focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.