List of conferences - page 21


SPLASH’17 Call for Contributions: Workshops
by Ronald Garcia, Jan. 16, 2017

Following its long-standing tradition, SPLASH 2017 will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings.

ECOOP 2017 - Second Call for Papers
by crafa, Dec. 5, 2016

ECOOP 12017: the 31st European Conference on Object-Oriented Programming, 19-23 June 2017, Barcelona, Spain, co-located with PLDI 2017 and other events.
Web http://2017.ecoop.org Twitter #ECOOP2017 @ECOOPconf
IMPORTANT DATES: Abstract submission 07 Jan 2017, Paper submission 13 Jan 2017

ECOOP 2017: The 31st European Conference on Object-Oriented Programming
by crafa, Sept. 19, 2016

ECOOP 2017 - 19-23 June 2017, Barcelona, Spain
co-located with PLDI 2017 and other events

Abstract submission: 07 Jan 2017
Paper submission: 13 Jan 2017

more info at: http://2017.ecoop.org #ECOOP2017 @ECOOPconf

CFP NFM 2017: 9th NASA Formal Methods Symposium
by Pierre-Loïc Garoche, Sept. 9, 2016

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
by Önder Babur, Aug. 3, 2016

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
by Simon Bliudze, July 25, 2016

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
by Farideh Heidari, July 14, 2016

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
by Massimo Bartoletti, June 16, 2016

Service-Oriented Architectures and Programming
track of the 32st ACM/SIGAPP Symposium On Applied Computing

April 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