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 * Invited 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 * Invited 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 * Invited 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 * Invited 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 Mathematical Foundations of Programming Semantics http://www.math.tulane.edu/~mfps ######################################################################## To unsubscribe from the MFPS-L list, click the following link: https://listserv.tulane.edu/cgi-bin/wa?SUBED1=MFPS-L&A=1 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]