List of conferences - page 2


Call For Papers (Final deadline extension: September 6, 2020)
by Hoang Nguyen, Sept. 5, 2020

WORKS20

Compiler Construction (CC) 2021 - Call for Papers
by Delphine Demange, Sept. 4, 2020

ACM SIGPLAN 2021 International Conference on Compiler Construction (CC 2021)

CC 2021 (https://conf.researchr.org/home/CC-2021) will be held on Sat 27 February - Wed 3 March 2021 and co-located with CGO, HPCA and PPoPP.

RCIS 2020 -- 14th International Conference on Research Challenges in Information Science: Call for Virtual Participation
by George Angelos Papadopoulos, Sept. 2, 2020

RCIS 2020 will bring together scientists, researchers, engineers and
practitioners from a wide range of information science fields and to provide
opportunities for knowledge sharing and dissemination. The theme of the
2020 edition of RCIS is "Information Science in the Days of Artificial
Intelligence".

Formal Methods 2021 -- 2nd Call for Papers
by Jun Pang, Aug. 28, 2020

Formal Methods 2021 -- 2nd Call for Papers

MPLR 2020: Deadline Extended to August 19, 23:59 AoE
by smarr, Aug. 13, 2020

The 17th International Conference on Managed Programming Languages & Runtimes (MPLR, formerly ManLang) is a premier forum for presenting and discussing novel results in all aspects of managed programming languages and runtime systems, which serve as building blocks for some of the most important computing systems in use, ranging from small-scale (embedded and real-time systems) to large-scale (cloud-computing and big-data platforms) and anything in between (desktop, mobile, IoT, and wearable applications).

Compiler Construction (CC) 2021 - Call for Papers
by Delphine Demange, Aug. 6, 2020

ACM SIGPLAN 2021 International Conference on Compiler Construction (CC 2021)

CC 2021 (https://conf.researchr.org/home/CC-2021) will be held on Sat 27 February - Wed 3 March 2021 and co-located with CGO, HPCA and PPoPP.

ETAPS 2021 1st joint call for papers
by Tarmo Uustalu, July 23, 2020

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

JOINT CALL FOR PAPERS

24th European Joint Conferences on Theory and Practice of Software
ETAPS 2021

Luxembourg, Luxembourg, 27 March-1 April 2021

http://www.etaps.org/2021

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

Reachability (RP'2020)
by Igor Potapov, July 16, 2020

https://www.irif.fr/~rp2020/

The International Conference on Reachability Problems (RP) is
specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in various reachability problems that appear in

* Algebraic structures
* Automata theory and formal languages
* Computational game theory
* Concurrency and distributed computation
* Decision procedures in computational models
* Hybrid dynamical systems
* Logic and model checking
* Verification of finite and infinite-state systems

The International Conference on Reachability Problems (RP)
has two categories of submissions:

* Regular Papers (to appear at LNCS, Springer)

* Presentations only (for recently appeared or going
to appear papers in proceedings of another conference)