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: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:20260610T080000
DTEND;TZID=America/Vancouver:20260610T090000
DTSTAMP:20260502T201856
CREATED:20260428T123842Z
LAST-MODIFIED:20260428T124340Z
UID:10000160-1781078400-1781082000@p4.org
SUMMARY:P4 Developer Days – A Multi-Site Testbed for Heterogeneous P4 Data Plane Experimentation on Research Cyberinfrastructure
DESCRIPTION:Register to attend this P4 Developer Day webinar on June 10 at 11 am ET/5 pm CET \nA Multi-Site Testbed for Heterogeneous P4 Data Plane Experimentation on Research Cyberinfrastructure\n\n\nAbstract\nThis presentation introduces a multi-site testbed that unifies three distinct classes of P4-programmable hardware\, FPGA SmartNICs (AMD Alveo)\, DPUs (NVIDIA BlueField)\, and software switches (BMv2)\, under a single Kubernetes control plane on the National Research Platform (NRP). We detail the architecture that uses ESnet’s SENSE orchestrator for dynamic multi-domain Layer 2 path provisioning and a unified shell automation framework for reproducible experiments. We also share critical lessons learned from integrating heterogeneous targets and running a real-world deployment. This work provides a blueprint for building and operating advanced\, reproducible P4 experimentation infrastructure for the research community. \nSpeaker\nMohammad Firas Sada is a researcher at SDSC specializing in deep learning\, high-performance computing (HPC)\, and advanced networking. His work within the Nautilus Kubernetes cluster at the National Research Platform focuses on distributed AI workflows\, network programmability\, hardware acceleration with novel compute architectures\, and scalable cyberinfrastructure for data-intensive science. His interests include optimizing AI training across GPU clusters\, accelerating scientific computing with programmable networks\, and developing tools for large-scale data movement and workflow automation. He enjoys working with talented teams to foster collaboration\, exchange ideas\, and advance research in computing. \n\n\nRegister to attend this virtual & free event
URL:https://p4.org/event/p4-data-plane/
CATEGORIES:Events
ATTACH;FMTTYPE=image/png:https://p4.org/wp-content/uploads/sites/53/2026/04/Dev-Day-Jun-10-2026.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Vancouver:20260625T080000
DTEND;TZID=America/Vancouver:20260625T090000
DTSTAMP:20260502T201856
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