From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9600 Path: news.gmane.org!.POSTED!not-for-mail From: Sam Staton Newsgroups: gmane.science.mathematics.categories Subject: MFPS 2018 abstracts/papers Date: Mon, 2 Apr 2018 20:22:39 +0000 Message-ID: Reply-To: Sam Staton NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1522935858 2496 195.159.176.226 (5 Apr 2018 13:44:18 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 5 Apr 2018 13:44:18 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Thu Apr 05 15:44:14 2018 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 1f45BW-0000Tl-H0 for gsmc-categories@m.gmane.org; Thu, 05 Apr 2018 15:44:14 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:42283) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1f45Ax-0000MV-VB; Thu, 05 Apr 2018 10:43:39 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1f45BV-0003oY-VT for categories-list@mlist.mta.ca; Thu, 05 Apr 2018 10:44:13 -0300 Content-Language: en-GB Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9600 Archived-At: For various reasons we have decided to postpone the abstract deadline and c= ontinue to welcome full submissions up until the actual deadline (6 April).= Many thanks to all those who have submitted abstracts/papers so far. Sam. = =0A= =0A= --=0A= =0A= MFPS XXXIV 2018 : Mathematical Foundations of Programming Semantics=0A= Call for papers=0A= =0A= The 34th Conference on the Mathematical Foundations of Programming Semantic= s (MFPS XXXIV) will take place at Dalhousie University in Halifax, Canada, = from June 6=969, 2018.=0A= =0A= MFPS 2018 will be co-located with the 15th International Conference on Quan= tum Physics and Logic (QPL) 2018, which takes place from June 3=967.=0A= =0A= MFPS conferences are dedicated to the areas of mathematics, logic, and comp= uter science that are related to models of computation in general, and to s= emantics of programming languages in particular. This is a forum where rese= archers in mathematics and computer science can meet and exchange ideas. Th= e participation of researchers in neighbouring areas is strongly encouraged= .=0A= =0A= Topics include, but are not limited to, the following: concurrent qualitati= ve and quantitative distributed systems; process calculi; probabilistic sys= tems; constructive mathematics; domain theory and categorical models; forma= l languages; formal methods; game semantics; lambda calculus; programming-l= anguage theory; quantum computation; security; topological models; logic; t= ype systems; type theory. We also welcome contributions that address applic= ations of semantics to novel areas such as complex systems, markets, and ne= tworks, for example.=0A= =0A= Conference home page: https://www.mathstat.dal.ca/mfps2018/=0A= =0A= ## SUBMISSION=0A= =0A= ### Important dates:=0A= =0A= (* April 1: abstract submission)=0A= * April 6: paper submission=0A= * May 11: notification of authors=0A= * May 25: final papers ready=0A= * June 6=969: conference=0A= =0A= ### Submitting=0A= =0A= Submissions should be prepared using the ENTCS Macros (http://www.entcs.org= /) and should be up to 12 pages long excluding bibliography and appendices.= Submissions is via EasyChair (https://easychair.org/conferences/?conf=3Dmf= ps34).=0A= NB=0A= * The original call for papers, in reference to an older style file, sugges= ted up to 15 pages. Authors may still submit up to 15 pages using the old s= tyle file. But they are encouraged to use the latest ENTCS style file, date= d 6 March 2018, and up to 12 pages, which is actually more generous because= of font and margin differences.=0A= * Although QPL and MFPS are co-located, they have different submission site= s and programme committees.=0A= =0A= ### Proceedings=0A= =0A= A preliminary version will be distributed at the meeting. Final proceedings= will be published in ENTCS after the meeting. ENTCS is open access.=0A= =0A= ## PROGRAM COMMITTEE:=0A= =0A= * Marc Bagnol, ENS Lyon, France=0A= * Andrej Bauer, University of Ljubljana, Slovenia=0A= * Dariusz Biernacki, University of Wroclaw, Poland=0A= * Ale=9A Bizjak, Aarhus University, Denmark=0A= * Valentin Blot, Universit=E9 Paris-Sud, France=0A= * Steve Brookes, Carnegie Mellon University, USA=0A= * Pierre Clairambault, CNRS and ENS Lyon, France=0A= * Ilias Garnier, Sivienn Inc. and ENS Paris=0A= * Sergey Goncharov, FAU Erlangen-N=FCrnberg, Germany=0A= * Tobias Heindel, Universit=E4t Leipzig, Germany=0A= * Tom Hirschowitz, Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, Fra= nce=0A= * Patricia Johann, Appalachian State University, USA=0A= * Achim Jung, University of Birmingham, UK=0A= * Ohad Kammar, University of Oxford, UK=0A= * Shin-Ya Katsumata, National Institute of Informatics, Japan=0A= * Catherine Meadows, NRL, USA=0A= * Michael Mislove, Tulane University, USA=0A= * Joel Ouaknine, MPI-SWS, Germany=0A= * Daniela Petrisan, Universit=E9 Paris Diderot - Paris 7, France=0A= * Azalea Raad, MPI-SWS, Germany=0A= * Sam Staton, University of Oxford, UK (chair)=0A= * Tarmo Uustalu, Reykjavik University, Iceland=0A= * Beno=EEt Valiron, LRI - CentraleSup=E9lec, Univ. Paris Saclay, France=0A= * Valeria Vignudelli, CNRS/ENS Lyon, France=0A= * Noam Zeilberger, University of Birmingham, UK=0A= =0A= ## INVITED SPEAKERS and SPECIAL SESSIONS=0A= * Ron Garcia, British Columbia=0A= * Frank Pfenning, CMU=0A= * Gordon Plotkin, Edinburgh / Google=0A= * Neil J. Ross, Dalhousie=0A= Our plan is to organize a series of special sessions, on the following topi= cs:=0A= gradual typing, session types, differentiable programs, and quantum program= ming languages (joint with QPL). Special session speakers will be announced= in due course.=0A= =0A= ## LOCAL ORGANISERS:=0A= =0A= * Neil J. Ross=0A= * Peter Selinger=0A= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]