[Caml-list] LPAR-23 - Call for Workshops and Tutorials

[geoff@cs.miami.edu]

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@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.