(appologies for multiple copies of this message)

**The 17th International Symposium on Theoretical Aspects of Software Engineering (TASE 2023)**
- Call for participation

Date : July 4 to July 6, 
Venue : Bristol, UK
Website : https://bristolpl.github.io/tase2023/


The 17th International Symposium on Theoretical Aspects of Software Engineering (TASE 2023) will be held in Bristol, UK on July 4-6, 2023. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to the various aspects of software engineering, for instance, software dependability in trusted computing, interaction with physical components in cyber physical systems, quality assurance in AI systems, distribution in cloud computing applications, security and privacy in general. Hence, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects.

TASE 2023 aims to provide a forum for people from academia and industry to communicate their latest results on innovative advances in software engineering. TASE 2023 is the 17th in the TASE series. The past TASE symposia were successfully held in Shanghai ('07), Nanjing ('08), Tianjin ('09), Taipei ('10), Xi'an ('11), Beijing ('12), Birmingham ('13), Changsha ('14), Nanjing ('15), Shanghai ('16), Nice ('17), Guangzhou ('18), Guilin ('19), Hangzhou ('20), Shanghai ('21), Cluj ('22).


The conference is now accepting registration!

- Deadline for standard registration: 14 June 2023
- Deadline for late registration: 29 June 2023

For more details on the registration process, please visit the dedicated webpage: https://bristolpl.github.io/tase2023/registration.html


An Eye on the Program
---------------------

In addition to over 20 peer-reviewed high-quality submissions, the conference proposes 3 invited keynotes of interest:
- Stefan Kiefer (University of Oxford)
- Naijun Zhan (Chinese Academy of Sciences)
- Peter Schrammel (Diffblue)

Details for the keynotes can be found on the website here: https://bristolpl.github.io/tase2023/invited-talks.html
The list of accepted papers is available here: https://bristolpl.github.io/tase2023/accepted-papers.html


Venue
-----

The conference will take place at Clifton Hill House in the beautiful and vibrant city of Bristol, United Kingdom. Take a look at the conference's website for anything about accommodations and details regarding access to the venue and travelling to UK.

We are looking forward to welcoming you in Great Britain!


The Organizing Committee.

########################################################################

To unsubscribe from the ZFORUM list, click the following link:
https://www.jiscmail.ac.uk/cgi-bin/WA-JISC.exe?SUBED1=ZFORUM&A=1

This message was issued to members of www.jiscmail.ac.uk/ZFORUM, a mailing list hosted by www.jiscmail.ac.uk, terms & conditions are available at https://www.jiscmail.ac.uk/policyandsecurity/