coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation - International Conference on Logic Programming (ICLP 2021)

From: Miguel Areias <miguel-areias AT dcc.fc.up.pt>
To: undisclosed-recipients: ;
Subject: [Coq-Club] Call for Participation - International Conference on Logic Programming (ICLP 2021)
Date: Mon, 30 Aug 2021 19:46:23 +0100
Authentication-results: mail3-smtp-sop.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:9v5teKo5wUMz/SpSebjJ9hIaV5o6eYIsimQD101hICG9Afbo8vxG+85rtyMc6QxhO03I9uruBEDtexnhHP1OgLX5X43PYOCOggLBR72KhrGO/9SPIU3DH6Jmu5tdTw==
Ironport-phdr: A9a23:uUGwrhETTCKiaKBwOb8LrZ1GfxtLhN3EVzX9CrIZgr5DOp6u447ldBSGo6k31BmYBM6GtLptsKn/i+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys55HfeQFFiCeybb5yLhi9sBncuNQRjYZ+MKg61wHHomFPe+RYxGNoIUyckhPh7cqu/5Bt7jpdtes5+8FPTav1caI4TadFDDs9KGA6+NfrtRjYQgSR4HYXT3gbnQBJAwjB6xH6Q4vxvy7nvedzxCWWIcv7Rq0zVjS/6adkVR7oiDwbOD4992HXkdJ/g79Gqx6lqBFz34vYbYeIP/R8Y6zdZ8sXS2pcUMhSWSJODIyzYJcAAecaIeZVrJPwq0cSoRawBwShAv7kxD9Shn/x2K03y+MvEQDJ3Aw9Ad0OtGnfocnvNKgMUOC61rLIxijEYvNT2Df955XIfQ4lof2VR71wa9TeyUg1GAPelViftJDqMC+P2uQDr2eX9fdgVfq1h24/twF8uz6izdojhYfVnIwa0EzE9Tlnz4YvI921UEF2bNqqHpZUtiyUN4t4T8c+Tm9ouSs0xLILtYC1ciQXy5kqyBDRZvyHfYaI4h/uW+KcLDRkiH97Zr+yiBe//VSmx+bhWMe011NKoTBEktnKrn0NygTT5tKfSvth+EqqxDWB1xjL5+1ZJU05m7DXJ4Mvz7MxjJYev0DOEjXrlEj3lKOaa0cp9+my5+nlZrjqvIKQOoxphg3kNqkjnNG0D/4iPQgURWeb/Pyx1L398k39R7VHluY2kqzFsJDCP8gUu7K2DBNP3oYt9xmzFSqm0MwCkXkfMFJJYBOHj473NFHSOP30EPOyjlq2nDt2yf3LP6ftD5vJI3TZjbvsfK5x60tGxwoyydBf6YhUCrYEIP/rX0/xtdPYDgInPAyw2uroEs992Z0fWW2VGa+UK77dvkOU6e41LemDeJUZuCvlK/Q///7ukWc1mUUBcqmxwZsXdHe4E+x6LEqDZHrshs4NEWMLvgolUOznk0aCUD5WZ3aqRa0w/DA7CIS8DYfCXI+hmrKB3D2jFJ1Mem9GEkyMEWvvd4icR/gMaDidItVlkjMaTritUZMu1RaotA/h1bVnKvHZ9TYftZL5ydd6+ffclQw99DBtDsSd1XmNQ3t6nmMSXzU2xrxwoVRhylef1qh1m+BXFdtK5/9QTgg6MYPcwPdhBtDpWgPBe8+JR0y8TtWnBzExVNMxzMUUb0ZzAdXxxizEijesD74OnLiMH5E4t7jR1HnpJst7122UnPpyoUMhR55qNGK7i6o33hLeBofS2xGclqm3eKBZ1TTA9W6Y5WaFtwdWW0htSePdQSZMNQPtsd3l6xaaHPeVArM9P14dkaZqxYNGYdavg14AWe+lIMiMOgpZfk+8Dh3OyLjKcZKsY3lPhE016WAflhwLu3qNPk4wDWG8uyTGEG43fW8=

=========================================================================
CALL FOR PARTICIPATION
=========================================================================

The 37th International Conference on Logic Programming (ICLP 2021)

https://iclp2021.dcc.fc.up.pt/

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

The virtual edition of ICLP 2021 will run from September 20 until
September 27, 2021. The conference will be held online and we strongly
encourage all interested people to register to access the event and
interact with other participants. The registration conditions are
available at

https://iclp2021.dcc.fc.up.pt/index.html#registration

The main program is available at

https://iclp2021.dcc.fc.up.pt/index-program.html

This year's edition includes five outstanding talks by William Cohen
(Google AI), John Hooker (CMU), Phokion Kolaitis (UC Santa Cruz and
IBM Almaden), Stuart Russell (UC Berkeley) and Jeff Ullman (Stanford
University)

https://iclp2021.dcc.fc.up.pt/index.html#keynotes

and eight affiliated events

https://iclp2021.dcc.fc.up.pt/index.html#affiliatedevents

Looking forward to meet you in the ICLP 2021 virtual conference.

Miguel Areias
(on behalf of ICLP 2021 Chairs).

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

Any additional question can be directed towards ICLP 2021 Chairs:

iclp2021 AT easychair.org

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

[Coq-Club] Call for Participation - International Conference on Logic Programming (ICLP 2021), Miguel Areias, 08/30/2021