List of workshops - page 6
- Extended Deadline: Modeling Language Engineering and Execution (MLE'20) at MODELS'20
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
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
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
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
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: 18th Belgium-Netherlands Software Evolution Workshop - BENEVOL 2019
The Call for Paper for the 18th Belgium-Netherlands Software Evolution Workshop
Brussels, Belgium
28th - 29th November, 2019
http://soft.vub.ac.be/benevol2019/- Call for Presentations on Principles of Secure Compilation (PriSC Workshop @ POPL 2020)
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 4th edition of PriSC will be held on January 25 in New Orleans, Louisiana USA together with the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2020.
Submission deadline: Fri 18 Oct 2019.- Refinement workshop: Deadline extension
REFINE 2019: Refinement Workshop - 2nd Call for papers
Co-located with FM 2019
Porto, Portugal, 7 October, 2019Website: https://refinenet.github.io/
Submission link: https://easychair.org/my/conference?conf=refine2019Important dates:
July 15, 2019: extended submission deadline
July 31, 2019: notifications
October 7, 2019: workshop
