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.
Proposals should contain the following information:
Workshop proposals should be sent by e-mail to firstname.lastname@example.org.