List of workshops
- NWPT 2021 call for contributions - deadline 10 Oct
32nd Nordic Workshop on Programming Theory, NWPT '21
Reykjavik, Iceland and online, 4-6 November 2021
----------------------------------------------------------------------
Important datesSubmission of abstracts 10 October
Notification 17 October
----------------------------------------------------------------------- Call for Presentations: PriSC 2022 @ POPL 2022
The Workshop on Principles of Secure Compilation (PriSC) is a relatively new, informal 1-day workshop without any proceedings. The goal is to bring together researchers interested in secure compilation and to identify interesting research directions and open challenges. The 6th edition of PriSC will be held on January 22, together with the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2022.
- Call for Participation: ICLP'21 Workshop on Goal-directed Execution of Answer Set Programs
GDE'21 Workshop is dedicated to design, implementation and applications of goal-directed execution of answer set programs
- CIFMA 2021: 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications
Monday 6 December 2021
https://cifma.github.io/
VIRTUAL EVENT organised by Nazarbayev University, Nur-Sultan, Kazakhstan, and the University of York, York, UK
Co-located with SEFM 2021IMPORTANT DATES
Paper Abstract Submission deadline: Friday 24 September 2021
Paper Submission deadline: Friday 1 October 2021
Accept/Reject Notification: Friday 5 November 2021- NLPaSE 2021
Final Call for Papers with extended submission deadline: 2nd Workshop on Natural Language Processing Advancements for Software Engineering (NLPaSE 2021) @ 28th APSEC 2021
- Link Correction - CFP: 8th Workshop on Advances in Programming Languages (WAPL'21)
8th Workshop on Advances in Programming Languages (WAPL'21)
https://fedcsis.org/2021/waplOrganized within 2021 Federated Conference on Computer Science and
Intelligence Systems (FedCSIS'21; IEEE #52320)- Call for Papers: 8th Workshop on Advances in Programming Languages (WAPL'21)
8th Workshop on Advances in Programming Languages (WAPL'21)
https://www.fedcsis.org/2021/sew-iwcpsOrganized within 2021 Federated Conference on Computer Science and
Intelligence Systems (FedCSIS'21; IEEE #52320)- Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021)
FMAS 2021 is a one-day workshop that brings together researchers working on a range of techniques for the formal verification of autonomous systems, to present recent work in the area, discuss key challenges, and stimulate collaboration between autonomous systems and formal methods researchers.
