[TYPES/announce] MFPS 2018 Call for Participation

[Sam Staton]

MFPS XXXIV 2018 : Mathematical Foundations of Programming Semantics
Second call for participation


## IMPORTANT DEADLINE:

*** May 15 *** - early registration deadline


The 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV) will take place at Dalhousie University in Halifax, Canada, from June 6–9, 2018. 

MFPS 2018 will be co-located with the 15th International Conference on Quantum Physics and Logic (QPL) 2018, which takes place from June 3–7. 

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. 

Conference home page: https://www.mathstat.dal.ca/mfps2018/


## REGISTRATION AND LOCAL INFORMATION

The early registration deadline is May 15. The registration fees are as follows:

* Regular participants: $100 (MFPS only) or $120 (MFPS and QPL).
* Students: $60 (MFPS only) or $80 (MFPS and QPL).
* After May 15: all registration fees increase by $10. 

Please register at http://stay.dal.ca/KxRegistration/QPLMFPS18

There will be a joint MFPS/QPL conference dinner on Wednesday, June 6. Dinner tickets can be purchased on the registration page. You can also buy additional dinner tickets for any guests.

Please see the website for a list of some hotels and other accommodation choices.


## TRAVEL TO CANADA

Most foreign nationals now need an electronic travel authorization before flying to Canada. This applies to all visa-exempt foreign nationals (for example, European citizens). It only costs $7 and can be done efficiently at the eTA website (see the MFPS 2018 homepage for a link). The eTA requirement does not apply to U.S. citizens, nor to visitors who need an actual visa to travel to Canada. 


## INVITED SPEAKERS AND SPECIAL SESSIONS

Special session on gradual typing

 * Keynote lecture: Ronald Garcia (Univ. British Columbia): Gradual Enforcement of Program Invariants
 * Joshua Dunfield (Queen's Univ., Ontario)
 * Max New (Northeastern Univ.): Semantic Foundations for Gradual Typing

Special session on session types

 * Keynote lecture: Frank Pfenning (Carnegie Mellon Univ.): Ergometric and Temporal Session Types
 * Simon Fowler (Univ. Edinburgh): Session Types without Tiers
 * Rumyana Neykova (Imperial College): A Session Type Provider: Compile-time Generation of Session Types with Interaction Refinements
 * Bernardo Toninho (Universidade Nove de Lisboa): Depending on Session-Typed Processes

Special session on differentiable programming

 * Keynote lecture: Gordon Plotkin (Univ. Edinburgh and Google): A Simple Differential Programming Language
 * Marie Kerjean (Univ. Paris 7): A logic of Linear Partial Differential Equations
 * Barak Pearlmutter (Maynooth Univ.)
 * Matthijs Vakar (Univ. Oxford): Diffeological Spaces and Denotational Semantics for Differential Programming

Special session on quantum programming

 * Keynote lecture: Neil J. Ross (Dalhousie Univ.): Proto-Quipper: a circuit description language for quantum computing
 * Craig Gidney (Google): Optimizing quantum circuits with classical thinking
 * Vadym Kliuchnikov (Microsoft)
 * Jennifer Paykin (U Penn): Preaching to the QWIRE: Verified semantics of quantum circuits
 * Benoit Valiron (CentraleSupelec)


## LIST OF ACCEPTED TALKS

* Richard Blute, Robin Cockett, Pierre-Alain Jacqmin and Philip Scott. Finiteness spaces and generalized power series.
* Robin Cockett and Jean-Simon Lemay. Cartesian integral categories and contextual integral categories.
* Thomas Cottrell, Soichiro Fujii and John Power. Higher dimensional categories: recursion on extensivity.
* Fredrik Dahlqvist, Vincent Danos, Ilias Garnier and Alexandra Silva. Borel kernels and their approximation, categorically.
* Tobias Fritz and Paolo Perrone. Bimonoidal structure of probability monads.
* Jules Hedges. Morphisms of open games.
* Chris Heunen, Robin Kaarsgaard and Martti Karvonen. Reversible effects as inverse arrows.
* Pieter Hofstra, Jason Parker and Philip Scott. Isotropy of algebraic theories.
* Naohiko Hoshino. Partial traces on additive categories.
* Ohad Kammar and Dylan McDermott. Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics.
* Bartek Klin and Julian Salamanca. Iterated covariant powerset is not a monad.
* Dexter Kozen. On disintegration in probabilistic semantics.
* Paul Blain Levy and Nathan Bowler. Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies.
* Ernie Manes and Philip Mulry. Near distributive laws.
* Yuichi Nishiwaki, Yoshihiko Kakutani and Yuito Murase. Modality via iterated enrichment.
* Hugo Paquet and Glynn Winskel. Continuous probability distributions in concurrent games.
* Tarmo Uustalu, Niccolò Veltri and Noam Zeilberger. The sequent calculus of skew monoidal categories.


## PROGRAM COMMITTEE: 

* Marc Bagnol, ENS Lyon, France
* Andrej Bauer, University of Ljubljana, Slovenia
* Dariusz Biernacki, University of Wroclaw, Poland
* Aleš Bizjak, Aarhus University, Denmark
* Valentin Blot, Université Paris-Sud, France
* Steve Brookes, Carnegie Mellon University, USA
* Pierre Clairambault, CNRS and ENS Lyon, France
* Ilias Garnier, Sivienn Inc. and ENS Paris
* Sergey Goncharov, FAU Erlangen-Nürnberg, Germany
* Tobias Heindel, Universität Leipzig, Germany
* Tom Hirschowitz, Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, France
* Patricia Johann, Appalachian State University, USA
* Achim Jung, University of Birmingham, UK
* Ohad Kammar, University of Oxford, UK
* Shin-Ya Katsumata, National Institute of Informatics, Japan
* Catherine Meadows, NRL, USA
* Michael Mislove, Tulane University, USA
* Joel Ouaknine, MPI-SWS, Germany
* Daniela Petrisan, Université Paris Diderot - Paris 7, France
* Azalea Raad, MPI-SWS, Germany
* Sam Staton, University of Oxford, UK (chair)
* Tarmo Uustalu, Reykjavik University, Iceland
* Benoît Valiron, LRI - CentraleSupélec, Univ. Paris Saclay, France
* Valeria Vignudelli, CNRS/ENS Lyon, France
* Noam Zeilberger, University of Birmingham, UK


## LOCAL ORGANISERS: 

* Julien Ross
* Peter Selinger