MFPS conf erences are dedicated to the areas of mathematics, logic, and computer science that are related to m odels of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and compute r science can meet and exchange ideas. The partici pation of researchers in neighbouring areas is str ongly encouraged.
\n\nMFPS 2021 is co-loca ted with the 9th Conference on Algebra and Coalgeb ra in Computer Science (CALCO 2021). Due to the pa ndemic situation, the conference will take place o nline. Should the situation improve and allow some international travel, we will do our best to orga nize a small component of the meeting in Salzburg for those participants who wish to attend the meet ing in person.
\nTopics inclu de, but are not limited to, the following: bio-com putation; concurrent qualitative and quantitative distributed systems; constructive mathematics; dom ain theory and categorical models; formal language s; formal methods; game semantics; lambda calculus ; logic; probabilistic systems; process calculi; p rogramming-language theory; quantum computation; s ecurity; topological models; type systems; type th eory. We also welcome contributions that address a pplications of semantics to novel areas such as co mplex systems, markets, and networks, for example.
\n