List of conferences

RC2022: First Call for Papers
by Claudio Antares Mezzina, Nov. 24, 2021

First CPS for the 14th Conference on Reversible Computing

14th International Conference on Mathematics of Program Construction
by Jeremy Gibbons, Nov. 8, 2021

*** CALL FOR PAPERS -- MPC 2022 ***
14th International Conference on Mathematics of Program Construction
26th-28th of September 2022, Tbilisi, Georgia
Co-located with the Computational Logic Autumn Summit (CLAS'22)

by Marco Comuzzi, Nov. 8, 2021

34th International Conference on Advanced Information Systems Engineering

SEFM 2021 Call for Participation (participation is FREE)
by gleirscher, Nov. 5, 2021

Takes place: 6-10 December 2021
Detailed program:
Free registration:

Final Call For Participation - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity
by Juan Fumero, Oct. 5, 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.

This year, SPLASH will be held as a Hybrid Conference. There will be a physical conference in Chicago as well as a virtual component. Note that, for in-person participation, attendees are required to be fully vaccinated. More details below.

Call for Papers: FLOPS 2022
by Michael Hanus, Sept. 26, 2021

We invite you to submit papers related to functional and/or logic programming to FLOPS 2022.

The 16th International Symposium on Functional and Logic Programming will take place in Kyoto, Japan, during May 10-12, 2022. The deadline for submitting abstracts/papers is Dec. 8/12, 2022. Proceedings will be published in Springer LNCS, and best papers will be invited for an SCP special issue. Full details about the symposium and the submission procedure are avaiable at

ETAPS 2022 2nd joint call for papers
by Tarmo Uustalu, Sept. 25, 2021

Why choose ETAPS?

- ETAPS is one of the world's leading fora for research on software
science, with a history of more than 25 years.
- The proceedings of ETAPS appear in gold open access, with no article
processing charge for the authors specifically.
- ETAPS has low participation fees for all and for students in

New in 2022:

- Like FASE for several years already, ESOP will also use double-blind
review this time.
- FASE has a new paper category of new ideas and emerging results
(NIER) papers.
- The pre-paper-acceptance artifact submission deadline for TACAS is
now a little later than the paper submission deadline.
- ESOP and FASE welcome voluntary submission of artifacts for
evaluation after paper acceptance; the outcome will not change the
paper acceptance decision.
- Among the satellite events, there is a PhD student mentoring



25th European Joint Conferences on Theory and Practice of Software
ETAPS 2022

Munich, Germany, 2-7 April 2022


ECOOP 2022: Call for Papers
by Carolin Brandt, Sept. 10, 2021

NEW this year: ECOOP 2022 will have two rounds of reviewing.
Round 1 paper submission deadline: ** December 1, 2021 **
ECOOP 2022
Call for Papers
ECOOP 2022 will be held on Mon 6th - Fri 10th of June in Berlin, Germany.

« previous123...2122next »