From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9857 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Barbara Koenig Newsgroups: gmane.science.mathematics.categories Subject: MFPS XXXV - Call for Papers Date: Sun, 10 Mar 2019 11:54:05 +0100 Message-ID: Reply-To: Barbara Koenig Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="220015"; mail-complaints-to="usenet@blaine.gmane.org" To: Original-X-From: majordomo@mlist.mta.ca Sun Mar 10 15:07:45 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1h2z78-000v3H-UV for gsmc-categories@m.gmane.org; Sun, 10 Mar 2019 15:07:43 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:52513) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1h2z6w-0006dk-6l; Sun, 10 Mar 2019 11:07:30 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1h2z5T-00051A-L3 for categories-list@mlist.mta.ca; Sun, 10 Mar 2019 11:05:59 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9857 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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D CALL FOR PAPERS: MFPS XXXV https://www.coalg.org/calco-mfps-2019/mfps/ Thirty-fifth Conference on the Mathematical Foundations of Programming Semantics University College London, UK June 4-7, 2019 Co-located with CALCO 2019 =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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D April 1, 2019: Abstract Submission April 4, 2019: Paper Submission May 10, 2019: Notification May 24, 2019: Final Papers Deadline =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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The 35th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2019) takes place at University College London, UK, from June 4=E2=80=937, 2019. 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 such as complex systems, markets, and networks, for example. ---------------------------------------------------------------------- INVITED SPEAKERS & 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: * Amal Ahmed, Northeastern University, USA * Sarah Meiklejohn, University College London, UK * Matteo Mio, ENS Lyon, France * Damien Pous, ENS Lyon, France (joint with CALCO) * Vincent Rahli, University of Luxembourg, Luxembourg * Mehrnoosh Sadrzadeh, Queen Mary University of London, UK (joint with CALCO) ---------------------------------------------------------------------- SUBMISSIONS: Submissions should be prepared using the ENTCS Macros (available from http://www.entcs.org) and should be up to 12 pages long excluding bibliography and appendices. Submissions will be via EasyChair: https://easychair.org/conferences/?conf=3Dmfps35 ---------------------------------------------------------------------- PROCEEDINGS: There will be a preliminary proceedings of the conference papers that will be distributed at the meeting, with a final proceedings published in ENTCS after the meeting. ---------------------------------------------------------------------- PROGRAMME COMMITTEE: Andrej Bauer, University of Ljubljana, Slovenia Adriana Balan, University Politehnica of Bucharest, Romania Harsh Beohar, University of Duisburg-Essen, Germany Steve Brookes, Carnegie Mellon University, USA Roberto Bruni, Universita=E2=80=99 di Pisa, Italy Yuxin Deng, East China Normal University, China Ilias Garnier, Nomadic Labs, France Chris Heunen, University of Edinburgh, UK Tom Hirschowitz, Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, F= rance Bart Jacobs, Radboud Universiteit Nijmegen, Netherlands Shin-Ya Katsumata, National Institute of Informatics, Japan Barbara K=C3=B6nig, University of Duisburg-Essen, Germany (chair) Ekaterina Komendantskaya, Heriot-Watt University, UK Achim Jung, University of Birmingham, UK Dexter Kozen, Cornell University, USA Clemens Kupke, University of Strathclyde, UK Catherine Meadows, NRL, USA Michael Mislove, Tulane University, USA Joel Ouaknine, Max Planck Institute for Software Systems, Germany Prakash Panangaden, McGill University Montreal, Canada Ana Sokolova, University of Salzburg, Austria Sam Staton, University of Oxford, UK Tarmo Uustalu, Reykjavik University, Iceland ---------------------------------------------------------------------- STEERING COMMITTEE: The steering committee of the MFPS series consists of Andrej Bauer (Ljubljana), Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane), Joel Ouaknine (Max Planck) and Prakash Panangaden (McGill). ---------------------------------------------------------------------- LOCAL ORGANIZERS: * Philippa Gardner (Imperial College London, UK) * Alexandra Silva (University College London, UK) * Fabio Zanasi (University College London, UK)=E2=80=A8 Web site & publicity: Henning Basold (CNRS, ENS Lyon, France) ---------------------------------------------------------------------- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]