List of workshops
MARS 2024 - 2nd Call for Papers - Luxembourg City (Luxembourg) - April 6th, 2024
by
Matthias Volk on
January 9, 2024
MARS 2024 - Call for Papers
by
Matthias Volk on
November 15, 2023
(Deadline Extension) Dafny Workshop at POPL 24
by
Stefan Zetzsche on
October 16, 2023
(2nd CfP) Dafny Workshop at POPL 24
by
Stefan Zetzsche on
September 28, 2023
QUAMES 2023 - Deadline extended
by
jldelavara on
July 31, 2023
QUAMES 2023 - Deadline approaching
by
jldelavara on
July 19, 2023
CfP: 5th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2023)
by
Farnaz Fotrousi on
July 3, 2023
QUAMES 2023 - Call for papers
by
jldelavara on
June 16, 2023
SASSUR 2023 - Deadline extended
by
jldelavara on
May 2, 2023
SASSUR 2023 - Call for papers
by
jldelavara on
April 5, 2023
2nd International Workshop on Digital Twins for Business Processes
by
Fabrizio Fornari on
April 1, 2023
SOAP 2023 extended deadline (March 15th)
by
pietroferrara on
March 9, 2023
Transformational Leadership Experience with Informatics Europe
by
Kit Wan Chui on
January 16, 2023
1st CFP - 10th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
by
José F. Morales on
December 19, 2022
2nd CfP - 6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science
by
Georgiana Caltais on
December 18, 2022
6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology - CREST 2023
by
Georgiana Caltais on
October 24, 2022
NWPT 2022 - Call for papers
by
Crystal Chang Din on
September 20, 2022
(edited on October 5, 2022)
CfP: HAPi DevOps 2022 (co-located with VL/HCC)
by
Jácome Cunha on
June 6, 2022
A-TEST 2022: Call for Papers
by
Akos Kiss on
May 20, 2022
Deadline approaching: SASSUR 2022
by
jldelavara on
April 28, 2022
2nd CfP: 15th Interaction and Concurrency Experience (ICE 2022)
by
Cinzia DI GIUSTO on
March 22, 2022
CfP: 15th Interaction and Concurrency Experience (ICE 2022)
by
Cinzia DI GIUSTO on
February 14, 2022
PLAS 2021 Call for Participation - 16th Workshop on Programming Languages and Analysis for Security
by
Marco Guarnieri on
December 2, 2021
Call for Presentations: PriSC 2022 @ POPL 2022 -- Deadline extension
by
Marco Guarnieri on
November 5, 2021
Second and Final Call for Presentations: PriSC 2022 @ POPL 2022
by
Marco Guarnieri on
October 5, 2021