From mboxrd@z Thu Jan 1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10895
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Paul Levy
Newsgroups: gmane.science.mathematics.categories
Subject: Call for papers: Mathematical Foundations of Programming Semantics 2023
Date: Wed, 11 Jan 2023 00:29:03 +0000
Message-ID:
Reply-To: Paul Levy
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214";
logging-data="31357"; mail-complaints-to="usenet@ciao.gmane.io"
To: categories@mta.ca
Original-X-From: majordomo@rr.mta.ca Wed Jan 11 23:07:20 2023
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 1pFjFg-0007uB-I6
for gsmc-categories@m.gmane-mx.org; Wed, 11 Jan 2023 23:07:20 +0100
Original-Received: from rr.mta.ca ([198.164.44.159]:38632)
by smtp2.mta.ca with esmtp (Exim 4.80)
(envelope-from )
id 1pFjFB-0006GU-68; Wed, 11 Jan 2023 18:06:49 -0400
Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1)
(envelope-from )
id 1pFjEB-0001RI-VV
for categories-list@rr.mta.ca; Wed, 11 Jan 2023 18:05:47 -0400
Accept-Language: en-GB, en-US
Content-Language: en-GB
Precedence: bulk
Xref: news.gmane.io gmane.science.mathematics.categories:10895
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 XXXIX (MFPS 2023)
39th Conference on Mathematical Foundations of Programming Semantics
June 20-23, 2023 in Bloomington, IN, USA
Joint with CALCO
https://coalg.org/calco-mfps-2023/mfps/
=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):
Abstract Submission: March 24, 2023
Paper Submission: March 31, 2023
Notification: May 10, 2023
Pre-proceedings : May 24, 2023
Final (post-proceeding) versions : Autumn 2023
=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 39th Conference on the Mathematical Founda=
tions of Programming Semantics (MFPS 2023). It will take place at Indiana =
University Bloomington, with an option for remote participation.
MFPS conferences are dedicated to the areas of mathematics, logic, and comp=
uter science that are related to models of computation in general, and to s=
emantics of programming languages in particular. This is a forum where rese=
archers in mathematics and computer science can meet and exchange ideas. Th=
e participation of researchers in neighbouring areas is strongly encouraged=
.
Topics include, but are not limited to, the following: bio-computation; con=
current qualitative and quantitative distributed systems; process calculi; =
probabilistic systems; constructive mathematics; domain theory and categori=
cal models; formal languages; formal methods; game semantics; lambda calcul=
us; programming language theory; quantum computation; security; topological=
models; logic; type systems; type theory. We also welcome contributions th=
at address applications of semantics to novel areas.
-------------------------------------------------
INVITED SPEAKERS:
Robert Harper, Carnegie Mellon University (Joint with CALCO)
Assia Mahboubi, Inria (Joint with CALCO)
Azalea Raad, Imperial College London
Alex Simpson, University of Ljubljana
-------------------------------------------------
SPECIAL SESSIONS:
TO BE ANNOUNCED
-------------------------------------------------
PROGRAM COMMITTEE:
Henning Basold, LIACS, Leiden University
Andrej Bauer, University of Ljubljana
Robin Cockett, University of Calgary
Liron Cohen, Ben-Gurion University
Adrian Francalanza, University of Malta
Francesco Gavazzo, University of Pisa
Sergey Goncharov, Dept. of Comput. Sci., FAU Erlangen-N=FCrnberg
Tom Hirschowitz, Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS
Justin Hsu, Cornell University
Guilhem Jaber, Universit=E9 de Nantes
Achim Jung, University of Birmingham
Marie Kerjean, CNRS, LIPN, Universit=E9 Sorbonne Paris Nord (co-chair)
Vasileios Koutavas, Trinity College Dublin
Neelakantan Krishnaswami, University of Cambridge
Paul Blain Levy, University of Birmingham (co-chair)
Maria Emilia Maietti, University of Padua
Samuel Mimram, =C9cole Polytechnique
Alexandre Miquel, University of the Republic (Montevideo)
Michael Mislove, Tulane University
Koko Muroya, RIMS, Kyoto University
Rasmus Ejlers M=F8gelberg, IT University of Copenhagen
Max New, University of Michigan
Paige North, Utrecht University
Filip Sieczkowski, Heriot-Watt University
Ana Sokolova, University of Salzburg
Sam Staton, University of Oxford
Christine Tasson, Sorbonne University
-------------------------------------------------
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=EBl Ouaknine, Max Planck Institute for Software Systems
Prakash Panangaden, McGill University
Alexandra Silva, Cornell University
Sam Staton, University of Oxford
Christine Tasson, Sorbonne Universit=E9
-------------------------------------------------
LOCAL ORGANIZER:
Larry Moss, Indiana University
-------------------------------------------------
SUBMISSION INSTRUCTIONS:
Submissions should be made through EasyChair
(https://easychair.org/conferences/?conf=3Dmfps2023). Papers can be at most=
**15
pages** long, excluding bibliography, and should be prepared using the MFPS
macros (https://mfpsconf.org/?page_id=3D309).
-------------------------------------------------
PROCEEDINGS:
A preliminary version will be distributed at the meeting. Final proceedings=
will be published in Electronic Notes in Theoretical Informatics and Compu=
ter Science (ENTICS). This new open-access series is hosted by Episciences.=
org as an overlay for papers published by the CORR arXiv or HAL.
-------------------------------------------------
CONTACT:
For any further information about MFPS 2023, please contact the co-chairs: =
Marie Kerjean (kerjean@lipn.fr) and Paul Levy (P.B.=
Levy@bham.ac.uk).
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]