List of conferences


SETTA 2021: Call for Papers
by Fu Song, June 17, 2021

SETTA 2021: Symposium on Dependable Software Engineering: Theories, Tools and Applications
Institute of Software, Chinese Academy of Sciences, Beijing, China, November 25-27, 2021
Submission deadline: July 23rd, 2021
Conference website: https://lcs.ios.ac.cn/setta2021/
Colocated with FM'2021

Certified Programs and Proofs (CPP) 2022: Call for Papers
by Andrei Popescu, June 14, 2021

CPP 2022 (https://popl22.sigplan.org/home/CPP-2022) will be held on 16-18 January 2022 and will be co-located with POPL 2022. CPP 2022 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.

SEFM 2021: Call for Papers
by gleirscher, June 8, 2021

19th International Conference on Software Engineering and Formal
Methods (SEFM 2021), 6-10 December 2021, jointly organised in virtual mode by Carnegie Mellon University (US), Nazarbayev University (Kazakhstan) and the University of York (UK)

Deadline: Friday 23 July 2021 (AOE)
Website: https://sefm-conference.github.io
Twitter: @sefm_conf

SYNASC 2021
by Monica Sancira, June 7, 2021

SYNASC aims to stimulate the interaction among multiple communities. The focus of the
conference then ranges from symbolic and numeric computation to formal methods applied to programming, artificial intelligence, distributed computing and computing, desi nu vrea pe continue la next step, am actualizat detaliile organizatorului din cont cu numele tau, altfel nu mergea la submit

STAST 2021: Call for Papers
by Luca Vigano, June 7, 2021

STAST 2021: 11th International Workshop on Socio-Technical Aspects in SecuriTy

Call for papers: 21st IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) September 27-September 28, 2021
by Alexander Serebrenik, June 7, 2021

We are currently accepting submissions for different tracks of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation (IEEE SCAM 2021). Conference proceedings will be published by IEEE CS and made available through the IEEE Digital Library. Tracks: research, engineering, replications and negative results, New Ideas and Emerging Results, artefacts evaluaton.

MFPS 2021 - Deadline Extension and Invited Speakers
by Ana Sokolova, June 6, 2021

The deadline for MFPS 2021 is extended for a week: Instead of June 7, 2021, the new deadline is June 14, 2021.

ISD2021
by Fernando González-Ladrón-de-Guevara, May 28, 2021

Call for New Ideas/Vision and Journal-first Papers and Posters: CFP ISD2021 Valencia, Spain (29th International Conference on Information Systems Development)

« previous123...2122next »