MFPS final call for papers

MFPS final call for papers

[Patricia Johann]

---
                    Effect of Coronavirus

The organizers of MFPS and of QPL are jointly monitoring the evolving
coronavirus outbreak, and how to respond. We believe it is too early to
make a decision about what steps to take, but we will issue a statement by
April 1 about how the virus will affect our joint meetings. While we will
consider a number of options, at a minimum we intend to support virtual
and / or remote participation by those who are unable or unwilling to
attend the meeting in person.

---


                             Final
                   CALL FOR PAPERS: MFPS XXXVI

             https://www.monoidal.net/paris2020/mfps/

                  Thirty-sixth Conference on the
                    Mathematical Foundations of
                       Programming Semantics

                   University of Paris Saclay, France
                         June 2-6, 2020

                    Co-located with QPL 2020

======================================================================

       March 30, 2020: Abstract Submission
       April 3, 2020: Paper Submission
       May 8, 2020: Notification
       May 22, 2020: Final Papers Deadline

               All dates AoE

======================================================================


The 36th Conference on the Mathematical Foundations of Programming
Semantics (MFPS 2020) takes place at University of Paris Saclay,
France, June 2???6, 2020.

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:

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 (Nancy)


----------------------------------------------------------------------

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=mfps20

----------------------------------------------------------------------

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:

     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 (University of Birmingham)
     Pierre Hyvernat (Universite Savoie Mount Blanc)
     Mauro Jaskelioff (Universidad Nacional de Rosario)
     Patricia Johann (Appalachian State University) - Chair
     Achim Jung (University of Birmingham)
     Barbara Koenig (Universitaet Duisburg-Essen)
     Dexter Kozen (Cornell University)
     Neel Krishnaswami (Cambridge 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)

----------------------------------------------------------------------

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:

     Pablo Arrighi (AMU & INRIA)
     Shane Mansfield (Sorbonne)
     Beno??t Valiron (University of Paris Saclay)


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

MFPS FInal Call for Papers

[MFPS]

Dear Colleagues,
   
This is the Final Call for Papers for MFPS 27. The deadline for submitting titles and short abstracts in next Monday, February 21, and the deadline for full papers is the following Monday, February 28. Below are the details:

             FINAL CALL FOR PAPERS
                         MFPS XXVII
     http://www.math.tulane.edu/~mfps/MFPS27

         Twenty-seventh Conference on the
           Mathematical Foundations of
              Programming Semantics

           Carnegie Mellon University
         Pittsburgh, Pennsylvania, USA
              25 May - 28 May 2011

The Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics will take place on the campus of Carnegie Mellon University, Pittsburgh, PA from 25 May to 28 May 2011. MFPS conferences are devoted to those areas of mathematics, logic, and computer science that are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest. As the series also strives to maintain breadth in its scope, the conference strongly encourages participation by researchers in neighbouring areas.

TOPICS include, but are not limited to, the following: biocomputation; 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:

Stephen Brookes, CMU
Jérôme Feret, INRIA
John Reynolds, CMU
Alex Simpson, Edinburgh
Stephanie Weirich, Penn
Steve Zdancewic, Penn

SPECIAL SESSIONS:

* A Special Session Honoring John Reynolds on his 75th birthday, organised by Stephen Brookes (CMU) and Peter O’Hearn (QMW, London).

* A Special Session on Systems Biology, held in conjunction Jérôme Feret’s plenary talk, and organised by Jean Krivine (Paris VII & CNRS).

* A Special Session on Security, held in conjunction with Steve Zdancewic’s plenary talk, and organised by Catherine Meadows (NRL).

TUTORIALS: There will be four tutorials on Programs from Proofs that will be given during the course of the meeting. The lectures are organised by Martin Escardó and Achim Jung (Birmingham). The speakers include Ulrich Berger (Swansea), Martin Escardó (Birmingham), Paulo Oliva (Queen Mary), and Monika Seisenberger (Swansea).

PROGRAM COMMITTEE:

Amal Ahmed, Indiana U, USA
Lars Birkedal, ITU, Denmark
Stephen Brookes, Carnegie Mellon U, USA
Corina Cirstea, U Southampton, UK
Bob Coecke, U Oxford, UK
Véronique Cortier, CNRS / Loria, France
Vincent Danos, U Edinburgh, UK
Anupam Datta, Carnegie Mellon U, USA
Josée Desharnais, U Laval, Canada
Philippa Gardner, Imperial College, UK
Dan Ghica, U Birmingham, UK
Jane Hillston, U Edinburgh, UK
Bart Jacobs, Radboud U, Netherlands
Achim Jung, U Birmingham, UK
Jean Krivine, Paris 7 & CNRS, France
Catherine Meadows, NRL, USA
Michael Mislove, Tulane U, USA
Peter O'Hearn, Queen Mary, U London, UK
Joël Ouaknine, U Oxford, UK (Chair)
Catuscia Palamidessi, INRIA, France
Prakash Panangaden, McGill U, Canada
Grigore Rosu, U Illinois, USA
Davide Sangiorgi, U Bologna, Italy
Peter Sewell, U Cambridge, UK
Gianluigi Zavattaro, U Bologna, Italy

IMPORTANT DATES:

- 21 February 2011      Title and Short Abstract submission deadline
- 28 February 2011      Paper submission deadline
- 31 March 31 2011      Notification to authors
- 15 April 15 2011      Preliminary proceedings version due

SUBMISSIONS should be prepared using ENTCS Macros, available from http://www.entcs.org. Submissions should be in the form of a PDF file not exceeding 15 pages in length. Submissions are now open on the EasyChair website:

http://www.easychair.org/conferences/?conf=mfps2011

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.

The Organisers of the MFPS series are Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane) and Prakash Panangaden (McGill). The local arrangements for MFPS XXVII are being overseen by Stephen Brookes (CMU).

MFPS
mfps@math.tulane.edu




MFPS
mfps@math.tulane.edu



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

MFPS FInal Call for Papers

[MFPS]

Dear Colleagues,
  Below is the Final Call for Papers for MFPS 25, which will be held  
at Oxford, UK from April 3 - 7, 2009. We encourage submissions in all  
areas relating to the topics of the meeting.
   Best regards,
   Mike MIslove

= 
= 
= 
= 
= 
= 
= 
= 
========================================================================

		  FIRST CALL FOR PAPERS

			        MFPS XXV
	    http://www.math.tulane.edu/~mfps/mfps25

		   Twenty-fifth Conference on the
		     Mathematical Foundations of
			Programming Semantics

		            University of Oxford
			          Oxford, UK
                              April 3 - 7, 2009
			 	
    Partially Supported by US Office of Naval Research


In commemoration of the founding of denotational semantics in the work  
of Dana Scott and Christopher Strachey, the Twenty-fifth Conference on  
the Mathematical Foundations of Programming Semantics will take place  
on the campus of the University of Oxford, Oxford UK from April 3 - 7,  
2009. MFPS conferences are devoted to those areas of mathematics,  
logic, and computer science that are related to models of computation,  
in general, and to the semantics of programming languages, in  
particular. The series has particularly stressed providing a forum  
where researchers in mathematics and computer science can meet and  
exchange ideas about problems of common interest. As the series also  
strives to maintain breadth in its scope, the conference strongly  
encourages participation by researchers in neighboring areas.

TOPICS include, but are not limited to, the following: biocomputation;  
concurrent and distributed computation; constructive mathematics;  
domain theory and categorical models; formal languages; formal  
methods; game semantics; lambda calculus; logic; probabilistic  
systems; process calculi; programming-language theory; quantum  
computation; security; topological models; type systems; type theory.

The INVITED SPEAKERS for MFPS XXV are

Neil Ghani, Strathclyde
Marta Kwiatkowska, Oxford
Catherine Meadows, Naval Research Lab
Michael Mislove, Tulane
Dana Scott, CMU
David Schmidt, Kansas State

In addition, there will be four SPECIAL SESSIONS:

- A Session Honoring Bob Tennent on the occasion of his 65th birthday  
year, which is being organized by Dan Ghica (Birmingham) and Pete  
O'Hearn (QMW), and will begin with David Schmidt's plenary talk.

- A Session on Security will be held in conjunction with Catherine  
Meadow's plenary talk. It is being organized by Catherine Meadows  and  
A. W. Roscoe (Oxford).

- A Session Honoring Michael Mislove on the occasion of his 65th  
birthday year, which is being organized by Achim Jung (Birmingham),  
Samson Abramsky (Oxford) and Steve Brookes (CMU). It will be held in  
conjunction with Dana Scott's plenary address.

- A Session on Mathematical Structured Programming will be held in  
conjunction with Neil Ghani's plenary address. It is being organized  
by Neil Ghani and  will consist of next spring's meeting of MSFP.

In addition, there will be five TUTORIAL TALKS on Quantum Information  
and Quantum Computing. These are being organized by Samson Abramsky  
(Oxford) and Bob Coecke (Oxford).  The talks will be given at the  
start of each day of the meeting. These talks are aimed at providing  
background for participants to take part in the Workshop on Quantum  
Physics and Logic (QPL VI) immediately following MFPS in Oxford.

The remainder of the program will consist of papers selected by the
following PROGRAM COMMITTEE

Andrej Bauer,  University of Ljubljana, Slovenia
Stephen Brookes, CMU, USA
Kostas Chatzikokolakis, TUE, The Netherlands
Yuxin Deng, Shanghai Jiao Tong University, China
Derek Dreyer, MPI-SWS, Germany
Daniele Gorla, Sapienza Università di Roma, Italy
Jean Goubault-Larrecq, ENS Cachan, France
Joshua Guttman, MITRE, USA
Matthew Hennessy, TCD, Ireland
Jean Krivine, Harvard Medical School, USA
Achim Jung, University of Birmingham, UK
Pasquale Malacaria, Queen Mary University of London,  UK
Keye Martin NRL, USA
Catherine Meadows, NRL, USA
Mike Mislove, Tulane University, USA
MohammadReza Mousavi, TUE, The Netherlands
Joel Ouaknine, Oxford
Catuscia Palamidessi, INRIA, France  (chair)
Prakash Panangaden, McGill University, Canada
Peter Selinger, Dalhousie University, Canada
Daniele Varacca, Université Paris Diderot, France

from submissions received in response to this Call for Papers.

                                          SUBMISSIONS
The submissions are now open, and they are organized through  
EasyChair. To submit a paper for the meeting, point your browser at
http://www.easychair.org/conferences/?c=.120373;conf=mfps25

IMPORTANT DATES:

- January  9		Title and Short Abstract submission deadline

- January 16 		Paper submission deadline

- February 20        Notification to authors

- March 13		Preliminary proceedings version due


Mathematical Foundations of
    Programming Semantics
http://www.math.tulane.edu/~mfps

MFPS Final Call for Papers

[Michael Mislove]

Dear Colleagues,
   This is the Final Call for Papers for MFPS 24. Details about the
meeting are given below. Submissions should be made to EasyChair at
the link http://www.easychair.org/conferences/?conf=mfps24 The
deadline for submissions of titles and brief abstracts is Friday,
March 7, and the deadline for full submissions is the following
Friday, March 14.
  Thanks, and best regards,
  Mike Mislove

===============================================
Professor Michael Mislove        Phone: +1 504 862-3441
Department of Mathematics      FAX:     +1 504 865-5063
Tulane University       URL: http://www.math.tulane.edu/~mwm
New Orleans, LA 70118 USA
===============================================




			   CALL FOR PAPERS

			        MFPS XXIV
	    http://www.math.tulane.edu/~mfps/mfps24.htm

		   Twenty-fourth Conference on the
		     Mathematical Foundations of
			Programming Semantics

		      University of Pennsylvania
			 Philadelphia, PA USA
                           May 22 - 25, 2008

	  Partially Supported by US Office of Naval Research


The MFPS conferences are devoted to those areas of mathematics, logic,
and computer science which are related to models of computation, in
general, and to the semantics of programming languages, in particular.
The series has particularly stressed providing a forum where
researchers in mathematics and computer science can meet and exchange
ideas about problems of common interest. As the series also strives to
maintain breadth in its scope, the conference strongly encourages
participation by researchers in neighboring areas.

TOPICS include, but are not limited to, the following: biocomputation;
categorical models; concurrent and distributed computation;
constructive mathematics; domain theory; formal languages; formal
methods; game semantics; lambda calculus; logic; non-classical
computation; probabilistic systems; process calculi; program analysis;
programming-language theory; quantum computation; rewriting theory;
security; specifications; topological models; type systems; type
theory.

The Twenty-fourth Conference on the Mathematical Foundations of
Programming Semantics (MFPS XXIV) will take place on the campus of
University of Pennsylvania, Philadelphia, PA USA from Thursday, May 22
through Sunday, May 25, 2008.

The Organising Committee for MFPS consists of Stephen Brookes (CMU),
Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove
(Tulane), and Prakash Panangaden (McGill). The local arrangements for
MFPS XXIV are being overseen by Andre Scedrov (Penn).

The INVITED SPEAKERS for MFPS XXIV are

   Samson Abramsky, Oxford
   Luca Cardelli, Microsoft Research, Cambridge
   Dusko Pavlovic, Kestrel Institute
   Benjamin Pierce, Penn
   Phil Scott, Ottawa
   James Worrell, Oxford

In addition, there will be four special sessions:
- A session honoring Phil Scott on the occasion of his 60th birthday
year, which is being organized by Rick Blute (Ottawa) and Andre
Scedrov (Penn).

- A session on Systems Biology will be held in conjunction with Luca
Cardelli's plenaary talk. It is being organized by Jean Krivine (LIX).

- A third session will be devoted to Type Theory. It is being
organized by Benjamin Pierce and by Robert Harper (CMU) will be held
in conjunction with Benjamin Pierce's plenary talk.

- The fourth special session will be on Security, and will be
organized by Catherine Meadows (NRL) in conjunction with Dusko
Pavlovic's plenary talk.

Further, there will be a TUTORIAL DAY on May 21.  The topic will be
Category Theory and Its Applications to Theoretical Computer Science.
It is being organized by Phil Scott (Ottawa); the speakers will be
announced at a later date. This event will be free to all those who
are interested in attending.

The remainder of the program will consist of papers selected by the
following PROGRAM COMMITTEE

   Andrej Bauer (Ljubljana), CHAIR
   Ulrich Berger (Swansea)
   Lars Birkedal (Copenhagen)
   Jens Blanck (Swansea)
   Steve Brookes (CMU)
   Bob Coecke (Oxford)
   Karl Crary (CMU)
   Martin Escardo (Birmingham)
   Achim Jung (Birmingham)
   Jean Krivine (LIX)
   James Laird (Sussex)
   Paul Levy (Birmingham)
   Catherine Meadows (NRL)
   Michael Mislove (Tulane)
   Catuscia Palamidessi (INRIA)
   Prakash Panangaden (McGill)
   Alex Simpson (Edinburgh)
   Christopher Stone (Harvey Mudd)
   Thomas Streicher (Darmstadt)
   James Worrell (Oxford)

from submissions received in response to this Call for Papers.

Submissions Now Open!

Authors can submit papers in response to this Call for Papers by
pointing their browser to
http://www.easychair.org/conferences/?conf=mfps24
The submission process requires registering as an author and
submitting the title and a short abstract for your paper by March 7,
2008. The deadline for submissions of full papers is one week later,
March 14, 2008. The other important dates are listed below.
Papers should be no more than 15 pages in LaTeX, and should be in the
form of either a PostScript file or a pdf file suitable for printing
on a generic printer. The accepted papers will appear in ENTCS, and
the required format for ENTCS can be used for submissions. The generic
ENTCS macro package can be found at this web site. There is no special
entcsmacro.sty file for this year's MFPS Proceedings as yet; authors
who use the ENTCS macros should just use the file that comes in the
generic package.

IMPORTANT DATES:

* Fri Mar 7:   Paper registration deadline, with short abstracts.

* Fri Mar 14:  Paper submission deadline.

* Fri Apr 7:   Author notification.

* Fri Apr 21:  Final versions for the proceedings.

MFPS Final Call for Papers

[Michael Mislove]

Dear Colleagues,
   This is a reminder that the deadline for submission to MFPS 22 is
next Wednesday, February 22. The twenty-second conference on the
Mathematical Foundations of Programming Semantics will take place in
Genoa, Italy from May 24 through May 27, 2006. The invited speakers are:
   Marcelo Fiore, Cambridge
   Eugenio Moggi, Genova
   Prakash Panangaden, McGill
   Davide Sangiorgi, Bologna
   Peter Selinger, Dalhousie
   Steve Zdancewic, Penn
In addition, we are planning three special sessions, one on Security,
organized by Catherine Meadows (NRL), another on Real-time Systems,
organized by Joel Ouaknine and James Worrell (Oxford), and one on
Quantum Computing, organized by Michael Mislove, Prakash Panangaden
and Peter Selinger. The remainder of the program will consist of
paper submitted in response to this Call.
   Authors interested in submitting a paper for the meeting should
submit an extended abstract of 15 pages or less to
mfps@math.tulane.edu The submission should be in the form of a pdf
file or PostScript file suitable for printing on a standard printing
device. Authors of accepted papers will be notified by March 25.
   More details about the meeting, including the list of PC members,
is available at the MFPS 22 home page http://www.math.tulane.edu/
~mfps/mfps22,htm
   Best regards,
   Mike Mislove

===============================================
Professor Michael Mislove        Phone: +1 504 862-3441
Department of Mathematics      FAX:     +1 504 865-5063
Tulane University       URL: http://www.math.tulane.edu/~mwm
New Orleans, LA 70118 USA
===============================================