The SAT'24 Conference Organizing Committee invites proposals for workshops (tutorials and competitions) to be held in conjunction with the main conference in Pune, India. Workshops (and tutorials) offer an opportunity for in-depth discussions, hands-on experiences, and focused exploration of specific areas related to satisfiability testing, broadly construed.
IMPORTANT DATES
Proposal submission: February 23, 2024
Notification of decisions: March 8, 2024
Workshops: August 19-20 (for two-day workshops), August 20 (for one-day workshops), 2024
Main conference: August 21-24, 2024
PROPOSAL SUBMISSION GUIDELINES
Workshop (tutorial, competition) proposals are to be submitted by email to the SAT 2024 Workshop Chairs (with a copy to Program Chairs) and will be reviewed by the Workshop Chairs, Program Chairs and members of the Steering Committee. Proposals must consist of the following information:
1. Title and Scope: Clear description of the workshop's theme and its relevance to SAT'24.
2. A brief description (up to 120 words) of the event for the website and publicity material.
3. Organizers: Names, affiliations, contact information, and brief bios of the workshop organizers.
4. Format: Description of workshop format, including planned activities, sessions, and duration.
5. Target Audience: Intended participants and estimated audience size.
6. Call for Papers: Plans for soliciting and reviewing workshop papers, if applicable.
7. Special Requirements: Any specific technical or logistical requirements for the workshop.
CONTACT INFORMATION
For inquiries and submissions, please contact Workshop Chairs:
Alexey Ignatiev alexey.ignatiev@monash.edu
Daniela Kaufmann daniela.kaufmann@tuwien.ac.at
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
