Free online participation in MSFP, 8th July 2024
Favonia <[email protected]> Mon, 1 Jul 2024 12:04:00 -0500
| Newsgroups | gmane.comp.lang.agda,gmane.science.mathematics.prooftheory,gmane.comp.science.types.announce,gmane.comp.lang.haskell.general,gmane.comp.lang.caml.inria,gmane.science.mathematics.logic.coq.club |
|---|---|
| Message-ID | <CAH_+rvffh74OUk1Ogb=d_U_6uqswMhyHwVGaBtav_EQYiga1zA@mail.gmail.com> |
--===============7553068070013158004== Content-Type: multipart/alternative; boundary="000000000000519dcc061c3297f7" --000000000000519dcc061c3297f7 Content-Type: text/plain; charset="UTF-8" I'm delighted to announce that there is free best-effort online participation in the Tenth Workshop on Mathematically Structured Functional Programming (MSFP 2024), co-located with FSCD, ICALP, and LICS in Tallinn next Monday, 8th July. Please *register your email in advance* so that we can send you Zoom login info on Sunday evening. For details see the website: https://msfp-workshop.github.io/msfp2024/ Looking forward to seeing you! Best, Favonia and Jeremy --000000000000519dcc061c3297f7 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr">I'm delighted to announce that there is <span>free</sp= an> best-effort <span>online</span> <span>participation</span> <span>in</sp= an> the Tenth Workshop on Mathematically Structured Functional Programming = (<span>MSFP</span> <span>2024</span>), co-located with FSCD, ICALP, and LIC= S <span>in</span> Tallinn next Monday, <span>8th</span> <span>July</span>. = Please <b>register your email <span>in</span> advance</b> <span>so that we = can send you </span>Zoom login info on Sunday evening. For details see the = website:<br><br><div>=C2=A0=C2=A0 <a href=3D"https://msfp-workshop.github.i= o/msfp2024/" rel=3D"noreferrer" target=3D"_blank">https://<span>msfp</span>= -workshop.github.io/msfp2024/</a></div><div><br></div><div>Looking forward = to seeing you!<br></div><div><br></div><div>Best,<br></div> Favonia and Jeremy</div> --000000000000519dcc061c3297f7-- --===============7553068070013158004== 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 --===============7553068070013158004==--