United We TransformCreate teamsGrade your agenda
Atlas/Events/Program & Papers
academic research science agenda agenda analysis

Program & Papers

This academic research science agenda in Academic / Research / Science shows 62 visible agenda rows from ieee-focs.org and scores 28/100: a weak visible outcome architecture. The clearest public signals sit in Future-of-Work Fit and Problem Specificity; the main limits are Follow Through and Network Design. Visible mechanisms include Participant work, Feedback, 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... 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 problem specificity and the biggest open question around follow through and network design. 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 weak visible effectiveness evidence band. The strongest visible pillars are Future-of-Work Fit, Problem Specificity, and Learning Transfer; the thinnest visible pillars are Follow Through, Network Design, and Personalization. Visible mechanisms include Participant work, Feedback, Network design, and Learning transfer. The extracted agenda preview includes 62 visible rows. The most common formats are Unknown, Presentation, and Training; the most common inferred purposes are Unknown, Knowledge Transfer, and Showcase.

Primary source evidence: ieee-focs.org ↗ · Archived copy (2026-07-04)

Eight-pillar fingerprint

Hover any pillar to see what it measures and, where it scored low, what the agenda is missing.

Participation Architecture?30
Participation Architecture - 30/100. Participant work, contribution, interaction, and alternatives to passive broadcast.
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?47
Problem Specificity - 47/100. A clear costly problem, objective, decision, or performance target.
Personalization?29
Personalization - 29/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?10
Network Design - 10/100. Structured weak ties, bridge-building, mixers, and relationship persistence.Missing: Replace generic networking blocks with designed introductions, ask-offer exchanges, peer groups, or bridge-building rituals.
Learning Transfer?43
Learning Transfer - 43/100. Applied practice, feedback, workplace use, refreshers, and 30-90 day transfer.
Evidence Maturity?41
Evidence Maturity - 41/100. Baseline, comparison, follow-up, isolation, and attribution confidence.
Future-of-Work Fit?55
Future-of-Work Fit - 55/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.

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

3 percent of the 62 classified blocks put participants to work; the rest broadcast, show, or handle logistics. That mix is what drives the participation score.

2
55
4
1
Participant workBroadcastShowcaseLogistics
all eventCall for TutorialsTrainingSkill Building+
Format · Participant workTrainingGuided skill building where participants practice. Counts as participant work and learning transfer.
Evidence basisMediumRead from source
12:00 Poster sessions corresponding to each day’s paper sessions were held each evening from midnight to on Monday-Thursday, November 16-19.Poster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
all eventTutorials SessionTrainingSkill Building+
Format · Participant workTrainingGuided skill building where participants practice. Counts as participant work and learning transfer.
Evidence basisMediumRead from source
11:00 to 12:30What Can Theoretical Computer Science Contribute to the Discussion of Consciousness?UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
12:00 to 15:00Computation in the Brain.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
all eventSlides 1 Slides 2 Slides 3 Webpage Video 1 Video 2UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisLowRead from source
13:00 to 16:00Indistinguishability Obfuscation from Well-Founded Assumptions.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
12:00 to 14:00Theoretical Foundations of Reinforcement Learning.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
15:00 to 16:00Cookbook: Lower Bounds for Statistical Inference in Distributed and Constrained Settings.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
10:30Welcome to FOCS 2020! Chaired by Sandy IraniOpening RemarksOrientation+
Format · BroadcastOpening RemarksFraming or welcome from the stage. Orients the room, not participatory.
Evidence basisMediumRead from source
11:00Almost-Everywhere Circuit Lower Bounds from Non-Trivial DerandomizationUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
11:15On Exponential-Time Hypotheses, Derandomization, and Circuit Lower BoundsExhibitionShowcase+
Format · ShowcaseExhibitionA showcase or expo floor. Browsing and light interaction rather than structured participant work.
Evidence basisMediumRead from source
11:30Lifting with Simple Gadgets and Applications to Circuit and Proof ComplexityUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
11:45Tree-depth and the Formula Complexity of Subgraph IsomorphismUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
12:00KRW Composition Theorems via LiftingUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
12:15Characterizing Average-Case Complexity of PH by Worst-Case Meta-ComplexityUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:00QMA-hardness of Consistency of Local Density Matrices with Applications to Quantum Zero-KnowledgeUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:15Tight Limits on Nonlocality from Nontrivial Communication Complexity; aka Reliable Computation with Asymmetric Gate NoiseUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:30Decodable quantum LDPC codes beyond the square root distance barrier using high dimensional expandersUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:45Towards Optimal Separations between Quantum and Randomized Query ComplexitiesUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
15:00A Tight Composition Theorem for the Randomized Query Complexity of Partial FunctionsUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
15:15Towards a Proof of the Fourier Entropy Conjecture?UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
16:00Knuth Prize Lecture: Cynthia DworkUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
all eventPoster SessionsPoster SessionShowcase+
Format · ShowcasePoster SessionPresenters display work; attendees browse and ask questions. Some interaction, not structured work.
Evidence basisMediumRead from source
all eventSession 1APresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
11:00 to 12:30An Equivalence Between Private Classification and Online Prediction.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
12:45 to 13:45Junior Senior LunchMealWellbeing+
Format · LogisticsMealA pacing block. Can carry unstructured networking, not scored as participant work.
Evidence basisMediumRead from source
14:00Unique Decoding of Explicit ϵ-balanced Codes Near the Gilbert - Varshamov BoundUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:15Deterministic and Efficient Interactive Coding from Hard-to-Decode Tree CodesUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:30LDPC Codes Achieve List Decoding CapacityUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:45Binary Interactive Error Resilience Beyond 1/8 (or why (1/2)3>1/8)UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
15:00Coded trace reconstruction in a constant number of tracesUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
15:15Network Coding Gaps for Completion Times of Multiple UnicastsUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
16:00Reports Session and Award PresentationsPresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
all eventSession 3PresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
11:00Quantum Speedup for Graph Sparsification, Cut Approximation and Laplacian Solving.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
11:15Symmetries, graph properties, and quantum speedups.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
11:30Quantum isomorphism is equivalent to equality of homomorphism counts from planar graphs.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
11:45Tight Quantum Time-Space Tradeoffs for Function Inversion.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
12:00Sample-efficient learning of quantum many-body systems.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
12:15Entanglement Is Necessary for Optimal Quantum Property Testing.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:00Local Proofs Approaching the Witness Length.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:15Rigid Matrices from Rectangular PCPs.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:30On the Existence of Algebraically Natural Proofs.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:45Symbolic determinant identity testing (SDIT) is not a null cone problem; and the symmetries of algebraic varieties.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
15:00Learning sums of powers of low-degree polynomials in the non-degenerate case.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
15:15Proximity gaps for Reed-Solomon Codes.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
16:00Business MeetingUnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
all eventSession 5APresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source
11:00Explicit near-fully X-Ramanujan graphs.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
11:15Nearly Optimal Pseudorandomness From Hardness.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
11:30Correlated Pseudorandom Functions from Variable-Density LPN.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
11:45An Improved Exponential-Time Approximation Algorithm for Fully-Alternating Games Against Nature.ExhibitionShowcase+
Format · ShowcaseExhibitionA showcase or expo floor. Browsing and light interaction rather than structured participant work.
Evidence basisMediumRead from source
12:00A Dichotomy for Real Boolean Holant Problems.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
12:15Dichotomy for Graph Homomorphisms with Complex Values on Bounded Degree Graphs.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:00Extractors and Secret Sharing Against Bounded Collusion Protocols.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:15On One-way Functions and Kolmogorov Complexity.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:30Is it Easier to Prove Statements that are Guaranteed to be True?UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
14:45A Tight Lower Bound on Adaptively Secure Full-Information Coin Flip.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
15:00The Round Complexity of Perfect MPC with Active Security and Optimal Resiliency.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
15:15A constant rate non-malleable code in the split-state model.UnknownUnknown+
Format · BroadcastUnknownFormat not classified from the source; treated as a broadcast block by default.
Evidence basisMediumRead from source
all eventSession7APresentationKnowledge Transfer+
Format · BroadcastPresentationSpeakers present, the audience receives. Awareness only unless paired with practice or follow-up.
Evidence basisMediumRead from source

The Full Reading

Why It Ranks This Way +

Calibrated from GES design 32/100 and verified 32/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 problem specificity and the biggest open question around follow through and network design. The practical test is whether the published agenda connects the room to post-event continuation and evidence.

Strongest signals: Future-of-Work Fit, Problem Specificity, and Learning Transfer. Weakest signals: Follow Through, Network Design, and Personalization.

How This Agenda Could Improve +
  • Add named owners, dates, implementation checkpoints, and a visible post-event continuation path.
  • Replace generic networking blocks with designed introductions, ask-offer exchanges, peer groups, or bridge-building rituals.
  • Create role-based paths, prepared questions, tailored breakouts, or participant-specific next steps.

Fastest next move: Add named owners, dated next steps, and a visible continuation path before treating the event as outcome-ready.

Role-Specific Reading +

Event owner lens

Use this record to benchmark whether a comparable event makes the work after the room visible. The score is 28/100, so the next move is to benchmark the weakest pillars before repeating the format.

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 ieee-focs.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, Feedback, 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.
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_2020_ieee_focs_org_program_papers_ieee_focs_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.