[AISWorld] [Workshop] [Call for Papers] Automated and verifiable Software sYstem DEvelopment (ASYDE) 2022

[Luca Berardinelli]

Are you working on automated software development methods and 
techniques, compositional verification theories, integration 
architectures, flexible and dynamic composition, and automated planning 
mechanisms?

Submit your work at the 4th International Workshop on
Automated and verifiable Software sYstem DEvelopment (ASYDE) co-located
with SEFM 2022 (https://sefm-conference.github.io/2022/).

Paper Submission deadline: 14th August, 2022.
Author Notification: 1st September, 2022.

ASYDE 2022 is supported by GFaI (https://www.gfai.de/)
More information can be found at the official website:
https://asyde-series.github.io/asyde2022/
#softwareengineering #asyde #SEFM

Luca Berardinelli
Senior Postdoctoral Researcher
Institut für Wirtschaftsinformatik- Software Engineering

JOHANNES KEPLER
UNIVERSITÄT LINZ
Altenberger Straße 69
Science Park 3, ZG S3 0090
4040 Linz, Österreich
M +43 678 1260 771
luca.berardinelli at jku.at

jku.at
linkedin.com/in/lucaberardinelli/