List of workshops
- Deadline Extension: Formal Methods for Autonomous Systems 2021
FMAS 2021 is a one-day workshop that brings together researchers working on a range of techniques for the formal verification of autonomous systems, to present recent work in the area, discuss key challenges, and stimulate collaboration between autonomous systems and formal methods researchers.
More details can be found on our website: https://fmasworkshop.github.io/FMAS2021/
- CFP: VMIL 2021 (Workshop on Virtual Machines and Language Implementations)
The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues. VMIL'21 is co-located with SPLASH 2021.
- Call for Informatics Europe Online Academic Leadership Development Course - Autumn 2021 Edition
---------------------------------------------------------------------------------------------------------------
Online Academic Leadership Development Course:
Leading People in Academia
Seven Online Sessions:
16 & 23 September, 07 & 21 October, 04 & 18 November, 02 December (Thursdays)
10:00-12:00 CEST/CETRegistration Deadline: 20 August 2021
To register, please fill in this online form.
--------------------------------------------------------------------------------------------------------------------- Link Correction - CFP: 8th Workshop on Advances in Programming Languages (WAPL'21)
8th Workshop on Advances in Programming Languages (WAPL'21)
https://fedcsis.org/2021/waplOrganized within 2021 Federated Conference on Computer Science and
Intelligence Systems (FedCSIS'21; IEEE #52320)- Call for Papers: 8th Workshop on Advances in Programming Languages (WAPL'21)
8th Workshop on Advances in Programming Languages (WAPL'21)
https://www.fedcsis.org/2021/sew-iwcpsOrganized within 2021 Federated Conference on Computer Science and
Intelligence Systems (FedCSIS'21; IEEE #52320)- Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021)
FMAS 2021 is a one-day workshop that brings together researchers working on a range of techniques for the formal verification of autonomous systems, to present recent work in the area, discuss key challenges, and stimulate collaboration between autonomous systems and formal methods researchers.
- BASS 2021: 3rd International Workshop on Behavioral Authentication for System Security
BASS 2021 : 3rd International Workshop on Behavioral Authentication for System Security
Link: https://www.ares-conference.eu/workshops/bass-2021/
co-located with ARES2021,
the 16th International Conference on Availability, Reliability and Security (https://www.ares-conference.eu/)- DEADLINE EXTENSION: CfP: HEDA'201 - The International Health Data Workshop
----------------------------------------------------------------------------------------
SUBMISSION DEADLINE EXTENSION: APRIL 11, 2021
----------------------------------------------------------------------------------------
Call for Papers
HEDA2021: The International Health Data Workshop 2021
in conjunction with 10th International Conference on Model and Data Engineering (MEDI 2021)
TalTech (Tallinn University of Technology)
Tallinn, Estonia, June 21st, 2021https://heda.isp.uni-luebeck.de
