Home      Log In      Contacts      FAQs      INSTICC Portal


Software is Knowledge

8th International Workshop on Software Knowledge - SKY 2017

1 - 3 November, 2017 - Funchal, Madeira, Portugal, Portugal

In conjunction with the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - IC3K 2017

Software is Knowledge and Knowledge is power
What was the motivation for Google, a software company, to enter the market of autonomous vehicles? Why this and other software companies totally disrupted the traditional vehicles market, from small cars to giant trucks? Why so many people are in danger of losing their jobs in developed countries? Why intelligent people are afraid of their lives being challenged by Artificial Intelligence?
The short answer: Software is Knowledge and Knowledge is power.
For details: SKY’2017 International Workshop on Software Knowledge.


Iaakov Exman
School of Computer Science, HIT = Holon Institute of Technology
Brief Bio
Prof. Iaakov Exman, has a PhD in Physical Chemistry from the Hebrew University of Jerusalem, Israel, and has done post-doctoral research at Stanford University, California, USA, in the area of Artificial Intelligence-based discovery of potentially novel medication structures for the pharmaceutical industries. Back in Israel, he had ten years of experience at the Aerospace Industries and has founded and worked in parallel computing software start-ups. Currently he is a professor of Software Engineering at the School of Computer Science of the Holon Institute of Technology. His research interests and publications are centered on Theory of Software based upon linear algebraic methods and more recently on Quantum Software Theory equally applicable to quantum, classical and hybrid software systems. He is a coeditor of the book “Quantum Software – Aspects of Theory and System Design” (2024) published by Springer.
Anabel Fraga
Carlos III of Madrid University
Brief Bio
Dr. Anabel Fraga is a Computer Engineering professional. Previous to set aside in the academic work, she committed her efforts in the industry as UNIX/Windows Administrator, Application Administrator for Telecom companies, Project Management and Consultancy. She obtained in 2004 her E-commerce and Networking Msc. in the Carlos III University of Madrid and in 2010 her PhD degree in Computer Science in the same university at the Knowledge Reuse Research Group. Her central areas of research are: Software Architecture, Information Engineering, Knowledge Management, Requirement Engineering, Systems Engineering, ITIL/ISO20000 and Reuse; but she is also interested in Ethics, Innovative methods of learning for supporting new software architects and the improvement of the CS Curriculum. She is Visiting Professor of Software/Systems engineering, Information/Knowledge Engineering and Programming in Carlos III University of Madrid. She is member of ACM CSTA, INCOSE, AEIS and IASA, and she is one of the leaders of the IASA Chapter of Madrid.
Juan Llorens
Carlos III of Madrid University
Brief Bio
Juan Llorens is Professor at the Informatics Department of the Carlos III University of Madrid - Spain. He received his MS degree in Industrial Engineer from the ICAI Polytechnic School at the UPC University in Madrid in 1986, Spain, and his PhD in Industrial Engineering and robotics at the Carlos III University of Madrid, Spain in 1996. Dr. Llorens is the leader of the KR Group (Knowledge Reuse Group) within the University. In 1998 he was invited to the Högskolan på Åland (HÅ) (Åland, Finland). From 1998 to 2008 he split his educational activities between Madrid's University and the HÅ, where he taught different Software Engineering subjects. His CV is presented in: .LinkedIn .Research Gate
Points of View
The importance of Software Knowledge mainly stems from three points of view:

As suggested by Fred Brooks, based upon his extensive experience of systems development, and deep considerations: “The most important factor for successful design and development of systems is Conceptual Integrity”, where concepts are the “atoms” of Knowledge.
System modeling (by UML or SYSML or even MODELICA) is essential for rational system design and development. But that’s not enough. One should go upwards one more layer of abstraction and start with an application ontology. From the ontology one can obviously generate UML class diagrams and so on. One then has a much deeper understanding of the system.
Critical and very complex systems, such as aircraft, demand zero software bugs. Otherwise, human lives are endangered and giant financial losses are incurred. Precise system requirements should therefore be formulated and understood by all the involved people, be they developers or stakeholders.
NO Expected Outcomes
There are NO immediate Expected Outcomes for the SKY’2017 Workshop.
Software Knowledge is a difficult, important and continuing effort that will radically change software and system industries.
Call for Position and Challenge Paper Submission
Prospective authors from the academic and industrial environments are invited to submit Short Position papers relevant to the Points of View listed above. Certain accepted papers will be classified as Challenge Papers (see below).
Position and Challenge Paper Submission: October 6, 2017
Authors Notification: October 10, 2017
Camera Ready and Registration: October 16, 2017
Full day Workshop: November 02, 2017
Program Committee
To be soon announced in the website (
Invited Speakers
SKY’2017 will invite recognized researchers to deliver challenging invited talks in the workshop.
Challenge Papers
All accepted Short Position Papers will be classified in two groups by the SKY Program Committee:
  • Classical Position Papers – describing ongoing work, with preliminary results;
  • Challenge Papers – with significant new ideas, eventually opening a new research branch in Software Knowledge;
Authors will be informed of the classification of their papers in the authors’ notification.
The best Challenge paper, chosen by the SKY Program Committee will receive a certificate in a ceremony during the conference.


Prospective authors are invited to submit papers in any of the topics listed above.
Instructions for preparing the manuscript (in Word and Latex formats) are available at: Paper Templates
Please also check the Guidelines.
Papers must be submitted electronically via the web-based submission system using the appropriated button on this page.
All accepted Position and Challenge papers presented at the conference venue will be available at the SciTePress Digital Library (
SciTePress is member of CrossRef (
Registration Information
At least one author of an accepted paper must register for the workshop, and the registration fees received by October 16, 2017, in order to publish the paper and if selected among the best Challenge papers, to actually receive a prize.