BEGIN:VCALENDAR
VERSION:2.0
X-WR-TIMEZONE:Europe/Paris
CALSCALE:GREGORIAN
PRODID:-//SPIP/Plugin Agenda//NONSGML v1.0//FR
X-WR-CALNAME;VALUE=TEXT:Formations ALSE (France) -- Agenda
X-WR-CALDESC:Leader en France des Formations FPGA & HDL.
X-WR-RELCALID:https://www.alse.fr
BEGIN:VEVENT
SUMMARY:PSL for Assertions-Based Verification
UID:evenement320 @ https://www.alse.fr
DTSTAMP:20260915T220000Z
DTSTART;VALUE=DATE:20261112
DTEND;VALUE=DATE:20261114
CREATED:20260915T220000Z
LAST-MODIFIED:20260915T220000Z 
LOCATION:A distance (OnLine)
DESCRIPTION:Formation aux Assertions de deux 1/2 journées
CATEGORIES:PSL for Assertions-Based Verification
URL:https://www.alse.fr/Assertion-Based-Verification-with-PSL.html?id_evenement=320
SEQUENCE:0

STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR