List of workshops - page 2


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

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

CFP: ALP4IoT - 1st workshop on Architectures, Languages and Paradigms for IoT
by guidosalva, April 12, 2017

Call for Papers
*** 1st workshop on Architectures, Languages and Paradigms for IoT ***

September 18th, 2017
Co-located with the 13th International Conference on integrated Formal Methods (iFM 2017), University of Torino, Turin, Italy
http://bit.ly/alp4iot2017

Accepted full papers will be published in EPTCS - Electronic Proceedings in Theoretical Computer Science

10th Interaction and Concurrency Experience
by Massimo Bartoletti, Jan. 17, 2017

June 22, 2017, Neuch√Ętel, Switzerland

Satellite workshop of DisCoTec 2017

April 18, 2017.........................Abstract submission (EXTENDED)
April 21, 2017........................Full paper submission (EXTENDED)
May 19, 2017..........................Notification to authors

Next 40 Years of Abstract Interpretation Workshop
by Caterina Urban, Dec. 16, 2016

[iFM 2017] Final Call for Workshops Proposals
by ChristophSeidl, Dec. 2, 2016

The 13th International Conference on integrated Formal Methods (iFM 2017)

iFM 2017 is concerned with how the application of formal methods may involve modelling different aspects of a system which are best expressed using different formalisms. Correspondingly, different analysis techniques may be used to examine different system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding modelling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.

Workshops can have the duration of one or two days. Prospective workshop organizers are requested to follow the guidelines below and are encouraged to contact the workshop chairs if any questions arise.

The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application.

The workshops take place on September 18-19, 2017.