SE4AIS 2017: Software Engineering for Autonomous and Intelligent Systems Faculty of Engineering Porto, Portugal, September 5-8, 2017 |
Conference website | http://web.fe.up.pt/~epia2017/thematic-tracks/se4ais |
Submission deadline | May 1, 2017 |
SE4AIS (Software Engineering for Autonomous and Intelligent Systems) is a Thematic Track at EPIA Conference on Artificial Intelligence.
The advent of systems that have strong AI/Robotics components will bring dramatic changes to our society. Such systems, also known as Systems 4.0, are required to operate in increasingly complex, open, distributed, dynamic, heterogeneous, and highly interactive application environments. In order to do so, systems should encompass several dynamically interacting components, each with their own thread of control, and engaging in complex coordination and cooperation protocols.
The adoption of Systems 4.0 changes everything. In industry, it will lead to what some people call the 4th industrial revolution. The impact does not limit to industry, though. Systems 4.0 also have the potential of improve our lives. The prospect of highly interacting and intelligent environments has also the potential of coping with disabilities or impairments that humans can have.
The purpose of this thematic track is to provide a high-profile, internationally respected discussion forum on the most recent and innovative scientific research in the areas of Software Engineering and AI Systems. SE4AIS 2017 will appeal to any researcher and practitioner who is interested in the theoretical and practical aspects of Software Engineering and Artificial Intelligence, including Agent and Multi-Agent Software Engineering. Both theoretical and practical research should be situated in the context of existing or new methodologies for developing AI systems. Contributions with emphasis on theoretical issues should make clear the significance and relevance of those results to the community, while more practical subjects should clearly relate the work with the state of the art and make clear their contribution in other general applications.
Submission Guidelines
Submissions must be original and not published elsewhere.
Submissions can be of two types: full papers should not exceed twelve (12) pages in length, whereas short papers should not exceed six (6) pages.
Papers must adhere to the formatting instructions of the conference. Each submission will be peer reviewed by at least three members of the Program Committee. The reviewing process is double blind, so authors should remove names and affiliations from the submitted papers, and must take reasonable care to assure anonymity during the review process.
List of Topics
- Methodologies for AI based systems analysis and design
- Agent-oriented requirements analysis and specification
- UML and AI based systems
- Model-driven architecture (MDA) for AI Based systems
- Service-oriented computing in the context of AI based systems
- Verification and validation techniques for AI based systems
- Software development environments and CASE tools for AI based systems
- Formal methods for AI based systems, including specification and verification logics
- Model checking for AI based systems
- Engineering of large-scale AI based systems;
- Engineering Open AI Ecosystems;
- Standardisations for AI based systems;
- Re-use approaches for AI based systems, including design patterns, frameworks, components, and architectures
- Implications of AI based systems on organizational and social structures within and between companies (e.g. changes in roles, responsibilities, transparency, business processes and decision schemes).
- Practical applications of AI systems to specific domains, such as Ambient Assisted Living, Industry 4.0 or Smart X (Smart cities, Smart grids, ..), using engineering principles
- Responsible Research and Innovation applied to the engineering of AI systems
- Ethical principles applied to the engineering of AI systems
Committees
Program Committee
- Daniel Silva, University of Porto, Portugal
- Francisco Garijo, Universidad Complutense de Madrid, Spain
- Franco Zambonelli, University of Modena and Reggio Emilia, Italy
- Frédéric Migeon, IRIT, University of Toulouse III, France
- Juan Botia, King’s College London, United Kingdom
- Juan Garcia-Ojeda, Universidad Autónoma de Bucaramanga, Colombia
- Holder Giese, University of Potsdam, Germany
- Laszlo Gulyas, AITIA International Inc, Hungary
- Massimo Conssentino, ICAR-CNR, Italy
- Medhi Dastani, Universiteit Utrecht, The Netherlands
- Michael Winikoff, University of Otago, New Zealand
- Nikolaos Spanoudakis, Technical University of Crete, Greece
- Ruben Fuentes, Universidad Complutense de Madrid, Spain
- Rui Maranhão, University of Porto, Portugal
- Tom Holvoet, KU Leuven, Belgium
- Vincent Hilaire, Belfort-Montbeliard Technology University, France
Organizing committee
- Ana Paula Rocha - LIACC, DEI/FEUP, University of Porto, Portugal
- António J. M. Castro - LIACC, University of Porto, Portugal
- Pavlos Moraitis - Paris Descartes University, France
- Jorge Jesus Gomes Sanz - Universidad Complutense de Madrid, Spain
Publication
All accepted papers will be published by Springer in a volume of the LNAI-Lecture Notes in Artificial Intelligence series (indexed by the Thomson ISI Web of Knowledge and Scopus).
Venue
The conference will be held in Faculty of Engineering, Porto, Portugal.
Contact
All questions about submissions should be emailed to se4ais2017@gmail.com