BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//P4 - Language Consortium - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:P4 - Language Consortium
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:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20240429T080000
DTEND;TZID=UTC:20240501T080000
DTSTAMP:20260504T044409
CREATED:20250912T220241Z
LAST-MODIFIED:20250915T225437Z
UID:10000120-1714377600-1714550400@p4.org
SUMMARY:ONE Summit 2024: P4-Based Automated Reasoning
DESCRIPTION:  \nCheck out the video and slides by P4 TST member Steffen Smolka\, “P4-based Automated Reasoning” which was featured at The Linux Foundation’s One Summit 2024. In his talk he discusses how P4 is now being used as a specification language for network programmable and non-programmable pipelines. He discusses how Google and others have been leveraging such machine-readable\, unambiguous\, vendor-agnostic specifications of their switches to increase network reliability and development as well as allow the SDN controller to interoperate seamlessly with switches form different vendors. \n  \nView Video \nReview Slides
URL:https://p4.org/event/one-summit-2024-p4-based-automated-reasoning/
CATEGORIES:Events
END:VEVENT
END:VCALENDAR