List of workshops


Virtual Machines and Language Implementations (VMIL) 2020: Call For Participation
by Juan Fumero, Oct. 27, 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.

F-IDE 2021 - Call for Papers
by Jose Proenca, Oct. 19, 2020

6th Workshop on Formal Integrated Development Environment (F-IDE) 2021.
Online event, affiliated with NASA Formal Methods 2021.
https://cister-labs.pt/f-ide2021

* paper submission: Mon, Mar 1, 2021
* Notification: Mon, Apr 19, 2021
* Camera-ready: Mon, May 3, 2021
* Workshop: May 24-28, 2021

VMIL 2020 Deadline Extension
by Juan Fumero, Sept. 8, 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/

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.

CfP: SASSUR 2020, 9th Int. Workshop on System Assurance Approaches for Critical Systems
by jmartinez, March 9, 2020

9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems – SASSUR 2020
Santander, Spain, June 12th, 2020
In conjunction with the 25th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2020)
http://www.sassur.org

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.

« previous123...1213next »