https://sketis.net/2019/talk-on-export-of-formal-theory-content
Talk on Export of formal theory content | Sketis
formal theorytalkexportcontentsketis
https://protocolized.io/resources/towards-a-formal-theory-of-protocols
Towards a Formal Theory of Protocols — Protocolized
Venkatesh Rao (referred to as Benitesh Raalo in the transcript) launches a technical-foundations track for the Protocol Institute, proposing to formalize...
formal theorytowardsprotocolsprotocolized
https://www.lifepillarinstitute.org/scientific-papers/cognitive-field-dynamics-and-dynamic-field-theory-a-formal-disambiguation
Cognitive Field Dynamics and Dynamic Field Theory: A Formal Disambiguation
Jan 7, 2026 - The term "Cognitive Field Dynamics" (CFD) has recently emerged in scientific literature referring to two entirely distinct frameworks: (1) the unified theory...
cognitivefielddynamicstheoryformal
https://dspace-test.anu.edu.au/items/3d700140-c5f6-4e4c-8fed-384b27123cca
Formal theory of noisy sensor network localization
Graph theory has been used to characterize t he solvability of the sensor network localization problem. If sensors correspond to vertices and edges correspond...
formal theorysensor networknoisylocalization
https://protocol-institute.org/research-groups/sigfpt/2026-04-17-protocolizing-agent-space-rules-observation-and-regulat/
Protocolizing Agent Space: Rules, Observation, and Regulation — Formal Protocol Theory
space rulesprotocolizingagentobservationregulation
https://fis.uni-bamberg.de/entities/publication/c733a1e0-d058-4b2a-b580-248318430e39
The formal foundation of an evolutionary theory of reinforcement
of anevolutionary theoryformalfoundationreinforcement