List of workshops - page 2


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

Euro-EDUPAR - Call for Papers
by Rizos Sakellariou, March 24, 2017

The 3rd European Workshop on Parallel and Distributed Computing Education for Undergraduate Students (Euro-EDUPAR), co-located with Euro-Par 2017, invites unpublished manuscripts from individuals or teams from academia, industry, and other educational and research institutes on topics pertaining to the teaching of PDC topics in the Computer Science and Engineering curriculum as well as in Computational Science with PDC and/or High Performance Computing (HPC) concepts, with emphasis on European undergraduate teaching.

Paper submission deadline: May 5, 2017
Further information: http://www.cs.man.ac.uk/~rizos/euroedupar/

EXPRESS/SOS 2017
by Kirstin Peters, March 24, 2017

Combined 24th International Workshop on Expressiveness in Concurrency
and 14th Workshop on Structural Operational Semantics (EXPRESS/SOS'17)

Submission of papers: Friday June 23, 2017

NSAD 2017 - Call for Papers
by Francesca Scozzari, March 20, 2017

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

August 29, 2017 - New York City, NY, USA
co-located with SAS 2017, SASB 2017 and TAPAS 2017

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

Abstract submission: May 3, 2017 (AoE)
Full paper submission: May 8, 2017 (AoE)

ETAPS 2018 call for satellite events
by Tarmo Uustalu, Feb. 28, 2017

21st European Joint Conferences on Theory and Practice of Software
ETAPS 2018

Thessaloniki, Greece, 14-21 April 2018

http://www.etaps.org/2018/

Call for Satellite Events

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

WAPL 2017 - 6th Workshop on Advances in Programming Languages
by Maria João Varanda Pereira, Jan. 16, 2017

Organized within the framework of FedCSIS,the Federated Conference on Computer Science & Information Systems, Prague, Czech Republic, 3-6 September, 2017.
http://www.fedcsis.org/

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