Event owner lens
Use this record to benchmark whether a comparable event makes the work after the room visible. The score is 36/100, so the next move is to benchmark the weakest pillars before repeating the format.
academic research science agenda agenda analysis
POPL - POPL - FAQ on Double-Blind Reviewing
This academic research science agenda in Academic / Research / Science shows 80 visible agenda rows from conf.researchr.org and scores 36/100: a thin but inspectable design signal. The clearest public signals sit in Future-of-Work Fit and Network Design; the main limits are Follow Through and Personalization. Visible mechanisms include Participant work, Network design, and Learning transfer. The public record does not show follow-up or tracking, so the score should be read as design intent rather than durable... A practical reading: For a reader, this is a comparison record more than a model to copy: it reads as an academic research science agenda, with the strongest visible signal in future-of-work fit and network design and the biggest open question around follow through and personalization. The practical test is whether the published agenda connects the room to post-event continuation and evidence. This page is an original public-evidence analysis, not a copy of the source agenda or an endorsement of the event. The score places the visible agenda in the thin outcome architecture band. The strongest visible pillars are Future-of-Work Fit, Network Design, and Problem Specificity; the thinnest visible pillars are Follow Through, Personalization, and Learning Transfer. Visible mechanisms include Participant work, Network design, and Learning transfer. The extracted agenda preview includes 148 visible rows. The most common formats are Presentation, Poster Session, and Unknown; the most common inferred purposes are Knowledge Transfer, Showcase, and Unknown.
Eight-pillar fingerprint
Hover any pillar to see what it measures and, where it scored low, what the agenda is missing.
Participation Architecture?35
Participation Architecture - 35/100. Participant work, contribution, interaction, and alternatives to passive broadcast.Missing: Turn passive airtime into participant work: practice, sensemaking, decisions, critique, or artifact creation.
Follow Through?5
Follow Through - 5/100. Owners, dates, commitments, progress checks, and accountability after the room.Missing: Add named owners, dates, implementation checkpoints, and a visible post-event continuation path.
Problem Specificity?49
Problem Specificity - 49/100. A clear costly problem, objective, decision, or performance target.
Personalization?34
Personalization - 34/100. Role, path, goal, preparation, or connection tailoring for participants.Missing: Create role-based paths, prepared questions, tailored breakouts, or participant-specific next steps.
Network Design?52
Network Design - 52/100. Structured weak ties, bridge-building, mixers, and relationship persistence.
Learning Transfer?35
Learning Transfer - 35/100. Applied practice, feedback, workplace use, refreshers, and 30-90 day transfer.
Evidence Maturity?45
Evidence Maturity - 45/100. Baseline, comparison, follow-up, isolation, and attribution confidence.
Future-of-Work Fit?76
Future-of-Work Fit - 76/100. Value against time, hybrid reality, accessibility, AI, and meeting load.
Fix the gaps
Field-tested exercises matched to this agenda's weakest pillars, from the exercise library.
Follow Through (5/100)
Exercises that strengthen it: Mental Toughness Workshop • WorkshopBank · 15% Solutions • WorkshopBank · Network Patches
Personalization (34/100)
Exercises that strengthen it: Journey Mapping • WorkshopBank · Group Energiser & Perspective-Changing Exercise - Paradigm... · Photo Storytelling
Participation Architecture (35/100)
Exercises that strengthen it: Make A World · Awestruck 3 Minutes · Spectrum Mapping
Agenda Preview
The actual agenda we captured. Every block is classified by format and purpose. Open any block to see how we read it; the colored edge shows whether it is participant work, broadcast, logistics, or a showcase.
Room vs wrapper
4 percent of the 148 classified blocks put participants to work; the rest broadcast, show, or handle logistics. That mix is what drives the participation score.
Participant workBroadcastShowcaseLogistics
all eventTutorialsTrainingSkill building+
Format · Participant workTrainingGuided skill building where participants practice. Counts as participant work and learning transfer.
Evidence basisParticipant work is implied by the formatInferred from format
all eventWorkshops and Co-located EventsWorkshopParticipant work+
Format · Participant workWorkshopParticipants work on a problem and produce something. The strongest signal of participation architecture.
Evidence basisParticipant work is implied by the formatInferred from format
all eventWorkshopsWorkshopParticipant work+
Format · Participant workWorkshopParticipants work on a problem and produce something. The strongest signal of participation architecture.
Evidence basisParticipant work is implied by the formatInferred from format
all eventPanelistsPanelDiscussion+
Format · BroadcastPanelExperts discuss while the audience watches. Surfaces perspective but rarely creates participant work.
Evidence basisNo participant output visible from this rowRead from source, no work signal
18:00 - 22:00Jane Street Social EventPOPL at Patty CakePresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
18:004h Social Event Jane Street Game Night POPL Richard A. Eisenberg Jane Street, Chris Casinghino Jane StreetPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
19:30 - 22:00POPL PC and SC DinnerCatering at Panzano RestaurantMealPacing+
Format · LogisticsMealA pacing block. Can carry unstructured networking, not scored as participant work.
Evidence basisOutcome inferred from formatInferred from format
08:55 - 09:00Welome from the general chairPOPL at Marco PoloPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
08:555m Day opening Welome from the general chair POPLPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
09:00 - 10:00KeynotePOPL at Marco PoloKeynoteExpert framing+
Format · BroadcastKeynoteA featured talk from the stage. Builds awareness and energy, produces no participant output on its own.
Evidence basisNo participant output visible from this rowRead from source, no work signal
09:0060m Keynote Finding Good Programs by Avoiding Bad Ones POPL Loris D'Antoni University of California, San DiegoKeynoteExpert framing+
Format · BroadcastKeynoteA featured talk from the stage. Builds awareness and energy, produces no participant output on its own.
Evidence basisNo participant output visible from this rowRead from source, no work signal
10:00 - 10:40BreakCatering at BreakroomPresentationPacing+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
10:0040m Coffee break Break CateringBreakPacing+
Format · LogisticsBreakA pacing or recovery block between sessions.
Evidence basisOutcome inferred from formatInferred from format
10:40 - 12:00Automata and Temporal PropertiesPOPL at Marco PoloPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
10:4020m Talk Coinductive Proofs for Temporal Hyperliveness POPL Arthur Correnson CISPA Helmholtz Center for Information Security, Bernd Finkbeiner CISPA Helmholtz Center for Information SecurityPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
11:0020m Talk Derivative-Guided Symbolic Execution POPL Yongwei Yuan Purdue University, Zhe Zhou Purdue University, Julia Belyakova Purdue University, Suresh Jagannathan Purdue UniversityPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
11:2020m Talk Symbolic Automata: omega-Regularity Modulo Theories POPL Margus Veanes Microsoft Research, Thomas Ball Microsoft Research, Gabriel Ebner Microsoft Research, Ekaterina Zhuchko Tallinn University of TechnologyPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
11:4020m Talk Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis POPL Philippe Heim CISPA Helmholtz Center for Information Security, Rayna Dimitrova CISPA Helmholtz Center for Information SecurityPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
10:40 - 12:00Program AnalysisPOPL at Peek-A-BooPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
10:4020m Talk Maximal Simplification of Polyhedral Reductions POPL Louis Narmour Colorado State University, University of Rennes, Inria, CNRS, IRISA, Tomofumi YukiSanjay Rajopadhye Colorado State UniversityPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
11:0020m Talk Program Analysis via Multiple Context Free Language Reachability POPL Giovanna Kobus Conrado Hong Kong University of Science and Technology, Adam Husted Kjelstrøm Aarhus University, Jaco van de Pol Aarhus University, Andreas Pavlogiannis Aarhus...PresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
11:2020m Talk The Best of Abstract Interpretations POPL Roberto Giacobazzi University of Arizona, Francesco Ranzato University of PadovaPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
11:4020m Talk An Incremental Algorithm for Algebraic Program Analysis POPL Chenyu Zhou University of Southern California, Yuzhou Fang University of Southern California, Jingbo Wang Purdue University, Chao Wang University of Southern CaliforniaPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
12:00 - 13:20LunchCatering at Four Square BallroomMealPacing+
Format · LogisticsMealA pacing block. Can carry unstructured networking, not scored as participant work.
Evidence basisOutcome inferred from formatInferred from format
12:0080m Lunch Lunch CateringMealPacing+
Format · LogisticsMealA pacing block. Can carry unstructured networking, not scored as participant work.
Evidence basisOutcome inferred from formatInferred from format
12:00 - 13:20Mentoring LunchCatering at HopscotchMealPacing+
Format · LogisticsMealA pacing block. Can carry unstructured networking, not scored as participant work.
Evidence basisOutcome inferred from formatInferred from format
12:0080m Lunch Mentoring Lunch CateringMealPacing+
Format · LogisticsMealA pacing block. Can carry unstructured networking, not scored as participant work.
Evidence basisOutcome inferred from formatInferred from format
13:20 - 14:20Quantum Computing 1POPL at Marco PoloPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
13:2020m Talk Linear and non-linear relational analyses for Quantum Program Optimization POPL Matthew Amy Simon Fraser University, Joseph Lunderville Simon Fraser UniversityPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
13:4020m Talk Automating equational proofs in Dirac notation RemotePOPL Yingte Xu MPI-SP and Institute of Software, Chinese Academy of Sciences, Gilles Barthe MPI-SP; IMDEA Software Institute, Li Zhou Institute of Software, Chinese Academy of SciencesPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
14:0020m Talk Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages POPL Andrea Colledan University of Bologna & INRIA Sophia Antipolis, Ugo Dal Lago University of Bologna & INRIA Sophia AntipolisPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
13:20 - 14:20Verification 1POPL at Peek-A-BooPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
13:2020m Talk Axe 'Em: Eliminating Spurious States with Induction Axioms POPL Neta Elad Tel Aviv University, Sharon Shoham Tel Aviv UniversityPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
13:4020m Talk A Verified Foreign Function Interface Between Coq and C POPL Joomy Korkut Bloomberg LP, Kathrin Stark Heriot-Watt University, Andrew W. Appel Princeton UniversityPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
15:00 - 16:20Probabilistic Programming 1POPL at Marco PoloPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
15:0020m Talk A quantitative probabilistic relational Hoare logic POPL Martin Avanzini Inria, Gilles Barthe MPI-SP; IMDEA Software Institute, Benjamin Gregoire INRIA, Davide Davoli Université Côte d’Azur, InriaPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
15:2020m Talk Approximate Relational Reasoning for Higher-Order Probabilistic Programs POPL Philipp G. Haselwarter Aarhus University, Kwing Hei Li Aarhus University, Alejandro Aguirre Aarhus University, Simon Oddershede Gregersen New York University, Joseph...PresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
15:4020m Talk Compositional imprecise probability: a solution from graded monads and Markov categories POPL Jack Liell-Cock University of Oxford, Sam Staton University of OxfordPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
16:0020m Talk Sound and Complete Proof Rules for Probabilistic Termination POPL Rupak Majumdar MPI-SWS, V.R. Sathiyanarayana MPI-SWSPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
15:00 - 16:20Semantic modelsPOPL at Peek-A-BooPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
15:0020m Talk Consistency of a Dependent Calculus of Indistinguishability POPL Yiyun Liu University of Pennsylvania, Jonathan Chan University of Pennsylvania, Stephanie Weirich University of PennsylvaniaPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
15:2020m Talk Finite-Choice Logic Programming POPL Chris Martens Northeastern University, Robert Simmons Independent, Michael Arntzenius NonePresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
15:4020m Talk Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory POPL Eric Giovannini University of Michigan, Tingting Ding University of Michigan, Max S. New University of MichiganPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
16:0020m Talk Abstract Operational Methods for Call-by-Push-Value POPL Sergey Goncharov University of Birmingham, School of Comp. Sci., Stelios Tsampas FAU Erlangen-Nuremberg, INF 8, Henning Urbat FAU Erlangen-Nuremberg, INF 8PresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
17:00 - 18:00TOPLASPOPL at Marco PoloPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
17:0020m Talk Universal Composability is Robust Compilation POPL Marco Patrignani University of Trento, Robert Künnemann CISPA Helmholtz Center for Information Security, Riad S. Wahby Stanford University, USA, Ethan Cecchetti University of Wisconsin-MadisonPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
17:2020m Talk Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation POPL Roberto Giacobazzi University of Arizona, Isabella Mastroeni University of Verona, Elia PerantoniPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
17:00 - 18:00Separation LogicPOPL at Peek-A-BooPresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
17:0020m Talk Formal Foundations for Translational Separation Logic Verifiers POPL Thibault Dardinier ETH Zurich, Michael Sammler Institute of Science and Technology Austria, Gaurav Parthasarathy ETH Zurich, Alexander J. Summers University of British Columbia,...PresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
17:2020m Talk Fulminate: Testing CN Separation-Logic Specifications in C POPL Rini Banerjee University of Cambridge, Kayvan Memarian University of Cambridge, Dhruv Makwana University of Cambridge, Christopher Pulte University of Cambridge, Neel Krishnaswami...PresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
17:4020m Talk Generically Automating Separation Logic by Functors, Homomorphisms, and Modules POPL Qiyuan Xu Nanyang Technological University, David Sanan Singapore Institute of Technology, Zhe Hou Griffith University, Xiaokun Luan Peking University, Conrad Watt...PresentationKnowledge transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisNo participant output visible from this rowRead from source, no work signal
18:00 - 20:00POPL Networking ReceptionCatering at Four Square BallroomReceptionRelationship building+
Format · LogisticsReceptionA social or hospitality block. Pacing and informal connection, not participant work.
Evidence basisOutcome inferred from formatInferred from format
18:002h Social Event POPL Networking Reception CateringReceptionRelationship building+
Format · LogisticsReceptionA social or hospitality block. Pacing and informal connection, not participant work.
Evidence basisOutcome inferred from formatInferred from format
18:00 - 20:00SRC Poster SessionStudent Research Competition at Four Square CorridorPoster sessionShowcase+
Format · ShowcasePoster sessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisOutcome inferred from formatInferred from format
18:002h Poster Efficient Strong Simulation of High-level Quantum Gates Student Research Competition Adam Husted KjelstrømPoster sessionShowcase+
Format · ShowcasePoster sessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisOutcome inferred from formatInferred from format
18:002h Poster Value semantics in reference-based languages Student Research Competition Hamza Remmal EPFL, LAMPPoster sessionShowcase+
Format · ShowcasePoster sessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisOutcome inferred from formatInferred from format
18:002h Poster Intermittent Concurrency Student Research Competition Myra Dotzel Carnegie Mellon University, Milijana Surbatovich University of Maryland, Limin Jia Carnegie Mellon UniversityPoster sessionShowcase+
Format · ShowcasePoster sessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisOutcome inferred from formatInferred from format
18:002h Poster APIdemic: Verifying Idempotency of REST API Clients Student Research Competition Bhavik Kamlesh Goplani University of KansasPoster sessionShowcase+
Format · ShowcasePoster sessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisOutcome inferred from formatInferred from format
18:002h Poster Formalizing Erlang’s Success Typings Student Research Competition Elan Semenova University of Maryland, College Park, Leonidas Lampropoulos University of Maryland, College ParkPoster sessionShowcase+
Format · ShowcasePoster sessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisOutcome inferred from formatInferred from format
18:002h Poster A Complete Translation from Planning Problems to linear logic Student Research Competition Luis Hernan Garcia Paucar Aston University, Chris Martens Northeastern UniversityPoster sessionShowcase+
Format · ShowcasePoster sessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisOutcome inferred from formatInferred from format
18:002h Poster Wanco: WebAssembly AOT Compiler that supports Live Migration Student Research Competition Raiki Tamura Kyoto University, Daisuke Kotani Kyoto University, Yasuo Okabe Kyoto UniversityPoster sessionShowcase+
Format · ShowcasePoster sessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisOutcome inferred from formatInferred from format
18:002h Poster Increasing the Expressiveness of a Gradual Verifier Student Research Competition Priyam Gupta Purdue UniversityPoster sessionShowcase+
Format · ShowcasePoster sessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisOutcome inferred from formatInferred from format
18:002h Poster M3: A Multi-Stage ML with Mutation Student Research Competition Maite Kramarz University of TorontoPoster sessionShowcase+
Format · ShowcasePoster sessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisOutcome inferred from formatInferred from format
18:002h Poster Loop Invariants Using Neural Networks Student Research Competition Atticus Kuhn University of Cambridge, Abhinandan Pal University of Birmingham, Mirco Giacobbe University of BirminghamPoster sessionShowcase+
Format · ShowcasePoster sessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisOutcome inferred from formatInferred from format
18:002h Poster Property Testing Trace Languages Student Research Competition Jed Koh Jin Keat National University of SingaporePoster sessionShowcase+
Format · ShowcasePoster sessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisOutcome inferred from formatInferred from format
18:002h Poster Optimizing Asynchronous Rust with Hydroflow Student Research Competition Ryan Alameddine University of California, BerkeleyPoster sessionShowcase+
Format · ShowcasePoster sessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisOutcome inferred from formatInferred from format
18:002h Poster Relational Hoare Logic for Sequential Program Verification Student Research Competition Shushu Wu Shanghai Jiao Tong UniversityPoster sessionShowcase+
Format · ShowcasePoster sessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisOutcome inferred from formatInferred from format
18:002h Poster Expanding the Scope of Grammar-Based Enumerative Testing Student Research Competition Thea Kjeldsmark University of California, IrvinePoster sessionShowcase+
Format · ShowcasePoster sessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisOutcome inferred from formatInferred from format
all eventPOPL ProgramUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisLowRead from source
all eventSun 19 JanUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisLowRead from source
all eventMon 20 JanUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisLowRead from source
all eventTue 21 JanUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisLowRead from source
all eventWed 22 JanUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisLowRead from source
all eventThu 23 JanUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisLowRead from source
all eventFri 24 JanUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisLowRead from source
all eventSat 25 JanUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisLowRead from source
all eventTutorialsTrainingSkill Building+
Format · Participant workTrainingGuided skill building where participants practice. Counts as participant work and learning transfer.
Evidence basisMediumRead from source
all eventWorkshops and Co-located EventsWorkshopCo Creation+
Format · Participant workWorkshopParticipants work on a problem and produce something. The strongest signal of participation architecture.
Evidence basisMediumRead from source
all eventWorkshopsWorkshopCo Creation+
Format · Participant workWorkshopParticipants work on a problem and produce something. The strongest signal of participation architecture.
Evidence basisMediumRead from source
all eventPanelistsPanelDeliberation+
Format · BroadcastPanelExperts discuss while the audience watches. Surfaces perspective but rarely creates participant work.
Evidence basisMediumRead from source
07:00The program is currently displayed in (GMT- ) Mountain Time (US & Canada).UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
07:00Use conference time zone: (GMT- ) Mountain Time (US & Canada)Select other time zoneUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
18:00 - 22:00Jane Street Social EventPOPL at Patty CakeUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
18:004h Social Event Jane Street Game Night POPL Richard A. Eisenberg Jane Street, Chris Casinghino Jane StreetUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
19:30 - 22:00POPL PC and SC DinnerCatering at Panzano RestaurantMealWellbeing+
Format · LogisticsMealA pacing block. Can carry unstructured networking, not scored as participant work.
Evidence basisMediumRead from source
08:55 - 09:00Welome from the general chairPOPL at Marco PoloUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
08:555m Day opening Welome from the general chair POPLUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
09:00 - 10:00KeynotePOPL at Marco PoloKeynoteThought Leadership+
Format · BroadcastKeynoteA featured talk from the stage. Builds awareness and energy, produces no participant output on its own.
Evidence basisMediumRead from source
09:0060m Keynote Finding Good Programs by Avoiding Bad Ones POPL Loris D'Antoni University of California, San DiegoKeynoteThought Leadership+
Format · BroadcastKeynoteA featured talk from the stage. Builds awareness and energy, produces no participant output on its own.
Evidence basisMediumRead from source
10:00 - 10:40BreakCatering at BreakroomBreakWellbeing+
Format · LogisticsBreakA pacing or recovery block between sessions.
Evidence basisMediumRead from source
10:0040m Coffee break Break CateringBreakWellbeing+
Format · LogisticsBreakA pacing or recovery block between sessions.
Evidence basisMediumRead from source
10:40 - 12:00Automata and Temporal PropertiesPOPL at Marco PoloUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
10:4020m Talk Coinductive Proofs for Temporal Hyperliveness POPL Arthur Correnson CISPA Helmholtz Center for Information Security, Bernd Finkbeiner CISPA Helmholtz Center for Information SecurityPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
11:0020m Talk Derivative-Guided Symbolic Execution POPL Yongwei Yuan Purdue University, Zhe Zhou Purdue University, Julia Belyakova Purdue University, Suresh Jagannathan Purdue UniversityPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
11:2020m Talk Symbolic Automata: omega-Regularity Modulo Theories POPL Margus Veanes Microsoft Research, Thomas Ball Microsoft Research, Gabriel Ebner Microsoft Research, Ekaterina Zhuchko Tallinn University of TechnologyPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
11:4020m Talk Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis POPL Philippe Heim CISPA Helmholtz Center for Information Security, Rayna Dimitrova CISPA Helmholtz Center for Information SecurityPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
10:40 - 12:00Program AnalysisPOPL at Peek-A-BooUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
10:4020m Talk Maximal Simplification of Polyhedral Reductions POPL Louis Narmour Colorado State University, University of Rennes, Inria, CNRS, IRISA, Tomofumi YukiSanjay Rajopadhye Colorado State UniversityPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
11:0020m Talk Program Analysis via Multiple Context Free Language Reachability POPL Giovanna Kobus Conrado Hong Kong University of Science and Technology, Adam Husted Kjelstrøm Aarhus University, Jaco van de Pol Aarhus University, Andreas Pavlogiannis Aarhus UniversityPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
11:2020m Talk The Best of Abstract Interpretations POPL Roberto Giacobazzi University of Arizona, Francesco Ranzato University of PadovaPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
11:4020m Talk An Incremental Algorithm for Algebraic Program Analysis POPL Chenyu Zhou University of Southern California, Yuzhou Fang University of Southern California, Jingbo Wang Purdue University, Chao Wang University of Southern CaliforniaPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
12:00 - 13:20LunchCatering at Four Square BallroomMealWellbeing+
Format · LogisticsMealA pacing block. Can carry unstructured networking, not scored as participant work.
Evidence basisMediumRead from source
12:0080m Lunch Lunch CateringMealWellbeing+
Format · LogisticsMealA pacing block. Can carry unstructured networking, not scored as participant work.
Evidence basisMediumRead from source
12:00 - 13:20Mentoring LunchCatering at HopscotchMealWellbeing+
Format · LogisticsMealA pacing block. Can carry unstructured networking, not scored as participant work.
Evidence basisMediumRead from source
12:0080m Lunch Mentoring Lunch CateringMealWellbeing+
Format · LogisticsMealA pacing block. Can carry unstructured networking, not scored as participant work.
Evidence basisMediumRead from source
12:00 - 13:20PLMW Steering Committee LunchCatering at Kick the CanMealWellbeing+
Format · LogisticsMealA pacing block. Can carry unstructured networking, not scored as participant work.
Evidence basisMediumRead from source
12:0080m Lunch PLMW Steering Committee Lunch CateringMealWellbeing+
Format · LogisticsMealA pacing block. Can carry unstructured networking, not scored as participant work.
Evidence basisMediumRead from source
13:20 - 14:20Quantum Computing 1POPL at Marco PoloUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
13:2020m Talk Linear and non-linear relational analyses for Quantum Program Optimization POPL Matthew Amy Simon Fraser University, Joseph Lunderville Simon Fraser UniversityPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
13:4020m Talk Automating equational proofs in Dirac notation RemotePOPL Yingte Xu MPI-SP and Institute of Software, Chinese Academy of Sciences, Gilles Barthe MPI-SP; IMDEA Software Institute, Li Zhou Institute of Software, Chinese Academy of SciencesPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
14:0020m Talk Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages POPL Andrea Colledan University of Bologna & INRIA Sophia Antipolis, Ugo Dal Lago University of Bologna & INRIA Sophia AntipolisPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
13:20 - 14:20Verification 1POPL at Peek-A-BooUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
13:2020m Talk Axe 'Em: Eliminating Spurious States with Induction Axioms POPL Neta Elad Tel Aviv University, Sharon Shoham Tel Aviv UniversityPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
13:4020m Talk A Verified Foreign Function Interface Between Coq and C POPL Joomy Korkut Bloomberg LP, Kathrin Stark Heriot-Watt University, Andrew W. Appel Princeton UniversityPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
15:00 - 16:20Probabilistic Programming 1POPL at Marco PoloUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
15:0020m Talk A quantitative probabilistic relational Hoare logic POPL Martin Avanzini Inria, Gilles Barthe MPI-SP; IMDEA Software Institute, Benjamin Gregoire INRIA, Davide Davoli Université Côte d’Azur, InriaPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
15:2020m Talk Approximate Relational Reasoning for Higher-Order Probabilistic Programs POPL Philipp G. Haselwarter Aarhus University, Kwing Hei Li Aarhus University, Alejandro Aguirre Aarhus University, Simon Oddershede Gregersen New York University, Joseph Tassarotti New York University, Lars Birkedal Aarhus UniversityPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
15:4020m Talk Compositional imprecise probability: a solution from graded monads and Markov categories POPL Jack Liell-Cock University of Oxford, Sam Staton University of OxfordPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
16:0020m Talk Sound and Complete Proof Rules for Probabilistic Termination POPL Rupak Majumdar MPI-SWS, V.R. Sathiyanarayana MPI-SWSPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
15:00 - 16:20Semantic modelsPOPL at Peek-A-BooUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
15:0020m Talk Consistency of a Dependent Calculus of Indistinguishability POPL Yiyun Liu University of Pennsylvania, Jonathan Chan University of Pennsylvania, Stephanie Weirich University of PennsylvaniaPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
15:2020m Talk Finite-Choice Logic Programming POPL Chris Martens Northeastern University, Robert Simmons Independent, Michael Arntzenius NonePresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
15:4020m Talk Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory POPL Eric Giovannini University of Michigan, Tingting Ding University of Michigan, Max S. New University of MichiganPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
16:0020m Talk Abstract Operational Methods for Call-by-Push-Value POPL Sergey Goncharov University of Birmingham, School of Comp. Sci., Stelios Tsampas FAU Erlangen-Nuremberg, INF 8, Henning Urbat FAU Erlangen-Nuremberg, INF 8PresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
17:00 - 18:00TOPLASPOPL at Marco PoloUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
17:0020m Talk Universal Composability is Robust Compilation POPL Marco Patrignani University of Trento, Robert Künnemann CISPA Helmholtz Center for Information Security, Riad S. Wahby Stanford University, USA, Ethan Cecchetti University of Wisconsin-MadisonPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
17:2020m Talk Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation POPL Roberto Giacobazzi University of Arizona, Isabella Mastroeni University of Verona, Elia PerantoniPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
17:00 - 18:00Separation LogicPOPL at Peek-A-BooUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
17:0020m Talk Formal Foundations for Translational Separation Logic Verifiers POPL Thibault Dardinier ETH Zurich, Michael Sammler Institute of Science and Technology Austria, Gaurav Parthasarathy ETH Zurich, Alexander J. Summers University of British Columbia, Peter Müller ETH ZurichPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
17:2020m Talk Fulminate: Testing CN Separation-Logic Specifications in C POPL Rini Banerjee University of Cambridge, Kayvan Memarian University of Cambridge, Dhruv Makwana University of Cambridge, Christopher Pulte University of Cambridge, Neel Krishnaswami University of Cambridge, Peter Sewell University of CambridgePresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
17:4020m Talk Generically Automating Separation Logic by Functors, Homomorphisms, and Modules POPL Qiyuan Xu Nanyang Technological University, David Sanan Singapore Institute of Technology, Zhe Hou Griffith University, Xiaokun Luan Peking University, Conrad Watt Nanyang Technological University, Yang Liu Nanyang Technological UniversityPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
18:00 - 20:00POPL Networking ReceptionCatering at Four Square BallroomNetworkingRelationship Building+
Format · LogisticsNetworkingUnstructured mixing. Can carry incidental connection, but is not scored as designed network work.
Evidence basisMediumRead from source
18:002h Social Event POPL Networking Reception CateringNetworkingRelationship Building+
Format · LogisticsNetworkingUnstructured mixing. Can carry incidental connection, but is not scored as designed network work.
Evidence basisMediumRead from source
18:00 - 20:00SRC Poster SessionStudent Research Competition at Four Square CorridorPoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
18:002h Poster Efficient Strong Simulation of High-level Quantum Gates Student Research Competition Adam Husted KjelstrømPoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
18:002h Poster Value semantics in reference-based languages Student Research Competition Hamza Remmal EPFL, LAMPPoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
18:002h Poster Intermittent Concurrency Student Research Competition Myra Dotzel Carnegie Mellon University, Milijana Surbatovich University of Maryland, Limin Jia Carnegie Mellon UniversityPoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
18:002h Poster APIdemic: Verifying Idempotency of REST API Clients Student Research Competition Bhavik Kamlesh Goplani University of KansasPoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
18:002h Poster Formalizing Erlang’s Success Typings Student Research Competition Elan Semenova University of Maryland, College Park, Leonidas Lampropoulos University of Maryland, College ParkPoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
18:002h Poster A Complete Translation from Planning Problems to linear logic Student Research Competition Luis Hernan Garcia Paucar Aston University, Chris Martens Northeastern UniversityPoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
18:002h Poster Wanco: WebAssembly AOT Compiler that supports Live Migration Student Research Competition Raiki Tamura Kyoto University, Daisuke Kotani Kyoto University, Yasuo Okabe Kyoto UniversityPoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
18:002h Poster Increasing the Expressiveness of a Gradual Verifier Student Research Competition Priyam Gupta Purdue UniversityPoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
18:002h Poster M3: A Multi-Stage ML with Mutation Student Research Competition Maite Kramarz University of TorontoPoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
18:002h Poster Loop Invariants Using Neural Networks Student Research Competition Atticus Kuhn University of Cambridge, Abhinandan Pal University of Birmingham, Mirco Giacobbe University of BirminghamPoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
18:002h Poster Property Testing Trace Languages Student Research Competition Jed Koh Jin Keat National University of SingaporePoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
18:002h Poster Optimizing Asynchronous Rust with Hydroflow Student Research Competition Ryan Alameddine University of California, BerkeleyPoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
18:002h Poster Relational Hoare Logic for Sequential Program Verification Student Research Competition Shushu Wu Shanghai Jiao Tong UniversityPoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
18:002h Poster Expanding the Scope of Grammar-Based Enumerative Testing Student Research Competition Thea Kjeldsmark University of California, IrvinePoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
The Full Reading
Why It Ranks This Way +
Calibrated from GES design 41/100 and verified 41/100 with no fourth-loop cap.
Reader Takeaway. For a reader, this is a comparison record more than a model to copy: it reads as an academic research science agenda, with the strongest visible signal in future-of-work fit and network design and the biggest open question around follow through and personalization. The practical test is whether the published agenda connects the room to post-event continuation and evidence.
Strongest signals: Future-of-Work Fit, Network Design, and Problem Specificity. Weakest signals: Follow Through, Personalization, and Learning Transfer.
How This Agenda Could Improve +
- Add named owners, dates, implementation checkpoints, and a visible post-event continuation path.
- Create role-based paths, prepared questions, tailored breakouts, or participant-specific next steps.
- Build transfer into the agenda through practice, feedback, job aids, reflection, and 30-90 day use cases.
Fastest next move: Add named owners, dated next steps, and a visible continuation path before treating the event as outcome-ready.
Role-Specific Reading +
Sponsor lens
Look beyond exposure. Strong sponsor value would show qualified interaction, problem work, buyer learning, customer evidence, or follow-up. The practical sponsor move is to look for structured introductions, buyer-seller fit, and relationship persistence.
Designer lens
The agenda is useful as a pattern sample from conf.researchr.org. Redesign attention should go first to the lowest-scoring pillars; in practice, turn the thinnest agenda blocks into participant work.
Executive lens
Treat the visible agenda as an operating plan. The executive move is to require owners, dates, and evidence before treating the event as strategic. If owners, proof, and follow-through are not visible, the public record does not yet prove strategic movement.
Aggregator lens
Treat the source URL as evidence, not decoration. The data-product move is to label the source boundary clearly before ranking the record before ranking or syndicating the record.
What GES Means Here +
The Gathering Effectiveness Score is a strict 0-100 public-evidence reading of the agenda across eight pillars. It rewards visible participant work, follow-through, transfer, network design, and proof mechanisms more than polish, speaker fame, attendance, or satisfaction.
Visible mechanisms: Participant work, Network design, Learning transfer.
Evidence boundary: Scores reflect visible agenda/source evidence and should not be read as proof of causal event impact.
Limitations, Score Caps, and Review Flags +
Limitations
- No visible follow-up, progress monitoring, or longitudinal tracking.
- No baseline measurement is visible.
Score caps
- No fourth-loop score cap applied.
Review flags
- No source-backed follow-up, validation, baseline, tracking, or impact evidence.
- No tracking, validation, feedback, or impact measurement found in the visible source text.
Is this proof the event worked? +
No. This is a strict public-evidence reading of the agenda. Proof would require baseline, comparison, follow-up, attribution, and impact evidence beyond the listing.
What should a reader inspect first? +
Start with the source URL, then compare the eight pillar scores against the agenda rows. The biggest opportunities usually sit in follow-through, evidence maturity, and participant work.
Why publish weak records? +
Weak records are part of the map. They show where public agendas still describe sessions and speakers more often than outcomes, commitments, transfer, or proof.
How should I use the rows? +
Read the agenda rows as the visible design trace: formats, purposes, and evidence labels show what the public source made inspectable, not everything that happened in the room. This is a source-grounded interpretation of the public agenda record, not a copy of the source, and not an endorsement of the event.
Embed the verified badge +
This record is in the hand-verified gold set. Copy the snippet below to embed the verified badge on your own site.
<a href="https://unitedwetransform.com/events/evt_2025_popl_popl_faq_on_double_blind_reviewing_conf_researchr_org"><img src="https://unitedwetransform.com/badge/ges-verified.svg" alt="GES verified by United We Transform" height="40"></a>Where To Go Next
Compare this agenda against other Academic / Research / Science events scored on the same eight pillars.