List of conferences


Call for Papers: FormaliSE 2021
by Simon Bliudze, Oct. 26, 2020

*****************************************************************************************
Call for Papers: FORMALISE 2021
9th International Conference on Formal Methods in Software Engineering
May 23-24, Madrid, Spain, co-located with ICSE 2021
http://www.formalise.org/
*****************************************************************************************

MPLR 2020 Call for Participation
by Juan Fumero, Oct. 19, 2020

The 17th International Conference on Managed Programming Languages & Runtimes (MPLR'20) is a premier forum for presenting and discussing innovations and breakthroughs in the area of managed programming languages and runtime systems, which form the basis of many modern computing systems, from small scale (embedded and real-time systems) to large-scale (cloud-computing and big-data platforms).

Compiler Construction (CC) 2021 - Final Call for Papers
by Delphine Demange, Oct. 13, 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 final joint call for papers
by Tarmo Uustalu, Oct. 4, 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

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

We are closely monitoring the development of the COVID-19 pandemic. If
it is not viable to hold ETAPS 2021 as a physical conference, we will
run it virtually on the same dates. We will decide in January 2021 at
the latest. If ETAPS 2021 can go ahead as a physical conference,
accepted authors may still present remotely.

SPLC 2020 - Call for Participation and Registration
by jmartinez, Sept. 24, 2020

**** CALL FOR PARTICIPATION ****
October 19 to 23, 2020
Fully virtual, originally at Montréal, Canada
http://splc2020.net/

Detailed program: https://splc2020.net/program/detailed-program/
Register here: https://splc2020.net/registration/
Reduced fees, including free registration for ACM members.

Registration Periods:
Early Bird: until October 5, 2020, Montréal time (EDT)
Regular: October 6-12, 2020, Montréal time (EDT)

ETAPS 2021 2nd joint call for papers
by Tarmo Uustalu, Sept. 22, 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

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

We are closely monitoring the development of the COVID-19 pandemic. If
it is not viable to hold ETAPS 2021 as a physical conference, we will
run it virtually on the same dates. We will decide in January 2021 at
the latest. If ETAPS 2021 can go ahead as a physical conference,
accepted authors may still present remotely.

Call for papers: 35th European Conference on Object-Oriented Programming (ECOOP'21)
by Lisa Nguyen Quang Do, Sept. 21, 2020

The 35th European Conference on Object-Oriented Programming (ECOOP'21) will take place on 12th-16th July 2021 in Aarhus, Denmark. It will be co-located with ISSTA.

Paper submission deadline: 11th January 2021.

https://2021.ecoop.org/

9th International Conference on Fundamentals of Software Engineering 2021 - Theory and Practice (FSEN'21)
by Maurice ter Beek, Sept. 18, 2020

Tehran, Iran
May 19-21, 2021

http://fsen.ir/2021

SECOND CALL FOR PAPERS

« previous123...1920next »