List of conferences


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 Nov. 14/21, 2022. Proceedings will be published in Springer LNCS. Full details about the symposium and the submission procedure are avaiable at https://conf.researchr.org/home/flops-2022

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
particular.

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
workshop.

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

JOINT CALL FOR PAPERS

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

Munich, Germany, 2-7 April 2022

https://etaps.org/2022

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

Second Call for Papers: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022)
by James Cheney, Sept. 23, 2021

24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022)

Philadelphia, Pennsylvania, United States
17-18th January 2022

https://popl22.sigplan.org/home/PADL-2022

Co-located with POPL 2022

Call for Tutorials and Workshops, PLDI 2022
by William Bowman, Sept. 22, 2021

PLDI 2022 is a world-class forum for researchers and practitioners in programming language design and implementation. As in previous years, PLDI is soliciting proposals for co-located workshops and tutorials that will take place on Monday June 20th, and Tuesday June 21st. Please propose your workshop or tutorial via the submission system.

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.
https://2022.ecoop.org/
============================

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

PLDI 2022 First Call for Papers
by William Bowman, Sept. 9, 2021

2022 ACM Conference on Programming Language Design and Implementation (PLDI)
Mon 20 - Fri 24 June 2022
San Diego, California, United States
https://pldi22.sigplan.org/track/pldi-2022-pldi#Call-for-Papers

PLDI is a premier forum for programming language research, broadly construed, including design, implementation, theory, applications, and performance. PLDI seeks outstanding research that extends and/or applies programming-language concepts to advance the field of computing. Novel system designs, thorough empirical work, well-motivated theoretical results, and new application areas are all welcome emphases in strong PLDI submissions.

1st CfP - Petri Nets 2022 : 43rd International Conference on Application and Theory of Petri Nets and Concurrency
by Lars Michael Kristensen, Sept. 6, 2021

** A PDF version of this call is available at: https://petrinets2022.github.io/pdf/cfp.pdf **

Call for Papers and Announcement Petri Nets 2022
https://www.hvl.no/petrinets2022

PETRI NETS 2022
43rd International Conference on Application and Theory of Petri Nets and Concurrency
& special track on Application of Concurrency to System Design (ACSD)

Bergen, Norway, June 19-24, 2022

« previous123...2223next »