List of workshops


MeTRiD 2018: Deadline extension (ETAPS workshop)
by Simon Bliudze, Jan. 22, 2018

MeTRiD 2018 is a new international workshop focusing on the theoretical foundations, tools and applications of the Rigorous System Design approach. The term "Rigorous System Design" denotes the design approach that is based on a formal, accountable and iterative process for deriving trustworthy and optimised implementations from models of application software, its execution platform and its external environment.

EXTENDED SUBMISSION DEADLINE: Call for Papers - 1st Workshop on Life with Wearables in Smart Rooms (LIFEWEAR2018)
by KarstenWendt, Jan. 10, 2018

With the advent of standard sensor-actuator platforms for wearable devices, such smart watches (e.g., Apple Watch), smartglasses (e.g., Microsoft Hololens), smart clothing (e.g., data gloves), exoskeletons, and many more, people carry multiple devices simultaneously. This trend imposes completely new challenges to software engineers w.r.t. adaptivity, distribution, interaction, system integration, data handling, resiliency, security and software architectures. The LIFEWEAR workshop aims to bring together researchers and practioneers from the communities interested in wearables, to present current approaches w.r.t. software engineering of wearable devices, gather requirements for future wearable systems and develop a roadmap for software enginnering for wearables.

MeTRiD 2018: 2nd CfP (ETAPS workshop)
by Simon Bliudze, Jan. 9, 2018

MeTRiD 2018 is a new international workshop focusing on the theoretical foundations, tools and applications of the Rigorous System Design approach. The term "Rigorous System Design" denotes the design approach that is based on a formal, accountable and iterative process for deriving trustworthy and optimised implementations from models of application software, its execution platform and its external environment.

Programming for the Large 2018
by Joeri De Koster, Dec. 20, 2017

In the last decade we have witnessed a new kid on the block in the programming (language) community: programming “large computers”. Such computers include many-core machines, clusters of raspberry-pies, industry-scale cluster machines, cloud infrastructure, CUDA and MPI-based supercomputers etc. This workshop seeks to gather researchers that contribute to the simplification of the software stack that will be used to program such machinery in the near future. The main focus of the workshop is "Programming for the Large". Nonetheless, this workshop aims to bring together researchers from many disciplines: distributed programming, big data processing, distributed database engineering, etc. This workshop welcomes any contribution that advances the state-of-the-art in the design, implementation and engineering of runtime systems for cluster architectures.

QAPL 2018: first call for papers
by Erik de Vink, Dec. 18, 2017

The 16th workshop on Quantitative Aspects of Programming Languages and Systems will be held on Saturday July 14, 2018 at FLoC 2018 in Oxford, affiliated with FM 2018. Submission deadline for regular papers is April 15, 2018.

2nd Workshop on Modern Language Runtimes, and Ecosystems
by smarr, Dec. 11, 2017

The MoreVMs'18 workshop aims to bring together industrial and academic
programmers to discuss the design, implementation, and usage of modern
languages and runtimes. This includes aspects such as reuse of language
runtimes, modular implementation, language design and compilation
strategies.

X-by-Construction: call for expressions of interest
by Maurice ter Beek, Dec. 9, 2017

CALL FOR EXPRESSIONS OF INTEREST
Deadline: January 15th 2018

X-by-Construction
====================

A track at ISoLA 2018
8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
5-9 November 2018
Limassol, Cyprus

http://fmt.isti.cnr.it/~mtbeek/ISoLA18.html
====================

12th International Workshop on Rewriting Logic and its Applications (WRLA 2018): last CfP
by Vlad Rusu, Dec. 4, 2017

WRLA 2018, the 12th International Workshop on Rewriting Logic and its Applications: an ETAPS 2018 satellite event - Thessaloniki, Greece - April 14-15 2018

« previous123...910next »