coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation -- LFMTP 2023

From: Carlos Olarte <carlos.olarte AT gmail.com>
To: fscd.conference AT dcc.fc.up.pt
Subject: [Coq-Club] Call for Participation -- LFMTP 2023
Date: Fri, 2 Jun 2023 19:53:32 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=carlos.olarte AT gmail.com; spf=Pass smtp.mailfrom=carlos.olarte AT gmail.com; spf=None smtp.helo=postmaster AT mail-ua1-f51.google.com
Ironport-data: A9a23:0qCRBK02ywYvE8MxRPbD5R11kn2cJEfYwER7XKvMYLTBsI5bpzMOm mYZD26GM6reYGLwed0jbYm28RwD7MeGnYdiSAs53Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9g1aYDkpOs/jY8E035qyp0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW2Syns9VFnEqBrYFp8ZZJDEN6 95BOD9YO3hvh8ruqF66Yuxlh8BmMcCyeY1C4zdvyjbWCftgSpfGK0nIzYUAjXFg24YUR6yYO pNxhTlHNHwsZzVEM00TD4l4m+OhnGXyWzJdoVOR46Ew5gA/ySQsj+e3bYuKJLRmQ+13hU3bq 0bGx13lPRoXaf6S8TqOr22j07qncSTTAdpOTtVU7MVCi1qKg2cXFRc+Tkq+ufD/i0ikWtsZJ VZ8x8Y1ha079UjuU9CkGhPl+TiLuRkTX9cWGOo/gO2Q9kbKyxnHW1I/VA5dU+c76e8YYGxpy H3Qj9y8UFSDr4apYX6a876Vqxa7Ni4UMXIOaEc4oe0ts4mLTGYb3kKnczpzLEKmpoaqRmyok lhmuAB71upD15dav0mu1Qmf22rEm3TfcuIiCuzqso+N6wp4YMu4btXt5wWCq/lHK4mdQx+Ku 31sdymiAAImXcnleM+lGr1l8FSVCxCtbW20bblHQshJythV0yT/Fb28GRknTKuTDu4KeCXyf GjYsh5L6ZlYMROCNPEnPtztV55wnfm7SbwJs8w4iPIeMvCdkyfXrElTibK4gggBbWB2wPpjY czHGSpSJSpFWPQPIMWKqxc1iOd3nEjSNEvcQpf0yxnP7FZtTC/9dFvxC3PXNrpRxPrc/m39q o8DX+PUkUk3eLOlOUH/r9VDRW3m2FBhWvgaXeQMJrDdSuencUl9Y8LsLUQJJNU5z/wKxrqTl px/M2cBoGfCabT8AV3iQhhehHnHB/6TdFpqZnR+DkXiwHU5f4ek4YEWcpZ9L/Ft9/VuwbQwB 7MJctmJSKYHADnW2SUvXb+kpqxbdTOvmV2vOQiha2MBZJJOfVHC1eLlWQrNzxMwKBSLm/Ewm JCe8z/KYIEiQl1iBfnGafj0wFKWu2Mcqd1IXEDJA4dyfRzs+bd1NyDOo+8THPBVDC6ewDHAh gCcLioFlLOcv64079j7qqSWpKi5E+ZFPxR7HkuKyZ2UJCXl7m6Y7osYa9mxfBfZT3HR1JS5Q Odok8HHL/wMmWhVv7pGE7pEybw04/3treR4yjtIMWrqbVPxLJ9dOViDgNdys5NSyo9juQeZX lyF/v9YM+6rPOLnCFsgGxo3XN+c1P07mijg0tptGR/UvBRIxbugVVleGzKuiyYHdbt8D94D8 Ncb4cUT71SytwouPtO4lRtrzmWrLEJRd4U8t5ofPp3ntRpz9HFGfq7nK3HX5LOhVoxyF3cEc x6uqojMvbB+/nb5UmESECHN1NVNhJ5VtxFtykQDFmuzmdHEp6EW2RFNwAszVSBQ6AtN6MNoG 21RL0YuD76/zzRpo8liXm6XBABKAiOCyHHx01ckkG74TVGic27wcEkRHPmrx19A1U5xZR1Z8 6O85Ee/dA31befj2icWcmx0mczJFNBe2FXLp5G6Ip6jAZI/XwvAvoavQmgt8D7MHsI7gRz8l 9lApepfR/XyCn8NnvcdFYKf6LU3TSKELkxkRdVK3vsAPUPYSQGI9Qm+EWKDUeITGKWS6m69M dJkGexXXRfn1CqukCESNZRRH5BKxswW9PgwUZK1A15eqLaOjCtbgLSJ/AjEuWIbadFPk8E8F 4DvSwy/AlGg3UVzpWucg/RHa0yZYMYFbjLSxOqa0vsEPLNdvfBOcXMd6KqVvXKUAlE+/xuro x7yPf7K7u19yLZDm5nnPbVDCj6Vd/LydrWs2yKiv+teaejgNZ/1iDoUjV38LiJqMqA0Sf0us Ziw6PvMw1LikJMtdmLoi72tNvJu252pfex1NsnXEiFrrRGaUpWx3ypZqnGKF5NZtfh8uOy1T BScQ+mtf4c3X9x9+iVkWxJGGUxAN5WtP7bSngLjnfGiERNH7BfmKumg/nrXbW12UC8EFpn9K w3sscaV+dFqg9VQNSAAGs1ZLcd0EH37VYsiUu/Bhz2SI22ro1GF47XczEtqrXmBD3SfC8/17 K7UXhW0Jlz4pKjMy8ofqIBo+AEeCHFmm+QrY0YB4JhMhiunCHIdZ/EoWXnc5kq4TgSpvH05W N3MUIfmISD0XDABbBylpdq+B0GQAesBPtq/LTssl69Rh+FaG6vYaIaNNA85i5u1Rtcn5O6iI NAavHb3O3BdB7l3EP0L6KXTbfhPn5vnK7Fhxaw5u8P3ChcaR74N0RSN2eaLuTPvS6nwqakAG YT5qa2ojq12pY4d3PuMo0JoJSw=
Ironport-hdrordr: A9a23:Si9Qr6msSOID3RP6sKLJ/LjeyhTpDfIq3DAbv31ZSRFFG/GwvM ql9c5rsyMc6QxhP03I/OrrBEDuewK+yXcY2+ks1NSZPTUO2lHYTr2KhLGKq1bd8kbFh4tgPM lbAsxD4R7LYWSST/yW3OB1KbkdKRC8npyVuQ==
Ironport-phdr: A9a23:y7kiQRCtKMNwB/z3mlO/UyQUF0YY04WdBeZ0wp8uirYVN7+m44ynJ 0vHo/NkkF7OW4zfrfNCkevf9a76CiQb+ZjUlncEfdRXUgMdz90MllkrCdSBDla9K/rjdTA3N MtHXV5huXq8NBsdA97wMmXbuWb69jsOAlP6PAtxKP7yH9vZht6z0Pv0/JnaeRlFrDW4aLJ2a h6xqFaZrdEY1K1lLKt50R7Vuj1IduBRkHtvPk6Wlg3g692Y+Zdi92FNsqtk+ZMZF6r9eKs8Q PpTCzFO33kdwsrtuFGDSAKO4iBZSWAKil9TBBCD6hjmX5D3uy+8t+xn2SDcM9ekBbYzES+v6 atmUnqKwG8OKiI5/WfLi8dxkLMToRSvoAZ6ypLVZ4fdPeR3f6fUd9cXDWRbWcMZWytEC4K6J 4wBaohJde1RtY36vB0JqRKkGQSEC+bmyzsOjXjznOU73+knDQDazVk4Bdtd1Rac5N7xNaoUT aW01PySlWSFP64Qg22nrtWRIXVD6bmWULl9cNTc0xwqHgLB1RCLrJD9eiiSzqILunSa6OxpU aSujXQmokd/uGvKpI9kh4/Xi4YS0l2B+z9+xdN/LtSiTElgJ9mgGYFMugmVMoJ3RoUpRGQi6 0NYgvUW/IW2eiQH0sFtzBfFb/ucNY+M6wj/Wc6eJD55gDRuf7f11HPQuQCwj+b7UMezylNDq CFIx8LNun463BvW8sGbS/F58y9NwB633hvIoqFBKEEwzu/ALoI5h6U3jtwVuFjCGSn/nAP3i rWXfwMq4Lrg5+Pia7Tg7piSUu08wgr3KKApgYq4Be0iLgUmUG2S+OD637rmtUH0W7RFiPQqn 7KR6siLY5RG4PTjWUkIi84q8F6nAi2j0cgEkHViThoNYx+Bg4XzehnPLP3+EfajkgGpmTZvy erBO+6pCZHMI37f1bb5KOwluggMlUxpl4oZussHb9NJaOj+UULwqtHCWxowMgjvhv3iFM04z YQGH2SGHq6eNqrW916O/OMmZeeWN+p38H7wLeYo4/n2gDo3g1gYKOOi1IETb2v+GfBvOVmUS XXpi9YFV2wNu0BtKY6iwE3HSjNVa3uoCug37ys/D5ngCoPKXJygqLOE1Sa/WJZRYyoVbzLEW WetfIKCVfAWbSuUKcI0iT0IW4+qTIo53A2vvgv3mPJ3a/DZ8SoCudf/xcB4sqfNwAoq+2U+X KH/mymdCnt5lWQSS3oq0bBj9AZjn0yb3/EwguQER4cOoaoYCkFgacGal6sgV5jzQl6TIIvPE g39BIz4WXdpCYtgpr1GK0dlR4f80Faah3DsW/lN0ObTTJ0srvCCgT6re5c7my6AjO571xEnW pcdajfg3/I5rlmJQdaOyhX89e7idLxAjnGRsj7ZkCzW+hkfCVA4UL2ZDylHNg2P8ou/tgWaC OX3QbU/blkYlpXEc/oWLIWv1RIfGpKBcJzfez7jwT/hQ0bVgOrWPMyyPDxClCTFVBpeyl5Vo CbAbFlkQH/m+jOWDSQyRwi2PQW2qrg48yn9FghtnmToJwV33r6xsHb5nNS6TPUelvIBsSYl8 HBvGUqlmsnRE5yGrhZge6NVZZU85k1G3CTXrV41OJvoNK1kilMEFmY/90rzyxV6DJlBmsk2v TsrygR1M6eRzFJGcXuRw5nxPrTdLmS68gqobuba3VTX0dDe/alqirxws1L4oASgDVYv6V1i2 thRlmaVv9DEUVNUXpX2XUI6sRN9ovCSYyUw4Z/VyWw5MaSwtWynuZphD+8kxxC8OtZHZfncR UmiTotAXZLodbV5/jrhJggJN+1T6qMuasavdv/dnbWuIP4lhzW+y2JO/IF61EuIsSt6UO/Bm ZgfkJT6lkOKUSnxiFC5v4X5g4dBMHsZF3C7zjOiA4pYfLF/VYkOAGaqZcaww58t4vylE24d7 1OlC14cjYWxfgGOalXmwQBK/UEeoHjihCLhijIpyncmqa2Q2CGIyOPnPkliWCYDVCxpilHiJ pKxhtYRUR2zbgQnoxCi4F7z26lRoKkXx4b7TkJBfiywJGZnAPLYXl+qbMtG6ZduuiJSArzUi bGyT7f8p14H2nqmETYHgj88cD6ut9PymBko0Aqg
Ironport-sdr: 647a2ca9_q0FwvOxetmvGYLrp1ZPPxabqIz5K37x1dYKL0eh3n7VmV3b F1AVmDi95dOCtuCAG48eRbaUEaSA4OmWM7IGjGA==

===============================================================

Logical Frameworks and Meta-Languages:
Theory and Practice

Rome, Italy -- July 2nd, 2023
Affiliated with FSCD 2023

https://lfmtp.org/workshops/2023

===============================================================

Logical frameworks and meta-languages form a common substrate for
representing, implementing and reasoning about a wide variety of
deductive systems of interest in logic and computer science. Their
design, implementation and their use in reasoning tasks, ranging from
the correctness of software to the properties of formal systems,
have been the focus of considerable research over the last two decades.
This workshop will bring together designers, implementors and
practitioners to discuss various aspects impinging on the structure and
utility of logical frameworks, including the treatment of variable
binding, inductive and co-inductive reasoning techniques and the
expressiveness and lucidity of the reasoning process.

LFMTP 2023 will provide researchers a forum to present state-of-the-art
techniques and discuss progress in areas such as the following:

* Encoding and reasoning about the meta-theory of programming languages,
logical systems and related formally specified systems.

* Theoretical and practical issues concerning the treatment of variable
binding, especially the representation of, and reasoning about,
datatypes defined from binding signatures.

* Logical treatments of inductive and co-inductive definitions and
associated reasoning techniques, including inductive types of higher
dimension in homotopy type theory.

* Graphical languages for building proofs, applications in geometry,
equational reasoning and category theory.

* New theory contributions: canonical and substructural frameworks,
contextual frameworks, proof-theoretic foundations supporting
binders, functional programming over logical frameworks,
homotopy and cubical type theory.

* Applications of logical frameworks: proof-carrying architectures,
proof exchange and transformation, program refactoring, etc.

* Techniques for programming with binders in functional programming
languages such as Haskell, OCaml or Agda, and logic programming
languages such as lambda Prolog or Alpha-Prolog.

## Invited Speakers

- Niki Vazou (IMDEA Software Institute Madrid, Spain)

Note: shared session with LSFA'23 (https://sites.google.com/ufg.br/lsfa2023).

## Registration

Online registration fee available!
https://easyconferences.eu/fscd2023/registration1/

[Coq-Club] Call for Participation -- LFMTP 2023, Carlos Olarte, 06/02/2023