{"id":10,"date":"2021-04-08T07:56:47","date_gmt":"2021-04-08T07:56:47","guid":{"rendered":"https:\/\/cyprusconferences.org\/mpu2022\/?page_id=10"},"modified":"2025-07-15T09:11:24","modified_gmt":"2025-07-15T09:11:24","slug":"home","status":"publish","type":"page","link":"https:\/\/cyprusconferences.org\/tase2025\/","title":{"rendered":"Home"},"content":{"rendered":"

[et_pb_section fb_built=”1″ fullwidth=”on” _builder_version=”4.22.1″ _module_preset=”default” top_divider_color=”rgba(2,119,135,0.24)” top_divider_height=”72px” top_divider_repeat=”0x” top_divider_flip=”horizontal” bottom_divider_style=”curve2″ bottom_divider_color=”#FFFFFF” bottom_divider_height=”50px” bottom_divider_flip=”horizontal” global_colors_info=”{}”][et_pb_fullwidth_slider _builder_version=”4.27.4″ _module_preset=”default” body_font_size=”12px” custom_padding=”179px||144px|||” global_colors_info=”{}”][et_pb_slide heading=”The 19th International Symposium on Theoretical Aspects of Software Engineering ” use_bg_overlay=”on” use_text_overlay=”on” content_tablet=”<\/p>\n

<\/h4>\n

TASE 2025<\/strong><\/p>\n

July 14-16, 2025<\/em><\/strong><\/p>\n

Limassol, Cyprus<\/em><\/strong><\/span><\/em><\/h1>\n

” content_phone=”<\/p>\n

TASE 2025<\/strong><\/h4>\n

July 14-16, 2025<\/em><\/p>\n

Limassol, Cyprus<\/em><\/strong><\/span><\/em><\/h1>\n

” content_last_edited=”on|desktop” _builder_version=”4.27.4″ _module_preset=”default” header_level=”h1″ header_font=”|700|||||||” header_text_color=”#FFFFFF” header_font_size=”55px” body_font_size=”45px” background_image=”https:\/\/cyprusconferences.org\/tase2025\/wp-content\/uploads\/2024\/07\/new-main-image-_-SyNERGY-MED-2024.jpg” background_enable_image=”on” header_text_shadow_style=”preset1″ header_text_shadow_color=”#000000″ global_colors_info=”{}” sticky_transition=”on”]<\/p>\n

<\/h4>\n

TASE 2025<\/strong><\/p>\n

July 14-16, 2025<\/em><\/strong><\/p>\n

Limassol, Cyprus<\/em><\/strong><\/span><\/em><\/h1>\n

[\/et_pb_slide][\/et_pb_fullwidth_slider][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.22.1″ background_enable_color=”off” background_enable_image=”off” background_size=”contain” background_repeat=”repeat” custom_padding=”4px|||||” global_colors_info=”{}”][et_pb_row _builder_version=”4.16″ _module_preset=”default” custom_padding=”||30px||false|false” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][dsm_text_divider header=”WELCOME” _builder_version=”4.21.0″ _module_preset=”default” header_level=”h2″ header_font=”|700|||||||” custom_margin=”||-6px|||” global_colors_info=”{}”][\/dsm_text_divider][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”3_5,2_5″ _builder_version=”4.22.1″ _module_preset=”default” custom_padding=”4px|||||” global_colors_info=”{}”][et_pb_column type=”3_5″ _builder_version=”4.22.1″ _module_preset=”default” global_colors_info=”{}”][et_pb_text _builder_version=”4.27.0″ _module_preset=”default” global_colors_info=”{}”]<\/p>\n

The 19th International Symposium on Theoretical Aspects of Software Engineering (TASE 2025) will be held in Limassol, Cyprus on July 14-16, 2025. TASE 2025 aims to provide a forum for people from academia and industry to communicate their latest results on innovative advances in software engineering. 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-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.<\/p>\n

TASE 2025 is the 19th 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 (\u201920), Shanghai (’21), Cluj-Napoca (’22), Bristol (’23),\u00a0Guiyang (’24)<\/span>.<\/span><\/p>\n

The proceedings of the TASE 2025 symposium will be published in Lecture Notes in Computer Science (Springer). The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers in the journal Science of Computer Programming (https:\/\/www.sciencedirect.com\/journal\/science-of-computer-programming<\/a>).<\/p>\n

[\/et_pb_text][et_pb_image src=”https:\/\/cyprusconferences.org\/tase2025\/wp-content\/uploads\/2024\/07\/TASE-Flyer-1.2-pdf.jpg” title_text=”TASE – Flyer 1.2″ url=”https:\/\/cyprusconferences.org\/tase2025\/wp-content\/uploads\/2024\/07\/TASE-2025-flyer.pdf” url_new_window=”on” _builder_version=”4.27.4″ _module_preset=”default” width=”82%” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][et_pb_column type=”2_5″ _builder_version=”4.22.1″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/cyprusconferences.org\/tase2025\/wp-content\/uploads\/2025\/07\/978-3-031-98207-1.png” title_text=”978-3-031-98207-1″ _builder_version=”4.27.4″ _module_preset=”default” width=”70%” global_colors_info=”{}”][\/et_pb_image][et_pb_button button_url=”https:\/\/link.springer.com\/book\/9783031982071″ url_new_window=”on” button_text=”Conference Proceedings (Available until 31 Aug, 2025)” _builder_version=”4.27.4″ _module_preset=”default” custom_button=”on” button_text_size=”13px” button_text_color=”#e74e11″ button_use_icon=”off” hover_enabled=”0″ global_colors_info=”{}” sticky_enabled=”0″][\/et_pb_button][et_pb_button button_url=”https:\/\/cyprusconferences.org\/tase2025\/wp-content\/uploads\/2024\/07\/TASE-2025-Sponsorship-Package-2.pdf” url_new_window=”on” button_text=”Sponsorship Opportunities ” _builder_version=”4.27.4″ _module_preset=”default” custom_button=”on” button_text_size=”18px” button_text_color=”#e74e11″ button_use_icon=”off” global_colors_info=”{}”][\/et_pb_button][et_pb_text quote_border_color=”#224179″ _builder_version=”4.27.4″ custom_margin=”||-2px|||” global_colors_info=”{}”]<\/p>\n

\n

<\/h3>\n

\u00a0Important Dates<\/strong><\/h3>\n
    <\/ul>\n
      \n
    • Abstract Submission : Feb 15, 2025<\/span> Mar 1, 2025 (AoE)<\/li>\n
    • Paper Submission : Feb 21, 2025<\/span> Mar 8, 2025 (AoE)<\/li>\n
    • Author Notification : April 1, 2025<\/span> April 5, 2025 (AoE)<\/li>\n
    • Camera-ready Version and Author Registration : May 1, 2025 (AoE)<\/li>\n
    • Early Registration (for Non Authors) Deadline: June 1, 2025<\/li>\n
    • Late Registration: June 2, 2025<\/li>\n
    • Conference : July 14-16, 2025<\/li>\n<\/ul>\n<\/blockquote>\n

      [\/et_pb_text][et_pb_text quote_border_color=”#011e59″ _builder_version=”4.24.2″ custom_margin=”1px|||||” global_colors_info=”{}”]<\/p>\n

      \n

      <\/h3>\n

      Latest News<\/b><\/h3>\n
        \n
      • Call For Papers is now available<\/li>\n<\/ul>\n<\/blockquote>\n

        [\/et_pb_text][et_pb_text _builder_version=”4.27.0″ _module_preset=”default” global_colors_info=”{}”]