From Jeremy.Gibbons at cs.ox.ac.uk Fri May 3 16:55:13 2013 From: Jeremy.Gibbons at cs.ox.ac.uk (Jeremy.Gibbons at cs.ox.ac.uk) Date: Fri, 03 May 2013 15:55:13 +0100 Subject: [fg-arc] Foundations of Health Information Engineering and Systems (FHIES 2013) - extended submission deadline Message-ID: <201305031455.r43EtDsN020843@linux2.cs.ox.ac.uk> THIRD AND FINAL CALL FOR PAPERS Third International Symposium on Foundations of Health Information Engineering and Systems http://www.cs.ox.ac.uk/FHIES2013/ International Institute for Software Technology United Nations University, Macau 21st-23rd August, 2013 EXECUTIVE SUMMARY - CHANGES SINCE PREVIOUS CALL Submission deadline extended by two weeks, to May 20th. Additional category of extended abstracts (max 2 pages) solicited. Apologies for duplication. BACKGROUND ICT plays an increasingly enabling role in addressing the global challenges of healthcare, in both the developed and the developing world. The use of software in medical devices has caused growing concerns in relation to safety and efficacy. The increasing adoption of health information systems provides great potential benefits but also poses severe risks, both with respect to security and privacy and in regard to patient safety. Hospital and other information systems raise important issues of workflow support and interoperability. Regulators, manufacturers and clinical users have pointed out the need to research sound and science-based engineering methods that facilitate the development and certification of quality ICT systems in health care. Such methods may draw from or combine techniques from various disciplines, including but not limited to software engineering, electronic engineering, computing science, information science, mathematics, and industrial engineering. AIMS The purpose of the symposium series on Foundations of Health Information Engineering and Systems is to promote a nascent research area that aims to develop and apply theories and methods from a variety of disciplines for the purpose of modeling, building and certifying software-intensive ICT systems in healthcare. A particular objective of FHIES is to explicitly include a focus on healthcare ICT applications in the developing world (in addition to systems used in the developed countries), since unique engineering challenges arise in that special setting. Because humans often play a pivotal role in the process of using such systems, theories from the human factors engineering community may need to be integrated with methods from the technology-oriented domains in order to create effective engineering methodologies for socio-technical systems in the healthcare domain. Previous FHIES symposia were held in 2011, in Mabalingwe, South Africa (with post-conference proceedings in Springer LNCS 7151, and in 2012, in Paris, France (with post-conference proceedings to appear in Springer LNCS). SCOPE FHIES seeks contributions from both the solution domain (engineering methods) and the problem domain (healthcare and health informatics). Solution-domain papers should present their methods in the context of a concrete application in healthcare, while problem-domain papers should be devised to educate the methods community about unique challenges and characteristics of the healthcare domain. Submissions should seek to inform and further the development, adaptation, evaluation and adoption of formally based and rigorous engineering methods in health care systems. Topics of interest include but are not limited to: * modelling, analysis, simulation and verification in health informatics; * design and verification techniques for software-based ICT and software-intensive medical devices; * application and integration of foundational methods from different disciplines in engineering and science to health informatics; * specific engineering challenges of ICT-based health service delivery in different settings, especially in the developing world. For a more detailed list of topics, see the symposium website. CATEGORIES We solicit high quality full submissions in the following categories: * original research contributions (16 pages max) * application experience, case studies and software prototypes (16 pages max.) * surveys, comparisons, and state-of-the-art reports (16 pages max.) * position papers identifying challenges and milestones of a research project (8 pages max.) We also invite short submissions for special sessions: * student papers on work in progress on an MSc or PhD project (4 pages max.) * tool demonstrations (2 pages max.) * proposals to organize birds-of-a-feather sessions or panels (2 pages max.) * extended abstracts (2 pages max.) SUBMISSIONS Submissions should be in English, prepared in the LNCS format (http://www.springer.de/comp/lncs/authors.html), and all page limits are measured in this format. Full submissions (those in the first four categories above) will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the symposium; student papers will be judged on clarity of description and the promise of interesting results; tool demonstrations, BOF proposals, and extended abstracts will be judged on relevance to the symposium. All papers will be peer-reviewed by at least three program committee members. Papers should be submitted via EasyChair, at http://www.easychair.org/conferences/?conf=fhies2013 Submission constitutes a commitment for at least one author to attend the symposium and present the paper, if it is accepted. PUBLICATION All accepted submissions will be distributed in a technical report at the Symposium. After the event, postproceedings will be published in Springer LNCS. Authors of all accepted full submissions will be invited to revise their papers, in order to resolve any larger issues raised during reviewing. Authors of accepted short submissions will be invited to submit full papers for review and LNCS publication too. In addition, a special issue of a suitable journal is planned, focusing on the overall objectives of FHIES: this will have an open call for contributions. IMPORTANT DATES Submission deadline: extended to May 20th Notification of acceptance: June 12th Delivery of preproceedings version: July 17th Symposium: August 21st-23rd Submission for postproceedings review: October 4th Notification of acceptance: October 11th Camera ready version: October 18th Publication of proceedings: December 23rd ORGANIZERS General chairs: * Zhiming Liu, United Nations University, MO * Jens Weber, University of Victoria, CA Programme chairs: * Jeremy Gibbons, University of Oxford, UK * Wendy MacCaull, St. Francis Xavier University, CA Programme committee: * Ime Asangansi, University of Oslo, NO * Tom Broens, Mobihealth, NL * Lori Clarke, University of Massachusetts, US * David Clifton, University of Oxford, UK * Gerry Douglas, University of Pittsburgh, US * Johannes Faber, IIST, United Nations University, MO * Jozef Hooman, Embedded Systems Institute and Radboud University Nijmegen, NL * Michaela Huhn, Technische Universit?t Clausthal, DE * Shinsako Kiyomoto, KDDI R&D Laboratories Inc, JP * Craig Kuziemsky, University of Ottawa, CA * Yngve Lamo, Bergen University College, NO * Insup Lee, University of Pennsylvania, US * Orlando Loques, Instituto de Computa??o, Universidade Federal Fluminense, BR * Gilbert Maiga, Makerere University, UG * Dominique Mery, Universit? de Lorraine, LORIA, FR * Deshendran Moodley, University of KwaZulu-Natal, ZA * Jun Pang, University of Luxembourg, LU * Manfred Reichert, University of Ulm, DE * Ita Richardson, Lero, University of Limerick, IE * David Robertson, University of Edinburgh, UK * Christopher Seebregts, Jembi Health Systems / Medical Research Council, ZA * Bo Song, Qingdao University of Science and Technology, CN * Alan Wassyng, McMaster University, CA Keynote speakers: * Joe Cafazzo, Centre for Global eHealth Innovation, CA * Jane Liu, Academia Sinica, TW * Bill Thies, Microsoft Research, IN From langer at big.tuwien.ac.at Tue May 7 17:32:11 2013 From: langer at big.tuwien.ac.at (Philip Langer) Date: Tue, 7 May 2013 17:32:11 +0200 Subject: [fg-arc] ICMT 2013 - 6th International Conference on Model Transformation - Call for Participation Message-ID: <51891E7B.2020503@big.tuwien.ac.at> ******************* Apologies for multiple postings ****************** C A L L F O R P A R T I C I P A T I O N ICMT 2013 6th International Conference on Model Transformation June 18?19, 2013, Budapest, Hungary http://www.model-transformation.org ********************************************************************** The 6th International Conference on Model Transformation (ICMT) will be held June 18?19 2013 in Budapest, Hungary. ICMT, part of the STAF federated event , is the premier forum for researchers and practitioners alike from all areas of model transformation. Model transformations are essential for elevating models from documentation elements to first-class artifacts of the development process. **** REGISTRATION **** Register for ICMT 2013 at http://www.cs.york.ac.uk/staf/2013.html. The reduced early registration fee is available until May 13 2013. **** KEYNOTE **** Mining Models from Generated System Tests by Andreas Zeller, Saarland University, Saarbr?cken, Germany http://www.model-transformation.org/ICMT2013/?page_id=191 **** PROGRAM **** 13 research papers and 5 tool/application demonstrations http://www.model-transformation.org/ICMT2013/?page_id=252 **** CONTACT **** Web : http://www.model-transformation.org Join us on LinkedIn : http://www.linkedin.com/groups/ICMT-2013-4662349 Follow us on twitter: @ICMT2013 #icmt2013 From peterschueller at sabanciuniv.edu Wed May 8 09:26:41 2013 From: peterschueller at sabanciuniv.edu (peterschueller at sabanciuniv.edu) Date: Wed, 08 May 2013 10:26:41 +0300 Subject: [fg-arc] Call for Applications: ICLP 2013 Doctoral Student Consortium [Deadline May 12], Istanbul, Turkey, August 24 Message-ID: (Apologies for cross-posting.) ------------------------------------------------------------------------------------------ ICLP-DC 2013 Ninth ICLP Doctoral Student Consortium to be held in Istanbul, Turkey, 24 August 2013 http://www.unife.it/iclp-dc-13 ------------------------------------------------------------------------------------------ ** Introduction ** The ICLP 2013 Doctoral Consortium (DC) is the ninth doctoral consortium to be offered as part of the 29th International Conference on Logic Programming (ICLP). The DC follows the very positive experience of previous events held in Sitges (Spain) on October 3rd, 2005, in Seattle (WA, USA) on August 21st, 2006, in Porto (Portugal) on September 8th, 2007, in Udine (Italy) on December 10th, 2008, in Pasadena (CA, USA) on July 15th, 2009, in Edinburgh (Scotland) on July 20th, 2010, in Lexington (KY, USA) on July 6th, 2011, and in Budapest (Hungary) on September 4th, 2012. The DC will take place during ICLP 2013 in Istanbul, Turkey. It provides a forum for doctoral students working in areas related to logic and constraint programming, with a particular emphasis to students interested in pursuing a career in academia. The DC is also open to exceptional Master's students developing MS theses in areas of scope. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts. ** General Information ** The aims of the Doctoral Consortium are to: - provide doctoral students working in the fields of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback, - provide students with relevant information about important issues for doctoral candidates and future academics, - develop a supportive community of scholars and a spirit of collaborative research, and - support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and aiming at doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): - Theoretical Foundations of Logic and Constraint (Logic) Programming; - Sequential and Parallel Implementation Technology; - Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, and Verification; - Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming); - Innovative Applications of Logic Programming. Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC allows participants to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited talks. Each participant will give a short, critiqued, research presentation. Renowned experts in the field will evaluate submission packages and participate in the DC, providing valuable feedback to DC participants. ** Important Dates ** Submission Deadline: May 12th, 2013 Acceptance Notification: June 3rd, 2013 Camera-ready Version: July 18th, 2013 Doctoral Consortium: August 24th, 2013 ICLP 2013 Conference: August 24th-29th, 2013 ** Application Procedure ** To apply for participation in the ICLP 2013 DC, provide a submission package consisting of a cover letter, a research summary, and a letter of recommendation (e.g., from your supervisor). All material is to be submitted electronically, in PDF format, via EasyChair: https://www.easychair.org/conferences/?conf=iclpdc13 All submissions must be in English. Submissions arriving after the deadline will not be considered. Your submission should not contain any proprietary or confidential material. * Cover Letter Please include the following information in the cover letter: - statement of interest in participating in the DC, - full name of school and department to which you are affiliated, - name(s) of your supervising professor(s), - title of your research work and keywords pertinent to your research, - current stage in your program of study (e.g. Ph.D./MS student, start date), - contact information (full name, address, telephone number, email address), and - the URL of your web page (if any). * Research Summary Prepare your research summary as a PDF document, using the TPLP template: http://www.iclp2013.org/files/downloads/TPLP_style_files.tar.gz Make sure to include your complete name, address, and affiliation. The body of the research summary (no more than 10 pages, but 5 is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include sections like the following: - Introduction and problem description - Background and overview of the existing literature - Goal of the research - Current status of the research - Preliminary results accomplished (if any) - Open issues and expected achievements - Bibliographical references The (camera versions of) accepted applicants' research summaries will be published as on-line abstracts in the Theory and Practice of Logic Programming (TPLP) journal. * Letter of Recommendation Include a short letter of recommendation written by your graduate or thesis adviser(s). Please, invite your adviser(s) to give an indication of the current status of your research and of the expected deadline for thesis submission. In addition, your adviser(s) should briefly describe what she/he hopes you would gain from participation in the DC. ** Application Appraisement ** * Review Criteria The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. * Best Contribution Award The DC program committee will review submission packages and judge DC presentations to assign the "Best ICLP 2013 DC Contribution" award among participants. The "Best ICLP 2013 DC Contribution" will be delegated for oral presentation in the ICLP 2013 main conference. ** Participant Funding ** The Association for Logic Programming (ALP) supports ICLP 2013 DC participants by granting: - free registration to the conference, - free accommodation at the conference hotel (Armada Hotel), in a shared room with another student of the DC, and - a joint lunch with renowned researchers in the Logic Programming community. ** Organizers ** * Chairs Marco Gavanelli Engineering Department Ferrara University, Italy Martin Gebser Institute for Informatics University of Potsdam, Germany * Email Address iclpdc13 at lists.cs.uni-potsdam.de * Program Committee Fabio Fioravanti, University of Chieti-Pescara Miguel Gomez-Zamalloa, Complutense University of Madrid Matti Jarvisalo, University of Helsinki Ekaterina Komendantskaya, University of Dundee Francesca A. Lisi, University of Bari Jose Francisco Morales, Technical University of Madrid C. R. Ramakrishnan, Stony Brook University Francesco Ricca, University of Calabria Gerardo Simari, University of Oxford Antoine Zimmermann, ??cole des Mines de Saint-??tienne From sebastian.goetz at acm.org Fri May 10 16:30:24 2013 From: sebastian.goetz at acm.org (=?ISO-8859-1?Q?Sebastian_G=F6tz?=) Date: Fri, 10 May 2013 16:30:24 +0200 Subject: [fg-arc] Call for Papers - 8th International Workshop on Models at run.time Message-ID: CALL FOR PAPERS 8th International Workshop on Models at run.time Co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems (MODELS 2013) September 329th - October 4th, 2013, Miami, FL, USA http://st.inf.tu-dresden.de/MRT2013/ Important Dates Submissions of papers: July 15th, 2013 Notification: August 23rd, 2013 Workshop date: September 29th, 2013 We are witnessing the emergence of new classes of application that are highly complex, inevitably distributed, and operate in heterogeneous and rapidly changing environments. Examples of such applications include those from pervasive and Grid computing domains. These systems are required to be adaptable, flexible, reconfigurable and, increasingly, self-managing. Such characteristics make systems more prone to failure when executing and thus the development and study of appropriate mechanisms for runtime validation and monitoring is needed. In the model-driven software development area, research effort has focused primarily on using models at design, implementation, and deployment stages of development. This work has been highly productive with several techniques now entering the commercialisation phase. The use of model-driven techniques for validating and monitoring run-time behaviour can also yield significant benefits. A key benefit is that models can be used to provide a richer semantic base for run-time decision-making related to system adaptation and other run-time concerns. For example, one can use models to help determine when a system should move from a consistent architecture to another consistent architecture. Model-based monitoring and management of executing systems can play a significant role as we move towards implementing the key self-* properties associated with autonomic computing. The goal of this workshop is to look at issues related to developing appropriate model-driven approaches to managing and monitoring the execution of systems. We build on the previous events where we have succeeded in building a community and bringing about an initial exploration of the core ideas of Models at Runtime and now seek: - experiences with actual implementations of the concept - rationalisation of the various concepts into overall architectural perspectives - to make explicit the specific roles that models play at runtime - impact on software engineering methodologies - to continue to build a network of researchers in this emerging area, based on the results of the earlier editions Workshop Format The workshop participants will be selected based on their experience and ideas related to this new and emerging field. You are invited to apply for attendance by sending a full-paper (8-12 pages) or a position paper (5-6 pages) in PDF. The paper must conform to the Springer LNCS formatting guidelines: http://www.springer.com/computer/lncs (it is the same format of the Conference, see conference website for more information). Submissions will be reviewed by at least 3 PC members. The authors will be notified about acceptance before the MODELS 2010 early registration deadline. Candidates for best papers (if finally chosen) can be just taken from the category of full-papers. A primary deliverable of the workshop is a report that clearly outlines (1) the research issues and challenges in terms of specific research problems in the area, and (2) a synopsis of existing model-based solutions that target some well-defined aspect of monitoring and managing the execution of systems. Potential attendees are strongly encouraged to submit position papers that clearly identify research issues and challenges, present techniques that address well-defined problems in the area, and are supported by small demos. The workshop aims to: - Integrate and combine research ideas from the areas cited above. - Provide a ?state-of-the-research? assessment expressed in terms of research issues, challenges, and accomplishments. This assessment can be used to guide research in the area. - Continue to build a network of researchers in this area, building on the previous editions. - Plan and promote further events on these topics. We strongly encourage authors to address the following topics. Topics labelled with (*) are crucially important: - What a runtime model looks like and how does it evolve? (*) - How are the causal links with executing code realized? Difference with computational reflection (*) - Models at runtime and software aging: does it help or hurt? - The role of models at run.time in the software development process (*) - Models at runtime, the silver bullet for runtime assurance and V&V? - Role of requirement at runtime, requirements reflection (*) - How are the abstractions tied to the types of adaptations supported? (*) - How do these abstractions evolve over time? (*) - Are new abstractions created during runtime? (*) - MDE at Runtime: Are MDE tools ready (performance, etc.) for more dynamic usages? - Examples of how models can be used to validate and verify the behaviour of the system at runtime (*) - Compatibility (or tension) between different model-driven approaches - How do models at other phases of the SE lifecycle relate to the corresponding runtime models? - How models at runtime can support large multi-disciplinary teams in open innovation/continuous design? - Models at runtime and scalability: horizontally (managing large set of nodes) and vertically (from the cloud to the sensors) - Small demos and tools that support the use of models at run.time (*) Organizers - Nelly Bencomo (main contact), INRIA, France - Robert France, Colorado State University, USA - Sebastian G?tz, TU Dresden, Germany - Bernhard Rumpe, RWTH Aachen, Germany Programme Committee (tbc.) Franck Chauvel, SINTEF, Norway Peter J. Clark, Florida International University, USA Fabio Costa, Federal University of Goias, Brazil Holger Giese, Universit?t Potsdam, Germany Gang Huang, Peking University, China Martin Gogolla, Universit?t Bremen, Germany Jean-Marc J?z?quel, Triskell Team, IRISA, France Rui Silva Moreira, UFP & INESC, Portugal Brice Morin, SINTEF, Norway Hausi A. M?ller, University of Victoria, Canada Bradley Schmerl, Carnegie Mellon University, USA Hui Song, Trinity College Dublin, Ireland Tha?s Vasconcelos Batista, UFRN, Brasil -- -- -- Dipl.-Inf. Sebastian G?tz Research Assistant Technische Universit?t Dresden Fakult?t f?r Informatik Institut f?r Software- und Multimediatechnik Lehrstuhl f?r Softwaretechnologie www: http://www.st.inf.tu-dresden.de/ Mail: sebastian.goetz at acm.org Kontakt: INF 2098 Tel.: +49 351 463 38346 jExam Group www: http://www.jexam.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From matthes at tum.de Tue May 14 16:38:06 2013 From: matthes at tum.de (Matthes, Florian) Date: Tue, 14 May 2013 14:38:06 +0000 Subject: [fg-arc] Aufruf zur Teilnahme: Architekturen 2013 - 1.-2.Juli 2013 in Kaiserslautern Message-ID: Aufruf zur Teilnahme: Architekturen 2013 Architekturen f?r Smart Ecosystems Jahrestagung der GI-Fachgruppe Architekturen 1. und 2. Juli 2013 Kaiserslautern- Fraunhofer Zentrum Software Ecosystems integrieren Einzelsysteme zu einem funktionalen Ganzen, wobei die einzelnen Teilsysteme typischerweise von unterschiedlichen Organisationen entwickelt und betrieben werden. Smart werden Ecosystems, wenn sowohl Informationssysteme als auch eingebettete Systeme ?ber das Internet miteinander verbunden sind. Dieser Br?ckenschlag zwischen den Dom?nen erm?glicht neue, innovative Anwendungen, die ohne Vernetzung der Systeme nicht m?glich w?ren. Architekturen bilden das Fundament, auf dem die Struktur und das Verhalten von komplexen ?kosystemen definiert wird und sorgen f?r eine nachhaltige Integration der Systeme. Zu diesem Thema findet am 1. und 2. Juli 2013 die Jahrestagung der GI-Fachgruppe Architekturen im Fraunhofer-Zentrum in Kaiserslautern statt. Bei Architekturen 2013 erwartet Sie ein wissenschaftlich-technisches Programm mit einer abwechslungsreichen Themenmischung aus Wissen?schaft, Technologie?transfer und Industrie?beitr?gen zu verschiedenen Architekturthemen in der Informatik und Softwaretechnik. Montag, 1.7.2013 09.00-12.00 Arbeitskreis-Treffen: AK MDA Steffen Becker Universit?t Paderborn inkl. Kaffeepause 12.00-13.30 Mittagspause & Registrierung 13.30-13.45 Er?ffnung Peter Liggesmeyer TU Kaiserslautern/Fraunhofer IESE 13.45-14.30 Vielfalt minimalinvasiv integrieren Heinz Z?llighoven Universit?t Hamburg 14.30-15.00 Herausforderungen und L?sungsans?tze eines App-basierten ?kosystems f?r Landmaschinen Michael H?h John Deere 15.00-15.30 Kaffeepause 15.30-16.15 Applikationsentwurf f?r die Cloud: Ziele, Ans?tze und L?sungsmuster Dirk Muthig Lufthansa Systems 16.15-16.45 Architekturmanagement in einem Versicherungsunternehmen Stefan Georg Cosmos Direkt 16:45-17:15 Software Architekt als Berufsbezeichnung Wolfgang Fahl iSAQB 17.15-18.15 Sitzung der Fachgruppe Architekturen Florian Matthes, Matthias Riebisch TU M?nchen, Universit?t Hamburg 19.00-23:00 Social Event Dienstag, 2.7.2013 08.30-09.00 System- und Softwarearchitekturen f?r Pr?fsysteme Christian Allmann Audi 09.00-09.30 Ein h-Index zur Messung von Software-Komplexit?t? Oliver Hummel KIT 09.30-10.00 Titel steht noch nicht fest Ottmar Bender Cassidian 10.00-10.30 Kaffeepause 10.30-11.00 Architekturen f?r Smart Ecosystems Jens Knodel Fraunhofer IESE 11.00-11.30 Erfahrungen aus dem Aufbau einer Mobile Architektur bei Finanzinformatik Matthias Tenhaeff Sparkasse Finanzinformatik 11.30-12.00 Towards the Automation Cloud: Architectural Challenges for a Novel Smart Ecosystem Heiko Koziolek ABB 12.00-12.15 Abschluss Jahrestagung Thorsten Keuler, Jens Knodel, Matthias Naab Fraunhofer IESE 12.15-13.30 Mittagspause 13.30-17.00 Arbeitskreis-Treffen ? Traceability & Evolution ? AK Langlebige technische Systeme Matthias Riebisch Detlef Streitferdt Universit?t Hamburg, TU Illmenau Weitere Informationen (Abendprogramm, Hotels) und das Formular zur Anmeldung finden Sie auf der Webseite http://www.iese.fraunhofer.de/de/veranstaltungen_messen/architekturen2013.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From riebisch at informatik.uni-hamburg.de Wed May 15 23:12:45 2013 From: riebisch at informatik.uni-hamburg.de (Riebisch, Matthias) Date: Wed, 15 May 2013 21:12:45 +0000 Subject: [fg-arc] =?iso-8859-1?q?Einladung_zur_Teilnahme=3A_Arbeitskreis-W?= =?iso-8859-1?q?orkshop_=22Konsistenz_w=E4hrend_Evolution=22_2=2E_Juli_13?= =?iso-8859-1?q?=3A30-17=3A00_Uhr?= Message-ID: Arbeitskreis Traceability / Evolution der Fachgruppe Architekturen der GI Herzliche Einladung zum n?chsten Arbeitskreis-Workshop "Konsistenz w?hrend Evolution" f?r den 2. Juli 2013 13:30 - 17:00 Uhr im Rahmen der Jahrestagung der GI-Fachgruppe Architekturen am Fraunhofer Zentrum in Kaiserslautern Im Workshop sollen folgende Fragen diskutiert werden, die sich auf Konsistenz zwischen Entwicklungs-Artefakten beziehen: - Welche Arten von Weiterentwicklung sind zu untersuchen? - Welche Arten von Traceability sind von Interesse f?r eine Betrachtung? - Welche Quellen von Inkonsistenz sind von Interesse? - Was sind wichtige Konsistenzbedingungen? - Welche Arten von Inkonsistenz sind von Interesse, z.B. syntaktische, semantische, statische, dynamische usw. - Wie k?nnen Pr?fungen bez?glich Konsistenz durchgef?hrt werden? Diese Fragen sind f?r verschiedene Szenarien und Entwicklungsans?tze von Interesse, wie - Change Impact Analysis - Software-Produktlinien - Entwicklung von Software-Architekturen - Komponentenbasierte und verteilte Systeme - System-Management - Modell-Driven Development und weitere. Die Diskussion soll die Fragestellungen der Praxis der Softwareentwicklung genauso ber?cksichtigen wie die der Forschung. Deshalb sind Praktiker ebenso wie Forscher herzlich zur Teilnahme eingeladen. Der erwartete Umfang des Teilnehmerkreises betr?gt 10 .. 20 Personen. Zeitplan: 13:30 Begr??ung und Er?ffnung 13:45 kurze Vorstellung der Teilnehmer 14:00 Vorstellung der letzten Ergebnisse der Arbeitskreis-Arbeit: Traceability und SCRUM 14:30 Workshop-Diskussion zum Erhalt und zur Pr?fung von Konsistenz w?hrend Evolution?rer Entwicklung 16:30 Zusammenfassung der Ergebnisse 17:00 Ende des Workshops Bitte melden Sie sich ?ber die Jahrestagung zu diesem Workshop an. Das Formular zur Anmeldung sowie weitere Informationen (Abendprogramm, Hotels) und finden Sie auf der Webseite http://www.iese.fraunhofer.de/de/veranstaltungen_messen/architekturen2013.html Weitere Links und aktualisierte Informationen: Webseite des Arbeitskreises http://www.theoinf.tu-ilmenau.de/~riebisch/traceability/ Webseite der Fachgruppe http://fg-arc.gi.de/ Webseite der Jahrestagung http://www.iese.fraunhofer.de/de/veranstaltungen_messen/architekturen2013.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From schmid at sse.uni-hildesheim.de Fri May 17 17:00:27 2013 From: schmid at sse.uni-hildesheim.de (Klaus Schmid) Date: Fri, 17 May 2013 17:00:27 +0200 Subject: [fg-arc] Symposium "Perspectives on the Future of Software Engineering" - Call for Participation Message-ID: <50a11df5-738d-423f-bbbb-e540b3c39585@messagesink.samelson.uni-hildesheim.de> Symposium "Perspectives on the Future of Software Engineering" 7 June 2013, from 2pm to 5:30 pm, Kaiserslautern, Germany The symposium on the "Perspectives on the Future of Software Engineering" aims at summarizing some of the most important trends and future needs in software engineering from a number of different angles, such as: - Empirical software engineering: Where are we? Where do we need to go? - Technical foundations including modeling approaches, architectures: How can they be improved to provide better predictability of system characteristics? - Implications for the discipline: How does this impact software engineering as a discipline? The symposium combines invited talks and panel discussions by prominent and recognized leaders in the field: + Victor R. Basili (University of Maryland) + Barry B. Boehm (University of Southern California) + Lionel Briand (University of Luxembourg) + Manfred Broy (TU M?nchen) + Leon J. Osterweil (University of Massachusetts) + Andreas Rausch (TU Clausthal) + Ralf Reussner (KIT Karlsruhe) + Dieter Rombach (University of Kaiserslautern, IESE) + Forrest Shull (CESE, Maryland) + Mario Trapp (IESE, Kaiserslautern) The proceedings of the symposium appear as Springer book (http://www.springer.com/computer/swe/book/978-3-642-37394-7) that includes additional contributions from renowned leaders, such as: + Carlo Ghezzi (Politecnico di Milano) + Constance Heitmeyer (Naval Research Laboratory Washington) + Michael Jackson (The Open University Milton Keynes) + Ross Jeffery (NICTA,Eveleigh) + Natalia Juristo (Universidad Polit?cnica de Madrid) + David Weiss (Iowa State University) + Claes Wohlin (Blekinge Institute of Technology) + Marvin Zelkowitz (University of Maryland) + Andreas Zeller (Saarland University) The symposium is held in honor of the 60th birthday of Dieter Rombach. The symposium is open to the general public (free of charge) and takes place on the 7th of June, 2013 from 2pm to 5:30 pm at: University of Kaiserslautern, Building 42, Room 115 "Audimax" 67663 Kaiserslautern, Germany Lodging options: Hotel booking code: Festakt/Geburtstag Dieter Rombach Hotel Saks Phone: +49 631 361 250 (http://sakshotels.com/#/en/welcome-at-saks/) Hotel Zollamt Phone: +49 631 316 6600 (http://www.hotel-zollamt.de/hotel_eng.html) Art-Hotel Phone: +49 631 362 400 (http://www.art-hotel-kl.de/englisch/index.html) Travel information: http://www.uni-kl.de/use/Anfahrt_TU_KL.pdf Further Information: http://www.iese.fraunhofer.de/en/events/symposium_se.html We are looking forward to seeing you! Program Chairs: Prof. Dr. J?rgen M?nch (University of Helsinki) Prof. Dr. Klaus Schmid (University of Hildesheim) ----------------------------------------------------------------- Prof. Dr. Klaus Schmid University of Hildesheim Tel.: +49 (0) 5121 / 883-761 Institute of Computer Science Fax.: +49 (0) 5121 / 883-769 Marienburger Platz 22 schmid at sse.uni-hildesheim.de D-31141 Hildesheim, Germany http://www.sse.uni-hildesheim.de ----------------------------------------------------------------- From mail at ansgarscherp.net Sun May 19 21:34:35 2013 From: mail at ansgarscherp.net (Ansgar Scherp) Date: Sun, 19 May 2013 21:34:35 +0200 Subject: [fg-arc] Call for Patterns: 4th Workshop on Ontology and Semantic Web Patterns (WOP2013) Message-ID: <1368992075.2408.1.camel@scherp-ThinkPad-X1> === Apologies for multiple postings === ***************************************************** Call for Patterns 4th Workshop on Ontology and Semantic Web Patterns (WOP2013) http://ontologydesignpatterns.org/wiki/WOP:2013 October 21st or 22nd, 2013 Sydney Convention & Exhibition Centre in Darling Harbour, Australia ***************************************************** Submission deadline - July 12th, 2013 (11:59pm Hawaii time) ***************************************************** This workshop provides an arena for proposing and discussing good and bad practices, patterns, pattern-based ontologies, systems, etc. The aim is to broaden the pattern community that will develop its own ?language? for discussing and describing relevant problems and their solutions. The workshop will be held in conjunction with ISWC 2013 and will be a half-day event. We invite the submission of research results in the form of ontology design patterns (ODPs). Patterns submitted should have a general relevance to the ontology engineering field, or specific interest within a knowledge domain. Patterns should solve some particular modeling problem, and be of significant interest for discussion at the workshop. Patterns should be original, in the sense that they are the intellectual product of the author(s), however they may still be based on the collective experience of a community. ---- Pattern Topics ----- Ontology design pattern (ODP) submissions will be collected * by submitting a description of the pattern (pattern description) via https://www.easychair.org/conferences/?conf=wop2013 (select "WOP2013 Patterns Track?) * through the ODP portal [1]: templates for submission [2] are provided for the following types of patterns (see general typology [3] for explanation of the types): ** Content patterns ** Structural patterns: logical and architecture patterns. ** Correspondence patterns: re-engineering and alignment patterns. For other types of patterns, the author is welcome to submit only a pattern description. Detailed instructions for patterns submission, including how to submit via the ontologydesignpatterns.org portal, are found at the submission page [4]. Note that an account in the ODP portal is needed for submitting patterns; thus, authors should take care to request an account at least one week before their intended submission. ---- Process ----- Patterns are submitted through the ODP portal [1,2], and reviewed by at least two members of the ODP portal quality committee. Accepted patterns are to be improved based on the review comments, i.e. an update of the patterns in the ODP portal is mandatory. Accepted patterns are then presented as posters at the workshop, in a joint poster session with poster and demo papers. After the workshop, the patterns may be considered for certification in the ODP portal. ---- Best Pattern Award ---- Reviewers and workshop participants will together distinguish the best pattern submission, final decision to be made by the chairs. The best pattern award takes into account criteria such as the quality of the submission, the relevance and significance of the pattern, the presentation of the pattern, and the level of involvement of the author during the revision phase and poster session discussions during the workshop. ---- Important dates (2013, 11:59 Hawaii time) ---- * Submission deadline (research papers and patterns) - July 12th * Notification of acceptance (research papers and patterns) - August 9th * Camera ready deadline (research papers and pattern abstracts) - August 31st * Workshop date - October 21st or 22nd ---- WOP2013 Chairs ---- Papers ? Valentina Presutti, STLab ISTC-CNR (IT), Michael Gruninger, University of Toronto (CA) Patterns - Ansgar Scherp, University of Mannheim (DE), Laurent Lefort, CSIRO (Australia), ICT Centre in Canberra Steering Committee Eva Blomqvist, STLab ISTC-CNR (IT) Aldo Gangemi, LIPN Paris Sorbonne Cit?/Paris 13 (FR) Natasha Noy, Stanford University (US) Valentina Presutti, STLab ISTC-CNR (IT) Alan Rector, University of Manchester (UK) Francois Scharffe, INRIA (FR) Steffen Staab, University of Koblenz(DE) Chris Welty, IBM Research (US) [1] http://ontologydesignpatterns.org/ [2] http://ontologydesignpatterns.org/wiki/Submissions:SubmitAPattern [3] http://ontologydesignpatterns.org/wiki/OPTypes [4] http://ontologydesignpatterns.org/wiki/WOP:2013/Submission -- Jun.-Prof. Dr. habil. Ansgar Scherp University of Mannheim Phone: +49 621 181-2647 B6, 26 Room B1.14 Fax : +49 621 181-2682 D-68131 Mannheim Mail : ansgar at informatik.uni-mannheim.de WWW: http://www.ansgarscherp.net/about/ - Mark Musen at #iswc2012 keynote: "Reusable patterns [in knowledge bases] are a good idea" -------------- next part -------------- An HTML attachment was scrubbed... URL: From AHARONA at il.ibm.com Thu May 23 13:11:05 2013 From: AHARONA at il.ibm.com (Aharon Abadi) Date: Thu, 23 May 2013 14:11:05 +0300 Subject: [fg-arc] Deadline Extension: DeMobile 2013 Message-ID: ---------------------------------------- Call for Papers [CFP] DeMobile 2013 ---------------------------------------- http://sysrun.haifa.il.ibm.com/hrl/demobile2013/index.shtml Due to several requests, the submission deadline for The First International Workshop on Software Development Lifecycle for Mobile (DeMobile 2013), has been extended to June 1, 2013. ---------------------------------------- Important information in brief: ---------------------------------------- * Mobile application usage and development is experiencing exponential growth. Activated on mobile platforms, modern applications must be elastic and scale on demand according to the hardware abilities. Applications often need to support and use third-party services. Developing such applications requires suitable practices and tools e.g., architecture techniques that relate to the complexity at hand. This workshop aims at establishing a community of researchers and practitioners to share their work and lead further research in the mobile software engineering. * Submission new deadline: June 1, 2013 * Notification of acceptance: June 20, 2013 * Final versions due: June 30, 2013 * Workshop date: August 19, 2013 Contact information: demobile2013 at gmail.com Regards, DeMobile Organizers Aharon Abadi, IBM Research - Haifa Rafael Prikladnicki, Pontificia Universidade Catolica do Rio Grande do Sul Porto Alegre, RS, Brazil Yael Dubinsky, IBM Research - Haifa From peterschueller at sabanciuniv.edu Thu May 23 13:54:16 2013 From: peterschueller at sabanciuniv.edu (peterschueller at sabanciuniv.edu) Date: Thu, 23 May 2013 14:54:16 +0300 Subject: [fg-arc] 2nd CFP: Workshop on Knowledge Representation and Reasoning in Robotics @ ICLP2013, Istanbul, Turkey Message-ID: (Apologies for cross-posting.) CALL FOR PAPERS AND POSTER ABSTRACTS Workshop on Knowledge Representation and Reasoning in Robotics at the International Conference on Logic Programming (ICLP). Location: Istanbul, Turkey. Date of Workshop: August 25, 2013. Workshop web site: http://www.cs.ttu.edu/~smohan/krr_iclp13/ Conference web site: http://www.iclp2013.org/en/default.asp WORKSHOP SCOPE Mobile robots (and agents) are increasingly being used in a range of application domains such as disaster rescue, surveillance, health care and navigation. A formidable challenge to the widespread deployment of robots in our homes, offices and other complex domains is the ability to represent, reason with and revise incomplete and inconsistent domain knowledge obtained from sensor inputs and high-level human feedback. Although many algorithms have been developed for representing and reasoning with domain knowledge, the research community is fragmented, with separate vocabularies that are increasingly (and ironically) making it difficult for these researchers to communicate with each other. As a result, the rich body of research in knowledge representation for cognitive agents is not fully exploited by robotics researchers. For instance, declarative programming paradigms provide non-monotonic reasoning capabilities essential for robotics, although they do not always consider the challenge of modeling the uncertainty in robot application domains. In parallel, many robotics researchers are developing probabilistic reasoning algorithms that elegantly model the uncertainty in sensing and navigation on robots, although it is a challenge to use such algorithms to represent and reason with commonsense knowledge. In recent years, algorithms have also been developed for combining logical and probabilistic reasoning, but these algorithms do not support the desired knowledge representation and reasoning capabilities, or fail to address problems (e.g., frame problem, ramification problem) that are well understood in the logic programming community. This workshop seeks to engage the logic programming community in robotics research challenges. The objective is to promote a deeper understanding of recent breakthroughs and tough challenges in the logical programming and probabilistic robotics communities, resulting in collaborative efforts towards addressing the knowledge representation and reasoning challenges in robotics. Topics of interest include (but are not limited to): * Knowledge acquisition and representation. * Reasoning with incomplete and inconsistent knowledge. * Reasoning about actions and change. * Planning and scheduling. * Learning and symbol grounding. * Cognitive architectures. * Multiagent systems. We are especially interested in papers describing efforts to integrate knowledge representation, logical reasoning and/or probabilistic reasoning on robots and agents in different application domains. PAPER SUBMISSION Paper submissions can be in one of the following categories: * Regular paper: the length of regular papers (including figures and bibliography) should not exceed 12 pages. * Poster/summary paper: the length of poster/summary papers (including all figures and bibliography) should not exceed 4 pages. Papers must be written in English using the same format used for ICLP submissions: http://www.iclp2013.org/en/Submissions.html Easychair paper submission web site: https://www.easychair.org/conferences/?conf=krr2013 IMPORTANT DATES Submission deadline: June 1, 2013 Notifications: June 25, 2013 Camera-ready deadline: July 10, 2013 Workshop at ICLP: August 25, 2013 ORGANIZERS Mohan Sridharan Department of Computer Science Texas Tech University, USA http://www.cs.ttu.edu/~smohan/ Fangkai Yang Department of Computer Sciences The University of Texas at Austin, USA http://www.cs.utexas.edu/~fkyang Volkan Patoglu Mechatronics Program Faculty of Engineering and Natural Sciences Sabanci University, Istanbul, Turkey http://myweb.sabanciuniv.edu/vpatoglu/ Peter Schueller Computer Science Program Faculty of Engineering and Natural Sciences Sabanci University, Istanbul, Turkey http://www.peterschueller.com/ From ndragan at cs.kent.edu Tue May 21 05:11:56 2013 From: ndragan at cs.kent.edu (Natalia Dragan) Date: Mon, 20 May 2013 23:11:56 -0400 Subject: [fg-arc] ICSM 2013 - CFP for ERA/Tool Demo/Doctoral Symposium/Industry Tracks Message-ID: <519AE5FC.40000@cs.kent.edu> ============================================================================ ICSM 2013 CFP - ERA/Tool Demo/Doctoral Symposium/Industry Tracks ============================================================================ 29th IEEE International Conference on Software Maintenance 22 - 28 September 2013 - Eindhoven, The Netherlands http://icsm2013.tue.nl/ Follow us on Twitter: @IEEEICSM ============================================================================ The deadline for the ERA/Tool Demo/Doctoral Symposium/Industry tracks is approaching! Please read below and refer to the web page for further information. ================================ IMPORTANT DATES ================================ Abstract submission: June 17, 2013 Full papers submission: June 24, 2013 Notification: July 26, 2013 Camera-ready: August 9, 2013 ================================ ERA Track ================================ The goal of the Early Research Achievements (ERA) track is to provide researchers and practitioners with a forum for presenting great, promising ideas in early stages of research. These ideas do not require a strong empirical evaluation! The 2013 ERA track aims to provide constructive feedback to guide you from your initial idea and limited evaluation towards a solid ICSM 2014 paper with strong empirical underpinnings. The topics of interest for this track are the same as for the main research track, i.e., all the topics in the research and practice of software maintenance and evolution. Papers submitted to the ERA track must not have been accepted previously for publication or submitted for review to another conference, journal, or book. Submissions must be in English and conform to the IEEE proceedings style. They must be four-page long, including all text, references, appendices, and figures. Submissions will be evaluated on the basis of their originality, importance of contribution, soundness, evaluation (if available), quality and consistency of presentation, and appropriate comparison to related work. Further details are available at: http://icsm2013.tue.nl/CFP/index.html ================================ Doctoral Symposium Track ================================ As with previous editions, ICSM 2013 will feature a double doctoral symposium: Pre-doctoral: The first part is dedicated to PhD students in the midst of their doctoral studies in the field of software maintenance, who intend to finish their PhD within the next two years (2014-2015). This symposium aims to provide PhD students with an opportunity to present their ongoing work, to interact with other researchers in the field, and to get constructive feedback from senior researchers. Participants will discuss their goals, methods, and results at an early stage in their research. For the pre-doctoral symposium the submission should not exceed 4 pages. Details on the required content are available at: http://icsm2013.tue.nl/CFP/index.html Post-doctoral: The second part is dedicated to researchers who have delivered their PhD dissertations in the area of software maintenance and evolution within the last 2 years (2011-2012). This symposium aims to provide a forum for post-docs to present the highlights of their work to the ICSM community. Moreover, participants will be asked to reflect on the PhD process itself, and share some lessons learned with PhD students as well as PhD advisors. For the post-doctoral symposium the submission should not exceed 6 pages. Details on the required content are available at: http://icsm2013.tue.nl/CFP/index.html ================================ Industrial Track ================================ This track aims to foster mutually beneficial links between those engaged in scientific research and practitioners working to improve software maintenance practices. We are interested in results (both good and bad), obstacles, and lessons learned. Experiences from practitioners provide crucial input into future research directions and allow others to learn from successes and failures. For the industry track, we invite submissions of state-of-the-art practice and experience reports, survey reports from real-world projects and industrial experiences, and evidence-based identifications of unsolved research challenges associated to software maintenance. If you apply in an industrial context a method, model or tool, which you know was earlier presented at ICSM or other software engineering conference, we also warmly encourage you to submit to this track. Each submission should describe the problem addressed, the approach used, the current state of the project, an evaluation of the benefits or lessons learnt, and future developments. Submissions must be in English and conform to the IEEE proceedings style. They must be four-page long, including all text, references, appendices, and figures. Further details are available at: http://icsm2013.tue.nl/CFP/index.html ================================ Tool Demo Track ================================ This track provides an opportunity for researchers and practitioners to present and discuss the most recent advances, experiences, and challenges in the field of software maintenance with the goal of allowing live presentation of new research tools. Whether the tools are early research prototypes or polished tools prepared for commercialization (but not yet commercialized), the ICSM demo track provides the perfect opportunity to reach an international audience of researchers and practitioners, and solicit critical feedback. This year's demo track consists of demonstrators who get about 15 minutes in the conference program for presenting their tool. The presentation should focus on the main use cases of and essential concepts behind the tool, and should include an actual tool demo of at least 10 minutes. Accepted demos will be included in the ICSM proceedings. Demos also require a website and a 4-page proposal. Participation to the demos requires: 1) a 4-page proposal (format: IEEE format and template) describing the problem context, a typical usage scenario, existing tools and their shortcomings, the concepts behind the proposed tool, a graphical overview of the tool's architecture, a short discussion of the technologies used for implementation, a summary of experiments or other experiences with the tool, an outline of missing features and other future work, and the URL of the tool's website (see 2.); 2) a small website (referenced in the proposal) containing the URL of the screencast as well as the download link of the actual tool, together with clear installation instructions. The proposal should be submitted via EasyChair at http://www.easychair.org/conferences/?conf=icsmtool2013 The website do NOT need to be submitted via EasyChair, since their URL can be found via the proposal. If the tool is not available for download, the authors should clearly explain the rationale for this in the proposal. Each submission will be reviewed by at least 3 members of the tool demo PC. Major reviewing criteria are: relevance to the ICSM audience quality of the proposal novelty of the tool adherence to the tool demo guidelines Accepted demos will be allocated 4 pages in the conference proceedings. At least one author of each accepted demo must register and attend ICSM 2013 for the demo to be published in the proceedings. In addition, demonstrators will be expected to give a presentation that will be scheduled in the conference program. Demonstrators are expected to provide their own equipment. Please mention supplemental wishes (e.g., Internet access) in a seperate appendix in proposal, this appendix will NOT be included in proceedings. ================================ CHAIRS ================================ General Chair: Alexander Serebrenik, Eindhoven University of Technology, The Netherlands Program Co-chairs: Tom Mens, University of Mons, Belgium and Yann-Ga?l Gu?h?neuc, ?cole Polytechnique de Montr?al, Canada ERA Program Co-chairs: Romain Robbes, University of Chile, Chile and Bram Adams, ?cole Polytechnique de Montr?al, Canada Industry Track Chair: Joost Visser, Software Improvement Group in Amsterdam, The Netherlands Doctoral Symposium Co-chairs: Lori Pollock, University of Delaware, USA and Tibor Gyimothy, University of Szeged, Hungary Tools Track Co-chairs: Mark van den Brand, Eindhoven University of Technology, The Netherlands and Anthony Cleve, University of Namur, Belgium From dsp at iai.uni-bonn.de Fri May 31 17:42:42 2013 From: dsp at iai.uni-bonn.de (Daniel Speicher) Date: Fri, 31 May 2013 17:42:42 +0200 Subject: [fg-arc] [CFP] International Workshop on Software Knowledge (SKY2013) (Extended deadline) In-Reply-To: <7F0BA171E49D10449CAC4578409BB2603CC92D71@DUMBO.KR.INF.UC3M.ES> References: <7F0BA171E49D10449CAC4578409BB2603CC92D71@DUMBO.KR.INF.UC3M.ES> Message-ID: <51A8C4F2.1070104@iai.uni-bonn.de> *** apologies for cross-posting *** Call for papers - SKY'2013 4th International Workshop on Software Knowledge (SKY'2013) http://www.ic3k.org/SKY.aspx September 22, 2013 Vilamoura, Algarve, Portugal Hosted by IC3K'2013 ? The 5th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management Important Dates --------------- June 10, 2013: Full & Position Papers Submission (EXTENDED) June 24, 2013: Author Notification July 03, 2013: Final Paper Submission and Registration Sep. 22, 2013: Full day Workshop Organizers ---------- Iaakov Exman JCE ? The Jerusalem College of Engineering Software Engineering Department POB 3566, Jerusalem, 91035, Israel e-mail: iaakov at jce.ac.il Juan Llorens Carlos III of Madrid University (Spain) Computer Science Department e-mail: llorens at kr.uc3m.es Anabel Fraga Carlos III of Madrid University (Spain) Computer Science Department e-mail: afraga at kr.uc3m.es Scope ----- ?Software Knowledge? ? in short SKY ? means that software in its higher abstraction levels is a new kind of knowledge, Runnable knowledge. Thus, the classes and relationships of a software UML diagram are easily viewed as the classes and relationships of a knowledge ontology. For further details visit SoftwareKnowledge.org. The main theme of the SKY2013 Workshop is Software Systems Knowledge. We mean that time is ripe to investigate the promising implications of Software Knowledge ideas to real life and large software systems. The Workshop main objective is to discuss and propose practical tools to deal not only with experimental and laboratory research, but to actually facilitate transition into industrial grade and production software systems. Topics of Interest ------------------ Software Knowledge is a runnable expression of meaning. Running facilitates understanding in a very general sense. This is the rationale for the debugging process in a micro scale, where one runs and breaks at desired points to understand the reason of software failures. This is the basis of agile methods to manufacture and test concurrently, in a medium scale. This is the possible source of great new tools, in a macro scale, from the software hierarchy highest abstraction levels down to executable code. SKY2013 topics of relevance include but are not limited to: Software-Knowledge Hierarchy, Tools and Operations Software-Knowledge Hierarchy for Large Scale Systems Abstract Operations for Industrial Applications Software-Knowledge selectivity and traceability Software-Knowledge Sharing: Meta-models, interchange formats, and tools Knowledge Driven Architecture and Engineering Software-Knowledge Runnability and Meaning Ontologies in complex systems Semantics above and beyond design patterns Runnable and testable knowledge representations Software-Knowledge representation and modeling Web dynamics and interestingness Review Process and Publication ------------------------------ Submitted papers will be subject to a double-blind review process. All accepted papers will be published in the workshop proceedings, under an ISBN reference, on paper and on CD-ROM support. A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer-Verlag in a CCIS Series book. The proceedings will be submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP and EI (Elsevier Index). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). SCITEPRESS is member of CrossRef (http://www.crossref.org/). For more details, please take a look at the workshop website available at http://www.ic3k.org/SKY.aspx -- Daniel Speicher University of Bonn +49 (0228) 73-4315 Institute of Computer Science III dsp at iai.uni-bonn.de Roemerstrasse 164 http://sewiki.iai.uni-bonn.de/dsp D-53117 Bonn