List of workshops


NWPT 2021 call for contributions - deadline 10 Oct
by Tarmo Uustalu, Sept. 26, 2021

32nd Nordic Workshop on Programming Theory, NWPT '21

Reykjavik, Iceland and online, 4-6 November 2021

----------------------------------------------------------------------
Important dates

Submission of abstracts 10 October
Notification 17 October
----------------------------------------------------------------------

Call for Presentations: PriSC 2022 @ POPL 2022
by Marco Guarnieri, Sept. 16, 2021

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
by Gopal Gupta, Sept. 11, 2021

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
by Alessandro Aldini, Sept. 8, 2021

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 2021

IMPORTANT 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
by Saurabh Tiwari, Sept. 6, 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)
by Hossein HAERI, May 23, 2021

8th Workshop on Advances in Programming Languages (WAPL'21)
https://fedcsis.org/2021/wapl

Organized 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)
by Hossein HAERI, May 20, 2021

8th Workshop on Advances in Programming Languages (WAPL'21)
https://www.fedcsis.org/2021/sew-iwcps

Organized within 2021 Federated Conference on Computer Science and
Intelligence Systems (FedCSIS'21; IEEE #52320)

Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021)
by mluckcuck, April 6, 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.

« previous123...1314next »