categories - Category Theory list
 help / color / mirror / Atom feed
* categories: MFPS 2023: Second Call for Papers
@ 2023-03-07 17:00 Marie Kerjean
  0 siblings, 0 replies; only message in thread
From: Marie Kerjean @ 2023-03-07 17:00 UTC (permalink / raw)
  To: categories



39th Conference on Mathematical Foundations of Programming Semantics

June 20-23, 2023 in Bloomington, IN, USA

Joint with CALCO

** 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.



Robert Harper, Carnegie Mellon University (Joint with CALCO)
Assia Mahboubi, Inria  (Joint with CALCO)
Azalea Raad, Imperial College London
Alex Simpson, University of Ljubljana



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



      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



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??



Larry Moss, Indiana University



Submissions should be made through EasyChair
(<>). Papers can be at
most **15 pages** long, excluding bibliography, and should be prepared
using the MFPS macros (<>).



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 as an overlay for papers published by the
CORR arXiv or HAL.



For any further information about MFPS 2023, please contact the
co-chairs: Marie Kerjean ( and Paul Levy

[For admin and other information see: ]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2023-03-09  2:21 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-03-07 17:00 categories: MFPS 2023: Second Call for Papers Marie Kerjean

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).