List of workshops


HotSpot: Hot topics in the Principles of Security and Trust
by Joshua Guttman, Aug. 5, 2020

The IFIP WG 1.7 workshop will meet virtually together with IEEE Euro S&P on 7 September. We have a schedule of six invited talks plus six contributed talks.

[CFP] VMIL 2020 - Workshop on Virtual Machines and Language Implementations - Co-located with SPLASH 2020
by Juan Fumero, July 18, 2020

The concept of Virtual Machines is pervasive in the design and implementation of programming systems. Virtual Machines and the languages they implement are crucial in the specification, implementation, and/or user-facing deployment of most programming technologies.

The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues.

Extended Deadline: Modeling Language Engineering and Execution (MLE'20) at MODELS'20
by Andreas Wortmann, July 16, 2020

2nd International Workshop on Modeling Language Engineering and Execution (MLE'20) at MODELS'20

- Paper submission deadline: July 26, 2020
- Notification of acceptance: August 21, 2020
- Camera-ready deadline: August 28, 2020
- Workshop: October 18, 19 or 20, 2020

CfP: Modeling Language Engineering and Execution (MLE'20) at MODELS'20
by Andreas Wortmann, July 1, 2020

2nd International Workshop on Modeling Language Engineering and Execution (MLE'20) at MODELS'20

The Modeling Language Engineering and Execution (MLE) workshop aims at bringing together researchers and practitioners working on modeling-language and software-language engineering. It is a meeting opportunity for Software Language Engineering (SLE) enthusiasts within the software-modeling community.

Paper submission deadline: July 22, 2020

https://mleworkshop.github.io/

First Workshop on Quantitative Aspects of Variant-rich Systems (QAVS)
by Maurice ter Beek, May 15, 2020

QAVS 2020

First Workshop on Quantitative Aspects of Variant-rich Systems
31 August 2020, co-organized with eQONFEST 2020

https://qavs.edgecloud.de

*** Due to the outbreak of COVID-19 and following the approach of QONFEST 2020, also QAVS 2020 will be conducted as a virtual meeting ***

TERMGRAPH 2020: 2nd Call for papers
by Patrick Bahr, April 3, 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.

BASS 2020: 3rd International Workshop on Behavioral Authentication for System Security
by Alessandro Aldini, March 24, 2020

co-located with the 15th International Conference on Availability, Reliability and Security (ARES 2020)

Link: https://www.ares-conference.eu/workshops/bass-2020/

August 25 – August 28, 2020, University College Dublin, Dublin, Ireland

Submission May 10, 2020
Notification June 06, 2020
Final Version July 05, 2020

CFP FORMal REQuirements 2020 - collocated with RE'20
by Sophie Ebersold, March 12, 2020

The goal of FormReq20 will be to bring together industrial practitioners (both convinced and skeptical) as well as researchers to discuss the good practices, the remaining challenges, of using for-mal approaches to express and manage requirements.

« previous123...1213next »