From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10655 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Justin Hsu" Newsgroups: gmane.science.mathematics.categories Subject: First CFP: MFPS 2022: Conference on Mathematical Foundations of Programming Semantics Date: Fri, 04 Feb 2022 15:40:31 -0500 Message-ID: Reply-To: "Justin Hsu" Mime-Version: 1.0 Content-Type: text/plain;charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="1472"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Mon Feb 07 02:43:27 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1nGt3v-0000Ga-8H for gsmc-categories@m.gmane-mx.org; Mon, 07 Feb 2022 02:43:27 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:43782) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1nGt1k-0004PI-3N; Sun, 06 Feb 2022 21:41:12 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1nGsyV-0002ss-Sv for categories-list@rr.mta.ca; Sun, 06 Feb 2022 21:37:51 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10655 Archived-At: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D CALL FOR PAPERS: MFPS XXXVIII (MFPS 2022) 38th Conference on Mathematical Foundations of Programming Semantics July 11-13, 2022 Hybrid, from Ithaca, NY, USA https://www.cs.cornell.edu/mfps-2022/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D IMPORTANT DATES (anywhere on earth): Paper submission: April 29, 2022 Author notification: June 10, 2022 Final version due: June 24, 2022 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D We are delighted to announce the 38th Conference on the Mathematical Fou= ndations of Programming Semantics (MFPS 2022). While the pandemic situa= tion is uncertain, we plan to hold a hybrid conference with the in-perso= n event at Cornell University in Ithaca, New York. MFPS conferences are dedicated to the areas of mathematics, logic, and c= omputer science that are related to models of computation in general, an= d to semantics of programming languages in particular. This is a forum w= here researchers in mathematics and computer science can meet and exchan= ge ideas. The participation of researchers in neighbouring areas is stro= ngly encouraged. Topics include, but are not limited to, the following: bio-computation; = concurrent qualitative and quantitative distributed systems; process cal= culi; probabilistic systems; constructive mathematics; domain theory and= categorical models; formal languages; formal methods; game semantics; l= ambda calculus; programming-language theory; quantum computation; securi= ty; topological models; logic; type systems; type theory. We also welcom= e contributions that address applications of semantics to novel areas su= ch as complex systems, markets, and networks, for example. ------------------------------------------------- PROGRAM COMMITTEE and SUBMISSION INSTRUCTIONS: The list of program committee members and the submission instructions wi= ll be announced soon. ------------------------------------------------- MFPS ORGANIZERS: Andrej Bauer, University of Ljubljana Lars Birkedal, Aarhus University Stephen Brookes, Carnegie Mellon University Justin Hsu, Cornell University Achim Jung, University of Birmingham Catherine Meadows, Naval Research Laboratory Michael Mislove, Tulane University Jo=C3=ABl Ouaknine, Max Planck Institute for Software Systems Prakash Panangaden, McGill University Alexandra Silva, Cornell University Sam Staton, University of Oxford Christine Tasson, Sorbonne Universit=C3=A9 ------------------------------------------------- LOCAL ORGANIZERS: Dexter Kozen, Cornell University Alexandra Silva, Cornell University ------------------------------------------------- CONTACT For any further information about MFPS 2022, please contact the co-chair= s: Justin Hsu (email@justinh.su) and Christine Tasson (christine.tasson@= lip6.fr). [For admin and other information see: http://www.mta.ca/~cat-dist/ ]