List of workshops


HotSpot, Principles of Security and Trust: submission deadline extension
by Joshua Guttman, Feb. 28, 2020

We're extending the deadline for HotSpot, Hot Topics in the Principles of Security and Trust, through:

Wednesday 4 March

We have some great invited talks set up; come join with a contributed paper.

TERMGRAPH 2020: Call for papers
by Patrick Bahr, Feb. 25, 2020

The 11th International Workshop on Computing with Terms and Graphs will be co-located with with FSCD & IJCAR 2020 (June 29 - July 5, 2020); deadline for extended abstracts is 15 April.

Bx 2020 - Call for Papers
by leen, Feb. 19, 2020

Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2020 is a dedicated venue for bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields.

CFP VerifyThis Long-Term Challenge
by Raul Monti, Feb. 10, 2020

Call for presentations for VTLTC-2020

6th Workshop on Model Driven Approaches in System Development (MDASD 2020)
by Ivan Lukovic, Jan. 14, 2020

A goal of the proposed workshop is to bring together people working on MD languages, techniques and tools, as well as 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 Software Development (MDSD), Domain Specific Modeling (DSM), and OMG's Model Driven Architecture (MDA).

Interdisciplinary Approaches in Data Science and Digital Transformation Practice (IADSDTP 2020)
by Ivan Lukovic, Jan. 7, 2020

Invited Session in the scope of the 24th International Conference on on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2020)

The main goal of the session is to attract researchers from all over the world who will present their contributions, interdisciplinary approaches or case studies in the area of Data Science and Digital Transformation.

Rust Verification Workshop at ETAPS 2020: Call for Talk, Demo, and Challenge Proposals
by Peter Mueller, Jan. 7, 2020

Rust is a new programming language for writing performant code with strong type and memory safety guarantees. It is now considered a serious alternative to C and C++ for systems programming, because it provides high-level abstractions but without the cost of garbage collection. Given the growing popularity of Rust, and given that bugs in systems programs can be costly, there is growing interest in the program verification community for building program verifiers for Rust. In this workshop, we aim to bring together language designers, application developers and formal verification tool builders, to exchange ideas and build collaborations around developing verified Rust programs.
The goal of this workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the verification of Rust programs and exploring avenues for collaboration.
We want the workshop to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, tool demos, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc. to be posted on this website.

CfP: ProvenanceWeek, IPAW, TaPP 2020
by James Cheney, Dec. 10, 2019


Continuing the first three successful ProvenanceWeek events in 2014, 2016, and
2018, ProvenanceWeek 2020 aims to provide a venue for both mature research
contributions and early-stage research in the area of provenance, and to attract
a broad audience of researchers working on provenance techniques, researchers in
other disciplines that make use of, or apply, provenance techniques, and
participants from industry or government.

ProvenanceWeek 2020 will feature two primary events organized into tracks, the
International Provence and Annotation Workshop (IPAW) track and the Theory and
Practice of Provenance (TaPP) track, and in addition, will feature a joint
poster/demo track.

« previous123...1213next »