From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10617 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Max New Newsgroups: gmane.science.mathematics.categories Subject: MSFP 2022 - First Call for Papers Date: Mon, 22 Nov 2021 15:28:06 -0500 Message-ID: Reply-To: Max New Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="4451"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Wed Nov 24 03:20:07 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mphtH-0000wT-IX for gsmc-categories@m.gmane-mx.org; Wed, 24 Nov 2021 03:20:07 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:36604) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1mphtF-0000Nl-R4; Tue, 23 Nov 2021 22:20:05 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1mphrm-00051b-LC for categories-list@rr.mta.ca; Tue, 23 Nov 2021 22:18:34 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10617 Archived-At: Ninth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Saturday 2nd April 2022, Munich, Germany A satellite workshop of ETAPS 2022 https://msfp-workshop.github.io/msfp2022/ ** Deadline: 16 December (abstract), 23 December (paper) ** The ninth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held in July 2018, in Oxford, UK, as part of FLoC 2018. The eigth MSFP Workshop was held virtually in August 2020, originally planned as part of ETAPS 2020. Important Dates: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Abstract deadline: 16 December (Thursday) Paper deadline: 23 December (Thursday) Notification: 27 January (Thursday) Final version: 24 February (Thursday) Workshop: 2 April(Saturday ) Invited Speakers: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Valeria de Paiva - Topos Institute, USA Programme Committee: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Nuria Brede - University of Potsdam, Germany Jacques Carette - McMaster University, Canada Youyou Cong - Tokyo Institute of Technology, Japan Philippa Cowderoy Jan de Muijnck-Hughes - University of Glasgow, UK Harley Eades III - Augusta University, USA Jeremy Gibbons - University of Oxford, UK (co-chair) Jules Hedges - University of Stratchclyde, UK Shin-Ya Katsumata - National Institute of Informatics, Japan Max New - University of Michigan, USA (co-chair) Maciej Pir=C3=B3g - University of Wroc=C5=82aw, Poland Artjoms Sinkarovs - Heriot-Watt University, UK Submission: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Jeremy Gibbons (jeremy.gibbons@cs.ox.ac.uk) and Max New (maxsnew@umich.edu) if you have any questions about the scope of the workshop. We accept two categories of submission: full papers of no more than 15 pages that will appear in the proceedings, and extended abstracts of no more than 2 pages that we will post on the website, but which do not constitute formal publications and will not appear in the proceedings. References and appendices are not included in page limits. Appendices may not be read by reviewers. Submissions must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the workshop by one of the authors. The proceedings will be published under the auspices of EPTCS with a Creative Commons license. A short abstract should be submitted a week in advance of the paper deadline (for both full paper and extended abstract submissions). We are using EasyChair to manage submissions. To submit a paper, use this link: https://easychair.org/conferences/?conf=3Dmsfp2022 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]