2026 03 19
I talked about Jacobson rings and closed point preserving maps in Dagstuhl Seminar 26121: Proof Systems in Actual Practice: Reasoning and Computation, Wadern (Germany), 15-20 March 2026.
I talked about Jacobson rings and closed point preserving maps in Dagstuhl Seminar 26121: Proof Systems in Actual Practice: Reasoning and Computation, Wadern (Germany), 15-20 March 2026.