List of conferences


3rd and final CFP: Int'l Symp. Implementation and Application of Functional Programming Languages (IFL 2022)
by Fritz Henglein, Aug. 6, 2022

IFL 2022
Copenhagen, August 31st-September 2nd, 2022
NEW: Submission deadline: August 8th, 2022, AoE.

See https://ifl22.github.io/ for submission and registration information.

Final CfP: FM 2023 - 25th International Symposium on Formal Methods
by Violet Ka I Pun, Aug. 1, 2022

Call for Papers
FM 2023: 25th International Symposium on Formal Methods

Lübeck, Germany, March 6-10, 2023
https://fm2023.isp.uni-luebeck.de/

2nd CFP: Int'l Symp. Implementation and Application of Functional Programming Languages (IFL 2022)
by Fritz Henglein, July 16, 2022

IFL 2022
Copenhagen, August 31st-September 2nd, 2022
Submission deadline: August 7th.

Submission and registration are open. See https://ifl22.github.io/.

ETAPS 2023 1st joint call for papers
by jankofron, July 13, 2022

ETAPS 2023 - 26th European Joint Conferences on Theory and Practice of Software, Sorbonne Université, Paris, France, April 22-27, 2023

1st Joint Call for Papers

Registration opens: ECSS 2022 - Workforce for the Digital Transformation (Oct 24-26 in Hamburg)
by Kit Wan Chui, July 8, 2022

Join one of the most prominent meetings of the European informatics community, exchange with colleagues from leading European Informatics faculties, departments and research institutes, and bring your views to the Summit debates.

last CFP : FROM 2022 (with extended deadlines)
by Vlad Rusu, July 8, 2022

FROM 2022 - Working Formal Methods Symposium
Iasi, Romania, 19-20 September 2022
https://project.inria.fr/from22/
in conjunction with WOLLIC 2022
https://wollic2022.github.io

MPLR 2022: Call for Posters & Demonstrations
by smarr, July 4, 2022

The 19th 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).

LPNMR 2022: Call for participation (Early reg. By July 20th)
by cfp, June 29, 2022

16th International Conference on Logic Programming and Non-monotonic Reasoning

« previous123...2223next »