List of workshops

TaPP 2017 call for papers
by James Cheney, May 27, 2017

** 9th International Workshop on Theory and Practice of Provenance**
June 22-23, 2017
Seattle, WA

Registration deadline: June 8

Application for Student Travel Support - SOAP at PLDI 2017
by Karim Ali, May 25, 2017

Hi all,

We are happy to announce that SOAP 2017 has secured some funding that allows us to support students to attend the workshop. The deadline for application is June 1, 2017. For more information, please visit our webpage

Karim Ali and Cristina Cifuentes

Petri Nets 2018: Call for Workshop Proposals - Deadline June 18
by Lucia Pomello, May 12, 2017

Call for Workshop Proposals
Petri Nets 2018, Bratislava, Slovak Republic

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


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.

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:

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:

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

FROM 2017
by Dorel Lucanu, April 25, 2017

FROM 2017 - Call for Papers


5 - 8 July 2017 Faculty of Mathematics and Computer Science
University of Bucharest

Deadline for abstract submissions: 21 May 2017

« previous123...910next »