categories - Category Theory list
 help / color / mirror / Atom feed
From: Marie Kerjean <marie.kerjean@lipn.univ-paris13.fr>
To: <categories@mta.ca>
Subject: categories: MFPS 2023: Second Call for Papers
Date: Tue, 7 Mar 2023 18:00:27 +0100	[thread overview]
Message-ID: <E1pa5sg-0005xo-Qb@rr.mta.ca> (raw)


=======================================================================

SECOND 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/

** Updated: special sessions **

=========================================================================

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

=========================================================================

We are delighted to announce the 39th Conference on the Mathematical
Foundations 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
computer science that are related to models of computation in general,
and to semantics of programming languages in particular. This is a forum
where researchers in mathematics and computer science can meet and
exchange ideas. The participation of researchers in neighbouring areas
is strongly encouraged.

Topics include, but are not limited to, the following: bio-computation;
concurrent qualitative and quantitative distributed systems; process
calculi; probabilistic systems; constructive mathematics; domain theory
and categorical models; formal languages; formal methods; game
semantics; lambda calculus; programming language theory; quantum
computation; security; topological models; logic; type systems; type
theory. We also welcome contributions that 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:

Proof Assistants, organized by Assia Mahboubi (joint session with CALCO)

Categories of bidirectional processes, organized by Jules Hedges

Semantics and Compilers, organized by Amal Ahmed

-----------------------------------------------------------------------

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??rnberg
      Tom Hirschowitz, CNRS, Univ. Savoie Mont Blanc
      Justin Hsu, Cornell University
      Guilhem Jaber, Universit?? de Nantes
      Achim Jung, University of Birmingham
      Marie Kerjean, CNRS, LIPN, Universit?? 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, ??cole Polytechnique
      Alexandre Miquel, University of the Republic (Montevideo)
      Michael Mislove, Tulane University
      Koko Muroya, RIMS, Kyoto University
      Rasmus Ejlers M??gelberg, 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??l Ouaknine, Max Planck Institute for Software Systems
Prakash Panangaden, McGill University
Alexandra Silva, Cornell University
Sam Staton, University of Oxford
Christine Tasson, Sorbonne Universit??

-----------------------------------------------------------------------

LOCAL ORGANIZER:

Larry Moss, Indiana University

-----------------------------------------------------------------------

SUBMISSION INSTRUCTIONS:

Submissions should be made through EasyChair
(<https://easychair.org/conferences/?conf=mfps2023>). Papers can be at
most **15 pages** long, excluding bibliography, and should be prepared
using the MFPS macros (<https://mfpsconf.org/?page_id=309>).

-----------------------------------------------------------------------

PROCEEDINGS:

A preliminary version will be distributed at the meeting. Final
proceedings will be published in Electronic Notes in Theoretical
Informatics and Computer 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/ ]

                 reply	other threads:[~2023-03-09  2:21 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1pa5sg-0005xo-Qb@rr.mta.ca \
    --to=marie.kerjean@lipn.univ-paris13.fr \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).