International Conference on Theory and Applications of Satisfiability Testing SAT 2024 Call for Workshop (Tutorial, Competition) Proposals
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 CLOSED
- Notification of decisions: March 8, 2024 March 9, 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:
- Title and Scope: Clear description of the workshop's theme and its relevance to SAT'24.
- A brief description (up to 120 words) of the event for the website and publicity material.
- Organizers: Names, affiliations, contact information, and brief bios of the workshop organizers.
- Format: Description of workshop format, including planned activities, sessions, and duration.
- Target Audience: Intended participants and estimated audience size.
- Call for Papers: Plans for soliciting and reviewing workshop papers, if applicable.
- Special Requirements: Any specific technical or logistical requirements for the workshop.
Contact Information
For inquiries and submissions, please contact Workshop Chairs: