From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10214 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Vladimir Zamdzhiev Newsgroups: gmane.science.mathematics.categories Subject: MFPS 2020 -- Call for Participation Date: Wed, 20 May 2020 16:57:58 +0200 Message-ID: Reply-To: Vladimir Zamdzhiev Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="21616"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Thu May 21 21:27:02 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jbqqL-0005SF-Ju for gsmc-categories@m.gmane-mx.org; Thu, 21 May 2020 21:27:01 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:54110) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1jbqoh-0005UO-Um; Thu, 21 May 2020 16:25:19 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1jbqmT-0002cO-Kv for categories-list@rr.mta.ca; Thu, 21 May 2020 16:23:01 -0300 Content-Language: en-GB Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10214 Archived-At: 36th International Conference on Mathematical Foundations of Programming Semantics ??? MFPS 2020 June 2 ??? 6, 2020 To be jointly held with QPL'20. https://www.monoidal.net/paris2020/mfps/ # About 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: 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 such as complex systems, markets, and networks, for example. # Online Event MFPS 2020 will be held online, jointly with the 17th International Conference on Quantum and Physics Logic (QPL) 2020. We will hold a live meeting using video and online discussion platforms. Registration is free but mandatory. Please follow this link: https://forms.gle/Bozgh92BoLUQxVaD7 to register. # Invited Speakers and Organizers of Special Sessions As in previous years, MFPS will have several invited speakers and special session highlighting areas within programming languages semantics. We are pleased to announce the following invited speakers and organizers of special sessions: * Gilles Barthe (IMDEA) - plenary speaker * Christine Tasson (Paris VII) - plenary speaker Special session on Probabilistic programming languages * Dexter Kozen (Cornell) - plenary speaker * Fredrik Dahlqvist (London) * Ohad Kammar (Edinburgh) * Radu Mardare (Strathclyde) * Valeria Vignudelli (Lyon) Special session on Quantum programming - joint with QPL * Alexandre Miquel (Montevideo) - plenary speaker * Pierre Clairambault (Lyon) * Claudia Faggian (Paris VII) * Vladimir Zamdzhiev (LORIA, Nancy) # Accepted Papers * Gordon Plotkin. A complete axiomatisation of partial differentiation. * Alejandro Aguirre and Shin-ya Kastumata. Weakest preconditions in ?? fibrations * Abbas Edalat, Amin Farjudian, Mina Mohammadian and Dirk Pattinson. ?? Domain Theoretic Second-Order Euler???s Method for Solving Initial Value ?? Problems. * Tao Gu, Alexandra Silva and Fabio Zanasi. Hennessy-Milner Results for ?? Probabilistic PDL. * Linan Chen, Florence Clerc and Prakash Panangaden. Towards a ?? classification of behavioural equivalences in continuous-time Markov ?? processes. * Niels Voorneveld. Combining Algebraic Effect Descriptions using the ?? Tensor of Complete Lattices. * Tarmo Uustalu, Niccol?? Veltri and Noam Zeilberger. Eilenberg-Kelly ?? reloaded. * Paolo Perrone and Tobias Fritz. Monads, partial evaluations, and ?? rewriting. * Thomas Paine. A pebbling comonad for finite rank and variable logic, ?? and an application to the equirank-variable homomorphism preservation ?? theorem. * Ernest Manes. Continuous Monads. * Roy Crole, Samuele Buro and Isabella Mastroeni. Equational Logic and ?? Categorical Semantics for Multi-Languages. * Nicolas Blanco and Noam Zeilberger. Bifibrations of Polycategories and ?? Classical Linear Logic. * Ryan Kavanagh. Some Properties of Parametrized Fixed Points on ?? O-Categories. # Program All talks will be available on YouTube and there will be a forum organised on Slack where participants can discuss the talks. A schedule will be posted soon on the conference website. See https://www.monoidal.net/paris2020/mfps/ for more information. # Program Committee Danel Ahman (University of Ljubljana) Andrej Bauer (University of Ljubljana) Stephen Brookes (Carnegie Mellon University) Ugo Dal Lago (University of Bologna & INRIA Sophia Antipolis) Dan Ghica (Huawei Research and University of Birmingham) Pierre Hyvernat (Universit?? Savoie Mont Blanc) Mauro Jaskelioff (Universidad Nacional de Rosario) Patricia Johann (Appalachian State University) - Chair Achim Jung (University of Birmingham) Barbara K??nig (Universitaet Duisburg-Essen) Dexter Kozen (Cornell University) Catherine Meadows (NRL) Mike Mislove (Tulane University) Joel Ouaknine (MPI-SWS) Prakash Panangaden (McGill University) Dirk Pattinson (Australian National University) Maciej Pirog (University of Wroclaw) Peter Selinger (Dalhousie University) Alexandra Silva (University College London) Kristina Sojakova (Cornell University) Ana Sokolova (University of Salzburg) Sam Staton (University of Oxford) Tarmo Uustalu (Reykjavik University) # Organising Committee Pablo Arrighi (AMU & INRIA) Aleks Kissinger (University of Oxford) Shane Mansfield (Sorbonne Universit??) Beno??t Valiron (U. Paris Saclay) John van de Wetering (Radboud University Nijmegen ??? Wiz Team) James Hefford (University of Oxford ??? Wiz Team) Matthew Wilson (University of Oxford ??? Wiz Team) Vladimir Zamdzhiev (Loria, Nancy) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]