List of workshops


CFP: 12th Workflows in Support of Large-Scale Science (WORKS) Workshop
by ipietri, June 20, 2017

********** WORKS 2017 Workshop **********
Workflows in Support of Large-Scale Science Workshop
http://works.cs.cardiff.ac.uk/
Monday 13 November 2017, Denver, Colorado, USA.
Held in conjunction with SC17, http://sc17.supercomputing.org/
Paper submission deadline: 30 July 2017

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

FM 2018: final call for workshop proposals
by Maurice ter Beek, June 15, 2017

----------------------------------------------------------------------------------------

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

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

----------------------------------------------------------------------------------------

Deadline for workshop proposals: June 19, 2017
Notification of decision on workshops: July 31, 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

SASB 2017 Call for Submissions
by Paolo Zuliani, June 4, 2017

SASB 2017

The Eighth International Workshop on Static Analysis in Systems Biology

Colocated with Static Analysis Workshop (SAS) 2017

http://www.cs.cmu.edu/~sasb2017/

29th August 2017, New York, New York

EXPRESS/SOS 2017 - 2nd Call for Papers
by Kirstin Peters, May 31, 2017

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

EXPRESS/SOS 2017
------------------------------------------------------
September 04, 2017, Berlin (Germany)
Affiliated with CONCUR 2017
https://www.concur2017.tu-berlin.de/express_sos.html

Submission of papers: Friday June 23, 2017

NSAD 2017 - Extended deadlines
by Francesca Scozzari, May 3, 2017

Numerical and Symbolic Abstract Domains (NSAD 2017)
7th International Workshop

August 29, 2017 - New York City, NY, USA

https://www.sci.unich.it/nsad2017/

****** EXTENDED DEADLINES ******

Abstract submission: May 10, 2017 (AoE) --- EXTENDED
Full paper submission: May 15, 2017 (AoE) --- EXTENDED

********************************

Tutorial on Parametric Verification (A tutorial of Petri Nets 2017)
by MichaƂ Knapik, May 3, 2017

Tutorial on Parametric Verification: Call for Participation. A tutorial of Petri Nets 2017, focused on synthesis and analysis of parameters of parameterised formal models such as Parametric Petri Nets or Parametric Timed Automata.

« previous123...910next »