List of conferences - page 2


Deadline Extension (April 15th): CFP ISD2021 Valencia, Spain (29th International Conference on Information Systems Development)
by Fernando González-Ladrón-de-Guevara, March 24, 2021

Deadline Extension (April 15th): CFP ISD2021 Valencia, Spain (29th International Conference on Information Systems Development)

Call For Contributions - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity
by Juan Fumero, March 9, 2021

The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH is now accepting submissions. We invite high-quality submissions describing original and unpublished work.

CfP HLPP 2021: 14th International Symposium on International Symposium on High-Level Parallel Programming and Applications
by Frederic Loulergue, March 5, 2021

As processor and system manufacturers adjust their roadmaps towards increasing levels of both inter and intra-chip parallelism, so the urgency of reorienting the mainstream software industry towards these architectures grows.
At present, popular parallel and distributed programming methodologies are dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms.
Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism.
HLPP symposia provide a forum for discussion and research about such high-level approaches to parallel and distributed programming.

CfP: ICTAC 2021
by Peter Olveczky, March 4, 2021

---------------------------------------------------------------------
Call for Papers

ICTAC 2021

18th International Colloquium on Theoretical Aspects of Computing

Nur-Sultan, Kazakhstan, September 6-10, 2021

https://ictac2021.github.io/

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

** We hope to have a (hybrid) physical event, but presentations can be given remotely **
** Springer LNCS proceedings and Theoretical Computer Science special issue **

Important dates:

Submission deadline: May 7, 2021
Notification of acceptance: June 18, 2021

Overview and Scope:

The ICTAC conference series aims at bringing together researchers and
practitioners from academia, industry and government to present research
and exchange ideas and experience addressing challenges in both theoretical
aspects of computing and the exploitation of theory through methods and
tools for system development. ICTAC also aims to promote research
cooperation between developing and industrial countries.

(CFP) LOPSTR 2021
by Wim Vanhoof, March 1, 2021

The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively, friendly
forum for presenting and discussing work in progress. Formal proceedings
are produced only after the symposium so that authors can incorporate
this feedback in the published papers.

The 31st International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2021) will be held at the Teachers' House in
Tallinn, Estonia.

Call for Papers, Haskell Symposium 2021.
by Jurriaan Hage, Feb. 26, 2021

We invite you to submit your Haskell-related work to the 2021 Haskell Symposium that will take place virtually on 26-27 August 2021.

Submission is in two rounds. Submitting in the first round will allow you to resubmit in the second one; anybody can submit in the second round. First round submission deadline is March 19, second round submission deadline is May 21.

Details: http://www.haskell.org/haskell-symposium/2021/

SAS 2021: Second Call for Papers
by Kedar Namjoshi, Feb. 23, 2021

SAS 2021 Second Call for Papers: Submissions are now open!

Paper submission deadline: April 25, 2021
Full CFP at https://conf.researchr.org/home/sas-2021

The 28th Static Analysis Symposium, SAS 2021, will be held in Chicago (US) from October 17-22, 2021 in conjunction with SPLASH 2021.

SPLC 2021: Consolidated Call for Contributions
by Mohammad Mousavi, Feb. 10, 2021

=======================================

25th ACM International Systems and Software Product Line Conference (SPLC 2021)

Consolidated Call for Contributions

Web site: http://splc2021.net/

Twitter: @splcconf

=======================================