List of workshops


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

Theory and Practice of Differential Privacy (TPDP) - Deadline Extension: August 11 2017
by Justin Hsu, Aug. 5, 2017

CALL FOR PAPERS (Extended Deadline)
TPDP 2017
Third Workshop on the Theory and Practice of Differential Privacy
October 30th 2017, Dallas, TX, USA
Affiliated with CCS 2017

PEPM 2018 Call for Papers
by Hsiang-Shang Ko, Aug. 2, 2017

The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), which has a history going back to 1991 and has co-located with POPL every year since 2006, originates in the discoveries of practically useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred
around the theme of semantics-based program manipulation — the systematic exploitation of treating programs not only as subject to black-box execution, but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties.

EXPRESS/SOS 2017 - last CfP - Deadline Approaching
by Kirstin Peters, June 17, 2017

Combined 24th International Workshop on Expressiveness in Concurrency
and 14th Workshop on Structural Operational Semantics

Submission of papers: Friday June 23, 2017

CFP: REBLS 2017 - 4th International Workshop on Reactive and Event-Based Languages & Systems
by guidosalva, June 12, 2017

CFP: REBLS 2017 - 4th International Workshop on Reactive and Event-Based Languages &
Systems

4rd International Workshop on Reactive and Event-Based Languages &
Systems

Held at SPLASH Conference http://2017.splashcon.org/
Vancouver, Canada - October 23rd, 2017

FM 2018: call for workshop proposals
by Maurice ter Beek, May 2, 2017

---------------------: CALL FOR WORKSHOP PROPOSALS :---------------------

FM 2018: 23rd International Symposium on Formal Methods
Oxford, 14-16 July, 2018

-----------------------------------------------------------------------------------------
Deadline for workshop proposals: June 19, 2017
Notification of decision on workshops: July 31, 2017
-----------------------------------------------------------------------------------------

The 23rd International Symposium on Formal Methods (FM 2018) will take
place at the University of Oxford, 14-16 July 2018, as part of the Federated
Logic Conference (FLoC). For this major event, we are seeking proposals
for workshops that will complement the main FM Symposium. Being part
of FLoC moreover provides an opportunity to link more widely with other
conferences, such as LICS and CAV (see: http://www.floc2018.org/).

Researchers and practitioners wishing to organise an FM workshop are
invited to submit proposals for FM workshops, as outlined on the general
FLoC call for workshops webpage: http://www.floc2018.org/workshops/

SMT 2017 workshop : 2nd CFP, Deadline 1st/8th May
by Christoph Wintersteiger, April 29, 2017

SMT 2017
15th International Workshop on Satisfiability Modulo Theories July 22 - 23, 2017, Heidelberg, Germany Affiliated with CAV 2017

« previous123...89next »