BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//P4 - Language Consortium - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://p4.org
X-WR-CALDESC:Events for P4 - Language Consortium
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Vancouver
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20250309T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20251102T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20260308T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20261101T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20270314T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20271107T090000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Vancouver:20260625T080000
DTEND;TZID=America/Vancouver:20260625T090000
DTSTAMP:20260502T215019
CREATED:20260430T135723Z
LAST-MODIFIED:20260430T135723Z
UID:10000161-1782374400-1782378000@p4.org
SUMMARY:P4 Developer Days –  P4Check: a P4 Verification Tool
DESCRIPTION:Register to attend this P4 Developer Day webinar on June 25 at 8 am PT/11 am ET/5 pm CET \nP4Check: a P4 Verification Tool\n\n\nAbstract\nWe present P4Check\, a scalable and practical one-stop shop for verifying data planes defined in P4. P4Check combines well-proven techniques\, symbolic execution\, big-step semantics and model checking with a novel high-level specification language into a tool to verify properties of stateful P4 programs at both the device and network levels. We present case studies showing property verification and bug detection for real-world P4 programs and conduct experiments to quantify the performance of p4Check compared to earlier works. \nSpeaker\nTommaso Pacciani is a PhD candidate in Multiscale Networked Systems (MNS) at the University of Amsterdam. His research focuses on applying formal methods and language design to enable the verification of programmable networks. His additional research interests include functional programming\, effect systems\, and debugging. \n\n\nRegister to attend this virtual & free event
URL:https://p4.org/event/p4check/
CATEGORIES:Events
ATTACH;FMTTYPE=image/png:https://p4.org/wp-content/uploads/sites/53/2026/04/Dev-Day-June-25-2026.png
END:VEVENT
END:VCALENDAR