Logic List Mailing Archive

CfBids: Host FroCoS-ITP-TABLEAUX 2025

Dear colleagues,

We are pleased to announce the call for proposals for hosting and organising FroCoS-ITP-TABLEAUX 2025, on their 15th, 16th and 33rd editions, respectively.

More information can be found here:

https://sites.google.com/site/elainepimentel/frocos-itp-tableaux-2025

The deadline for bids is Monday, 15 April 2024. Shortly after, all admitted bids will be made public and the voting phase will take place.

Best regards,

FroCoS-ITP-TABLEAUX Steering Committees
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php