Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] CSSE @ KES 2020: Deadline extension - 10 June


view this post on Zulip Email Gateway (Aug 23 2022 at 09:13):

From: Maria Spichkova <maria.spichkova@rmit.edu.au>
RMIT Classification: Trusted

Dear Colleagues,

The submission deadline for the Special Session
IS08: Collaboration in Software and System Engineering (CSSE),

is extended till 10 June.

24rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES).

Because of the COVID-19 pandemic, KES 2020 will be a virtual event, held on 16-18 September.

All submitted papers will be reviewed by the Program Committee, and if accepted and presented, they will be published in Elsevier's Procedia Computer Science, which is an open access journal. The papers will be then available in ScienceDirect and submitted to be indexed in Google Scholar, Scopus, CPCI (ISI conferences and part of Web of Science), and Engineering Index.

http://kes2020.kesinternational.org/cms/userfiles/is08.pdf<https://aus01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fkes2020.kesinternational.org%2Fcms%2Fuserfiles%2Fis08.pdf&data=02%7C01%7Cmaria.spichkova%40rmit.edu.au%7C961831d5bdb94f79f49d08d805e2b410%7Cd1323671cdbe4417b4d4bdb24b51316b%7C0%7C0%7C637265818563366971&sdata=cCI3xIdkSLBnU1lRAKZ%2BtWeoxcDfL8S6TzdVbfreB7c%3D&reserved=0>

Software & systems development projects are generally collaborative and cooperative. A large system development can hardly be developed by a single person. Thus, this is a task for a team (or even a number of teams working together), where collaboration could play a crucial role. This task becomes even more challenging in the case of safety-critical systems, such as vehicles and aircrafts, where formal verification can be a part of development process.

The goal of this session is to develop a future vision and roadmap of collaboration in software and systems engineering, focusing especially on requirements engineering and methodological analysis, as well as on diversity and intercultural aspects. The session aims to bring together researchers, engineers and practitioners from academia and industry to baseline the state of the art in this increasingly important domain.

Areas of interest include but are not limited to:

* Collaborative modelling and analysis of sustainable software
* Collaborative aspects of global requirements engineering
* Collaborative aspects of formal methods in conceptual modelling, specification, and design
* Collaborative aspects of testing, verification and validation of systems
* New best practices for software and system engineering education to support team-based learning
* Innovative curriculum, assessment or course formats to support team-based learning of software and system engineering
* Diversity in software and systems engineering teams
* Intercultural aspects in software and systems engineering
* Usability aspects in software and systems engineering (including formal methods)
* Successful case studies on application of formal methods in collaborative projects
* Comprehensibility and readability of formal methods in software engineering
* Teaching of formal methods and collaborative aspects thereof
* Cross-disciplinary software and systems engineering (including application of formal methods)
* Industrial challenges, experience reports and case studies

Formatting and Submission Guidelines:

http://kes2020.kesinternational.org/submission.php<https://aus01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fkes2020.kesinternational.org%2Fsubmission.php&data=02%7C01%7Cmaria.spichkova%40rmit.edu.au%7C961831d5bdb94f79f49d08d805e2b410%7Cd1323671cdbe4417b4d4bdb24b51316b%7C0%7C0%7C637265818563366971&sdata=PQQcJAObF4khG%2FHooMSivDTtxjZoGOpYYpzCmrKvVVA%3D&reserved=0>

When you submit papers, just make sure that you select
IS08: Collaboration in Software and System Engineering.

Kind regards,

Maria


Dr Maria Spichkova

Senior Lecturer, Software Engineering

School of Science

RMIT University


Last updated: Apr 20 2024 at 01:05 UTC