BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
BEGIN:VEVENT
UID:206@conferencelists.com
DTSTART:20260704T000000Z
DTEND:20260706T000000Z
DTSTAMP:20260322T012619Z
URL:https://www.conferencelists.com/conference/tase-2026-the-20th-internat
 ional-symposium-on-theoretical-aspects-of-software-engineering/
SUMMARY:TASE 2026: The 20th International Symposium on Theoretical Aspects 
 of Software Engineering
DESCRIPTION:The 20th Theoretical Aspects of Software Engineering Conference
  (TASE 2026) will be held in Shanghai City\, China\, on July 4 - 6\, 2026.
  TASE 2026 aims to provide a forum for people from academia and industry t
 o communicate their latest results on innovative advances in software engi
 neering. Modern society is increasingly dependent on software systems that
  are becoming larger and more complex. This poses new challenges to the va
 rious aspects of software engineering\, for instance\, software dependabil
 ity in trusted computing\, interaction with physical components in cyber-p
 hysical systems\, quality assurance in AI-embedded 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.\n\nThe event’s areas o
 f interest encompass the following topics\, without limitation: formal met
 hods\, formal verification and software engineering.
CATEGORIES:Science, Technology, Engineering, and Mathematics
LOCATION:China\, \, 
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=\, ;X-APPLE-RADIUS=100;X-TI
 TLE=China:geo:0,0
END:VEVENT
END:VCALENDAR