Seminars & Guided Sessions

Seminars and Guided Sessions

The Panta Rhei Research Program is planning structured engagement opportunities for researchers and domain experts who want to work through the theory in depth.

A guided session is an orientation or inspection aid. It does not imply acceptance, endorsement, peer review, or validation.

Planned Formats

• First-contact walkthrough: Orientation for readers approaching the program for the first time
• Journalist / media walkthrough: Walkthrough for journalists, podcast hosts, and editors covering the program
• Expert review scoping: Sessions that help domain experts scope a bounded review
• TauLib / formalization walkthrough: Hands-on sessions with TauLib, Lean formalization, and verification tooling
• Corpus Construction Spine walkthrough: Step-by-step walkthrough of the ten-step construction spine
• Public-good briefing walkthrough: Conditional public-good portfolio review for institutional readers
• Contributor onboarding: Onboarding for engineering or formalization contributors

What guided sessions are not

• not endorsement events;
• not credentialed validation;
• not peer review;
• not a substitute for inspection routes in Verify or Engage.

Current Status

Seminars and guided sessions are currently in planning. No sessions are scheduled at this time.

Register Interest

If you would like to be notified when sessions become available:

Email: [email protected] — write “Seminars” in the subject line.

We will notify you when sessions are scheduled and provide details about format, prerequisites, and participation.

Public follow-up

When appropriate, seminar questions, reading-group questions, or post-session clarifications may be continued in GitHub Discussions so that answers remain public and reusable.

The program’s seminar abstracts (6 pre-written abstracts for different academic departments) are available in the Publications lane.