![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Mathematical Foundations of Programming Semantics: June 2-6
Online, free: www.monoidal.net/paris2020/mfps/
Jointly with "Quantum and Physics Logic" conference.
***
The last time I attended MFPS was, I think, in May 1998 (London) www.eecs.qmul.ac.uk/~edmundr/mfps/, where I gave a talk on our joint work with Sveta Shorina, "Relaxed Metrics, Maximal Points, and Negative Information". The feedback from that conference led to our follow-up joint paper, "On a Smyth Conjecture", topology.auburn.edu/tp/reprints/v24/tp24203.pdf
These results became Chapter 12 of my 2002 dissertation, "Mathematics of Domains", arxiv.org/abs/1512.03868 ; and a few years later I made dark T-shirts with Figure 6.2 (page 107 (page 122 of the PDF file); this T-shirt can still be printed from cafepress site; there were two reasons to design and print this T-shirt: to establish that I know how to print a dark T-shirt (it's a bit tricky, one needs transparent background, otherwise quality would suck) and to remind myself of the part of this work which was most difficult to keep understanding (section 12.4.3 explaining how Stone duality manifests in this case)). This still tends to be my most standard T-shirt (I printed a lot of them over the years, in various colors, but mostly in black).
Jointly with "Quantum and Physics Logic" conference.
***
The last time I attended MFPS was, I think, in May 1998 (London) www.eecs.qmul.ac.uk/~edmundr/mfps/, where I gave a talk on our joint work with Sveta Shorina, "Relaxed Metrics, Maximal Points, and Negative Information". The feedback from that conference led to our follow-up joint paper, "On a Smyth Conjecture", topology.auburn.edu/tp/reprints/v24/tp24203.pdf
These results became Chapter 12 of my 2002 dissertation, "Mathematics of Domains", arxiv.org/abs/1512.03868 ; and a few years later I made dark T-shirts with Figure 6.2 (page 107 (page 122 of the PDF file); this T-shirt can still be printed from cafepress site; there were two reasons to design and print this T-shirt: to establish that I know how to print a dark T-shirt (it's a bit tricky, one needs transparent background, otherwise quality would suck) and to remind myself of the part of this work which was most difficult to keep understanding (section 12.4.3 explaining how Stone duality manifests in this case)). This still tends to be my most standard T-shirt (I printed a lot of them over the years, in various colors, but mostly in black).
no subject
This change of approach was as follows: applied math is classical, at least superficially, and not intuitionistic. Therefore, there should be a good deal of symmetry between positive and negative information, and this requires 2 Scott topologies, and not one, see e.g. Section 4 of our 2015 paper "Linear Models of Computation and Program Learning", https://easychair.org/publications/paper/Q4lW
And then one gets ability to handle partial contradictions gracefully, and one can obtain vector semantics of programming languages. Moreover, one can obtain not only denotational vector semantics, but also operational vector semantics of programming languages, as in e.g. https://arxiv.org/abs/1712.07447