Call For Workshops


17th Theoretical Aspects of Software Engineering Conference (TASE 2023) will be held in Bristol, United Kingdom on 4-6 July 2023. The TASE 2023 organizing committee invites proposals for workshops to be held in conjunction with the main event. Workshop proposals should be submitted by January 29, 2023.

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) journal special issues, 3) 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 proposals should be sent by e-mail to

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 the 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

Important dates

  • Workshop Proposal Submissions Deadline: January 29, 2023
  • Workshop Proposal Acceptance Notification: February 12, 2023
  • Suggested Deadline for workshop paper submissions: May 12, 2023
  • Workshop date (tentative): July 8, 2023