\n

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\n

URL:http://coalg.org/mfps-calco2017
END:VEVENT
END:VCALENDAR
Topics in clude, but are not limited to, the following: bio- computation; concurrent qualitative and quantitati ve distributed systems; process calculi; probabili stic systems; constructive mathematics; domain the ory and categorical models; formal languages; form al methods; game semantics; lambda calculus; progr amming-language theory; quantum computation; secur ity; topological models; logic; type systems; type theory. We also welcome contributions that addres s applications of semantics to novel areas such as complex systems, markets, and networks, for examp le.

\n