LPAR 2023: The 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Universidad Nacional de Colombia-Manizales Manizales, Colombia, June 4, 2023 https://easychair.org/smart-program/LPAR2023/ CALL FOR WORKSHOPS AND TUTORIALS https://easychair.org/cfp/LPAR2023-CFW LPAR 2023 workshops and tutorials will be held either as one-day or half-day events. If you would like to propose a workshop or tutorial for LPAR 2023, please contact the workshop chair via email (mbrom...@mpi-inf.mpg.de), by the proposal deadline. To help planning, workshop/tutorial proposals must contain the following data: - Name of the workshop/tutorial. - Brief description of the workshop/tutorial, including workshop topics. - Valid web address of the workshop/tutorial. - Contact information of the workshop/tutorial organizers. - An estimate of the audience size. - Proposed format of the workshop/tutorial (for example, regular talks, tool demos, poster presentations, etc.). - Duration of the workshop/tutorial (one-day or half-day). - Potential invited speakers (if any). - Procedures for selecting papers and participants. - Special technical or AV needs. We will process proposals as soon as they arrive. The earlier you send us your proposal, the earlier you will receive a notification of acceptance/rejection. Important dates --------------- Submission deadline: March 31, 2023 Latest notification of acceptance: April 15, 2023 Workshops: June 4, 2023