From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9147 Path: news.gmane.org!.POSTED!not-for-mail From: Alexandra Silva Newsgroups: gmane.science.mathematics.categories Subject: MFPS 33: Deadline Extension Date: Fri, 10 Mar 2017 15:31:43 -0400 (AST) Message-ID: Reply-To: Alexandra Silva NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1489331335 19438 195.159.176.226 (12 Mar 2017 15:08:55 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 12 Mar 2017 15:08:55 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sun Mar 12 16:08:50 2017 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cn570-0003yr-UH for gsmc-categories@m.gmane.org; Sun, 12 Mar 2017 16:08:47 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:55403) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1cn56B-0004wD-NL; Sun, 12 Mar 2017 12:07:55 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1cn55W-0007zA-4z for categories-list@mlist.mta.ca; Sun, 12 Mar 2017 12:07:14 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9147 Archived-At: MFPS XXXIII : Mathematical Foundations of Programming Semantics XXXIII New submission deadline -- March 17th AoE The 33rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIII) will take place on the campus of Ljubljana University, Slovenia, between 12 and 15 June 2017. 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. Conference home page: http://coalg.org/mfps-calco2017 ## INVITED SPEAKERS * Rehana Patel, Olin College * Laura Kovacs, TU Wien * Dexter Kozen, Cornell University * Amr Sabry, Indiana University ## TUTORIAL SPEAKERS AND SPECIAL SESSIONS * Laure Daviaud, Warsaw - Algebraic automata theory * Nate Foster, Cornell - Foundations of Network Programming, special session in honour of Dexter Kozen???s 65th Birthday * Ben Worrell, Oxford - Metrics and Privacy (Joint MPFS & CALCO) * Derek Dreyer, MPI-SWS - Formal Verification ## SUBMISSION ### Important dates: * Submission Deadline: March 17 (extended) * Notification: April 28 * Proceedings: May 19 * Conference: June 12-15 ### Submitting Submissions should be prepared using the [ENTCS Macros](http://www.entcs.org/), in the form of a PDF file not exceeding 15 pages. Submissions are open on [EasyChair] (https://easychair.org/conferences/?conf=mfps33). ### Proceedings A preliminary version will be distributed at the meeting. Final proceedings will appear in ENTCS after the meeting. ## PROGRAM COMMITTEE: Gilles Barthe, Madrid, Spain Andrej Bauer, Ljubljana, Slovenia Steve Brookes, Pittsburgh, PA, USA Carla Ferreira, Lisbon, Portugal Nate Foster, Ithaca, NY, USA Chris Heunen, Edinburgh, UK Justin Hsu, Philadelphia, PA, USA Achim Jung, Birmingham, UK Elham Kashefi, Edinburgh, UK Clemens Kupke, Glasgow, UK Barbara Koenig, Duisburg, Germany Catherine Meadows, NRL , USA Andrzej Murawski, Warwick, UK, Bart Jacobs, Radboud U, Netherlands Bob Coecke, Oxford, UK Cameron Freer, Cambridge MA, USA Catherine Meadows, Washington, DC, USA Michael Mislove, New Orleans, LA, USA Joel Ouaknine, Saarbrucken, Germany Alessandra Palmigiano, Delft, The Netherlands Prakash Panangaden, Montreal, Canada Daniela Petrisan, Paris, France Brigitte Pientka, Montreal, Canada Jurriaan Rot, Nijmegen, The Netherlands Mehrnoosh Sadrzadeh, London, UK Alexandra Silva (Chair), London, UK Ana Sokolova, Salzburg, Austria Valeria Vignudelli, Bologna, Italy ## LOCAL ORGANISERS: * Matja Pretnar * Andrej Baue [For admin and other information see: http://www.mta.ca/~cat-dist/ ]