BEGIN:VCALENDAR
CALSCALE:GREGORIAN
VERSION:2.0
X-WR-TIMEZONE:Europe/Paris
METHOD:PUBLISH
PRODID:-//LIP6//www.lip6.fr//FR
X-WR-CALNAME;VALUE=TEXT:Séminaire LIP6
X-LIC-LOCATION:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
DTSTART:19810329T020000
TZNAME:GMT+02:00
TZOFFSETTO:+0200
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
DTSTART:19961027T030000
TZNAME:GMT+01:00
TZOFFSETTO:+0100
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:[Séminaire MoVe] Thaïs Milleret (MoVe, LIP6)
ORGANIZER;CN=Dylan Marinho:MAILTO:Dylan.Marinho@lip6.fr
ATTENDEE;CN=Thaïs Milleret (MoVe, LIP6) : Amélioration des fonction
 nalités d’un software model-checker;CUTYPE=INDIVIDUAL;PARTSTAT=ACC
 EPTED:mailto:Dylan.Marinho@lip6.fr
DESCRIPTION:Les failles de sécurité dans les contrats intelligents 
 (smart contracts) Ethereum sont une préoccupation majeure qui doit
  être résolue avant leur déploiement sur la blockchain. En raison 
 des risques croissants associés aux vulnérabilités des smart contr
 acts, l’objectif principal de ce stage est d’assurer leur sûre
 té et leur sécurité grâce à des techniques de vérification form
 elle avancées. Plus précisément, ce stage visait à améliorer un 
 outil de vérification formelle existant : SmartPulseTool est un cadr
 e de vérification automatisée innovant et open-source conçu pour a
 nalyser les propriétés de sécurité et de permanence des contrats 
 intelligents Ethereum.
DTSTAMP:20261002T141804Z
DTSTART;TZID=Europe/Paris:20261013T143000
DURATION:PT2H
URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1255
UID:LIP6/SEM/O1255
LOCATION:Salle 24-25/405, Campus Pierre et Marie Curie
GEO:48.847449;2.355255
END:VEVENT
END:VCALENDAR