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.s...@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. _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info