MSFP 2024 deadline extension: Tuesday 28th May

--===============5908728689263475104==
Content-Type: multipart/alternative; boundary="000000000000996d9906184187ab"

--000000000000996d9906184187ab
Content-Type: text/plain; charset="UTF-8"

We extended the submission deadline to Tuesday 28th May in case you missed
it. :-)

Jeremy and Favonia

   *

Tenth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Monday 8th July 2024, Tallinn, Estonia
A satellite workshop of FSCD 2024

https://msfp-workshop.github.io/msfp2024/

 ** Extended Deadline: Tuesday 28th May **

The tenth 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 arrows? 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.

MSFP 2024 will be held on Monday 8th July 2024 in Tallinn, Estonia in
affiliation with FSCD (https://compose.ioc.ee/icalp2024/). Previous
instances have been held in Munich (with ETAPS 2022), virtually (2020), in
Oxford (with FLOC 2018), Eindhoven (with ETAPS 2016), Grenoble (ETAPS
2014), Tallinn (with ETAPS 2012), Baltimore (with ICFP 2010), Reykjavik
(with ICALP 2008), and Kuressaare (with MPC and AMAST 2006).

Important Dates:
================

   Paper deadline:     Tuesday 28th May (AoE)
   Notification:       Friday 21st June (16:00 UTC)
   Workshop:           Monday 8th July
   Final version:      (after workshop, TBD)

Invited Speakers:
=================

   TBA

Programme Committee:
====================

   Kazuyuki Asada            - Tohoku University, JP
   Robert Atkey              - University of Strathclyde, UK
   Ana Bove                  - Chalmers University of Technology, SE
   Liang-Ting Chen           - Academia Sinica, TW
   Peng Fu                   - University of South Carolina, US
   Jeremy Gibbons            - University of Oxford, UK (co-chair)
   Kuen-Bang Hou (Favonia)   - University of Minnesota, US (co-chair)
   Robin Kaarsgaard          - University of Southern Denmark, DK
   Paul Blain Levy           - University of Birmingham, UK
   Dan Marsden               - University of Nottingham, UK
   Dylan McDermott           - Reykjavik University, IS

(more to follow)

Submission:
===========

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 Favonia ([email protected]) and Jeremy
Gibbons ([email protected]) if you have any questions about the
scope of the workshop.

We accept two categories of submission: full papers of at most 15 pages
that will appear in the proceedings (published with EPTCS) and extended
abstracts of at most two pages, which we will post on the website but do
not constitute formal publications and will not appear in the proceedings.
A short abstract should be submitted by four days in advance of the paper
deadline (for both full paper and extended abstract submissions). For full
details, see the webpage.

We are using EasyChair to manage submissions:

   https://easychair.org/conferences/?conf=msfp2024

--000000000000996d9906184187ab
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">We extended the submission deadline to Tuesday 28th May in=
 case you missed it. :-)<br><br>Jeremy and Favonia<br><br>=C2=A0 =C2=A0*<br=
><br>Tenth Workshop on<br>MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING<=
br>Monday 8th July 2024, Tallinn, Estonia<br>A satellite workshop of FSCD 2=
024<br><br><a href=3D"https://msfp-workshop.github.io/msfp2024/" target=3D"=
_blank">https://msfp-workshop.github.io/msfp2024/</a><br><br>=C2=A0** Exten=
ded Deadline: Tuesday 28th May **<br><br>The tenth workshop on Mathematical=
ly Structured Functional Programming is devoted to the derivation of functi=
onality from structure. It is a celebration of the direct impact of Theoret=
ical Computer Science on programs as we write them today. Modern programmin=
g languages, and in particular functional languages, support the direct exp=
ression of mathematical structures, equipping programmers with tools of rem=
arkable power and abstraction. Where would Haskell be without monads? Funct=
ional reactive programming without arrows? Call-by-push-value without adjun=
ctions? The list goes on. This workshop is a forum for researchers who seek=
 to reflect mathematical phenomena in data and control.<br><br>MSFP 2024 wi=
ll be held on Monday 8th July 2024 in Tallinn, Estonia in affiliation with =
FSCD (<a href=3D"https://compose.ioc.ee/icalp2024/" target=3D"_blank">https=
://compose.ioc.ee/icalp2024/</a>). Previous instances have been held in Mun=
ich (with ETAPS 2022), virtually (2020), in Oxford (with FLOC 2018), Eindho=
ven (with ETAPS 2016), Grenoble (ETAPS 2014), Tallinn (with ETAPS 2012), Ba=
ltimore (with ICFP 2010), Reykjavik (with ICALP 2008), and Kuressaare (with=
 MPC and AMAST 2006).<br><br>Important Dates:<br>=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D<br><br>=C2=A0 =C2=A0Paper deadline: =C2=A0 =C2=A0 =
Tuesday 28th May (AoE)<br>=C2=A0 =C2=A0Notification: =C2=A0 =C2=A0 =C2=A0 F=
riday 21st June (16:00 UTC)<br>=C2=A0 =C2=A0Workshop: =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 Monday 8th July<br>=C2=A0 =C2=A0Final version: =C2=A0 =C2=A0 =
=C2=A0(after workshop, TBD)<br><br>Invited Speakers:<br>=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br>=C2=A0 =C2=A0TBA<br><br>Programme =
Committee:<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<=
br><br>=C2=A0 =C2=A0Kazuyuki Asada =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0- Tohoku University, JP<br>=C2=A0 =C2=A0Robert Atkey =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- University of Strathclyde, UK<br>=C2=A0 =
=C2=A0Ana Bove =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0- Chalmers University of Technology, SE<br>=C2=A0 =C2=A0Liang-Ting Chen =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Academia Sinica, TW<br>=C2=A0 =C2=A0Pe=
ng Fu =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Univ=
ersity of South Carolina, US<br>=C2=A0 =C2=A0Jeremy Gibbons =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0- University of Oxford, UK (co-chair)<br>=C2=A0 =
=C2=A0Kuen-Bang Hou (Favonia) =C2=A0 - University of Minnesota, US (co-chai=
r)<br>=C2=A0 =C2=A0Robin Kaarsgaard =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- Uni=
versity of Southern Denmark, DK<br>=C2=A0 =C2=A0Paul Blain Levy =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 - University of Birmingham, UK<br>=C2=A0 =C2=A0Dan=
 Marsden =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - University of N=
ottingham, UK<br>=C2=A0 =C2=A0Dylan McDermott =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 - Reykjavik University, IS<br><br>(more to follow)<br><br>Submission=
:<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br>Submissions are welcomed on, =
but by no means restricted to, topics<br>such as:<br><br>=C2=A0 =C2=A0struc=
tured effectful computation<br>=C2=A0 =C2=A0structured recursion<br>=C2=A0 =
=C2=A0structured corecursion<br>=C2=A0 =C2=A0structured tree and graph oper=
ations<br>=C2=A0 =C2=A0structured syntax with variable binding<br>=C2=A0 =
=C2=A0structured datatype-genericity<br>=C2=A0 =C2=A0structured search<br>=
=C2=A0 =C2=A0structured representations of functions<br>=C2=A0 =C2=A0struct=
ured quantum computation<br>=C2=A0 =C2=A0structure directed optimizations<b=
r>=C2=A0 =C2=A0structured types<br>=C2=A0 =C2=A0structure derived from prog=
rams and data<br><br>Please contact the programme chairs Favonia (<a href=
=3D"mailto:[email protected]" target=3D"_blank">[email protected]</a>) and Jeremy Gibbo=
ns (<a href=3D"mailto:[email protected]" target=3D"_blank">jeremy.=
[email protected]</a>) if you have any questions about the scope of the w=
orkshop.<br><br>We accept two categories of submission: full papers of at m=
ost 15 pages that will appear in the proceedings (published with EPTCS) and=
 extended abstracts of at most two pages, which we will post on the website=
 but do not constitute formal publications and will not appear in the proce=
edings. A short abstract should be submitted by four days in advance of the=
 paper deadline (for both full paper and extended abstract submissions). Fo=
r full details, see the webpage.<br><br>We are using EasyChair to manage su=
bmissions:<br><br>=C2=A0 =C2=A0<a href=3D"https://easychair.org/conferences=
/?conf=3Dmsfp2024" target=3D"_blank">https://easychair.org/conferences/?con=
f=3Dmsfp2024</a><br></div>

--000000000000996d9906184187ab--

--===============5908728689263475104==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Agda mailing list
[email protected]
https://lists.chalmers.se/mailman/listinfo/agda

--===============5908728689263475104==--