List of workshops - page 11
- [iFM 2017] Final Call for Workshops Proposals
The 13th International Conference on integrated Formal Methods (iFM 2017)
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.
- ECOOP 2017 - Call for Workshop Proposals
In 2017, the European Conference on Object-Oriented Programming
(ECOOP), will be held in Barcelona, Spain. ECOOP will host an array of workshops on a variety of topics in computing from June 19th through 20th.
The deadline for workshop proposals will be ***January 31st, 2017***
Typically, a workshop either addresses a focused topic in depth
or explores connections between object-oriented technologies and other areas.- [iFM'17] Call for Workshops at International Conference on integrated Formal Methods 2017
CALL FOR WORKSHOPS
(http://ifm2017.di.unito.it/callForWorkshops.php)Submission of workshop proposals: Monday, 19 December, 2016
Workshop proposals notification: Monday, January 16, 2017
Workshops: September 18-19, 2017iFM 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.
- Final CfP: VaMoS 2017 - 11th International Workshop on Variability Modelling of Software-intensive Systems
The VaMoS workshop series aims to bring together researchers from different areas
dedicated to mastering variability in order to discuss advantages, drawbacks, and
complementarities of various approaches, and to present new results for mastering
variability throughout the life cycle of systems, system families, and (software)
product lines.- Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!)
ACM SIGPLAN Programming Languages Mentoring Workshop, Paris, France
Tuesday, January 17, 2017
Co-located with POPL 2017
PLMW web page: http://conf.researchr.org/track/POPL-2017/PLMW-2017
- CFP: REBLS 2016, 3rd International Workshop on Reactive and Event-Based Languages & Systems
3rd International Workshop on Reactive and Event-Based Languages &
SystemsHeld at SPLASH Conference http://2016.splashcon.org/
Amsterdam, Netherlands - November 1st, 2016- TAPAS 2016 - Workshop on Tools for Automatic Program Analysis
Call for submissions for TAPAS 2016 - Workshop on Tools for Automatic Program Analysis
- 3rd International Workshop on Software Engineering Methods in Spreadsheets (SEMS'16)
Second Call for Paper: 3rd International Workshop on Software Engineering Methods in Spreadsheets (SEMS'16)
http://spreadsheetlab.org/sems-16/
A STAF workshop
July, 2016, Vienna, Austria* Important Dates *
Deadline for abstracts: April 11, 2016
Deadline for submissions [EXTENDED]: April 22nd, 2016
Notification of acceptance: May 25, 2016
Camera-ready: June 17, 2016
Workshop date: July 4, 2016
