Scheduled submissions, talks, and workshops in the programme. The calendar is honest about commitments made versus intentions held. Entries marked planned are commitments; target indicates intent under contingency.
2026 - submissions in flight
Paper 2 posted to arXiv with a companion proof-assistant development. The development states the Applicable-fragment algebra, the scoped residual, and the mixed-axis proof obligations with explicit proof-status boundaries.
arXiv preprint server, cs.LO primary; endorsement under arrangement
Paper 5 posted to arXiv. The preprint expands the essay form into paper-standard structure with formal semantics for self-executing instruments under jurisdictionally-aware constraints.
arXiv preprint server, cs.CR primary
Paper 0 posted to the National Bureau of Economic Research working paper series. The NBER series accepts submissions on a continuous basis from affiliated authors; a Momentum research affiliate route is in arrangement. The working paper anchors the Journal of Law, Economics & Organization submission in 2026-Q4.
NBER, working paper series (continuous intake)
Paper 2 submitted to LMCS, an open-access journal for logic in computer science with rolling submission and rigorous refereeing. Selected as the journal home for the algebra paper: open-access aligns with the programme's accessibility standard, and LMCS refereeing is commensurate with top-venue conference review.
LMCS, rolling submission window
Paper 3 submitted to the ACM Symposium on Principles of Programming Languages. The POPL 2027 submission cycle is in July 2026 (abstract and full paper on the same deadline). The submission focuses on the typed-discretion-holes type system and its Coq-mechanised soundness proof.
POPL 2027, submission window July 2026
Paper 1 posted to NBER. The paper's economic content - jurisdictional competition under portable compliance, the game theory of the corridor network - anchors the submission.
NBER, working paper series
Paper 5 submitted to Financial Cryptography and Data Security 2027. The FC 2027 submission deadline is 2026-09-15. Paper-5 formal semantics for compliance-bearing instruments matches the venue's scope on cryptographic protocols and financial applications.
FC 2027, submission deadline 2026-09-15
Paper 4 submitted to the IEEE Symposium on Security and Privacy 2027 cycle 2 (October 2026 deadline). The submission focuses on the cryptographic construction of the corridor protocol and the adversarial-integrity guarantees that follow from sovereign kernels rather than a shared ledger. CCS 2027 (January 2027 deadline) is the fallback if cycle 2 is missed.
IEEE S&P 2027, submission cycle 2
Economics-journal submission drawn from Paper 1 and Paper 0 with additional empirical material from corridor case studies. JLEO operates on a continuous submission basis; target window is 2026-Q4 after the NBER working paper has been posted.
JLEO, Oxford University Press
2026 - talks given and scheduled
Lecture by Raeez Lorgat at the Perimeter Institute for Theoretical Physics. Mathematics of composition - drawing on arithmetic geometry and factorization algebras - applied to institutional design.
Perimeter Institute for Theoretical Physics, Waterloo
Presentation to regulators and sovereign-wealth counterparties on the kernel network, the corridor protocol, and the deployment model for multi-jurisdictional financial infrastructure.
ADGM, Abu Dhabi
Technical session with Singapore's GovTech agency on the interoperability interface between programmable-institutional kernels and existing e-government stacks (X-Road, eIDAS, Singpass).
Singapore, GovTech workshop
2027 - conference-venue roadmap
Paper 3 (Lex) decision cycle. If accepted, presented at POPL 2027 in January; if rejected, revised for PLDI 2027.
ACM Symposium on Principles of Programming Languages
If LMCS refereeing extends beyond 2026-Q4, Paper 2 is additionally submitted to the IEEE Symposium on Logic in Computer Science 2027. LICS submission deadlines typically fall in January or February. LMCS and LICS submissions are compatible under both venues' policies.
LICS 2027
Paper 4 decision cycle. Corridor-protocol formal analysis is the core contribution. CCS 2027 is the fallback submission venue.
IEEE Symposium on Security and Privacy
Inaugural workshop convened by the programme. Invited participants include researchers working on Catala, L4 (CCLAW Singapore), Governatori's defeasible-logic group, MIT's Programming Languages group, and designers of proof-producing corridor protocols.
Venue selection in progress (Perimeter Institute, Dagstuhl, and MIT CSAIL under consideration)