List of workshops


Deadline Extension: Formal Methods for Autonomous Systems 2021
by mluckcuck, July 22, 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)
by Gregor Richards, July 13, 2021

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
by franziska_hauffe, June 30, 2021

---------------------------------------------------------------------------------------------------------------

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/CET

Registration Deadline: 20 August 2021
To register, please fill in this online form.
--------------------------------------------------------------------------------------------------------------------

Link Correction - CFP: 8th Workshop on Advances in Programming Languages (WAPL'21)
by Hossein HAERI, May 23, 2021

8th Workshop on Advances in Programming Languages (WAPL'21)
https://fedcsis.org/2021/wapl

Organized 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)
by Hossein HAERI, May 20, 2021

8th Workshop on Advances in Programming Languages (WAPL'21)
https://www.fedcsis.org/2021/sew-iwcps

Organized within 2021 Federated Conference on Computer Science and
Intelligence Systems (FedCSIS'21; IEEE #52320)

Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021)
by mluckcuck, April 6, 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
by Alessandro Aldini, April 1, 2021

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
by Martin Leucker, March 23, 2021

----------------------------------------------------------------------------------------

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, 2021

https://heda.isp.uni-luebeck.de

« previous123...1314next »