coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation - LP/CP Programming Contest 2021

From: Miguel Areias <miguel-areias AT dcc.fc.up.pt>
To: undisclosed-recipients: ;
Subject: [Coq-Club] Call for Participation - LP/CP Programming Contest 2021
Date: Thu, 26 Aug 2021 11:03:11 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=miguel-areias AT dcc.fc.up.pt; spf=Pass smtp.mailfrom=miguel-areias AT dcc.fc.up.pt; spf=Pass smtp.helo=postmaster AT smtp.dcc.fc.up.pt
Ironport-hdrordr: A9a23:QIvcS68CZ7SVQxiOQJhuk+AlI+orL9Y04lQ7vn2ZLiYlFfBw9vre+MjzuiWE6wr5ZktQ6OxoVJPufZsznaQFnLX4E9+ZLXbbUUGTXfpfBbKL+UydJ8UVntQtq5uICpIOcuEYbmIK6PoSgjPIcerIm+P3iJxA7N22pxwBIT2CDZsB0+5XMHfqLqQcfmd77PQCdaZ1J6J81lydUEVSSv6SQkMkZoH4zeEiG/rdEGc773JL0nj8sQ+V
Ironport-phdr: A9a23:7VP7zx/+fXMng/9uWZC8ngc9DxPPW53KNwIYoqAql6hJOvz6uci4ZAqOvL4w0xfgZsby07p8ke3YsqTtCyQrwK2qlzQ8SqFKTAIPks4MngYtU4avAEz/K+P2PWRhRJwRHFBq8GumPkdLBc3we0PdomGo7T4VBx7zKRd5Kv76F4LMk8i7zeS/94DcbwhIhje2fK9/IgixoQjNrMcdnJFsKrw2yhvHo3tIf/pZyGZ1Ll+NnBjy+9m98od7/ytfp/wu+chAUb7nf6sjVrxXEC4mM2Eu68L1sxTIUBaC6WEdUmUSlRpIHhTF4RTnVZr/rif2quxw0zSdMs3rS7A7RDWi77x3Rx/sjycHLCA2/3zKgcB0g69XvBetqhpiyIDWfY6VLuJzcKPAc90ZS2ROUMleWDBODI6nc4sCDPAMMfpEo4TzpVYDqwa1Cwm2BOPozz9Fnnj43aw10+Q8Dw7G2BErEs4UsHvKrdX6LrwSWv2ywanNzDXDYO5W1in56ITRaB8hu++DXbNqfsrK0kQgCh/KgUmKpYzrIzyZzPkNs3CB4+p4SeKikmgqoBx+rTaz3MkjkJXJhp4LxVDe8yV02Ig7KcG6RUNlYdCpEIZduj2UOYZ4XM4uXW5mtTskx7EYt5O2fDUGxZcjyhDRafGKbYiF7g/tWeuVPDt1imxodby5ih2v/0agzej8WdO10FZMtidFndjMtmwN1xzO8ceLUOdy/kCk2TuJygvd6flELFgpmaffJZMt2KM8m5QSvEjZECL7nF/6gLKXe0k85+Sl6eXqbq/kq5KYLYN4lwLzPrk0lsG7B+kzLxIAUHKB+eum0b3u5U35T6tOjv0xiqTZq5XaJdgDpqKjHgBazpos5wyxDzi6ytgYgGEHIEhdeBKbl4TpOlfOL+7kDfqnnlihlDlmy+rbMrDvA5jBNHbOnbP7cbpg6kNQ0A8zwspe55JQBLEBOvXzWkrpudzdDx85PBG0zPjjCNlkzIweQ3yAAq6DP6PJqlKH+/4gLPWWaI8bpDnxMeUl5+b0gX8hhV8RZbOp0ocPaHCkAvRmJF2UYXTpgtcADWgKpREzTPfqiV2HST5cfWy+X6M65jEhCYKpF53PRo63gO/J4CDuA5taZ3tNDleXHHutbYiPWu8NZSSOOZ0pwW8qT7+kHqog2gyjsEfT0bdmJ/GcrigZuo/u0J18/eDSnAoa+Td/ScqWlXyVCXloyDBbDwQq1bxy9BQugmyI1rJ11qAAfTS2z/9CWUE0PtjB16piF4KqMuogVsyMVE7gTt6tRz86CM8phccSMR8V8zqKghvImSShRaIN0aSXVsVczw==

=========================================================================
CALL FOR PARTICIPATION
LP/CP Programming Contest 2021
=========================================================================

The traditional LP/CP Programming Contest will be run in virtual mode during ICLP 2021. The contest will start on Friday 24 September at 12:00 (midday, UTC+1) and will last 24 hours.

Don't miss this opportunity! Join the contest with your favorite declarative programming languages and systems. Show your skills in declarative problem solving.

The contest is data agnostic. All problems use easy-to-parse input and output format. You can easily shape them for your preferred system by writing a script.

Checkers will be provided to ease the identification of bugs thanks to textual representations of testcases and solutions.

Details online: https://github.com/alviano/lpcp-contest-2021 <https://github.com/alviano/lpcp-contest-2021>

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

[Coq-Club] Call for Participation - LP/CP Programming Contest 2021, Miguel Areias, 08/26/2021