coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: geoff AT cs.miami.edu
- To: <coq-club AT inria.fr>
- Subject: [Coq-Club] LPAR-23 - Call for Workshops and Tutorials
- Date: Tue, 18 Feb 2020 09:49:37 -0500 (EST)
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=geoff AT cs.miami.edu; spf=Pass smtp.mailfrom=geoff AT cs.miami.edu; spf=None smtp.helo=postmaster AT mail-yb1-f226.google.com
- Ironport-phdr: 9a23:kzRB9xdiQdk/heAwNOC7t7vnlGMj4u6mDksu8pMizoh2WeGdxcu4bB7h7PlgxGXEQZ/co6odzbaP7+a/CSdesd6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrogjdrMsbjIhtJqswyRbCv2dFdflRyW50Kl2fmArx6N2t95B56SRQvPwh989EUarkeqkzUKJVAjc7PW0r/cPnrRbMQxeB6XsaSWUWjwFHAxPZ4xHgX5f+qTX1u+xg0ySHJ8L2TLQ0WTO/76d3TRLjlSkKOyIl/GzRl8d9ir9QrhC8qBxl24PafZ+bOv19cK3Tfd0XXnZNUtpNWyBdGI6wc5cDAuwcNuhYtYn9oF4OoAOxBQayA+PvxDFIi2Tq0q0hyeghFADG0xYlH9IPqnjbssj6NLoUXOuowqfIyjDDYOlX2Tf78IXHbAouoeqMXL1sccre00gvFxnfglWXs4zlMDWY3fkOvWiD9+dsS/6jhmo9pwxyojWj3NkghpTNi44P1FzI6yR0zJ4oKdC8VkJ3e9CpHIZKuyyZM4Z6WN4uT39utS0n0LMJo4S7czIPyJk/xx7QdfiHc4+Q7xLmTumRIDN4iGtleb2kmhq+6EagxvPiWsS1ylpKoS1Fkt7DtnAJyRPf8NSISvx4/ku52DaP0R7c6v1cLEwqiabWL4Qtz70wm5YJr0jPAyv7lF/ogKOId0go4u2o5P7mYrXiqJ+cLYh0igTmP6QhhMO/Buo4MgYVUmeH4uSwzrjj/UzjT7VPj/06iLfWv43HJcgDvK62HxdV0po/6xa4FzqpzNMYnWAeIF1ZfBKHkpPmNkrVIPH4CPe/m06jnC1qx/DAJL3hA4/CImLNkLf7Lv5B7BsIww0qiNtb+ph8C7cbIfu1VFWn5/LCCRpsPAGzzejPA84704IXXGPJD6OEY/CaikOB+u96e7rEX4QSojuoc6F5tc6rtmcwnBomRYfsxYEeMSzqFe8gJkSQZHuqj9scQz9T71gOCdfygVjHagZ9InO7XqYy/DY+Ud70BpyFQ4Gkhb3H0SumTMQPOzJ2T2uUGHKtTL2qHvcBbCXIfJ1kmz0AEKmrEsovj0vw8gD9zLVjI6zf/ShK7Z8=
CALL FOR WORKSHOPS AND TUTORIALS
LPAR-23: 23rd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning
22-27 May, 2020, Alicante, Spain
https://easychair.org/smart-program/LPAR23/
Workshop and tutorial proposals for LPAR-23 are solicited.
These events will take place on May 22 2020, before the main conference.
To apply for a workshop or a tutorial, please contact the workshop chair via
martin.suda AT cvut.cz
and specify:
* A title of the event.
* Names and affiliations of organisers.
* Proposed duration (half day or full).
* Brief description of the goals and the scope/the topics to be covered.
Why is the tutorial/workshop relevant for LPAR?
* Whether or not the tutorial/workshop has been organised previously.
* For previously organized workshops, information on previous meetings should
be given (e.g., links to the program, number of submissions, number of
participants).
* For workshops: What are the plans for publication?
The deadline for submitting workshop/tutorial proposals: March 1, 2020.
- [Coq-Club] LPAR-23 - Call for Workshops and Tutorials, geoff, 02/18/2020
Archive powered by MHonArc 2.6.18.