Dear all,

We got the information that two papers have been accepted last week:

Less Manual Work for Safety Engineers: Towards an
Automated Safety Reasoning with Safety Patterns
(Application Paper)

to ICLP 2020

and

Towards Automating Safety and Security Co-Analysis with Patterns

(Position Paper)

to SafeCOMP 2020

We will acknowledge SPARTA.

Best,

Vivek Nigam

--
fortiss · Landesforschungsinstitut des Freistaats Bayern
An-Institut Technische Universität München
Guerickestraße 25
80805 München
Germany
Tel.: +49 (89) 3603522 527
Fax: +49 (89) 3603522 50
E-Mail: nigam@fortiss.org
http://www.fortiss.org

Amtsgericht München: HRB: 176633
USt-IdNr.: DE263907002, Steuer-Nr.: 143/237/25900
Rechtsform: gemeinnützige GmbH
Sitz der Gesellschaft: München
Geschäftsführer: Dr. Harald Rueß, Thomas Vallon
Vorsitzender des Aufsichtsrats: Dr. Manfred Wolter