https://plv.cs.pdx.edu/porpl/Recent content on PorPL — Portland PL SymposiumHugoen-ushttps://plv.cs.pdx.edu/porpl/2026/logistics/Mon, 01 Jan 0001 00:00:00 +0000https://plv.cs.pdx.edu/porpl/2026/logistics/<h2 id="format">Format</h2> <p>This event is <strong>in-person only</strong>. The goal of this event is to bring people who work on programming languages and formal verification in closeby areas together, to build connections and forster collaborations. For this, we only support in-person participation. Zoom options or video recordings will not be available.</p> <h2 id="venue">Venue</h2> <figure class="embed embed--photo"> <img src="https://plv.cs.pdx.edu/porpl/images/kmc-2026_hu_cfa311de099d2508.webp" srcset="https://plv.cs.pdx.edu/porpl/images/kmc-2026_hu_8c674ec1eb271420.webp 480w, https://plv.cs.pdx.edu/porpl/images/kmc-2026_hu_cfa311de099d2508.webp 800w, https://plv.cs.pdx.edu/porpl/images/kmc-2026_hu_cc1b1b55aa9dfe1d.webp 1200w" sizes="(min-width: 56rem) 36rem, 100vw" width="800" height="533" alt="The Karl Miller Center at PSU at dusk — a timber-clad building with an angular glass atrium and KARL MILLER CENTER signage, fronted by trees on SW Broadway." loading="lazy" decoding="async"> <figcaption class="embed__caption">Karl Miller Center, PSU</figcaption> </figure> <p> PorPL 2026 will be held in <strong>Room 290, Karl Miller Center, PSU</strong>, 1828 SW Broadway, Portland, OR 97201. <a href="https://maps.app.goo.gl/uHCHfkaC1HtjVVnf6" rel="external">View on the map <span aria-hidden="true">&#8599;</span></a>. </p>https://plv.cs.pdx.edu/porpl/2026/Mon, 01 Jan 0001 00:00:00 +0000https://plv.cs.pdx.edu/porpl/2026/