CFP
LPAR 2023: LPAR 2023 Call for Workshops and Tutorials Universidad Nacional de Colombia-Manizales Manizales, Colombia, June 4, 2023 |
Conference website | https://easychair.org/smart-program/LPAR2023/ |
Submission deadline | March 31, 2023 |
Latest notification of acceptance | April 15, 2023 |
Workshops | June 4, 2023 |
Topics: logic in artificial intelligence logical foundations of programming logic and computational complexity logical aspects of systems engineering
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 (https://easychair.org/smart-program/LPAR2023/), please contact the workshop chair via email (mbromber@mpi-inf.mpg.de), by the proposal deadline.
To help planning, workshop/tutorial proposals should 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.