[fg-arc] KRDB Summer Online Seminars - a series of 21 seminars to attend online

Enrico Franconi franconi at inf.unibz.it
Tue May 5 18:44:54 CEST 2020

Previous message (by thread): [fg-arc] CFP - Recent Published Research Track (KR 2020)
Next message (by thread): [fg-arc] [fm-announcements] Call for Participation - 12th NASA Formal Methods Symposium (NFM2020)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20200505/58b0bf20/attachment.htm>

Previous message (by thread): [fg-arc] CFP - Recent Published Research Track (KR 2020)
Next message (by thread): [fg-arc] [fm-announcements] Call for Participation - 12th NASA Formal Methods Symposium (NFM2020)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the fg-arc mailing list