BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//P4 - Language Consortium - ECPv6.17.4.1//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: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:-0700
TZNAME:MST
DTSTART:20261101T090000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Vancouver:20260917T080000
DTEND;TZID=America/Vancouver:20260917T090000
DTSTAMP:20260831T160019Z
CREATED:20260831T155818Z
LAST-MODIFIED:20260831T160019Z
UID:10000170-1789632000-1789635600@p4.org
SUMMARY:P4 Developer Days – P4-SpecTec Tutorial: A Project-Based Introduction with Nano-P4
DESCRIPTION:P4-SpecTec Tutorial: A Project-Based Introduction with Nano-P4\n\n\nAbstract\nAs P4-SpecTec advances towards official adoption into the P4 specification pipeline\, authors face a learning curve in writing and maintaining mechanized specifications. This tutorial\, Mechanizing the Nano-P4 specification with P4-SpecTec\, provides a project-based introduction designed for newcomers and P4 specification authors. Through an end-to-end case study on a reduced language dialect\, readers will gain the foundational skills that can be applied to real-world language mechanization projects. \nSpeaker\nHaechan Kwon is an undergraduate student at KAIST and a student researcher at KAIST-PLRG. He is a core contributor to P4-SpecTec\, focusing on mechanized specifications for the P4 language ecosystem. \n\n\n🗓️ [Click here] to add event and Zoom details to your calendar for September 17 at 8 am PT (virtual & free)
URL:https://p4.org/event/spectec-tutorial/
CATEGORIES:Events
ATTACH;FMTTYPE=image/png:https://p4.org/wp-content/uploads/sites/53/2026/08/Dev-Day-Sep-17-2026.png
END:VEVENT
END:VCALENDAR