List of workshops


Call for Participation for Secure Compilation Workshop (PriSC @ POPL'18)
by Catalin Hritcu, Nov. 16, 2017

The Workshop on Principles of Secure Compilation (PriSC) is a new
informal 1-day workshop without any proceedings. The goal is to
identify interesting research directions and open challenges and to bring together researchers interested in secure compilation. The 2nd PriSC edition will be held on Saturday, 13 January 2018, in Los Angeles, together with the ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages (POPL).

Deadline extended for Secure Compilation workshop (PriSC @ POPL'18)
by Catalin Hritcu, Oct. 15, 2017

The PriSC'18 deadline has been extended by 1 week to the end of
Wednesday, 25 October 2017, AoE.

SYNCHRON 2017 call for participation
by Benoit Caillaud, Oct. 13, 2017

Call for participation: SYNCHRON 2017 (International Open Workshop on Synchronous Programming), Nov 27th to Dec 1st 2017, Rennes, France, http://synchron17.inria.fr

CfP: MOMA3N 2018 - The 1st International Workshop on Model Management and Analytics
by Önder Babur, Oct. 13, 2017

The 1st International Workshop on MOdel MAnagement And ANalytics (MoMA3N) aims to
gather Modelling researchers and practitioners to discuss the emerging scalability
problems and propose solutions. The scope ranges from industrial reports and empirical
analyses in the problem domain to novel cross-disciplinary approaches for large-scale
analytics and management, e.g. exploiting techniques from data analytics, repository
mining and machine learning.

Paper Submission: November 7, 2017
Authors Notification: November 21, 2017
Camera Ready and Registration: November 29, 2017
MOMA3N workshop (1-day): January 22-24, 2018

FIRST CALL FOR PAPERS. Sixth International Workshop on Verification and Program Transformation
by John Gallagher, Oct. 9, 2017

Sixth International Workshop on Verification and Program Transformation
April 21st 2018, Thessaloniki, Greece
Co-Located with ETAPS 2018

http://refal.botik.ru/vpt/vpt2018/

The Sixth International Workshop on Verification and Program Transformation
(VPT 2018) aims to bring together researchers working in the areas of
Program Verification and Program Transformation.

The previous workshops in this series were:

VPT 2013, Saint Petersburg, Russia
VPT 2014, Vienna, Austria
VPT 2015, London, UK
VPT 2016, Eindhoven, The Netherlands
VPT 2017, Uppsala, Sweden

The workshop solicits research, position, application, and system
description papers with a special emphasis on case studies, demonstrating
viability of the interactions between the research fields of program
transformation and program verification in a broad sense. Also papers in
related areas, such as program testing and program synthesis are welcomed.

Topics of interest include, but are not limited to:

Verification by Program Transformation
Verification Techniques in Program Transformation and Synthesis
Verification and Certification of Programs Transformations
Program Analysis and Transformation
Program Testing and Transformation
Verifiable Computing and Program Transformation
Case studies

Important Dates

January 16th, 2018: Abstract submission deadline
January 22nd, 2018: Paper submission deadline
February 19th, 2018: Acceptance notification
February 25th, 2018: Camera ready version (for the pre-proceedings)
April 21st, 2018: Workshop

12th International Workshop on Rewriting Logic and its Applications (WRLA 2018): first CfP
by Vlad Rusu, Sept. 26, 2017

An ETAPS 2018 satellite event
Thessaloniki, Greece
April 14-15 2018
Submission deadline: January 5, 2018

3rd International Workshop on Real World Domain Specific Languages (RWDSL'18)
by Greg Michaelson, Sept. 20, 2017

There is an enormous variety of DSLs for a very wide range of domains. Most DSLs are highly idiosyncratic, reflecting both the specific natures of their application domains and their designers’ own preferences. This workshop will bring together constructors of DSLs for “real world” domains; that is, DSLs intended primarily to aid in building software to solve real world problems rather than to explore the more theoretical aspects of language design and implementation. We are looking for submissions that present the motivation, design, implementation, use and evaluation of such DSLs.

QTML - 1st Workshop on Quantum Techniques in Machine Learning
by Herbert Wiklicky, Aug. 9, 2017

1st Workshop on Quantum Techniques in Machine Learning
QTML 2017
Verona, Italy
November 6-8, 2017
http://qtml2017.di.univr.it

Abstract submission: September 16, 2017
Notification acceptance or rejection: September 23, 2017

« previous123...910next »