List of workshops - page 3


PERR
by Soumyadip Bandyopadhyay, April 13, 2022

5th Workshop on Program Equivalence and Relational Reasoning
August 11, 2022 at Technion, Haifa, Israel
associated with CAV 2022 at FLOC 2022
https://perr-workshop.github.io/2022

======================================================================

Submission Deadline: Friday, 28 May, 2022 (AoE)

Submit at: https://easychair.org/conferences/?conf=perr2022

DATALOG 2.0 2022 - 1st Call for Papers
by cfp, March 28, 2022

First call for papers of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry - A workshop of LPNMR 2022

2nd CfP: 15th Interaction and Concurrency Experience (ICE 2022)
by Cinzia DI GIUSTO, March 22, 2022

Interaction and Concurrency Experience (ICE) is a series of
international scientific meetings oriented to theoretical computer
science researchers with special interest in models, verification,
tools, and programming primitives for complex interactions.

CfP: 15th Interaction and Concurrency Experience (ICE 2022)
by Cinzia DI GIUSTO, Feb. 14, 2022

Interaction and Concurrency Experience (ICE) is a series of
international scientific meetings oriented to theoretical computer
science researchers with special interest in models, verification,
tools, and programming primitives for complex interactions.

7th Workshop on Model Driven Approaches in System Development (MDASD 2022)
by Ivan Lukovic, Feb. 4, 2022

A goal of the proposed workshop is to bring together people working on MD approaches, techniques and tools, as well as Domain Specific Modeling (DSM) and Domain Specific Languages (DSL) and applying them in the requirements engineering, information system and application development, databases, and related areas, so that they can exchange their experience, create new ideas, evaluate and improve MD approaches and spread its use. The intention is to target an interdisciplinary nature of MD approaches in software engineering, as well as research topics expressed by but not limited to acronyms such as Model Driven Software Engineering (MDSE), Model Driven Development (MDD), Domain Specific Modeling (DSM), and OMG's Model Driven Architecture (MDA).

Track 5: Software, System and Service Engineering (S3E 2022) in the scope of FedCSIS 2022
by Ivan Lukovic, Jan. 12, 2022

The S3E track emphasizes the issues relevant to developing and maintaining software systems that behave reliably, efficiently and effectively. This track investigates both established traditional approaches and modern emerging approaches to large software production and evolution.

PLAS 2021 Call for Participation - 16th Workshop on Programming Languages and Analysis for Security
by Marco Guarnieri, Dec. 2, 2021

PLAS 2021 will be held online on December 7. Participation will be free without any preregistration.

PLAS provides a forum for exploring and evaluating the use of programming language and program analysis techniques for promoting security in the complete range of software systems, from compilers to machine-learned models and smart contracts. The workshop encourages proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and problems. We also host position papers that are radical, forward-looking, and lead to lively and insightful discussions influential to the future research at the intersection of programming languages and security.

Call for Presentations: PriSC 2022 @ POPL 2022 -- Deadline extension
by Marco Guarnieri, Nov. 5, 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.