Call For Workshops

The TASE 2024 organizing committee invites proposals for workshops to be held in conjunction with the main event. Workshop proposals should be submitted by March 10, 2024.

The overall purpose of a workshop is to provide participants with the opportunity to present and discuss novel research ideas on active and emerging topics of Formal Methods and Software Engineering. Topics of the proposed workshops should, therefore, be aligned with those set forth in the call for papers for TASE conference.

Workshops can take on a number of forms including but not limited to being organized around emerging research areas, challenging problems and industrial applications. Workshops may include, for example – but not limited to – tutorials, keynote / invited speakers, contributed papers and presentations, panel discussions, even mini-competitions if appropriate for the content. A workshop can be one-day or one and half-day at max depending on the scope and the content.

Organizers of accepted workshops are expected to prepare a workshop webpage including introduction of the workshop and call for papers to publicize the workshop, gather submissions, conduct the reviewing process and decide upon the final workshop program. This webpage will be included in the TASE main website.

There are several options for the workshop proceedings:

  1. electronic proceedings;
  2. inclusion in the main TASE proceedings;
  3. journal special issues;
  4. other proceedings managed by the workshop organizers.
It will be decided by the workshop organizers and the TASE steering committee according to the number of accepted papers and their contents.


Proposal details

Proposals should contain the following information:
• Name, Affiliation, and email of the workshop organizers;
• Workshop title;
• A draft of workshop call for papers including: an introduction of the workshop objectives, topics, relevance to TASE. [max 2000 characters];
• Workshop keywords;
• Description of target audience and estimated number of participants [max 1500 characters];
• Plan on Workshop duration, format, activities, and schedule [max 1500 characters];
• List of expected program committee members;
• Preliminary list of invited speakers (if any).


Proposal submission

Workshop proposal should be sent by e-mail to qli@sei.ecnu.edu.cn


Proposal evaluation criteria

All workshop proposals will be reviewed based on the following considerations:
• Relevance of the workshop to the scope of TASE;
• The workshop concerns a coherent and important technical topic of high interest in the community;
• Likely impact on the target community, including likelihood of strong participation;
• Confirmation to serve as program committee members from high-caliber and well respected researchers;
• Confirmation of a well-respected keynote speaker or a tutorial presenter;
• Commitment to design a workshop website to be referenced from the main TASE website.


Important dates

• Workshop Proposal Submissions Deadline: March 10, 2024
• Workshop Proposal Acceptance Notification: March 21, 2024
• Suggested Deadline for workshop paper submissions: June 1st, 2024
• Workshop dates: July 29-30, 2024