List of conferences - page 25
- ECOOP 2017: The 31st European Conference on Object-Oriented Programming
ECOOP 2017 - 19-23 June 2017, Barcelona, Spain
co-located with PLDI 2017 and other eventsAbstract submission: 07 Jan 2017
Paper submission: 13 Jan 2017more info at: http://2017.ecoop.org #ECOOP2017 @ECOOPconf
- CFP NFM 2017: 9th NASA Formal Methods Symposium
Please consider submitting to Nasa Formal Methods. It will take place in May 2017 in the Silicon Valley.
- 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.- CFP: 4PAD special track @ PDP 2017
We call for submissions for the 4th PDP special session on
FORmal approaches to PArallel and Distributed systems (4PAD 2017)
to be held on 6th-8th of March 2017 in St. Petersburg, Russia.
The aim of 4PAD is to foster interaction between the formal methods
communities and systems researchers working on topics in modern
parallel, distributed, and network-based processing systems
(e.g. autonomous computing systems, cloud computing systems,
service-oriented systems and parallel computing architectures).- CFP- CloudBpm 2016 in conjunction with IEEE CloudCom -Luxembourg
We are pleased to invite you to submit your research for presentation in a workshop in conjunction with IEEE CloudCom 2016 titled Business Process Monitoring and Performance Analysis in the Cloud (CloudBpm 2016).
The Business Process Monitoring and Performance Analysis in the Cloud workshop addresses broad issues on business process monitoring and analysis in the context of cloud computing, from a technical and business perspective. The main goal of this workshop is to bring together researchers and practitioners to exchange ideas, present and discuss their most recent achievements and lessons learned addressing the challenges related to Business Process Monitoring and Assessment in a Cloud/ multi-Cloud environment.
- SOAP@SAC 2017
Service-Oriented Architectures and Programming
track of the 32st ACM/SIGAPP Symposium On Applied ComputingApril 3-7, Marrakech, Morocco
http://sac-soap.sdu.dk/EXTENDED * OCTOBER 7, 2016: Submission of regular papers and SRC research abstracts
* November 10, 2016: Notification of paper and SRC acceptance/rejection
* November 25, 2016: Camera-ready copies of accepted papers/SRC
* December 10, 2016: Author registration due date- Final call for participation: PLDI 2016 co-located events
Final call for participation for PLDI 2016 co-located workshops and tutorials
- LOPSTR 2016 Call for Papers
26th International Symposium on Logic-Based Program Synthesis and Transformation - LOPSTR 2016
Edinburgh, UK, September 6-8, 2016
(co-located with PPDP 2016 and SAS 2016)
Abstract submission: June 7, 2016
Paper/Extended abstract submission: June 14, 2016
