From wortmann at se-rwth.de Fri Mar 1 08:32:32 2019 From: wortmann at se-rwth.de (Andreas Wortmann) Date: Fri, 1 Mar 2019 08:32:32 +0100 Subject: [fg-arc] MODELS 2019 tutorial proposal submission due in two weeks Message-ID: [Our apologies for multiple posts] ************************************************************** MODELS 2019 - Call for Tutorial Proposals ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems 15-20 September 2019 Munich, Germany http://www.modelsconference.org/ *************************************************************** Following the tradition of previous conferences, MODELS 2019 will host tutorials as part of its satellite events on September 15 to 17, 2019. Tutorials provide intensive courses on topics in the area of model-based software and systems engineering ranging from modeling methodologies and research methods through new modeling tools and technologies to thoughts on the past, current, and future development of the modeling discipline. --------------------- Important Dates --------------------- - Tutorial proposal submission: March 16, 2019, Anywhere on Earth (i.e. UTC-12) - Notification: April 16, 2019 - Tutorials: September 15-17, 2019 --------------------- Audience --------------------- Tutorials target an audience of practitioners, researchers (academic and industrial), students, and developers familiar with, and already working with, modeling techniques. The target audience typically has a strong interest in Model-Driven Engineering (MDE), including work on improving and evolving modeling languages (such as UML or DSLs), developing sophisticated MDE tool support, and using MDE to develop / test / reverse / maintain complex systems. Potential attendees may also be interested in how modeling has been applied effectively in specialized domains (e.g., in the automotive industry), and in learning about successful uses of MDE methods in real-world applications. --------------------- Topics --------------------- The following themes are examples of what is considered relevant for tutorials: - Modeling techniques for specific domains (e.g., automobile, cyber-physical and hybrid systems, Industry 4.0, Internet of Things, ...) - Modeling methodologies and model-oriented processes (e.g., for agile modeling or modeling at scale) - AI in modeling (including search*based approaches, machine learning, planning, or flexible modeling) - Presentation of new tools or new versions of old tools (e.g., modeling tools, language workbenches, model transformation languages, model verification tools, model execution tools) - Dissemination of project results from industry-related projects - Teaching of model-driven software development - Research methods in MD* (Model-Driven Development (MDD), Model Driven Engineering (MDE), Model Driven Software Development (MDSD), etc.) - Modeling for re-engineering and legacy evolution - Empirical studies in the context of modeling - User experience in model-based software engineering - Practical experiences of general interest - General topics of interest to young researchers, like presentation skills or research methodologies Tutorials are intended to provide independent instructions on a topic of relevance to the audience described above. Therefore, no sales-oriented presentations will be accepted. Tutorials relating to commercial tools or involving the use of commercial tools may be accepted but will be subject to closer scrutiny, including possible approval of presentation slides. Potential presenters should keep in mind that there may be quite a varied audience, including novice graduate students, seasoned practitioners, and specialized researchers. Tutorial speakers should be prepared to cope with this diversity. --------------------- Proposal Contents --------------------- All submissions must be in English and adhere to the IEEE formatting instructions (https://www.ieee.org/conferences_events/conferences/publishing/templates.html). The submission must include the following information in the indicated order: - Title - Presenters: Name, affiliation, contact information, and short bio. - Authors of the proposal or tutorial material, who are not going to be presenting, may be listed, but must be listed last with a footnote “Author only; will not be presenting”. - Abstract (maximum of 200 words) - If accepted, the abstract will be used to advertise the tutorial. Thus, the abstract should clearly highlight the goals of the tutorial and the skills that participants will acquire. - Keywords (at least 5 keywords) - Proposed length: half-day (3 hours) or full-day (6 hours) - Regular tutorials should be set up as half-day tutorials (3 hours). A proposal for a full-day tutorial (6 hours) must be accompanied by a clear justification of why 6 hours are necessary. - Level of the tutorial: beginner/introduction or advanced - Target audience and any prerequisite background required by attendees to be able to follow the tutorial (beyond average modeling skills) - Description of the tutorial and intended outline (maximum of 4 pages) - Novelty of the tutorial - List offerings of similar tutorials at previous editions of the MODELS conference or other conferences, and discuss the differences with respect to the current proposal - Required infrastructure - Declare any infrastructure that you would need for your tutorial besides a data projector (e.g., flip charts, whiteboards). We will do our best together with the local organizers to provide you with the needed infrastructure - Sample slides (minimum of 6 slides, maximum of 25 slides) - Supplementary material (optional) --------------------- Submission Guidelines --------------------- Proposals must be submitted electronically in PDF format through the MODELS 2019 Tutorials EasyChair submission page at https://easychair.org/conferences/?conf=models2019; Select category “Tutorials”, by March 16, 2019 AoE. This is a hard deadline. No extensions will be allowed. --------------------- Review Process --------------------- The Tutorials Selection Committee will review each submitted proposal to ensure high quality, and select tutorials based on their anticipated benefit for prospective participants and their fit within the tutorial program as a whole. Factors to be considered also include: relevance, timeliness, importance, and audience appeal; effectiveness of teaching methods; and past experience and qualifications of the instructors. The goal will be to provide a diverse set of tutorials that attracts a high level of interest among broad segments of the MODELS participants. --------------------- Compensation --------------------- As in previous years, participants will pay a single satellite fee, which will cover both tutorials and workshops. This permits unifying the treatment of workshops and tutorials, and it makes tutorials more attractive to attendees. Under this scheme, tutorial presenters will not receive monetary compensation and will have to pay their own registration to the satellite events. By submitting a tutorial proposal, the presenter accepts that there will be no compensation for giving the tutorial if accepted and that the registration fees for the instructors have to be funded by the instructors themselves. The benefit to the presenter is the opportunity to extend their sphere of influence to the MODELS community. --------------------- Selection Committee --------------------- - Colin Atkinson, University of Mannheim (Germany) - Loli Burgueño, Open University of Catalonia (Barcelona, Spain) & CEA List (Paris, France) - Thomas Degueule, Centrum Wiskunde & Informatica (The Netherlands) - Juergen Dingel, Queen's University (Canada) - Michalis Famelis, Université de Montréal (Canada) - Esther Guerra, Universidad Autónoma de Madrid (Spain) - Regina Hebig, Chalmers | Gothenburg University (Sweden) - Emilio Insfran, Universitat Politècnica de València (Spain) - Harald König, FHDW Hannover (Germany) - Levi Lucio, Fortiss (Germany) - Richard Paige, McMaster University (Canada) and the University of York (UK) - Ernesto Posse, Zeligsoft (Canada) - Jan Oliver Ringert, University of Leicester (UK) - Bran Selic, Malina Software Corp. (Canada) - Arnor Solberg, Tellu (Norway) - Gabriele Taentzer, Philipps-Universität Marburg (Germany) - Antonio Vallecillo, Universidad de Málaga (Spain) --------------------- Tutorials Co-Chairs --------------------- - Ruth Breu, Universität Innsbruck (Austria) - Andreas Wortmann, RWTH Aachen University (Germany) For further information, please contact the tutorial chairs at models-tutorials at lists.rwth-aachen.de. -- ----------------------------------------------------------------------------------------------------------------- Dr. Andreas Wortmann | Software Engineering Ahornstr. 55, 52074 Aachen, Germany | RWTH Aachen University Phone +49 (241) 80-21346 / Fax -22218 | http://www.se-rwth.de From rmcouto at outlook.pt Fri Mar 1 15:10:44 2019 From: rmcouto at outlook.pt (rui couto) Date: Fri, 1 Mar 2019 14:10:44 +0000 Subject: [fg-arc] EICS 2019 joined call for Late-Breaking Results, Tech Notes, Tutorials, and Doctoral Consortium Submissions (Deadline: March 18, 2019) Message-ID: (Apologies for cross posting) EICS 2019 joined call for Late-Breaking Results, Tech Notes, Tutorials, and Doctoral Consortium Submissions (Deadline: March 18, 2019) EICS 2019: The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 18-21 June, 2019 - Valencia, Spain EICS 2019 is the eleventh international conference devoted to engineering usable and effective interactive computing systems. Work presented at EICS covers the full range of aspects that come into play when "engineering" interactive systems, such as innovations in the design, development, deployment, verification and validation of interactive systems. Topics of interest include the design and development of systems incorporating new interaction techniques and multimodal interaction, multi-user, multi-device/screen, multi-environment interaction, mobile and pervasive systems, large-scale and big data applications, deployment of interactive systems, as well as novel development methods and processes for improving the development of interactive systems. EICS 2019 focuses on models, languages, notations, methods, techniques and tools that support designing and developing interactive systems. The Conference brings together people who study or practice the engineering of interactive systems, drawing from HCI, Software Engineering, Requirements Engineering, Conceptual Modelling, CSCW, Ubiquitous / Pervasive Systems. ------------------------------------------------------------------------ Late-Breaking Results Submissions Late-Breaking Results describe preliminary results of ongoing research or incremental work that present new ideas, concepts, systems or approaches. LBR will be published in the conference's companion proceedings as 6 page papers. Those proceedings will be available in the ACM DL. LBR are intended for eliciting useful feedback on early-stage or incremental work, that can benefit from discussions with colleagues in the EICS community. We welcome papers that are suitable for demonstration at the conference and supplementary video showing the system in action is encouraged. LBR are published as a paper in the standard ACM SIGCHI format of maximum 6 pages (including references). LBR submissions need to be anonymized. ------------------------------------------------------------------------ Tech Notes Submissions We are delighted to announce a new “Tech Notes” track that focuses on strong technical engineering contributions. EICS Tech Notes are 6-page papers that focus specifically on system contributions and technical work, including (but not limited to): Infrastructures and architectures (high-level toolkits, frameworks, networking infrastructures, the big systems picture) Technical realizations of specific interaction techniques (e.g., sensing & recognition, computer vision implementations, rendering pipelines) Engineering of physical interactive systems (e.g., toolkits for physical computing or fabrication, hacking or modding of machinery for interactive purposes) Computational constructs (e.g., optimization methods, mathematical modelling of HCI systems, model-driven UI design) Specification and verification (e.g. language representations for HCI, formal approaches, optimization methods, semantic models, testing / checking interactive systems) Tech Notes submissions should not be anonymous. ------------------------------------------------------------------------ Tutorials Submissions EICS'19 invites proposals for tutorials on challenging topics of interactive systems engineering. Tutorials should aim at offering new insights, knowledge, and skills to managers, teachers, researchers, and students to explore innovative trends and to learn new techniques from experts in the field. Tutorials are intended to provide a broad overview of a topic beyond a regular paper presentation. Potential presenters should keep in mind that there may be quite a varied audience, including novice graduate students, seasoned practitioners, and specialized researchers. Each tutorial proposal will be evaluated on its anticipated benefit for prospective participants and its fit within the tutorial program as a whole. Other factors to be considered include relevance to practice and to research, timeliness, importance, and audience appeal, as well as past experience and qualifications of the instructors. The proposal should include a two-page description of the proposed tutorial, accompanied by additional information on the proposers' background and three sample slides from the presentation that you would give if your tutorial were accepted. Tutorials submissions should not be anonymous. ------------------------------------------------------------------------ Doctoral Consortium Submissions The Doctoral Consortium (DC) provides an opportunity for PhD students to present their research goals as well as intermediate results and to discuss them with leading experts in the field as well as with peers. The goals of the Doctoral Consortium are: To provide fruitful feedback and advice to the selected PhD students on their research project To provide the opportunity to meet experts To interact with other PhD students and stimulate an exchange of ideas and suggestions among participants Students can be in intermediate or advanced stages of their research, but should not have completed their work yet, and should thus still be able to take feedback from the Consortium into account. A submission consists of a short paper (max 4 pages ACM Extended Abstract Format, references excluded), and a free-form CV of the PhD candidate. Doctoral Consortium submissions should not be anonymous. ------------------------------------------------------------------------ Submissions deadline: March 18, 2019 (5PM CET) Notifications: April 22, 2019 Submissions can be done through http://new.precisionconference.com Further information can be found on the web site: https://eics.acm.org/2019/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Mon Mar 4 09:53:49 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 4 Mar 2019 10:53:49 +0200 Subject: [fg-arc] The 27th ACM Conference on User Modeling, Adaptation and Personalization (UMAP 2019): Last Call for Demos and Late Breaking Results Message-ID: *** LAST CALL FOR DEMOS AND LATE BREAKING RESULTS *** 27th ACM International Conference on User Modeling, Adaptation and Personalization (ACM UMAP 2019) Golden Bay Beach Hotel 5*, Larnaca, Cyprus, June 9-12, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IExhc3QgQ2FsbCBmb3IgRGVtb3MgYW5kIExhdGUgQnJlYWtpbmcgUmVzdWx0cwkzNjMJTGlzdHMJMTQ5CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.um.org%2Fumap2019%2F Submissions due: March 16, 2019 ACM UMAP - User Modelling, Adaptation and Personalization is the premier international conference for researchers and practitioners working on systems that adapt to individual users, to groups of users, and that collect, represent, and model user information. ACM UMAP 2019 invites Demonstrations and Late-Breaking Results (LBR) papers of innovative UMAP-based systems (including research prototypes). You are encouraged to submit your Demo or LBR by March 16th 2019. DEMONSTRATIONS Demonstrations will showcase research prototypes and commercially available products in a dedicated session. Demo submissions must be based on an implemented and tested system that pursues one or more innovative ideas in the interest areas of the conference. Demonstrations are an excellent and exciting way to showcase implementations and to get valuable feedback from the community. Each demo submission must make clear which aspects of the system will be demonstrated, and how. To better identify the value of demos, we also encourage authors to submit a pointer to a screencast (max. 5 minutes on Vimeo or YouTube) or to any external material related to the demo (e.g., shared code on GitHub). Descriptions of demonstrations should have a length of max. 2 pages in the ACM SIG proceedings template. On an extra page (not to be published), submissions should include a specification of the technical requirements for demonstrating the system at UMAP 2019. LATE-BREAKING RESULTS Late-Breaking Results (LBR) are research-in-progress that must contain original and unpublished accounts of innovative research ideas, preliminary results, industry showcases, and system prototypes, addressing both the theory and practice of User Modeling, Adaptation and Personalization. In addition, papers introducing recently started research projects or summarizing project results are welcome as well. We encourage researchers and practitioners to submit a late-breaking work as it provides a unique opportunity for sharing valuable ideas, eliciting useful feedback on early-stage work, and fostering discussions and collaborations among colleagues. Late-Breaking Results papers have a length of 4 to 6 pages in the ACM SIG proceedings template and will be presented to the conference as posters. SUBMISSION AND REVIEW PROCESS Submissions (demos and late-breaking results) must adhere to the ACM SIG Standard (SIGCONF) proceedings template. A template can be found at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IExhc3QgQ2FsbCBmb3IgRGVtb3MgYW5kIExhdGUgQnJlYWtpbmcgUmVzdWx0cwkzNjMJTGlzdHMJMTQ5CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template . Submit your papers in PDF format via EasyChair for ACM UMAP 2019 Demos and Late-Breaking Results at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IExhc3QgQ2FsbCBmb3IgRGVtb3MgYW5kIExhdGUgQnJlYWtpbmcgUmVzdWx0cwkzNjMJTGlzdHMJMTQ5CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dumap2019_demo-lbr . The review process will be single blinded, i.e. authors' names should be included in the papers. Submissions will be reviewed by at least two independent reviewers. They will be assessed based on their originality and novelty, potential contribution to the research field, potential impact in particular use cases, and the usefulness of presented experiences, as well as their overall readability. Papers that exceed the page limits (2 pages for demos and 6 pages for LBR) or do not adhere to the formatting guidelines will be returned without review. IMPORTANT DATES · Submission of demos and LBR papers: March 16th, 2019 · Notification of acceptance: April 5th, 2019 · Camera-ready versions of accepted papers: April 15th, 2019 Note: The submissions times are 11:59 pm Anywhere on Earth. PUBLICATION AND PRESENTATION Accepted Demo and Late Breaking Results papers will be published in the ACM UMAP 2019 Adjunct Proceedings in the ACM Digital Library. All categories will be presented at the poster reception of the conference, in the form of a poster and/or a software demonstration following poster format. This form of presentation will provide presenters with an opportunity to obtain direct feedback about their work from a wide audience during the conference. At least one author of each accepted paper must register for the conference and present the paper there. LATE-BREAKING RESULTS AND DEMO CHAIRS · Styliani Kleanthous, University of Cyprus, Cyprus & RISE LIMITED, Cyprus (Contact: stellak AT ucy.ac.cy) · Maria Bielikova, Slovak University of Technology Bratislava, Slovakia · Ben Steichen, California State Polytechnic University, Pomona, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From cfp at mat.unical.it Sat Mar 2 20:24:21 2019 From: cfp at mat.unical.it (cfp at mat.unical.it) Date: Sat, 2 Mar 2019 20:24:21 +0100 Subject: [fg-arc] JELIA 2019 - Call For Participation Message-ID: <1e970ada1112e5bb994285a3eea02b13.squirrel@www.mat.unical.it> [apologies for multiple copies] Registration to JELIA 2019 is now open! Deadline for early registration is March 31st, 2019. == REGISTRATION == Registration is open: Early registration deadline is March 31, 2019. At least one author of each accepted paper must get registered by March 25. Student registration and separate tickets for social events are available. For more information, visit: https://jelia2019.mat.unical.it/registration == VENUE, TRAVEL AND ACCOMMODATION == JELIA 2019 will take place at the University Club of University of Calabria, Rende, Italy, in the urban area of Cosenza, at the heart of the beautiful region of Calabria, Southern Italy; have a look at the gallery here: https://jelia2019.mat.unical.it/venue/gallery Special hotel rates are available for conference attendees. Please find related information and useful direction at https://jelia2019.mat.unical.it/venue/travel-and-lodging == INVITED SPEAKERS == JELIA 2019 features two main keynotes: - Georg GOTTLOB (https://www.cs.ox.ac.uk/people/georg.gottlob/) - Henri PRADE (https://www.irit.fr/~Henri.Prade/) (see https://jelia2019.mat.unical.it/invited-speakers for details) == PROGRAM == Conference program can be found at: https://jelia2019.mat.unical.it/program == OTHER EVENTS == - Welcome party on May 7th night. - A dedicated ceremony for Awards and Prizes. - A guided tour on the beautiful Calabrian seaside, including the social dinner. - An engaging Public Event: “Intelligenza Artificiale: etica, opportunità, insidie": a disseminative panel discussion (mostly in Italian) open to the general public and featuring top-notch scientists, journalists and industry leaders. To be held on Saturday 11th, 2019. == JELIA 2019 CONFERENCE == The 16th edition of the European Conference on Logics in Artificial Intelligence will take place from May 7 to 11 in Cosenza, organised by the Department of Mathemathics and Computer Science of University of Calabria. Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in Artificial Intelligence. With the depth and maturity of formalisms, methodologies, and logic-based systems today, this claim is stronger than ever. The European Conference on Logics in Artificial Intelligence (or Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with proceedings published in the Springer-Verlag series Lecture Notes in Artificial Intelligence. Previous meetings took place in Roscoff, France (1988), Amsterdam, Netherlands (1990), Berlin, Germany (1992), York, UK (1994), Évora, Portugal (1996), Dagstuhl, Germany (1998), Málaga, Spain (2000), Cosenza, Italy (2002), Lisbon, Portugal (2004), Liverpool, UK (2006), Dresden, Germany (2008), Helsinki, Finland (2010), Toulouse, France (2012), Madeira, Portugal (2014), Larnaca, Cyprus (2016). The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence. Website: https://jelia2019.mat.unical.it/ == COMMITTEES == General Chair * Nicola Leone (University of Calabria) Program Chairs * Francesco Calimeri (University of Calabria) * Marco Manna (University of Calabria) Organization Chairs * Carmine Dodaro (University of Genova) * Valeria Fionda (University of Calabria) Publicity and Finance Chair * Simona Perri (University of Calabria) Program Committee * Mario Alviano (University of Calabria) * Carlos Areces (Universidad Nacional de Córdoba) * Franz Baader (Technische Universität Dresden) * Peter Baumgartner (CSIRO) * Salem Benferhat (CNRS, Université d'Artois) * Meghyn Bienvenu (CNRS, University of Bordeaux) * Alexander Bochman (Holon Institute of Technology) * Gerhard Brewka (Universität Leipzig) * Pedro Cabalar (Universidade da Coruña) * Marco Calautti (The University of Edinburgh) * David Carral (Technische Universität Dresden) * Giovanni Casini (Université du Luxembourg) * Cristina Civili (Samsung R&D Institute United Kingdom) * Mehdi Dastani (Utrecht University) * James Delgrande (Simon Fraser University) * Ulle Endriss (Universiteit van Amsterdam) * Wolfgang Faber (Alpen-Adria-Universität Klagenfurt) * Luis Farinas Del Cerro (CNRS) * Eduardo Fermé (Universidade da Madeira) * Michael Fisher (University of Liverpool) * Michael Gelfond (Texas Tech University) * Laura Giordano (Università del Piemonte Orientale) * Lluis Godo (IIIA-CSIC) * Tomi Janhunen (Aalto University) * Gabriele Kern-Isberner (Technische Universitaet Dortmund) * Roman Kontchakov (University of London) * Jérôme Lang (CNRS, Université Paris-Dauphine) * Joohyung Lee (Arizona State University) * Joao Leite (Universidade NOVA de Lisboa) * Vladimir Lifschitz (University of Texas at Austin) * Thomas Lukasiewicz (University of Oxford) * Marco Maratea (University of Genova) * Jerzy Marcinkowski (Uniwersytet Wrocławski) * Pierre Marquis (CNRS, Université d'Artois) * Thomas Meyer (CAIR, University of Cape Town) * Angelo Montanari (University of Udine) * Michael Morak (Technische Universität Wien) * Manuel Ojeda-Aciego (University of Malaga) * Magdalena Ortiz (Technische Universität Wien) * David Pearce (Universidad Politécnica de Madrid) * Rafael Peñaloza (Free University of Bozen) * Luís Moniz Pereira (Universidade Nova de Lisboa) * Andreas Pieris (University of Edinburgh) * Henri Prade (CNRS, Université Paul Sabatier) * Francesco Ricca (University of Calabria) * Fabrizio Riguzzi (University of Ferrara) * Jussi Rintanen (Aalto University) * Uli Sattler (University of Manchester) * Mirek Truszczynski (University of Kentucky) * Toby Walsh (University of New South Wales) * Frank Wolter (University of Liverpool) * Stefan Woltran (Technische Universität Wien) From announce at cs.ucy.ac.cy Tue Mar 5 11:44:10 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 5 Mar 2019 12:44:10 +0200 Subject: [fg-arc] The 27th ACM Conference on User Modeling, Adaptation and Personalization (UMAP 2019): Last Call for Theory, Opinion and Reflection Papers Message-ID: *** LAST CALL FOR THEORY, OPINION AND REFLECTION PAPERS *** 27th ACM International Conference on User Modeling, Adaptation and Personalization (ACM UMAP 2019) Golden Bay Beach Hotel 5*, Larnaca, Cyprus, June 9-12, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IExhc3QgQ2FsbCBmb3IgVGhlb3J5LCBPcGluaW9uIGFuZCBSZWZsZWN0aW9uIFBhcGVycwkzNjUJTGlzdHMJMTQ5CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.um.org%2Fumap2019%2F Submissions due: March 16, 2019 ACM UMAP - User Modelling, Adaptation and Personalization is the premier international conference for researchers and practitioners working on systems that adapt to individual users, to groups of users, and that collect, represent, and model user information. Theory, Opinion and Reflection (TOR) are position papers that critically look at ongoing and emerging research topics, reflections on persistent or fleeting trends in the field and blue sky future ideas for UMAP research. They offer an opportunity for discussing thought-provoking work relevant to the UMAP community, albeit they are not yet ready to be published as a full length research papers at a refereed conference. They should be of sufficient quality and relevance to the UMAP community and demonstrate the ability to spur discussion and debate on the future course of the UMAP research. The presentations will be in the form of a 10 minute pitch in a plenary conference session, just before a break. The presenters will present the topic and raise relevant questions to stimulate discussion during the breaks. Submissions should have a maximum length of 4 pages in the ACM SIG proceedings template. SUBMISSION AND REVIEW PROCESS Submissions must adhere to the ACM SIG Standard (SIGCONF) proceedings template. A template can be found at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IExhc3QgQ2FsbCBmb3IgVGhlb3J5LCBPcGluaW9uIGFuZCBSZWZsZWN0aW9uIFBhcGVycwkzNjUJTGlzdHMJMTQ5CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template. Submit your papers in PDF format via EasyChair for UMAP 2019 TOR at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IExhc3QgQ2FsbCBmb3IgVGhlb3J5LCBPcGluaW9uIGFuZCBSZWZsZWN0aW9uIFBhcGVycwkzNjUJTGlzdHMJMTQ5CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dumap2019tor. The review process will be single blinded, i.e. authors' names should be included in the papers. Submissions will be reviewed by at least two independent reviewers. They will be assessed based on their originality and novelty, potential to stimulate discussion on important research questions, potential contribution to UMAP research and practice, potential impact in particular use cases, as well as their overall readability. Papers that exceed the page limits (4 pages for TOR) or do not adhere to the formatting guidelines will be returned without review. IMPORTANT DATES · Submission of TOR papers: March 16th, 2019 · Notification of acceptance: April 5th, 2019 · Camera-ready versions of accepted papers: April 15th, 2019 Note: The submissions times are 11:59 pm Anywhere on Earth. PUBLICATION AND PRESENTATION Accepted Theory, Opinion and Reflection papers will be published in the ACM UMAP 2019 Adjunct Proceedings in the ACM Digital Library. All categories will be presented at the poster reception of the conference, in the form of a poster and/or a software demonstration following poster format. This form of presentation will provide presenters with an opportunity to obtain direct feedback about their work from a wide audience during the conference. At least one author of each accepted paper must register for the conference and present the paper there. THEORY, OPINION AND REFLECTION PAPERS CHAIRS · Jan-Geert Houben, Delft University, The Netherlands (g.j.p.m.houben AT tudelft.nl) · Bamshad Mobasher, DePaul University, USA (mobasher AT cs.depaul.edu) -------------- next part -------------- An HTML attachment was scrubbed... URL: From apvereda at uma.es Tue Mar 5 13:58:05 2019 From: apvereda at uma.es (=?utf-8?Q?Alejandro=20Perez=20Vereda?=) Date: Tue, 5 Mar 2019 12:58:05 +0000 Subject: [fg-arc] =?utf-8?q?FOCLASA_2019_-_CFP?= Message-ID: <9b6934846f06d860c185471e4.677bd6e3f0.20190305125801.837f9e89b3.04193f33@mail123.sea91.rsgsv.net> Foclasa 2019 Invite and Call for Papers ** FOCLASA 2019 ------------------------------------------------------------ 17th International Workshop on Orchestration, Coordination Languages and Self-Adaptive Systems Oslo, Norway September 17, 2019 https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=0403a82f57&e=677bd6e3f0 ------------------------------------------------------------ PUBLICATIONS * Publication of the proceedings in the Lecture Notes of Computer Science of Springer-Verlag, following the collective volumes published by SEFM 2019 * Publication of extended version of selected work is planned in a special issue of an international journal as in previous editions of FOCLASA ------------------------------------------------------------ IMPORTANT DATES * Submission of abstract: June 9, 2019 * Submission of papers: June 16, 2019 * Notification of acceptance: July 21, 2019 * Final version: July 31, 2019 * Workshop: September 17, 2019 ------------------------------------------------------------ WORKSHOP GOALS Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and stand-alone (micro)services. Service coordination, service orchestration and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Theoretical/practical approaches to modelling and reasoning about (self-)adaptive behaviour help to simplify the development of complex distributed systems, enable their validation and evaluation, and improve interoperability, reusability and maintainability of such systems. The goal of the FOCLASA workshop is to gather researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general novel solutions. ------------------------------------------------------------ Topics of interest include (but are not limited to) both theoretical and practical solutions for what follows: * Coordination, orchestration, composition and adaptation of components, services or microservices. * Business processes and concurrent system modelling. * Languages and models for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * Cloud/fog/edge computing, and large-scale distributed systems. * Dynamic software architectures, self-adaptive, self-monitoring and self-organizing systems. * Peer-to-peer and multi-agent systems, and blockchains. * QoS observation, storage, history-based analysis in self-adaptive systems. ------------------------------------------------------------ PROCEEDINGS The conference proceedings will be published by Springer, in the Lecture Notes in Computer Science (LNCS) series. Extended versions of a selection of the best papers is planned to be published in a special issue of an international journal as in previous editions of FOCLASA. ------------------------------------------------------------ SUBMISSION INSTRUCTIONS Papers must be submitted electronically in PostScript or PDF by using a two-phase online submission process. Registration of information and and abstract (max. 250 words) of papers must be completed before June 9, 2019. Final submission of papers is due no later than June 16, 2019. All submissions will be handled through the EasyChair conference management system, accessible from the conference web site: https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=bdd6b3f3ba&e=677bd6e3f0 Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere. Full papers should be 15 pages long, including figures and references, and prepared by using Springer's LNCS style. Short papers (8 pages long) describing preliminary results or work-in-progress are encouraged as well. Submissions not adhering to the above specified constraints may be rejected without any review. Papers should be submitted as PDF via EasyChair. ------------------------------------------------------------ PROGRAM COMMITTEE Co-Chairs Ernesto Pimentel University of Malaga, Spain epimentel at uma.es https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=47d859ad47&e=677bd6e3f0 Jacopo Soldani University of Pisa, Italy soldani at di.unipi.it https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=77dbf4f7c4&e=677bd6e3f0 Members * Farhad Arbab, CWI, The Netherlands * Simon Bliudze, INRIA Lille - Nord Europe, France * Uwe Breitenbücher, University of Stuttgart, Germany * Antonio Brogi, University of Pisa, Italy * Javier Cámara, Carnegie Mellon University, USA * Flavio De Paoli, University of Milano Bicocca, Italy * Francisco J. Durán, Universidad de Malaga, Spain * Erik de Vink, Eindhoven University of Technology, The Netherlands * Schahram Dustdar, TU Wien, Austria * Nahla El-Araby, Vienna University of Technology, Austria (TBC) * Jean-Marie Jacquet, University of Namur, Belgium * Einar Broch Johnsen, University of Oslo, Norway * Alberto Lluch Lafuente, Technical University of Denmark, Denmark * Sun Meng, Peking University, China * Fabrizio Montesi, University of Southern Denmark, Denmark (TBC) * Hernan C. Melgratti, University of Buenos Aires, Argentina * Cesare Pautasso, University of Lugano, Switzerland (TBC) * Pascal Poizat, Universite Paris Ouest, France * Jose Proenca, INESC TEC & Universidade do Minho, Portugal * Gwen Salaün, University of Grenoble, France * Marjan Sirjani, Reykjavik University, Iceland * Emilio Tuosto, University of Leicester, UK * Mirko Viroli, University of Bologna, Italy * Lina Ye, CentraleSupelec, France ============================================================ Copyright © 2019 FOCLASA Workshop, All rights reserved. If you do not want to receive more email from here ** unsubscribe from this list (https://unipi.us20.list-manage.com/unsubscribe?u=9b6934846f06d860c185471e4&id=3aefc5abde&e=677bd6e3f0&c=837f9e89b3) . Email Marketing Powered by Mailchimp http://www.mailchimp.com/monkey-rewards/?utm_source=freemium_newsletter&utm_medium=email&utm_campaign=monkey_rewards&aid=9b6934846f06d860c185471e4&afl=1 -------------- next part -------------- An HTML attachment was scrubbed... URL: From ecl.drexel at gmail.com Tue Mar 5 15:58:46 2019 From: ecl.drexel at gmail.com (Emily LeBlanc) Date: Tue, 5 Mar 2019 09:58:46 -0500 Subject: [fg-arc] CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) Message-ID: [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] CALL FOR PAPERS *** CAUSAL 2019 *** (June 3 or 4, 2019) Workshop on Causal Reasoning and Explanation in Logic Programming CAUSAL 2019 is a workshop co-located with LPNMR 2019 in Philadelphia, PA (USA). https://sites.google.com/view/causal-2019/ CAUSAL 2019 IMPORTANT DATES ----------------------- * Paper submission: April 15th 2019 * Notification: May 2nd 2019 * Final Versions: May 26th 2019 * Workshop Date: June 3rd or 4th 2019 ------------------------ Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about and understanding causality enables us to identify how an outcome of interest came to be and gives us insight into how to bring about, or even prevent, similar outcomes in future scenarios. This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Diagnosis, Natural Language Processing and Understanding). An important expected outcome of this workshop is to collect first-hand feedback from the LPNMR community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry. TOPICS ------ Topics of interests include (but are not limited to): * Modeling causal theories in logic programming * Formalization of types of causes: sufficient, necessary, actual, etc * Causality, temporal reasoning and action theories * Causality and counterfactual reasoning * Causality, learning and experimental design * Causality and probability * Causality and equivalence * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages. https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Please submit your paper via EasyChair: https://easychair.org/cfp/CAUSAL2019 At least one co-author of each accepted paper must register for and attend the workshop. Please check the LPNMR 2019 website for registration procedure and fees. https://sites.sju.edu/plw/lpnmr-2019/ ORGANIZERS ---------- Emily LeBlanc, Drexel University, USA, ecl.drexel at gmail.com Joost Vennekens, KU Leuven, Belgium Tran Cao Son, New Mexico State University, USA Pedro Cabalar, Corunna University, Spain Jorge Fandiño, Institut de Recherche en Informatique de Toulouse, France Marcello Balduccini, Saint Joseph's University, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From nevrenato at gmail.com Thu Mar 7 00:34:25 2019 From: nevrenato at gmail.com (Renato Neves) Date: Wed, 6 Mar 2019 23:34:25 +0000 Subject: [fg-arc] Second Dali Workshop: First Call for Papers Message-ID: <20190306233425.GA7141@RNPA41A2F.lan> Dynamic Logic: New Trends and Applications workshop.dali.di.uminho.pt First Call for Papers Porto, 9 October, 2019 (part of the 3rd World Congress on Formal Methods 2019) OVERVIEW Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. Support: PT-FLAD Chair & DaLi - POCI-01-0145-FEDER-016692 TOPICS Submissions are invited on the general field of dynamic logic, its variants and applications, including, but not restricted to Dynamic logic, foundations and applications Logics with regular modalities Modal/temporal/epistemic logics Kleene and action algebras and their variants Quantum dynamic logic Coalgebraic modal/dynamic logics Graded and fuzzy dynamic logics Dynamic logics for cyber-physical systems Dynamic epistemic logic Complexity and decidability of variants of dynamic logics and temporal logics Model checking, model generation and theorem proving for dynamic logics SUBMISSION AND PUBLICATION Original papers (unpublished and not submitted for publication elsewhere), up to 15 pages in LNCS style. As in the previous edition, post-proceedings will be published by Springer in a Lecture Notes of Computer Science volume, and a special issue with extended, revised contributions is planed. Submit via the EasyChair link https://easychair.org/conferences/?conf=dali2019 INVITED SPEAKER Dexter Kozen, Cornell University IMPORTANT DATES Paper Submission: June 14, 2019 Notification: July 19, 2019 Camera Ready: September 2, 2019 Workshop: October 9, 2019 PROGRAMME COMMITTEE Guillaume Aucher (IRISA, FR) Carlos Areces (U Cordoba, AR) Alexandru Baltag, (UvA, NL) - PC co-chair Luis S. Barbosa, (U Minho, PT) - PC co-chair Mario Benevides (UFRJ, BR) Johan van Benthem (U Stanford, USA) Patrick Blackburn, (U Roskilde, DK) Thomas Bolander (DTU, Denmark) Zoe Christoff (U Bayreuth, Germany) Fredrik Dahlqvist (UCL, UK) Hans van Ditmarsch (LORIA, Nancy, FR) Nina Gierasimczuk (DTU, Denmark) Valentin Goranko (U Stockholm, SE) Davide Grossi (U Groningen, NL) Reiner Hahle (TU Darmstadt, DE) Rolf Hennicker (LMU, Munchen, DE) Andreas Herzig (U Toulouse, FR) Dexter Kozen (Cornell, USA) Clemens Kupke (U Strathclyde, UK) Alexandre Madeira (U Aveiro, PT) Manuel A. Martins (U Aveiro, PT) Paulo Mateus (IST, PT) Stefan Mitsch (CMU, USA) Renato Neves (U Minho, PT) Valeria de Paiva (Nuance Comms, USA) Aybuke Ozgun (ILLC, NL) Fernando Velazquez-Quesada (ILLC, NL) Olivier Roy (U Bayreuth, DE) Lutz Schroeder (FAU, Erlangen-Nurenberg, DE) Alexandra Silva (UCL, UK) Sonja Smets (UvA, NL) Rui Soares Barbosa (U Oxford, UK) Tinko Tinchev (Sofia U, BG) Renata Wassermann (USP, BR) From jung.juergen at fb2.fra-uas.de Thu Mar 7 15:25:22 2019 From: jung.juergen at fb2.fra-uas.de (=?iso-8859-1?Q?J=FCrgen_Jung?=) Date: Thu, 7 Mar 2019 15:25:22 +0100 Subject: [fg-arc] CfP TEAR 2019, Paris, October 28th Message-ID: <027301d4d4f1$999f2e60$ccdd8b20$@fb2.fra-uas.de> *********************** Call for Papers 14th TEAR Workshop 2019 October 28-31, Paris, France *********************** The 14th TEAR workshop is organized in conjunction with IEEE EDOC 2019 , October 28-31, Paris, France. The international TEAR workshop series brings together Enterprise Architecture (EA) researchers from different research communities and provides a forum to present EA research results and to discuss future EA research directions. The field of Enterprise Architecture (EA) has gained considerable attention over the last years. EA significantly contributes to organizations’ need to adapt increasingly fast to changing customer requirements and business goals. This need influences the entire chain of activities of an enterprise, from business processes to IT support. Moreover, a change in one component of the overall architecture may influence many other components of the architecture. For example, when a new product is introduced, business processes for production, sales, and after-sales need to be adapted. It may be necessary to change applications, or even adapt the IT infrastructure. Each of these fields will have its own (partial) architectures. To keep the enterprise architecture coherent and aligned with the business goals, the relations between these different architectures must be explicit, and a change should be carried through in all architectures. In contrast to traditional architecture management approaches such as IT architecture, software architecture, or IS architecture, EA explicitly incorporates “pure” business-related artifacts in addition to traditional IS/IT artifacts. For Enterprise Architecture the focus is on the overall enterprise and concerns its organization, its components, the relationship between components, and principles governing its design and evolution. Submission Guidelines Papers should describe innovative and significant original research relevant to TEAR as described in the topics section. Papers submitted for consideration must not have been published elsewhere and must not be under review or submitted for review elsewhere during the duration of consideration. Workshop papers will be published in a second volume of the EDOC 2019 conference proceedings. All papers must be prepared in accordance with the IEEE double-column format (maximum 8 pages) and be submitted electronically (in PDF) via the submission website . All submissions should include title, authors, and full contact information. Detailed instructions for authors are available on the IEEE website . List of Topics Topics relevant for submissions include, but are not limited to, the following: * EA management and impact (e.g. drivers, governance, obstacles and measurement) * EA and decision-making (e.g. analysis, investigation and collaboration) * EA modelling (e.g. reference models, viewpoints, quality and tools) * EA and digitization (e.g. models, impact and digital transformation) * EA and related disciplines (e.g. BPM, project management and software engineering) * EA research approaches (methodologies and theories) * EA Cases and implementation (case studies and business cases) Important dates * Workshop paper submission: June 14, 2019 * Workshop papers acceptance notification: July 26, 2019 * Workshop camera-ready papers due: August 16, 2019 * Workshop session: October 28, 2019 Workshop co-chairs * Ulrike Steffens, HAW Hamburg, Germany * Jürgen Jung, Frankfurt University of Applied Sciences, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Sat Mar 9 00:23:19 2019 From: irdta at irdta.eu (IRDTA) Date: Sat, 09 Mar 2019 00:23:19 +0100 Subject: [fg-arc] AlCoB 2019: call for posters Message-ID: <545102060a010b0b095e520000055a545004005607555257520458020155530706560052565d530653030406065350@grlmc_ip-zone_com-6> AlCoB 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------------------------------------- The 6th International Conference on Algorithms for Computational Biology (AlCoB 2019) invites researchers to submit poster presentations. AlCoB 2019 will be held in Berkeley on May 28-30, 2019. See  http://alcob2019.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: April 21, 2019 Notification of poster acceptance or rejection: April 28, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2019 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2019. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2017 JCR impact factor: 2.428). REGISTRATION At least one author of each accepted poster must register to the conference by May 14, 2019. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- next part -------------- An HTML attachment was scrubbed... URL: From t.a.c.willemse at tue.nl Sat Mar 9 12:10:38 2019 From: t.a.c.willemse at tue.nl (Tim Willemse) Date: Sat, 9 Mar 2019 12:10:38 +0100 Subject: [fg-arc] CFP FMICS 2019: 24th International Conference on Formal Methods for Industrial Critical Systems Message-ID: Apologies for multiple postings. ------------------------------------------------ FMICS 2019: the 24th International Conference on Formal Methods for Industrial Critical Systems Co-located with CONCUR and FORMATS Aug 30-31, 2019, Amsterdam, The Netherlands https://fmics2019.fsa.win.tue.nl ------------------------------------------------ The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. Important Dates Abstract submission: 19 April 2019 Paper submission: 26 April 2019 Notifications: 5 June 2019 Camera ready: 19 June 2019 Conference: 30-31 August 2019 Topics Topics of interest include (but are not limited to): - Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. - Methods, techniques and tools to support automated analysis, certification, debugging, descriptions, learning, optimisation and transformation of complex, distributed, real-time, embedded, mobile and autonomous systems. - Verification and validation methods (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues). - Impact of the adoption of formal methods on the development process and associated costs. Application of formal methods in standardisation and industrial forums. Submission and Publication Papers must describe authors' original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Submissions should clearly motivate relevance to industrial application. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods) or provide specific motivation for further research and development. Papers should not exceed 15 pages (excluding max. 2 pages of references) formatted according to the LNCS style (Springer). All submissions will be reviewed by the Programme Committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Papers must be written in English and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: https://easychair.org/conferences/?conf=fmics2019 The conference proceedings will be published by Springer in their LNCS series. Committees ---------- Programme Chairs - Kim Larsen, Aalborg University - Tim Willemse, Eindhoven University of Technology Programme Committee (confirmed) - Bernhard Aichernig, TU Graz - Jiri Barnat, Masaryk University - Joerg Brauer, Verified Systems International GmbH - Ana Cavalcanti, University of York - Michael Fisher, University of Liverpool - Wan Fokkink, Vrije Universiteit Amsterdam - Maria-Del-Mar Gallardo, University of Malaga - Hubert Garavel, INRIA - Anne Haxthausen, Technical University of Denmark - Peter Höfner, CSIRO - Jozef Hooman, TNO-ESI/Radboud University Nijmegen - Falk Howar, Dortmund University of Technology/Fraunhofer ISST - Jeroen Keiren, Eindhoven University of Technology - Zhiming Liu, Southwest University - Tiziana Margaria, Lero - Peter Ölveczky, University of Oslo - Charles Pecheur, Université Catholique de Louvain - Matteo Rossi, Politecnico di Milano - Cristina Seceleanu, Mälardalen University - Scott Smolka, Stony Brook University - Maurice ter Beek, ISTI-CNR - Helen Treharne, University of Surrey - Jaco van de Pol, Aarhus University -- T.A.C. Willemse (T.A.C.Willemse at TUe.nl) +31 40 2472999 (voice) http://www.win.tue.nl/~timw http://www.linkedin.com/in/tacwillemse http://orcid.org/0000-0003-3049-7962 -- -------------- next part -------------- An HTML attachment was scrubbed... URL: From maurizio.leotta at unige.it Mon Mar 11 11:04:18 2019 From: maurizio.leotta at unige.it (Maurizio Leotta) Date: Mon, 11 Mar 2019 11:04:18 +0100 Subject: [fg-arc] School on Automated Functional and Security Testing of Web and Mobile Applications (GaSES 2019) - Genoa (Italy) May 13-16 Message-ID: <001301d4d7f1$cb9a1530$62ce3f90$@unige.it> ===== Call for Participation ===== GaSES 2019 3rd International Genoa Software Engineering School on “Automated Functional and Security Testing of Web and Mobile Applications” http://sepl.dibris.unige.it/GaSES2019/ We are pleased to announce GaSES 2019, the 3rd International Genoa Software Engineering School, to be held in Genoa (Italy) May 13-16, 2019. This year our goal is to bring together academic and industrial researchers along with PhD students to provide participants an opportunity to get first-hand knowledge from experts of recent research technologies in the field of Software Testing of Web and Mobile Applications with a particular emphasis on Functional and Security aspects. The school consists of four lectures: - End-to-End Testing of Web Applications (Filippo Ricca and Maurizio Leotta – University of Genoa, Italy) - Testing the UI of Mobile Apps (Marco Torchiano – Politecnico di Torino, Italy) - Search-based Test Case Generation, with Applications to Web Testing (Paolo Tonella – Università della Svizzera Italiana USI, Switzerland) - Security Testing of Web applications (Mariano Ceccato – FBK, Italy) and of laboratory sessions. Graduate students in Computer Science and Engineering, as well as postdoctoral fellows, young researchers and professionals, are welcome. Participants are required to register before 15 April 2019. We are now collecting expressions of interest, so please add your name to the list! Further information can be found on the webpage http://sepl.dibris.unige.it/GaSES2019/ The organizers Maurizio Leotta – maurizio.leotta at unige.it Filippo Ricca – filippo.ricca at unige.it From w.j.fokkink at vu.nl Mon Mar 11 17:08:41 2019 From: w.j.fokkink at vu.nl (Fokkink, W.J.) Date: Mon, 11 Mar 2019 16:08:41 +0000 Subject: [fg-arc] CONCUR 2019 final call for papers Message-ID: <63c25a056fae42cba51c003de3ad1fcb@vu.nl> ============================= CONCUR 2019 - Call for Papers ============================= https://event.cwi.nl/concur2019/ The 30th International Conference on Concurrency Theory Amsterdam, The Netherlands, 27-30 August 2019 The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. INVITED SPEAKERS Marta Kwiatkowska - University of Oxford (UK) Kim G. Larsen - Aalborg University (Denmark) Joel Ouaknine - Max Planck Institute for Software Systems (Germany) Jaco van de Pol - Aarhus University (Denmark) CO-LOCATED CONFERENCES 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019) 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019) CO-LOCATED WORKSHOPS 3rd International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS 2019) Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019) 2nd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2019) 4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019) 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019) 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019) IMPORTANT DATES All dates are AoE. Abstract submission: April 15, 2019 Paper submission: April 22, 2019 Notification: June 14, 2019 Camera ready copy: July 3, 2019 Conference: August 27-30, 2019 TOPICS Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to): Basic models of concurrency such as abstract machines, domain-theoretic models, game-theoretic models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, biology-inspired systems, and synchronous systems; Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis; Distributed algorithms and data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, protocols; Theoretical foundations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, communication networks, multiprocessor and multi-core architectures, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented. PAPER SUBMISSION CONCUR 2019 solicits high quality papers reporting research results and/or experience related to the topics mentioned below. All papers must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. The paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. The CONCUR 2019 proceedings will be published by LIPIcs. Papers must be submitted electronically as PDF files via EasyChair via https://www.easychair.org/conferences/?conf=concur2019 Papers must not exceed 14 pages (excluding references and clearly marked appendices) using the LIPIcs style. SPECIAL ISSUE A special issue dedicated to selected papers from CONCUR'2019 will appear in Logical Methods in Computer Science. ORGANIZATION COMMITTEE General Chair: Jos Baeten (CWI, Amsterdam, The Netherlands) Program Co-chairs: Wan Fokkink (Vrije Universiteit Amsterdam, The Netherlands) Rob van Glabbeek (Data61, CSIRO, Sydney, Australia) Workshop Chair: Bas Luttik (Eindhoven University of Technology, The Netherlands) PROGRAM COMMITTEE Christel Baier, TU Dresden (Germany) Jiri Barnat, Masaryk University, Brno (Czech Republic) Benedikt Bollig, CNRS, Paris (France) Borzoo Bonakdarpour, Iowa State University (USA) Ilaria Castellani, INRIA Sophia Antipolis (France) Taolue Chen, Birkbeck, University of London (UK) Rance Cleaveland, University of Maryland (USA) Yuxin Deng, East China Normal University, Shanghai (China) Josée Desharnais, Université Laval (Canada) Adrian Francalanza, University of Malta (Malta) Wan Fokkink (co-chair), Vrije Universiteit Amsterdam (The Netherlands) Ansgar Fehnker, University of Twente (The Netherlands) David de Frutos-Escrig, Universidad Complutense de Madrid (Spain) Yuxi Fu, Shanghai Jiao Tong University (China) Rob van Glabbeek (co-chair), CSIRO, Sydney (Australia) Alexey Gotsman, IMDEA Software Institute, Madrid (Spain) Radu Grosu, TU Wien (Austria) Ichiro Hasuo, National Institute of Informatics, Tokyo (Japan) Marieke Huisman, University of Twente (The Netherlands) Barbara König, University of Duisburg-Essen (Germany) Gerald Lüttgen, University of Bamberg (Germany) Bas Luttik, Eindhoven University of Technology (The Netherlands) Anca Muscholl, Université Bordeaux (France) Uwe Nestmann, TU Berlin (Germany) Jun Pang, University of Luxembourg (Luxembourg) Jean-François Raskin, Université Libre de Bruxelles (Belgium) Grigore Rosu, University of Illinois at Urbana-Champaign (USA) Jiri Srba, Aalborg University (Denmark) Simone Tini, University of Insubria (Italy) Frank Valencia, École Polytechnique de Paris (France) James Worrell, University of Oxford (UK) Gianluigi Zavattaro, University of Bologna (Italy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From sefm2019 at gmail.com Tue Mar 12 11:36:31 2019 From: sefm2019 at gmail.com (Lina Marsso) Date: Tue, 12 Mar 2019 11:36:31 +0100 Subject: [fg-arc] SEFM 2019 - Call for Papers Message-ID: -------------------------------------------------------------------- Second Call for Papers SEFM 2019 17th International Conference on Software Engineering and Formal Methods Oslo, Norway, September 16-20, 2019 http://sefm2019.inria.fr Twitter: @SEFM_conf --------------------------------------------------------------------- IMPORTANT DATES Abstract submission deadline: May 3, 2019 (AoE) Paper submission deadline: May 10, 2019 (AoE) Notification: June 25, 2019 Conference: September 16-20, 2019 OVERVIEW AND SCOPE SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. Topics of interest include, but are not limited to, the following aspects of software engineering and formal methods: # Software Development Methods - Formal modeling, specification, and design - Software evolution, maintenance, re-engineering, and reuse # Design Principles - Programming languages - Domain-specific languages - Type theory - Abstraction and refinement # Software Testing, Validation, and Verification - Model checking, theorem proving, and decision procedures - Testing and runtime verification - Statistical and probabilistic analysis - Synthesis - Performance estimation and analysis of other non-functional properties - Other light-weight and scalable formal methods # Security and Safety - Security, privacy, and trust - Safety-critical, fault-tolerant, and secure systems - Software certification # Applications and Technology Transfer - Service-oriented and cloud computing systems, Internet of Things - Component, object, multi-agent and self-adaptive systems - Real-time, hybrid, and cyber-physical systems - Intelligent systems and machine learning - HCI, interactive systems, and human error analysis - Education # Case studies, best practices, and experience reports PAPER SUBMISSION We solicit two categories of papers: - Regular papers describing original research results, case studies, or surveys. Regular papers should not exceed 15 pages, excluding bibliography. - Tool papers that describe an operational tool and its contributions. Tool papers should not exceed 6 pages (including bibliography) and should include the URL of the tool. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=sefm2019 Papers must be formatted according to the guidelines for Springer LNCS papers (see http://www.springer.com/lncs). PUBLICATION All accepted papers will appear in the proceedings of the conference that will be published as a volume in Springer's LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to special issues of the journals "Software and Systems Modeling" and "Formal Methods in System Design." INVITED SPEAKERS Wil van der Aalst (RWTH Aachen University, Germany) David Basin (ETH Zurich, Switzerland) Koushik Sen (University of California, Berkeley, USA) PROGRAM CHAIRS Peter Csaba Ölveczky (University of Oslo, Norway) Gwen Salaün (Université Grenoble Alpes, France) PROGRAM COMMITTEE Erika Abraham (RWTH Aachen University, Germany) Cyrille Artho (KTH Royal Institute of Technology, Sweden) Kyungmin Bae (Pohang University of Science and Technology, South Korea) Olivier Barais (University of Rennes, France) Luis Barbosa (University of Minho, Portugal) Dirk Beyer (LMU Munich, Germany) Roberto Bruni (University of Pisa, Italy) Ana Cavalcanti (University of York, UK) Alessandro Cimatti (FBK-irst, Italy) Robert Clariso (Open University of Catalonia, Spain) Rocco De Nicola (IMT School for Advanced Studies Lucca, Italy) John Derrick (Unversity of Sheffield, UK) José Luiz Fiadeiro (Royal Holloway, University of London, UK) Osman Hasan (National University of Sciences & Technology, Pakistan) Klaus Havelund (Jet Propulsion Laboratory, US) Reiko Heckel (University of Leicester, UK) Marieke Huisman (University of Twente, The Netherlands) Alexander Knapp (Augsburg University, Germany) Nikolai Kosmatov (CEA LIST, France) Frederic Mallet (Université Nice Sophia Antipolis, France) Tiziana Margaria (Lero, Ireland) Hernan Melgratti (University of Buenos Aires, Argentina) Madhavan Mukund (Chennai Mathematical Institute, India) Marc Pantel (IRIT/INPT, Université de Toulouse, France) Anna Philippou (University of Cyprus) Grigore Rosu (University of Illinois, US) Augusto Sampaio (Federal university of Pernambuco, Brazil) Cesar Sanchez (IMDEA Software Institute, Spain) Ina Schaefer (Technische Universität Braunschweig, Germany) Graeme Smith (The University of Queensland, Australia) Jun Sun (Singapore University of Technology and Design) Maurice H. Ter Beek (ISTI-CNR, Pisa, Italy) Antonio Vallecillo (University of Malaga, Spain) Daniel Varro (Budapest University of Technology and Economics, Hungary & McGill University, Canada) Heike Wehrheim (University of Paderborn, Germany) Franz Wotawa (University of Graz, Austria) -------------- next part -------------- An HTML attachment was scrubbed... URL: From nevrenato at gmail.com Tue Mar 12 13:49:07 2019 From: nevrenato at gmail.com (Renato Neves) Date: Tue, 12 Mar 2019 12:49:07 +0000 Subject: [fg-arc] Formal Methods 2019 - Doctoral Symposium Message-ID: <20190312124907.GA4986@RNPA41A2F.lan> Formal Methods 2019 - Doctoral Symposium Porto, Portugal, October 7th, 2019 http://formalmethods2019.inesctec.pt/?page_id=361 In conjunction with the 23rd International Symposium on Formal Methods and 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt GOALS AND SCOPE A Doctoral Symposium will be held on the 7th October in conjunction with the 23rd International Symposium on Formal Methods and 3rd World Congress on Formal Methods which will take place in Porto, Portugal, from 7 to 11 October 2019. This symposium aims to provide a helpful environment in which selected PhD students can present and discuss their ongoing work, meet other students working on similar topics, and receive helpful advice and feedback from a panel of researchers and academics. If you are a PhD student researching any topic that falls within the area of formal methods, you are warmly invited to submit a Research Abstract for consideration to be selected as a participant. There will be a best presentation award. Scholarships for attendance will also be available. RESEARCH ABSTRACTS Research Abstracts should be no more than 4 pages in LNCS format. Your Research Abstract should: - Outline the problem being addressed, its relevance, the solution you are working on, your research approach (such as your research method) and your expected contribution. - Contain a very brief literature survey indicating the most important references related to: (a) the problem being addressed and/or (b) existing solutions as appropriate. - Indicate your progress to date and the current stage of research. The Research Abstract should be written by yourself as sole author, but should include references to any papers you have already published, including joint publications with your supervisor. IMPORTANT DATES Submission deadline: June 10, 2019 (AoE)* Notification: July 5, 2019 Doctoral Symposium: October 7, 2019 HOW TO SUBMIT Please upload a PDF version of your Research Abstract, including your name, affiliation, and email address to: https://easychair.org/conferences/?conf=dsfm19 DOCTORAL SYMPOSIUM WEBSITE http://formalmethods2019.inesctec.pt/?page_id=361 ORGANISATION CHAIRS: Alexandra Silva, University College London Antonia Lopes, University of Lisbon PROGRAM COMMITTEE Alessandro Fantechi, University of Florence Ana Cavalcanti, University of York André Platzer, CMU Carlo A. Furia, USI - Università della Svizzera Italiana Dalal Alrajeh, Imperial College Einar Broch Johnsen, University of Oslo Elvira Albert, Universidad Complutense de Madrid Jaco van de Pol, University of Twente Matteo Rossi, Politecnico di Milano Stefania Gnesi, ISTI-CNR Stephan Merz, INRIA Nancy From kyrozier at iastate.edu Tue Mar 12 01:45:36 2019 From: kyrozier at iastate.edu (Kristin Yvonne Rozier) Date: Mon, 11 Mar 2019 19:45:36 -0500 Subject: [fg-arc] [fm-announcements] NFM 2019: Call for Participation (Hotel Block Closing Shortly) Message-ID: <603dc21c-8a33-8f38-e02a-b76d2a0d141d@iastate.edu> ****************************************************      The Eleventh NASA Formal Methods Symposium https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html                    7 - 9 May 2019         Rice University, Houston, Texas, USA **************************************************** *** Hotel Block Closing March 15! *** Theme of the Symposium: ----------------------- The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. New developments and emerging applications like autonomous software for uncrewed deep space human habitats, caretaker robotics, Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. The focus of these symposiums are on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Steering Committee, comprised of researchers spanning several NASA centers. NFM 2019 (https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html) is being co-organized by Rice University and NASA- Johnson Space Center in Houston, TX. Location & Cost: ---------------- The symposium will take place in the McMurtry Auditorium, Rice University, Houston, Texas, USA, May 7--9, 2019. Travel information and discounted hotel reservations can be found at: https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html. Houston hotels are scarce for these dates and the hotel block expires March 15. There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to attend, to listen to the talks, and to participate in discussions; however, all attendees must register. Keynote Speakers: ----------------- * Virginie Wiels, ONERA, France * Richard Murray, CalTech, USA * NASA Panel: Challenges for Future Exploration -- Kimberly Hambuchen, Space Technology Principle Technologist for Robotics -- Emily Nelson, Deputy Chief, Flight Director Branch -- Joe Caram, Gateway Systems Engineering and Integration Lead -- Bill Othon, Gateway Verification and Validation Lead Organizers: ----------- Moshe Y. Vardi (General Chair) Julia Badger (PC Chair) Kristin Yvonne Rozier (PC Chair) Programme Committee: -------------------- Erika Ábrahám, RWTH Aachen University, Germany Dirk Beyer, LMU Munich, Germany Armin Biere, Johannes Kepler University Linz, Austria Nikolaj Bjorner, Microsoft, USA Sylvie Boldo, INRIA, France Jonathan Bowen, London South Bank University, UK Gianfranco Ciardo, Iowa State University, US Darren Cofer, Rockwell Collins, USA Frederic Dadeau, FEMTO-ST, France Ewen Denney, NASA, US Gilles Dowek, INRIA and ENS Paris-Saclay, France Steven Drager, AFRL, US Catherine Dubois, ENSIIE-Samovar, France Alexandre Duret-Lutz, LRDE/EPITA, France Aaron Dutle, NASA, US Marco Gario, Siemens Corporate Technology, USA Alwyn Goodloe, NASA, US Arie Gurfinkel, University of Waterloo, Canada John Harrison, Amazon Web Services, USA Klaus Havelund, JPL/NASA, USA Constance Heitmeyer, Naval Research Laboratory, USA Marieke Huisman, University of Twente, The Netherlands Shafagh Jafer, Embry-Riddle University, USA Xiaoqing Jin, Toyota Technical Center, USA Rajeev Joshi, JPL/NASA, USA Laura Kovacs, Vienna University of Technology, Austria Joe Leslie-Hurd, Intel, US Panagiotis Manolios, Northeastern University, USA Cristian Mattarei, Stanford University, US Stefan Mitsch, Carnegie Mellon University, US Cesar Munoz, NASA, US Anthony Narkawicz, NASA, US Necmiye Ozay, University of Michigan, USA Corina Pasareanu, CMU/NASA, USA Lee Pike, USA Johann Schumann, SGT, USA Cristina Seceleanu, Malardalen University, Sweden Bernhard Steffen, University of Dortmund, Germany Stefano Tonetta, FBK-IRST, Italy Ufuk Topcu, University of Texas at Austin, USA Christoph Torens, German Aerospace Center, Germany Michael Watson, NASA, USA Huan Xu, University of Maryland, US -- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D. / | | | | \ Asst Professor, Iowa State University / USA | ~||~ |NASA \ Departments of Aerospace Engineering, |______| ~~ |______| Computer Science, Mathematics, and (__||__) Electrical and Computer Engineering /_\ /_\ Virtual Reality Applications Center !!! !!!http://temporallogic.org/kyr --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From jung.juergen at fb2.fra-uas.de Wed Mar 13 13:55:33 2019 From: jung.juergen at fb2.fra-uas.de (=?iso-8859-1?Q?J=FCrgen_Jung?=) Date: Wed, 13 Mar 2019 13:55:33 +0100 Subject: [fg-arc] CfP TEAR 2019, Paris, October 28th Message-ID: <00aa01d4d99c$0ff447e0$2fdcd7a0$@fb2.fra-uas.de> *********************** Call for Papers 14th TEAR Workshop 2019 October 28-31, Paris, France *********************** The 14th TEAR workshop is organized in conjunction with IEEE EDOC 2019 , October 28-31, Paris, France. The international TEAR workshop series brings together Enterprise Architecture (EA) researchers from different research communities and provides a forum to present EA research results and to discuss future EA research directions. The field of Enterprise Architecture (EA) has gained considerable attention over the last years. EA significantly contributes to organizations’ need to adapt increasingly fast to changing customer requirements and business goals. This need influences the entire chain of activities of an enterprise, from business processes to IT support. Moreover, a change in one component of the overall architecture may influence many other components of the architecture. For example, when a new product is introduced, business processes for production, sales, and after-sales need to be adapted. It may be necessary to change applications, or even adapt the IT infrastructure. Each of these fields will have its own (partial) architectures. To keep the enterprise architecture coherent and aligned with the business goals, the relations between these different architectures must be explicit, and a change should be carried through in all architectures. In contrast to traditional architecture management approaches such as IT architecture, software architecture, or IS architecture, EA explicitly incorporates “pure” business-related artifacts in addition to traditional IS/IT artifacts. For Enterprise Architecture the focus is on the overall enterprise and concerns its organization, its components, the relationship between components, and principles governing its design and evolution. Submission Guidelines Papers should describe innovative and significant original research relevant to TEAR as described in the topics section. Papers submitted for consideration must not have been published elsewhere and must not be under review or submitted for review elsewhere during the duration of consideration. Workshop papers will be published in a second volume of the EDOC 2019 conference proceedings. All papers must be prepared in accordance with the IEEE double-column format (maximum 8 pages) and be submitted electronically (in PDF) via the submission website . All submissions should include title, authors, and full contact information. Detailed instructions for authors are available on the IEEE website . List of Topics Topics relevant for submissions include, but are not limited to, the following: * EA management and impact (e.g. drivers, governance, obstacles and measurement) * EA and decision-making (e.g. analysis, investigation and collaboration) * EA modelling (e.g. reference models, viewpoints, quality and tools) * EA and digitization (e.g. models, impact and digital transformation) * EA and related disciplines (e.g. BPM, project management and software engineering) * EA research approaches (methodologies and theories) * EA Cases and implementation (case studies and business cases) Important dates * Workshop paper submission: June 14, 2019 * Workshop papers acceptance notification: July 26, 2019 * Workshop camera-ready papers due: August 16, 2019 * Workshop session: October 28, 2019 Workshop co-chairs * Ulrike Steffens, HAW Hamburg, Germany * Jürgen Jung, Frankfurt University of Applied Sciences, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: From nevrenato at gmail.com Thu Mar 14 10:52:24 2019 From: nevrenato at gmail.com (Renato Neves) Date: Thu, 14 Mar 2019 09:52:24 +0000 Subject: [fg-arc] Formal Methods 2019 - Final Call For Papers Message-ID: <20190314095224.GA4298@RNPA41A2F.lan> ============================================================== Third and Final Call for Papers FM 2019 - 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ ============================================================== Check us out on FME's YouTube channel: https://www.youtube.com/channel/UC5rZj0AyBudca0YRgEAX-Ow/ ============================================================== FM 2019 is the 23rd international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. Every 10 years the symposium is organised as a World Congress. Twenty years after FM 1999 in Toulouse, and 10 years after FM 2009 in Eindhoven, FM 2019 is the 3rd World Congress on Formal Methods. This is reflected in a PC with members from over 40 countries. Thus, FM 2019 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experience. FORMAL METHODS: THE NEXT 30 YEARS It is now more than 30 years since the first VDM symposium in 1987 brought together researchers with the common goal of creating methods to produce high quality software based on rigour and reason. Since then the diversity and complexity of computer technology has changed enormously and the formal methods community has stepped up to the challenges those changes brought by adapting, generalising and improving the models and analysis techniques that were the focus of that first symposium. The theme for FM 2019 is a reflection on how far the community has come and the lessons we can learn for understanding and developing the best software for future technologies. Important Dates =============== Abstract submission: 28 March, 2019 Full paper submission: 11 April, 2019, 23:59 AoE Notification: 11 June, 2019 Camera ready: 9 July, 2019 Conference: 7-11 October, 2019 Invited Speakers ================ - June Andronick (CSIRO/Data61 and UNSW, Sydney, Australia) - Shriram Krishnamurthi (Brown University, Providence, RI, USA) - Erik Poll (Radboud University, Nijmegen, The Netherlands) Topics of Interest ================== FM 2019 encourages submissions on formal methods in a wide range of domains including software, computer-based systems, systems-of-systems, cyber-physical systems, human-computer interaction, manufacturing, sustainability, energy, transport, smart cities, and healthcare. We particularly welcome papers on techniques, tools and experiences in interdisciplinary settings. We also welcome papers on experiences of formal methods in industry, and on the design and validation of formal methods tools. The broad topics of interest for FM 2019 include, but are not limited to: - Interdisciplinary formal methods: Techniques, tools and experiences demonstrating the use of formal methods in interdisciplinary settings. - Formal methods in practice: Industrial applications of formal methods, experience with formal methods in industry, tool usage reports, experiments with challenge problems. The authors are encouraged to explain how formal methods overcame problems, led to improved designs, or provided new insights. - Tools for formal methods: Advances in automated verification, model checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools. The authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. - Formal methods in software and systems engineering: Development processes with formal methods, usage guidelines for formal methods, and method integration. The authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. - Theoretical foundations of formal methods: All aspects of theory related to specification, verification, refinement, and static and dynamic analysis. The authors are encouraged to explain how their results contribute to the solution of practical problems with formal methods or tools. Submission Guidelines ===================== Papers should be original work, not published or submitted elsewhere, in Springer LNCS format, written in English, submitted through EasyChair: https://easychair.org/conferences/?conf=fm2019 Each paper will be evaluated by at least three members of the Programme Committee. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by the reviewers. Similarly, case study papers should describe significant case studies, and the complete development should be made available at the time of review. The usual criteria for novelty, reproducibility, correctness and the ability for others to build upon the described work apply. Tool papers should explain enhancements made compared to previously published work. A tool paper need not present the theory behind the tool but should focus on the tool's features, how it is used, its evaluation, and examples and screen shots illustrating the tool's use. Authors of tool papers should make their tool available for use by the reviewers. We solicit two categories of papers: - Regular Papers should not exceed 15 pages, not counting references and appendices. - Short papers, including tool papers, should not exceed 6 pages, not counting references and appendices. Besides tool papers, short papers are encouraged for any topic that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Short papers will be accompanied by short presentations. For regular and tool papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not part of the page count and not guaranteed to be read or taken into account by the reviewers. It should not contain information necessary to the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted. At least one author of an accepted paper is expected to present the paper at the conference as a registered participant. Best Paper Award ================ At the conference, the PC Chairs will present an award to the authors of the submission selected as the FM 2019 Best Paper. Publication =========== Accepted papers will be published in the Symposium Proceedings to appear in Springer's Lecture Notes in Computer Science in the subline on Formal Methods. Authors of selected papers will be invited to submit an extended version of their paper to one of the special issues in "Formal Aspects of Computing" and "Formal Methods in System Design". General Chair ============= José Nuno Oliveira, INESC TEC & University of Minho, PT Program Committee Chairs ======================== Maurice ter Beek, ISTI-CNR, Pisa, IT Annabelle McIver, Macquarie University, Sydney, AU Program Committee ================== Bernhard Aichernig, TU Graz, AT Elvira Albert, Complutense University of Madrid, ES María Alpuente, Polytechnic University of Valencia, ES Dalal Alrajeh, Imperial College, UK Mário S. Alvim, Federal University of Minas Gerais, BR June Andronick, CSIRO/Data61, AU Christel Baier, TU Dresden, DE Luís Barbosa, University of Minho and UN University, PT Gilles Barthe, IMDEA Software Institute, ES Marcello Bersani, Polytechnic University of Milan, IT Gustavo Betarte, Tilsor SA and University of the Republic, UY Nikolaj Bjørner, Microsoft Research, US Frank de Boer, CWI, NL Sergiy Bogomolov, Australian National University, AU Julien Brunel, ONERA, FR Néstor Cataño, Universidad del Norte, CO Ana Cavalcanti, University of York, UK Antonio Cerone, Nazarbayev University, KZ Marsha Chechik, University of Toronto, CA David Chemouil, ONERA, FR Alessandro Cimatti, FBK-IRST, IT Alcino Cunha, University of Minho, PT Michael Dierkes, Rockwell Collins, FR Alessandro Fantechi, University of Florence, IT Carla Ferreira, New University of Lisbon, PT João Ferreira, Teesside University, UK José Fiadeiro, Royal Holloway University of London, UK Marcelo Frias, Buenos Aires Institute of Technology, AR Fatemeh Ghassemi, University of Tehran, IR Silvia Ghilezan, University of Novi Sad, RS Stefania Gnesi, ISTI-CNR, IT Reiner Hähnle, TU Darmstadt, DE Osman Hasan, National University of Sciences and Technology, PK Klaus Havelund, NASA Jet Propulsion Laboratory, US Anne Haxthausen, TU Denmark, DK Ian Hayes, University of Queensland, AU Constance Heitmeyer, Naval Research Laboratory, US Jane Hillston, University of Edinburgh, UK Thai Son Hoang, University of Southampton, UK Zhenjiang Hu, National Institute of Informatics, JP Dang Van Hung, Vietnam National University, VN Atsushi Igarashi, Kyoto University, JP Suman Jana, Columbia University, US Ali Jaoua, Qatar University, QA Einar Broch Johnson, University of Oslo, NO Joost-Pieter Katoen, RWTH Aachen University, DE Laura Kovács, TU Vienna, AT Axel Legay, KU Leuven, BE Alberto Lluch Lafuente, TU Denmark, DK Malte Lochau, TU Darmstadt, DE Michele Loreti, University of Camerino, IT Gabriele Lenzini, University of Luxembourg, LU Yang Liu, Nanyang Technical University, SG Anastasia Mavridou, NASA Ames, US Hernán Melgratti, University of Buenos Aires, AR Sun Meng, Peking University, CN Dominique Méry, LORIA and University of Lorraine, FR Rosemary Monahan, Maynooth University, IE Olfa Mosbahi, University of Carthage, TN Mohammad Mousavi, University of Leicester, UK César Muñoz, NASA Langley, US Tim Nelson, Brown University, US Gethin Norman, University of Glasgow, UK Colin O'Halloran, D-RisQ Software Systems, UK Federico Olmedo, University of Chile, CL Gordon Pace, University of Malta, MT Jan Peleska, University of Bremen, DE Marielle Petit-Doche, Systerel, FR Alexandre Petrenko, Computer Research Institute of Montréal, CA Anna Philippou, University of Cyprus, CY Jorge Sousa Pinto, University of Minho, PT André Platzer, Carnegie Mellon University, US Jaco van de Pol, Aarhus University, DK Tahiry Rabehaja, Macquarie University, AU Steve Reeves, University of Waikato, NZ Matteo Rossi, Polytechnic University of Milan, IT Augusto Sampaio, Federal University of Pernambuco, BR Gerardo Schneider, Chalmers University of Gothenburg, SE Daniel Schwartz-Narbonne, Amazon Web Services, US Natasha Sharygina, University of Lugano, CH Nikolay Shilov, Innopolis University, RU Ana Sokolova, University of Salzburg, AT Marielle Stoelinga, University of Twente, NL Jun Sun, Singapore University of Technology and Design, SG Helen Treharne, University of Surrey, UK Elena Troubitsyna, Åbo Akademi University, FI Tarmo Uustalu, Reykjavik University, IS Andrea Vandin, TU Denmark, DK R. Venkatesh, TCS Research, IN Erik de Vink, TU Eindhoven and CWI, NL Willem Visser, Stellenbosch University, ZA Farn Wang, National Taiwan University, TW Bruce Watson, Stellenbosch University, ZA Tim Willemse, TU Eindhoven, NL Kirsten Winter, University of Queensland, AU Jim Woodcock, University of York, UK Lijun Zhang, Chinese Academy of Sciences, CN Publicity Chair =============== Luís Soares Barbosa, INESC TEC & University of Minho, PT Organizing Committee ==================== José Creissac Campos, INESC TEC & University of Minho, PT João Pascoal Faria, INESC TEC and University of Porto, PT Sara Fernandes, University of Minho & INESC TEC, PT Luís Neves, Critical Software, PT Local Arrangements ================== Catarina Fernandes, INESC TEC & University of Minho, PT Paula Rodrigues, INESC TEC, PT Web Team ========= Francisco Neves, INESC TEC & University of Minho, PT Rogério Pontes, INESC TEC & University of Minho, PT Paula Rodrigues, INESC TEC, PT From ilhemkhlif at gmail.com Thu Mar 14 09:26:40 2019 From: ilhemkhlif at gmail.com (Ilhem Khlif) Date: Thu, 14 Mar 2019 09:26:40 +0100 Subject: [fg-arc] Call for Papers ICSOC 2019 - The 17th International Conference on Service-Oriented Computing Message-ID: *Call for Research/Industry Papers* =============== ICSOC 2019 The 17th International Conference on Service-Oriented Computing 28-31 October, 2019 Toulouse, France *http://www.icsoc.org * *Important Dates* =============== - Abstract submission: *May 10, 2019* - Full paper submission: *May 17, 2019* - Notification to authors: *July 10, 2019* - Camera-ready papers due:* July 26, 2019* - Author registration due: *July 31, 2019* - Early registration due: *September 13, 2019* *Scope* =============== ICSOC, the International Conference on Service-Oriented Computing, is the premier international forum for academics, industry researchers, developers, and practitioners to report and share groundbreaking work in service-oriented computing. ICSOC fosters cross-community scientific excellence by gathering experts from various disciplines, such as business-process management, distributed systems, computer networks, wireless and mobile computing, cloud computing, cyber-physical systems, networking, scientific workflows, services science, data science, management science, and software engineering. ICSOC provides a high-quality forum for presenting results and discussing ideas that further our knowledge and understanding of the various aspects (e.g. application and system aspects) related to Service Computing applied to new application areas and gain insights into a variety of computing, networked, and cyber-physical systems ranging from mobile devices and Internet-of-Things (IoT) applications to large-scale cloud computing systems and the smart grid. ICSOC 2019 , the 17th event in this series, will take place in Toulouse, France from October 28 to October 31, 2019. Following on the ICSOC tradition, it will feature visionary keynote presentations, research and industry presentations, workshops, tool demonstrations, tutorials, and a Ph.D. track. *Topics of Interest* =============== ICSOC 2019 seeks outstanding, original contributions, including theoretical and empirical evaluations, as well as practical and industrial experiences, with emphasis on results that solve open research problems and have significant impact on the field of service-oriented computing. Specific topics of interest include but are not limited to: 1. *Service Engineering* o Legacy systems migration and modernization o Service design, specification, discovery, customization, composition, and deployment o Service change management o Service innovation o Theoretical foundations of Service Engineering 2. * Run-time Service Operations and Management* o Service execution middleware o Service monitoring and adaptive management o Quality of service o Workload compliance management o Service governance o Architectures for multi-host container deployments o Microservices deployment and management 3. *Services and Data* o Services for Big Data o Service for compute-intensive applications o Mining and analytics o Data-provisioning services o Services related linked open data o Automated Knowledge Graph creation 4. *Services on the Cloud* o Migration to virtual infrastructures o XaaS (everything as a service including IaaS, PaaS, and SaaS) o Service deployment and orchestration in the Cloud o Cloud service management o Cloud workflow management o Cloud brokers and coordination across multiple resource managers o Edge computing vs Cloud computing o Workload transformation 5. *Services in the Internet of Things* o Embedded and real-time services o RFID, sensor data, and services related to the Internet of Things o Services for IoT platforms and applications o Service oriented protocols for IoT applications o REST APIs and services for IoT platforms and applications 6. *Services in Organizations, Business, and Society* o Services science o Social networks and services o Cost and pricing of services o Service marketplaces and ecosystems o Service business models o Enterprise architecture and services o Service Chatbots 7. *Services at the Edge* o Cloud and fog computing o Analytics and knowledge generation services o Edge service orchestration o Lightweight service deployment and management o Services and edge gateway architectures o Quality of Service (QoS) in edge services o Security, privacy, and trust of edge services 8. *Services for Softwarized Network Functions and Software Defined Networks* o Service Network Function Management and Orchestration o Services for novel and emerging networking protocols o Named data networking o Network and transport mechanisms o Virtualized Network Functions and Services o Virtualized Service Function Chaining Paper Submission =============== The conference solicits outstanding original research and practice papers on all aspects of service-oriented computing. Papers should clearly demonstrate the research or practical contribution, the relevance to the field, and the relationship to prior work. Submitted papers will be evaluated according to their rigor, significance, originality, technical quality, and exposition. All papers will be reviewed by at least three members of the Program Committee. Papers should be formatted according to *Springer’s LNCS Formatting Guidelines *. Submissions must be in English and not exceed 15 pages including all references and figures. All papers must be submitted electronically in PDF to the *Conference Submission System *. For each accepted paper, at least one author must attend the conference and present the paper. The deadline for identifying and registering this individual author will be at the time when the camera-ready version is submitted. General Co-Chairs =============== - Albert Zomaya, University of Sydney, Australia. - - Djamel Ben Slimane, University of Lyon, France. Program Co-Chairs ============== - Khalil Drira, LAAS-CNRS, France. - Zahir Tari, RMIT University, Australia. - Jamal Bentahar, Concordia University, Montreal, Canada. Best Regards Ilhem KHLIF. Doctor in Computer Science University of Sfax, ReDCAD laboratory, Tunisia http://www.redcad.org/members/ilhem.khlif/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri Mar 15 13:46:04 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 15 Mar 2019 14:46:04 +0200 Subject: [fg-arc] 1st International Workshop on Intelligent Systems for the Internet of Things: Submission Deadline Extension Message-ID: <4PN4M08T-N57W-6HT7-60Y3-4VKW3PE73RU8@cs.ucy.ac.cy> 1st International Workshop on Intelligent Systems for the Internet of Things http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxc3QgSW50ZXJuYXRpb25hbCBXb3Jrc2hvcCBvbiBJbnRlbGxpZ2VudCBTeXN0ZW1zIGZvciB0aGUgSW50ZXJuZXQgb2YgVGhpbmdzOiBTdWJtaXNzaW9uIERlYWRsaW5lIEV4dGVuc2lvbgkzNjcJTGlzdHMJMTQ5CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fsites.google.com%2Fview%2FISIoT2019 in conjunction with the 15th International Conference on Distributed Computing in Sensor Systems (DCOSS 2019), Santorini Island, Greece, May 29 - 31, 2019 Important Dates: Paper Submission: 15th March (Extended) Acceptance Notification: 5th April (Extended) Camera Ready: 15th April Early Registration: 10th April Proceedings and Journal Publication: * Workshop papers will get 8 pages in the IEEE proceedings, in the same volume with the DCOSS papers. * Selected workshop papers will be considered for publication in a Special Issue of the Sensors open access journal (MDPI, ISSN 1424-8220, IF 2.475) Scope: The Internet of Things is a paradigm that assumes a pervasive presence in the environment of many smart things, including sensors, actuators, embedded systems and other similar devices. The development of IoT, however, has reached a crossroads, which means that without intelligence, an IoT system will act as an ordinary information transfer system. Emerging IoT applications in various fields, including smart city, smart home, smart grid, e-health, intelligent transportation systems, etc., require trustworthy networking solutions that are resilient against high mobility, high density, disasters, infrastructure failures, cyberattacks, and other disruptions. This interdisciplinary landscape of IoT applications demands researchers from different areas such as machine learning, computational intelligence, optimization, distributed computing, embedded systems, and big data to synergize their efforts in better understanding the untapped opportunities to produce highly efficient, deployable, intelligent IoT systems. Topics (Not limited to): Computational Intelligence for the IoT Performance evaluation for the IoT Machine Learning in IoT and Smart Systems Dependability and Fault Tolerance in Smart Systems Big Data and data Miningfor the IoT Intelligent Network Technologies for the IoT Swarm and Multi-Agent Models for IoT Embedded Multiagent Systems Collective and Collaborative Robotics Applications of the IoT Smart Systems in Different industry verticals IoT platforms Blockchain for the IoT IoT Intrusion Detection Trust and Privacy in IoT Cloud Computing for the IoT Data Fusion from the IoT Program Chairs: Dr. Vasos Vassiliou, University of Cyprus and RISE Research Center on Interactive Media, Smart Systems and Emerging Technologies Dr. Zinonas Zinonos, Neapolis University of Paphos Dr. Loizos Michael, Open University of Cyprus and RISE Research Center on Interactive Media, Smart Systems and Emerging Technologies Dr. Stelios Timotheou, University of Cyprus and KIOS Center on Intelligent Systems Submission instructions: Authors are invited to submit original unpublished manuscripts reporting applied or technical research. Accepted and presented papers will be published in the same volume with the DCOSS 2019 conference proceedings. All papers will be reviewed by Technical Program Committee members and selected papers will be organized for presentation at the workshop. All submissions will be exclusively electronic with a maximum length of eight (8) printed pages including title, authors, abstract, figures, diagrams, references and attachments. Articles must be prepared in English following the IEEE two-column Manuscript Templates for Conference Proceedings (available here) and submitted in PDF format only. Submission link: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxc3QgSW50ZXJuYXRpb25hbCBXb3Jrc2hvcCBvbiBJbnRlbGxpZ2VudCBTeXN0ZW1zIGZvciB0aGUgSW50ZXJuZXQgb2YgVGhpbmdzOiBTdWJtaXNzaW9uIERlYWRsaW5lIEV4dGVuc2lvbgkzNjcJTGlzdHMJMTQ5CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Disiot2019 -------------- next part -------------- An HTML attachment was scrubbed... URL: From leucker at isp.uni-luebeck.de Sun Mar 17 15:03:34 2019 From: leucker at isp.uni-luebeck.de (Martin Leucker) Date: Sun, 17 Mar 2019 15:03:34 +0100 Subject: [fg-arc] iFM 2019: Call for Workshops and Tutorials Message-ID: [ Apologize for Multiple Copies ] ******************************************************************* DEADLINE EXTENDED ******************************************************************* iFM 2019 - Call for Workshops and Tutorials 15th International Conference on integrated Formal Methods (iFM) 2-6 December 2019 Bergen, Norway Web: http://ifm2019.hvl.no/ ******************************************************************* Important Dates (EXTENDED) --------------- Submission of proposals: 31th of March 2019 Notification: 15th of April 2019 Pre-conference workshops/tutorials: 2-3 December 2019 Main conference: 4-6 December 2019 About iFM --------- iFM 2019 is concerned with how the application of formal methods may involve modelling different aspects of a system which are best expressed using different formalisms. Correspondingly, different analysis techniques may be used to examine different system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding modelling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Besides the standard conference track and the Doctoral Symposium, iFM will host a number of workshops and tutorials related to the theme of the conference. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. The goal of the tutorials is to enable the participants to familiarise themselves with theoretical aspects and application of formal methods. Prospective workshop/tutorial organisers are requested to follow the guidelines below and are encouraged to contact the workshop chairs if any questions arise. Proposal and Submission Guidelines ---------------------------------- Proposals must be written in English, not exceed 5 pages with a reasonable font and margins, and be submitted in PDF format via email to the iFM workshop chairs, Martin Leucker (leucker at isp.uni-luebeck.de) and Violet Ka I Pun (vpu at hvl.no). Workshop proposals should include: - The name, the duration (1 or 2 days) and the preferred date of the proposed workshop - A short description of the workshop. - If applicable, a description of past versions of the workshop, including dates, organisers, submission and acceptance counts, and attendance. - The publicity strategy that will be used by the workshop organisers to promote the workshop, - The participant solicitation and selection process. - The target audience and expected number of participants. - Approximate budget proposal (see section Budget below for details). - The equipment and any other resource necessary for the organisation of the workshop. - The name and short CV of the organiser(s). - The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). Tutorial proposals should include - The name, the duration (1/2 or 1 day). - A short description of the tutorial. - Motivation for the tutorial (e.g., relation to conference) - Overview of content, description of the aims, presentation style, potential/preferred prerequisite knowledge. - Intended audience and expected number of participants. - List of readings, handbook, tools used in the tutorial. Organisers Responsibilities --------------------------- The scientific responsibility of organising a workshop/tutorial is on the workshop/tutorial organisers. In particular, they are responsible for the following items: - A workshop/tutorial description (200 words) for inclusion in the iFM site. - Hosting and maintaining web pages to be linked from the iFM site. Workshop/tutorial organisers can integrate their pages into the main iFM pages. - Scheduling workshop/tutorial activities in collaboration with the iFM workshop chairs. - Workshop publicity (possibly including call for papers, submission and review process). - Workshop proceedings, if any. If there is sufficient interest, the iFM 2019 workshop organisers may contact the editor-in-chief of the Electronic Proceedings in Theoretical Computer Science (http://info.eptcs.org/) for having a common volume dedicated to the workshops of iFM 2019. Budget ----- The iFM organisation will provide registration and organisational support for the workshops and tutorials (including linking from the conferences web sites, set-up of meeting space, on-line and on-site registration). Registration fees must be paid by all participants, including organisers and invited guests. To cover lunches, coffee breaks and basic organisational expenses, all workshops will be required to charge a minimum participation fee (the precise amount is still to be determined). Each workshop may increase this fee to cover additional expenses such as publication charges, student scholarships, costs for invited speakers, etc. All fees will be collected as part of the iFM registration. Evaluation Process ------------------ The proposals will be evaluated by the iFM organising committee on the basis of their assessed benefit for prospective participants of iFM 2019. Venue ----- iFM 2019 will take place at the Western Norway University of Applied Sciences in Bergen, Norway. The campus is located around 10 mins by tram from the city centre. Further Information and Enquiries --------------------------------- You are welcome to contact the iFM workshop chairs Martin Leucker (leucker at isp.uni-luebeck.de) and Violet Ka I Pun (vpu at hvl.no). From rmcouto at outlook.pt Mon Mar 18 10:14:50 2019 From: rmcouto at outlook.pt (rui couto) Date: Mon, 18 Mar 2019 09:14:50 +0000 Subject: [fg-arc] [SEWORLD] EXTENDED DEADLINE: EICS 2019 joined call for Late-Breaking Results, Tech Notes, Tutorials, and Doctoral Consortium Submissions (Deadline: March 25, 2019) Message-ID: (Apologies for cross posting) The deadline for TechNotes, LBR, Doctoral Consortium and tutorials has been extended to March 25. Please find below the CFP. ------------------------------------------------------------------------ EICS 2019 joined call for Late-Breaking Results, Tech Notes, Tutorials, and Doctoral Consortium Submissions (Deadline: March 25, 2019) EICS 2019: The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 18-21 June, 2019 - Valencia, Spain EICS 2019 is the eleventh international conference devoted to engineering usable and effective interactive computing systems. Work presented at EICS covers the full range of aspects that come into play when "engineering" interactive systems, such as innovations in the design, development, deployment, verification and validation of interactive systems. Topics of interest include the design and development of systems incorporating new interaction techniques and multimodal interaction, multi-user, multi-device/screen, multi-environment interaction, mobile and pervasive systems, large-scale and big data applications, deployment of interactive systems, as well as novel development methods and processes for improving the development of interactive systems. EICS 2019 focuses on models, languages, notations, methods, techniques and tools that support designing and developing interactive systems. The Conference brings together people who study or practice the engineering of interactive systems, drawing from HCI, Software Engineering, Requirements Engineering, Conceptual Modelling, CSCW, Ubiquitous / Pervasive Systems. ------------------------------------------------------------------------ Late-Breaking Results Submissions Late-Breaking Results describe preliminary results of ongoing research or incremental work that present new ideas, concepts, systems or approaches. LBR will be published in the conference's companion proceedings as 6 page papers. Those proceedings will be available in the ACM DL. LBR are intended for eliciting useful feedback on early-stage or incremental work, that can benefit from discussions with colleagues in the EICS community. We welcome papers that are suitable for demonstration at the conference and supplementary video showing the system in action is encouraged. LBR are published as a paper in the standard ACM SIGCHI format of maximum 6 pages (including references). LBR submissions need to be anonymized. ------------------------------------------------------------------------ Tech Notes Submissions We are delighted to announce a new “Tech Notes” track that focuses on strong technical engineering contributions. EICS Tech Notes are 6-page papers that focus specifically on system contributions and technical work, including (but not limited to): Infrastructures and architectures (high-level toolkits, frameworks, networking infrastructures, the big systems picture) Technical realizations of specific interaction techniques (e.g., sensing & recognition, computer vision implementations, rendering pipelines) Engineering of physical interactive systems (e.g., toolkits for physical computing or fabrication, hacking or modding of machinery for interactive purposes) Computational constructs (e.g., optimization methods, mathematical modelling of HCI systems, model-driven UI design) Specification and verification (e.g. language representations for HCI, formal approaches, optimization methods, semantic models, testing / checking interactive systems) Tech Notes submissions should not be anonymous. ------------------------------------------------------------------------ Tutorials Submissions EICS'19 invites proposals for tutorials on challenging topics of interactive systems engineering. Tutorials should aim at offering new insights, knowledge, and skills to managers, teachers, researchers, and students to explore innovative trends and to learn new techniques from experts in the field. Tutorials are intended to provide a broad overview of a topic beyond a regular paper presentation. Potential presenters should keep in mind that there may be quite a varied audience, including novice graduate students, seasoned practitioners, and specialized researchers. Each tutorial proposal will be evaluated on its anticipated benefit for prospective participants and its fit within the tutorial program as a whole. Other factors to be considered include relevance to practice and to research, timeliness, importance, and audience appeal, as well as past experience and qualifications of the instructors. The proposal should include a two-page description of the proposed tutorial, accompanied by additional information on the proposers' background and three sample slides from the presentation that you would give if your tutorial were accepted. Tutorials submissions should not be anonymous. ------------------------------------------------------------------------ Doctoral Consortium Submissions The Doctoral Consortium (DC) provides an opportunity for PhD students to present their research goals as well as intermediate results and to discuss them with leading experts in the field as well as with peers. The goals of the Doctoral Consortium are: To provide fruitful feedback and advice to the selected PhD students on their research project To provide the opportunity to meet experts To interact with other PhD students and stimulate an exchange of ideas and suggestions among participants Students can be in intermediate or advanced stages of their research, but should not have completed their work yet, and should thus still be able to take feedback from the Consortium into account. A submission consists of a short paper (max 4 pages ACM Extended Abstract Format, references excluded), and a free-form CV of the PhD candidate. Doctoral Consortium submissions should not be anonymous. ------------------------------------------------------------------------ Submissions deadline: March 18, 2019 (5PM CET) Notifications: April 22, 2019 Submissions can be done through http://new.precisionconference.com Further information can be found on the web site: https://eics.acm.org/2019/ EICS 2019 - The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems Welcome and scope. Welcome to the website of the 11th Engineering Interactive Computing Systems (EICS) conference. EICS 2019 is the eleventh international conference devoted to engineering usable and effective interactive computing systems. eics.acm.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Mar 18 02:14:32 2019 From: irdta at irdta.eu (IRDTA) Date: Mon, 18 Mar 2019 02:14:32 +0100 Subject: [fg-arc] SLSP 2019: 1st call for papers Message-ID: <545102060a010b0a00525701050b5a51035f54525054545052030c01060354035054500e0b0b52560000040b0f5153@grlmc_ip-zone_com-6> SLSP 2019: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   7th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2019   Ljubljana, Slovenia   October 14-16, 2019   Co-organized by:   Jožef Stefan Institute   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   http://slsp2019.irdta.eu/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between the two domains will hopefully happen. In SLSP 2019, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2019 will take place in Ljubljana, a charming city full of art and one of the smallest capital cities in Europe. The venue will be:   Jožef Stefan Institute Jamova cesta 39 1000 Ljubljana Slovenia   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2019 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE: (to be completed)   Philipp Cimiano (Bielefeld University, DE) Robert Gaizauskas (University of Sheffield, UK) Julia Hirschberg (Columbia University, US) Nancy Ide (Vassar College, US) Tomi Kinnunen (University of Eastern Finland, FI) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Marie-Francine Moens (KU Leuven, BE) Preslav Nakov (Qatar Computing Research Institute, QA) Elmar Nöth (University of Erlangen-Nuremberg, DE) Mats Rooth (Cornell University, US) Tanja Schultz (University of Bremen, DE) Efstathios Stamatatos (University of the Aegean, GR) Hua Xu (University of Texas, Houston, US)   ORGANIZING COMMITTEE:   Tina Anžič (Ljubljana) Jan Kralj (Ljubljana) Matej Martinc (Ljubljana) Sara Morales (Brussels) Manuel Parra-Royón (Granada) Senja Pollak (Ljubljana, co-chair) Matthew Purver (London) David Silva (London, co-chair) Anita Valmarska (Ljubljana)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=slsp2019   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://slsp2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: June 1, 2019 Notification of paper acceptance or rejection: July 8, 2019 Final version of the paper for the LNCS/LNAI proceedings: July 15, 2019 Early registration: July 15, 2019 Late registration: September 30, 2019 Submission to the journal special issue: January 16, 2020   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Institut "Jožef Stefan"   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From m.i.a.stoelinga at utwente.nl Mon Mar 18 21:21:00 2019 From: m.i.a.stoelinga at utwente.nl (Marielle Stoelinga) Date: Mon, 18 Mar 2019 21:21:00 +0100 Subject: [fg-arc] Fewer train delays via formal methods? Exciting PhD position at University of Twente, the Netherlands Message-ID: *Fewer train delays and rail disruptions? *Come join us to improve the quality of the design and implementation of railroad elements (e.g. interlockings and signalling systems), via model checking and model-based testing. The University of Twente seeks a PhD candidate on the FormaSig project, a collaboration between Eindhoven University of Technology (TU/e), and railroad asset managers ProRail and Deutsche Bahn. *We seek *an excellent PhD candidate to work on the FormaSig project. We aim to improve the reliability of the (Dutch) railroads by deploying model checking and model-based testing. The scientific core is a novel combination of model transformation, model checking and model-based testing. For more information about the position, see here . *We offer *a fully paid PhD positions, with excellent salary and benefits, at a very strong and inspiring research department. To apply, see here . *We are *the Formal Methods & Tools at the University of Twente, the Netherlands. Ranked 1st in the last Dutch National Research Assessment. The project is led by Dr. Bas Luttik (TU/e), Prof.dr.Marielle Stoelinga and Prof.dr.ir Arend Rensink. Contact: m.i.a.stoelinga at utwente.nl or arend.rensink at utwente.nl -- Prof.dr. Marielle Stoelinga Professor of risk management for high-tech systems University of Twente & Radboud University, the Netherlands +31 53 489 3773 | Address & contact | www.ewi.utwente.nl/~marielle/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Tue Mar 19 02:11:12 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Tue, 19 Mar 2019 01:11:12 +0000 Subject: [fg-arc] ICLP 2019 - Research Challenges in Logic Programming Track Message-ID: <27288F59-4190-4591-9A0F-69978CEE5C9B@gatech.edu> The 35th International Conference on Logic Programming (ICLP 2019) Research Challenges in Logic Programming Track September 21-25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ ------------------------------------------------------------------------- Objectives Are you a researcher in logic programming working on a problem that appears to be particularly challenging? Perhaps you feel a little stuck? Or, are you facing a problem that needs some LP technology you are not familiar with? Would you like to open a discussion for collaboration? The goal of the Research Challenges Track is to help researchers overcome their challenges by providing a venue to invite input from the broader community. Contributors to this less formal track will be given an opportunity to exchange ideas with other researchers who may have come up against, or are currently working on, similar problems. We hope the track will foster discussion and possibly even new collaborations. Expected contributions The Research Challenges Track at ICLP 2019 invites submissions describing LP research challenges in a wide range of areas, including but not limited to: * Industry-level application of logic programming * applications of logic programming to other sciences and AI (bioinformatics, natural language processing, digital forensics, etc.) * logic programming and big data * machine learning and logic programming * logic programming and other computational paradigms * theoretical foundations of logic programming Evaluation and Feedback In this track, the selection process will be less formal. While authors will receive some feedback, the review process will not be typical. We do not expect contributions only from seasoned researchers. Ph.D. students and junior researchers are more than welcome to contribute. Also, contributors outside the LP community will be given special attention. Any contribution that clearly describes a research problem relevant to logic programming will be evaluated positively. The chance to interact with other researchers during the conference will provide additional feedback and hopefully lead to a longer-term discussion/collaboration. Important Dates (Tentative) * Abstract registration and paper submission: July 15, 2019 * Notification: July 31, 2019 * Camera-ready copy: September 1, 2017 * Conference: September 21-25, 2019 Submission Details All submissions must be written in English. Submissions should be no more than 4 pages in OASIcs format, including references, and should describe a research problem or challenge. Accepted papers will be presented during the conference. Authors of accepted papers are expected to register to ICLP and present their work. Any additional questions can be directed towards the Research Challenges Track Chairs: Alessandro Dal Palu', Universita' di Parma alessandro.dalpalu at unipr.it Amelia Harrison, Google amelia.j.harrison at gmail.com Joohyung Lee, Arizona State University joolee at asu.edu -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at upb.de Tue Mar 19 12:26:56 2019 From: sauer at upb.de (Stefan Sauer) Date: Tue, 19 Mar 2019 12:26:56 +0100 Subject: [fg-arc] =?utf-8?q?Call_for_Papers=3A_10=2E_Workshop_=E2=80=9EDe?= =?utf-8?q?sign_for_Future_=E2=80=93_Langlebige_Softwaresysteme=E2=80=9C_?= =?utf-8?q?=28DFF_2019=29_-_Teil_des_WSRE_2019?= Message-ID: <7ae5cdf2-32e0-e45d-3ae8-f7fcab501420@upb.de> *** Noch 10 Tage *** Sehr geehrte Kolleginnen und Kollegen, bitte entschuldigen Sie, falls Sie den nachfolgenden Aufruf zur Einreichung von Beiträgen mehrfach erhalten! Einreichungsfrist: 29. März 2019 ------------------------------------------------------------------------ 10. Workshop *Design for Future – Langlebige Softwaresysteme* (*DFF 2019*) ------------------------------------------------------------------------ Software Engineering für langlebige Systeme des GI-Arbeitskreises „Langlebige Software-Systeme“ (AK L2S2) der Fachgruppen „Architekturen“ und „Software-Reengineering“ http://akl2s2.ipd.kit.edu/veranstaltungen/dff2019/ 06.–08. Mai 2019 in Bad Honnef als Teil des 21. Workshop Software-Reengineering & Evolution (WSRE *2*0*1*9) https://fg-sre.gi.de/wsre2019.html *Wichtige Termine* Einreichung von Beiträgen:    29. März 2019 Benachrichtigung über die Annahme:    05. April 2019 Einreichung der finalen Fassung:    12. April 2019 Anmeldeschluss zur Teilnahme:    12. April 2019 Workshop:    06.-08. Mai 2019 *Inhalt und Ziele* Das Altern von Software ist ein Problem, das vor allem bei großen betrieblichen Informationssystemen unter dem Begriff Legacy bekannt ist und auch in Zukunft in vielfältigen Anwendungsbereichen auftreten wird. Beispielsweise können Big-Data-Initiativen den Zugriff auf ursprünglich rein intern genutzte Datentöpfe oder gar Änderungen an diesen die Erhöhung der Datenqualität erfordern. Die Notwendigkeit der Softwaremodernisierung tritt aber auch zunehmend in vielen anderen Bereichen auf, in denen Software eine Rolle spielt. Zum einen gewinnen eingebettete Systeme (insbesondere im Kontext von Cyber-Physical Systems, Internet of Things, Industrie 4.0) immer mehr an Bedeutung, in denen aufwändige Software in langlebigen technischen Geräten eingesetzt wird. Zum anderen macht die steigende Vernetzung von Systemen in großen Anwendungs- und Systemlandschaften die Situation zunehmend komplexer. Diese Probleme haben enorme ökonomische Bedeutung. Wissenschaft und Industrie sind gefordert, neue Methoden der Softwaretechnik zu entwickeln, um die erheblichen Investitionen in große Softwaresysteme zu schützen und massive Probleme durch steigende Software-Erosion zu verhindern. Aktuelle Ansätze in der Softwaretechnik, insbesondere in den Bereichen modellbasierte Entwicklungsmethoden, Lifecycle-Management, Softwarearchitektur, Requirements Engineering und Re-Engineering, können dazu beitragen, die Situation zu verbessern, wenn sie geeignet weiterentwickelt und angewandt werden. Der Arbeitskreis „Langlebige Softwaresysteme (L2S2)“ der GI Fachgruppen Architekturen und Software-Reengineering hat sich zum Ziel gesetzt, Wissenschaftler und Praktiker zusammenzubringen, die an diesen Themenstellungen Interesse haben. Im 10. DFF-Workshop des Arbeitskreises sollen die oben geschilderte Entwicklung, Erfahrungen hierzu sowie Lösungsansätze sowohl aus praktischer als auch aus wissenschaftlicher Sicht beleuchtet werden, um die verschiedenen Facetten und Herausforderungen der Software-Alterung zu beherrschen. Im Workshop sollen sowohl Lösungen als auch praktische Erfahrungen betrachtet und diskutiert werden, um die Entstehung neuer Legacy-Probleme und die Erosion von Software zu verhindern. *Themen* Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von Themen erwartet: •    Methoden zur Software-Modernisierung und Software-Migration •    Re-Engineering zum Erkennen und Beheben von Legacy-Problemen •    Anpassungsfähige und zukunftssichere Software-Architekturen •    Evolution und Co-Evolution von Modellen und Code •    Verhinderung von Software-Erosion •    Entwicklungsmethoden und Lifecycle-Management für langlebige Softwaresysteme •    Langlebige Software in eingebetteten und technischen Systemen (z.B. CPS, IoT, Industrie 4.0) •    Evolutionsherausforderungen im Kontext von Big Data •    Qualitätsmanagement für langlebige Softwaresysteme •    Fallstudien zu den vorgenannten Themen •    Praxis- und Erfahrungsberichte zu den vorgenannten Themen *Einreichung & Veröffentlichung von Beiträgen* Praktiker und Wissenschaftler, die auf dem Gebiet der Entwicklung von Konzepten, Methoden, Techniken oder Werkzeugen zur Erstellung, Wartung bzw. Weiterentwicklung langlebiger Softwaresysteme tätig sind, werden gebeten, Kurzbeiträge im Umfang von 2 Seiten im Format der Softwaretechnik-Trends (http://pi.informatik.uni-siegen.de/stt/) einzureichen. Eingereichte Beiträge sollten den Bezug zum Thema des Workshops klar herausstellen. Die eingereichten Beiträge werden vom Programmkomitee des Workshops begutachtet. Die akzeptierten Beiträge werden in den Softwaretechnik-Trends veröffentlicht. Für die Einreichung und den Begutachtungsprozess wird das System EasyChair verwendet. Der Zugang ist unter https://easychair.org/conferences/?conf=wsre2019 freigeschaltet. Der Workshop DFF wird in EasyChair als Teil des WSRE behandelt. Bitte wählen Sie bei der Einreichung unter Topics das Akronym "DFF" aus. *Organisation* Der Workshop wird organisiert vom GI-Arbeitskreis "Langlebige Software-Systeme" (AK L2S2), siehe http://akl2s2.ipd.kit.edu/. Er wird gemeinsam mit dem 21. Workshop Software-Reengineering & Evolution (WSRE 2019) der Fachgruppe "Software-Reengineering" als Track mit eigenständigem Begutachtungsprozess durchgeführt. *AK- und Workshop-Leitung:* •    Stefan Sauer, sauer at sicp.upb.de, •    Robert Heinrich, robert.heinrich at kit.edu, •    Marco Konersmann, konersmann at uni-koblenz.de *Kontakt*: sauer at sicp.upb.de From irdta at irdta.eu Sat Mar 23 14:26:45 2019 From: irdta at irdta.eu (IRDTA) Date: Sat, 23 Mar 2019 14:26:45 +0100 Subject: [fg-arc] DeepLearn 2019: early registration March 30 Message-ID: <545102060a010b0a0156580600065a06005553050554045501510b09040e5a5756550254040c0506520703000e0b56@grlmc_ip-zone_com-6> DeepLearn 2019: early registration March 30*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2019   Warsaw, Poland   July 22-26, 2019   Co-organized by:   Institute of Computer Science, Polish Academy of Sciences   IRDTA – Brussels/London   http://deeplearn2019.irdta.eu/   ***************************************************************   --- Early registration deadline: March 30, 2019 ---   ***************************************************************   SCOPE:   DeepLearn 2019 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 four-hour and a half courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2019 will take place in Warsaw, whose historical Old Town was designated a UNESCO World Heritage Site. The venue will be:   Global Expo Modlinska 6D 03-216 Warsaw   KEYNOTE SPEAKERS:   Mark Gales (University of Cambridge), Use of Deep Learning in Non-native Spoken English Assessment   PROFESSORS AND COURSES:   Christopher Bishop (Microsoft Research Cambridge), [introductory] Introduction to the Key Concepts and Techniques of Machine Learning   Aaron Courville (University of Montréal), [introductory/intermediate] Deep Generative Models   Issam El Naqa (University of Michigan), [introductory/intermediate] Deep Learning for Biomedicine   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Qiang Ji (Rensselaer Polytechnic Institute), [introductory/intermediate] Probabilistic Deep Learning and Its Applications for Computer Vision   Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Armand Joulin)   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Navraj Pannu (GoDaddy), [introductory/intermediate] Deep Learning and Maximum Likelihood in Structural Biology   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Fabio Roli (University of Cagliari), [introductory/intermediate] Adversarial Machine Learning   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing   Alex Smola (Amazon), tba   Sargur Srihari (University at Buffalo), [intermediate/advanced] Explainable Artificial Intelligence   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines   Alexey Svyatkovskiy (Princeton University), [introductory/intermediate] From Natural Language Processing to Machine Learning on Source Code   Bertrand Thirion (INRIA), [introductory] Understanding the Brain with Machine Learning   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Haixun Wang (WeWork), [intermediate] Abstractions, Concepts, and Machine Learning   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Multi-resolution Models for Learning Multilevel Abstract Representations of Text   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Complex Data with Deep Learning   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by July 14, 2019.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 14, 2019.   EMPLOYER SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 14, 2019.   ORGANIZING COMMITTEE:   Łukasz Kobyliński (Warsaw, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://deeplearn2019.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Accommodation can be booked at   http://www.deeplearn2019.promoest.com/hp.aspx?s=0   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Institute of Computer Science, Polish Academy of Sciences   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- next part -------------- An HTML attachment was scrubbed... URL: From Jorge.Fandinno at irit.fr Thu Mar 21 11:40:34 2019 From: Jorge.Fandinno at irit.fr (Jorge Fandino) Date: Thu, 21 Mar 2019 11:40:34 +0100 Subject: [fg-arc] ASPOCP 2019 - call for papers Message-ID: <3842-5c936a00-4c9-7d4cb40@21205733> [Apologies for multiple postings] =============================================================================== CALL FOR PAPERS ASPOCP 2019 12th Workshop on Answer Set Programming and Other Computing Paradigms https://sites.google.com/site/aspocp2019 June 3 or 4, 2019 (LPNMR Workshop) Affiliated with 15th International Conference on Logic Programming and Nonmonotonic Reasoning, Saint Joseph’s University, Philadelphia, PA (USA) June 4-7, 2019 =============================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction). A large body of general results regarding ASP is available and several efficient ASP solvers have been implemented. However, there are still significant challenges in applying ASP to real life applications, and more interest in relating ASP to other computing paradigms is emerging. This workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them. TOPICS Topics of interests include (but are not limited to): - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). - ASP and constraint programming. - ASP and other logic programming paradigms, e.g., FO(ID). - ASP and other nonmonotonic languages, e.g., action languages. - ASP and external means of computation. - ASP and probabilistic reasoning. - ASP and knowledge compilation. - ASP and machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions to ASP. - ASP and multi-agent systems. - ASP and multi-context systems. - Modularity and ASP. - ASP and argumentation. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - ASP and related paradigms in applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS Papers must describe original research and should not exceed 13 pages (excluding references). Submissions must be written in English, present original research, and be formatted according to Springer’s guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission will be handled electronically by means of the Easychair system. The submission page is available here IMPORTANT DATES (tentative) Abstract submission deadline: March 26, 2019 Paper submission deadline: April 1, 2019 Notification: May 1, 2019 Camera-ready articles due: May 12, 2019 Workshop: June 3 or 4, 2019 PROCEEDINGS Accepted papers will be made available online as inofficial proceedings with Arxiv.org. A selection of extended and revised versions of accepted papers will appear in a special issue. We are currently negotiating with potential journals. Such papers will go through a second formal selection process to meet the high quality standard of the journal. LOCATION Saint Joseph’s University, Philadelphia, PA (USA) WORKSHOP CO-CHAIRS Jorge Fandinno, IRIT, Toulouse, France Johannes K. Fichte, TU Wien, Austria PROGRAM COMMITTEE Alessandro Mosca Amelia Harrison The University of Texas at Austin Anne Siegel IRISA, CNRS Antti Hyvärinen USI Bart Bogaerts Vrije Universiteit Brussel Bernhard Bliem University of Helsinki Carmine Dodaro University of Genova Chitta Baral Arizona State University Cristina Feier University of Bremen Daniela Inclezan Miami University Enrico Giunchiglia University Genova Fangkai Yang Maana Inc. Francesco Ricca University of Calabria Guillermo R. Simari Universidad del Sur in Bahia Blanca Javier Romero University of Potsdam Jia-Huai You University of Alberta Joao Leite Universidade NOVA de Lisboa Johannes K. Fichte TU Dresden Johannes P. Wallner Vienna University of Technology Joohyung Lee Arizona State University Jörg Pührer Leipzig University Jorge Fandiño IRIT, University of Toulouse, CNRs Marc Denecker Katholieke Universiteit Leuven Marcello Balduccini Saint Joseph's University Marco Maratea University of Genova Mario Alviano University of Calabria Markus Hecher Vienna University of Technology Martin Gebser University of Potsdam Max Ostrowski Michael Morak Michael Gelfond Texas Tech University Mirek Truszczynski University of Kentucky Mutsunori Banbara IKobe University, Nicola Leone University of Calabria Orkunt Sabuncu TED University, Ankara Pedro Cabalar University of Corunna Richard Watson Texas Tech University, Department of Computer Science Stefan Ellmauthaler Leipzig University Stefan Woltran Vienna University of Technology Stefania Costantini University of Aquila Tomi Janhunen Aalto University Tran Cao Son New Mexico State University Vladimir Lifschitz The University of Texas at Austin Wolfgang Faber Alpen-Adria-Universität Klagenfurt Yusuf Izmirlioglu Sabanci University From Jorge.Fandinno at irit.fr Wed Mar 27 09:28:35 2019 From: Jorge.Fandinno at irit.fr (Jorge Fandino) Date: Wed, 27 Mar 2019 09:28:35 +0100 Subject: [fg-arc] =?utf-8?q?ASPOCP_2019_-_call_for_papers_=28deadline_ext?= =?utf-8?q?ended=29?= Message-ID: <54b9-5c9b3400-229-3138ac80@235336107> [Apologies for multiple postings] Deadline extended. New dates: IMPORTANT DATES Abstract submission deadline: April 10, 2019 (extended) Paper submission deadline: April 15, 2019 (extended) Notification: May 5, 2019 (extended) Camera-ready articles due: May 19, 2019 (extended) Workshop: June 3 or 4, 2019 =============================================================================== CALL FOR PAPERS ASPOCP 2019 12th Workshop on Answer Set Programming and Other Computing Paradigms https://sites.google.com/site/aspocp2019 June 3 or 4, 2019 (LPNMR Workshop) Affiliated with 15th International Conference on Logic Programming and Nonmonotonic Reasoning, Saint Joseph’s University, Philadelphia, PA (USA) June 4-7, 2019 =============================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction). A large body of general results regarding ASP is available and several efficient ASP solvers have been implemented. However, there are still significant challenges in applying ASP to real life applications, and more interest in relating ASP to other computing paradigms is emerging. This workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them. TOPICS Topics of interests include (but are not limited to): - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). - ASP and constraint programming. - ASP and other logic programming paradigms, e.g., FO(ID). - ASP and other nonmonotonic languages, e.g., action languages. - ASP and external means of computation. - ASP and probabilistic reasoning. - ASP and knowledge compilation. - ASP and machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions to ASP. - ASP and multi-agent systems. - ASP and multi-context systems. - Modularity and ASP. - ASP and argumentation. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - ASP and related paradigms in applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS Papers must describe original research and should not exceed 13 pages (excluding references). Submissions must be written in English, present original research, and be formatted according to Springer’s guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission will be handled electronically by means of the Easychair system. The submission page is available here IMPORTANT DATES Abstract submission deadline: April 10, 2019 (extended) Paper submission deadline: April 15, 2019 (extended) Notification: May 5, 2019 (extended) Camera-ready articles due: May 19, 2019 (extended) Workshop: June 3 or 4, 2019 PROCEEDINGS Accepted papers will be made available online as unofficial proceedings with Arxiv.org. A selection of extended and revised versions of accepted papers will appear in a special issue. We are currently negotiating with potential journals. Such papers will go through a second formal selection process to meet the high quality standard of the journal. LOCATION Saint Joseph’s University, Philadelphia, PA (USA) WORKSHOP CO-CHAIRS Jorge Fandinno, IRIT, Toulouse, France Johannes K. Fichte, TU Wien, Austria PROGRAM COMMITTEE Alessandro Mosca Amelia Harrison The University of Texas at Austin Anne Siegel IRISA, CNRS Antti Hyvärinen USI Bart Bogaerts Vrije Universiteit Brussel Bernhard Bliem University of Helsinki Carmine Dodaro University of Genova Chitta Baral Arizona State University Cristina Feier University of Bremen Daniela Inclezan Miami University Enrico Giunchiglia University Genova Fangkai Yang Maana Inc. Francesco Ricca University of Calabria Guillermo R. Simari Universidad del Sur in Bahia Blanca Javier Romero University of Potsdam Jia-Huai You University of Alberta Joao Leite Universidade NOVA de Lisboa Johannes K. Fichte TU Dresden Johannes P. Wallner Vienna University of Technology Joohyung Lee Arizona State University Jörg Pührer Leipzig University Jorge Fandiño IRIT, University of Toulouse, CNRs Marc Denecker Katholieke Universiteit Leuven Marcello Balduccini Saint Joseph's University Marco Maratea University of Genova Mario Alviano University of Calabria Markus Hecher Vienna University of Technology Martin Gebser University of Potsdam Max Ostrowski Michael Morak Michael Gelfond Texas Tech University Mirek Truszczynski University of Kentucky Mutsunori Banbara IKobe University, Nicola Leone University of Calabria Orkunt Sabuncu TED University, Ankara Pedro Cabalar University of Corunna Richard Watson Texas Tech University, Department of Computer Science Stefan Ellmauthaler Leipzig University Stefan Woltran Vienna University of Technology Stefania Costantini University of Aquila Tomi Janhunen Aalto University Tran Cao Son New Mexico State University Vladimir Lifschitz The University of Texas at Austin Wolfgang Faber Alpen-Adria-Universität Klagenfurt Yusuf Izmirlioglu Sabanci University From sauer at upb.de Sun Mar 31 13:23:09 2019 From: sauer at upb.de (Stefan Sauer) Date: Sun, 31 Mar 2019 13:23:09 +0200 Subject: [fg-arc] =?utf-8?q?Frist_verl=C3=A4ngert_-_Einreichungen_bis_05?= =?utf-8?b?LjA0LjogMTAuIFdvcmtzaG9wIOKAnkRlc2lnbiBmb3IgRnV0dXJlIOKAkyBM?= =?utf-8?q?anglebige_Softwaresysteme=E2=80=9C_=28DFF_2019=29_-_Teil_des_WS?= =?utf-8?q?RE_2019?= Message-ID: <2dcc667e-a852-bf07-2fe3-c18f9e300f5c@upb.de> ***Einreichungsfrist verlängert bis zum Freitag, den 5. April*** Auf mehrfachen Wunsch und in Abstimmung mit den Organisatoren des WSRE 2019 haben wir die Einreichungsfrist um 7 Tage verlängert. Bitte beachten Sie die neuen Termine: Einreichung von Beiträgen:    05. April 2019 Benachrichtigung über die Annahme:    10. April 2019 Einreichung der finalen Fassung:    18. April 2019 Anmeldeschluss zur Teilnahme:    18. April 2019 Workshop:    06.-08. Mai 2019 Nachfolgend finden Sie den Call for Papers. ------------------------------------------------------------------------ Sehr geehrte Kolleginnen und Kollegen, bitte entschuldigen Sie, falls Sie den nachfolgenden Aufruf zur Einreichung von Beiträgen mehrfach erhalten! ------------------------------------------------------------------------ 10. Workshop *Design for Future – Langlebige Softwaresysteme* (*DFF 2019*) ------------------------------------------------------------------------ Software Engineering für langlebige Systeme des GI-Arbeitskreises „Langlebige Software-Systeme“ (AK L2S2) der Fachgruppen „Architekturen“ und „Software-Reengineering“ http://akl2s2.ipd.kit.edu/veranstaltungen/dff2019/ 06.–08. Mai 2019 in Bad Honnef als Teil des 21. Workshop Software-Reengineering & Evolution (WSRE *2*0*1*9) https://fg-sre.gi.de/wsre2019.html *Wichtige Termine* Einreichung von Beiträgen:    29. März 2019 Benachrichtigung über die Annahme:    05. April 2019 Einreichung der finalen Fassung:    12. April 2019 Anmeldeschluss zur Teilnahme:    12. April 2019 Workshop:    06.-08. Mai 2019 *Inhalt und Ziele* Das Altern von Software ist ein Problem, das vor allem bei großen betrieblichen Informationssystemen unter dem Begriff Legacy bekannt ist und auch in Zukunft in vielfältigen Anwendungsbereichen auftreten wird. Beispielsweise können Big-Data-Initiativen den Zugriff auf ursprünglich rein intern genutzte Datentöpfe oder gar Änderungen an diesen die Erhöhung der Datenqualität erfordern. Die Notwendigkeit der Softwaremodernisierung tritt aber auch zunehmend in vielen anderen Bereichen auf, in denen Software eine Rolle spielt. Zum einen gewinnen eingebettete Systeme (insbesondere im Kontext von Cyber-Physical Systems, Internet of Things, Industrie 4.0) immer mehr an Bedeutung, in denen aufwändige Software in langlebigen technischen Geräten eingesetzt wird. Zum anderen macht die steigende Vernetzung von Systemen in großen Anwendungs- und Systemlandschaften die Situation zunehmend komplexer. Diese Probleme haben enorme ökonomische Bedeutung. Wissenschaft und Industrie sind gefordert, neue Methoden der Softwaretechnik zu entwickeln, um die erheblichen Investitionen in große Softwaresysteme zu schützen und massive Probleme durch steigende Software-Erosion zu verhindern. Aktuelle Ansätze in der Softwaretechnik, insbesondere in den Bereichen modellbasierte Entwicklungsmethoden, Lifecycle-Management, Softwarearchitektur, Requirements Engineering und Re-Engineering, können dazu beitragen, die Situation zu verbessern, wenn sie geeignet weiterentwickelt und angewandt werden. Der Arbeitskreis „Langlebige Softwaresysteme (L2S2)“ der GI Fachgruppen Architekturen und Software-Reengineering hat sich zum Ziel gesetzt, Wissenschaftler und Praktiker zusammenzubringen, die an diesen Themenstellungen Interesse haben. Im 10. DFF-Workshop des Arbeitskreises sollen die oben geschilderte Entwicklung, Erfahrungen hierzu sowie Lösungsansätze sowohl aus praktischer als auch aus wissenschaftlicher Sicht beleuchtet werden, um die verschiedenen Facetten und Herausforderungen der Software-Alterung zu beherrschen. Im Workshop sollen sowohl Lösungen als auch praktische Erfahrungen betrachtet und diskutiert werden, um die Entstehung neuer Legacy-Probleme und die Erosion von Software zu verhindern. *Themen* Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von Themen erwartet: •    Methoden zur Software-Modernisierung und Software-Migration •    Re-Engineering zum Erkennen und Beheben von Legacy-Problemen •    Anpassungsfähige und zukunftssichere Software-Architekturen •    Evolution und Co-Evolution von Modellen und Code •    Verhinderung von Software-Erosion •    Entwicklungsmethoden und Lifecycle-Management für langlebige Softwaresysteme •    Langlebige Software in eingebetteten und technischen Systemen (z.B. CPS, IoT, Industrie 4.0) •    Evolutionsherausforderungen im Kontext von Big Data •    Qualitätsmanagement für langlebige Softwaresysteme •    Fallstudien zu den vorgenannten Themen •    Praxis- und Erfahrungsberichte zu den vorgenannten Themen *Einreichung & Veröffentlichung von Beiträgen* Praktiker und Wissenschaftler, die auf dem Gebiet der Entwicklung von Konzepten, Methoden, Techniken oder Werkzeugen zur Erstellung, Wartung bzw. Weiterentwicklung langlebiger Softwaresysteme tätig sind, werden gebeten, Kurzbeiträge im Umfang von 2 Seiten im Format der Softwaretechnik-Trends (http://pi.informatik.uni-siegen.de/stt/) einzureichen. Eingereichte Beiträge sollten den Bezug zum Thema des Workshops klar herausstellen. Die eingereichten Beiträge werden vom Programmkomitee des Workshops begutachtet. Die akzeptierten Beiträge werden in den Softwaretechnik-Trends veröffentlicht. Für die Einreichung und den Begutachtungsprozess wird das System EasyChair verwendet. Der Zugang ist unter https://easychair.org/conferences/?conf=wsre2019 freigeschaltet. Der Workshop DFF wird in EasyChair als Teil des WSRE behandelt. Bitte wählen Sie bei der Einreichung unter Topics das Akronym "DFF" aus. *Organisation* Der Workshop wird organisiert vom GI-Arbeitskreis "Langlebige Software-Systeme" (AK L2S2), siehe http://akl2s2.ipd.kit.edu/. Er wird gemeinsam mit dem 21. Workshop Software-Reengineering & Evolution (WSRE 2019) der Fachgruppe "Software-Reengineering" als Track mit eigenständigem Begutachtungsprozess durchgeführt. *AK- und Workshop-Leitung:* •    Stefan Sauer, sauer at sicp.upb.de, •    Robert Heinrich, robert.heinrich at kit.edu, •    Marco Konersmann, konersmann at uni-koblenz.de *Kontakt*: sauer at sicp.upb.de From lpulina at uniss.it Sun Mar 31 09:56:38 2019 From: lpulina at uniss.it (Luca Pulina) Date: Sun, 31 Mar 2019 09:56:38 +0200 Subject: [fg-arc] First Call for Papers: AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Message-ID: [apologies for any cross-posting] **************************************************************************************************************************************************************** Call for Papers AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence UNICAL, Rende (CS), 19-22 November 2019 **************************************************************************************************************************************************************** ----------------------------------------------------------------- Topics of Interest ----------------------------------------------------------------- The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics enhances the program. AIIA 2019 welcomes submissions covering all areas of AI, including (but not limited to) machine learning, search, planning, knowledge representation, reasoning, constraint satisfaction, natural language processing, robotics and perception, and multiagent systems. We encourage all types of high-quality contributions including theoretical, engineering and applied papers. We also encourage contributions on AI techniques in the context of novel application domains, such as security, sustainability, health care, transportation, and commerce. Besides regular original papers, in this edition we also welcome discussion papers containing descriptions of results recently published or accepted for the presentation in international conferences. Discussion papers are expected to be more broadly accessible than regular papers, they are an opportunity for the authors to present their recent results to the AI community, and a valuable addition for the attendees of AIIA 2019. At least one author of each accepted paper is required to register and attend the conference to present the work. ----------------------------------------------------------------- Proceedings of Regular Papers ----------------------------------------------------------------- The regular papers will be included in the proceedings of the conference, and will be published by Springer Verlag in the Lecture Notes in Artificial Intelligence series. Authors of selected regular papers accepted to the main track will be invited to submit an extended version for publication on "Intelligenza Artificiale", the International Journal of the Italian Association for Artificial Intelligence, edited by IOS Press and indexed by Thomson Reuters' "Emerging Sources Citation Index" and Scopus by Elsevier. ----------------------------------------------------------------- Proceedings of Discussion Papers ----------------------------------------------------------------- The discussion papers will not be included in the LNCS proceedings of the conference, and will be made available through the conference WEB-Site and possibly published on CEUR WS Proceedings upon request. ----------------------------------------------------------------- Best Papers ----------------------------------------------------------------- The Program Committee will select the Best Student Paper Award and the Best Paper Award from the accepted regular papers. In order to be eligible for the Best Student Paper award, at least one author must be a student. ----------------------------------------------------------------- Submission Instructions ----------------------------------------------------------------- The submitted papers should be written in English and formatted according to the Springer LNCS style. Regular papers must be original papers which are not being submitted simultaneously for publication elsewhere. These papers should not exceed 12 pages plus bibliography. The discussion papers report results already published or accepted for the publication in international conferences, and should not exceed 8 pages plus bibliography. Paper submission is electronic via easychair at the address: https://easychair.org/conferences/?conf=aiia2019 ----------------------------------------------------------------- Important Dates ----------------------------------------------------------------- Abstract submission by 28 May 2019 Paper submission by 4 June 2019 Notification to authors by 23 July 2019 Camera-ready copies due by 3 September 2019 ----------------------------------------------------------------- Conference Web Site ----------------------------------------------------------------- For the most up to date information, please visit: https://aiia2019.mat.unical.it ----------------------------------------------------------------- Organizing Committee ----------------------------------------------------------------- Conference Chair: Nicola Leone (UNICAL, Italy) Program Chairs: Mario Alviano (UNICAL, Italy) Gianluigi Greco (UNICAL, Italy) Francesco Scarcello (UNICAL, Italy) Organization Chairs: Francesco Ricca (UNICAL, Italy) Chiara Ghidini (FBK, Trento) Workshop and Tutorial Chair: Rafael Penaloza (UNIMIB, Italy) Doctoral Consortium Chair: Marco Maratea (UNIGE, Italy) Publicity and Web Chair: Luca Pulina (UNISS, Italy) -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From alexander.perucci at univaq.it Fri Mar 29 09:35:32 2019 From: alexander.perucci at univaq.it (alexander.perucci at univaq.it) Date: Fri, 29 Mar 2019 09:35:32 +0100 (CET) Subject: [fg-arc] [1st Call for Papers] ASYDE 2019 @ SEFM 2019 Message-ID: <368948456.40.1553848532754.JavaMail.Alexander@DESKTOP-7TKA96C> [Apologies for multiple postings] -- First Call for Papers -- ASYDE 2019: 1st International Workshop on on Automated and verifiable Software sYstem DEvelopment, co-located with the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Oslo, Norway - September 16, 2019 During the last three decades, automation in software development has gone mainstream. Software development teams strive to automate as much of the software development activities as possible. Automation helps, in fact, to reduce development time and cost, as well as to concentrate knowledge by bringing quality into every step of the development process. Realizing high-quality software systems requires producing software that is efficient, errorfree, cost-effective, and that satisfies customer requirements. Thus, one of the most crucial factors impacting software quality concerns not only the automation of the development process but also the ability to verify the outcomes of each process activity and the goodness of the resulting software product as well. ASYDE 2019 provides a forum for researchers and practitioners to propose and discuss on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms. ASYDE 2019 welcomes research papers, (industrial) experience papers and case-studies, tool demonstrations and visionary papers; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Details on workshop goals and themes can be found at: http://asyde2019.disim.univaq.it/ == IMPORTANT DATES == Abstract submission: June 3rd, 2019 Paper submission: June 10th, 2019 Notification: July 15th, 2019 Camera ready: July 22nd, 2019 == TOPICS OF INTEREST (although not limited to) == - Specification, architecture, and design of software and verification models - Formal methods for automated software development - Model-driven software development - Correct-by-construction software development - Automated synthesis of software integration code - Automated software development and integration - Automated and verifiable software development - Automated planning methods - Non-functional properties of software - Software quality assurance for automated software development - Compositional theories for software development and its (dynamic) verification - Dynamic verification and testing - Service-oriented and Component-based software development - Machine learning techniques == PAPER SUBMISSION == Workshop papers must follow the SEFM 2019 Format and Submission Guidelines: https://sefm2019.inria.fr/cfp/ The submission Web page for ASYDE 2019 is https://easychair.org/conferences/?conf=asyde2019 Each submitted paper will undergo a process of formal peer review by at least 3 PC members. Contributions can be: - Regular papers (from 10 to 15 pages): In this category fall those contributions that propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions (e.g., industrial experiences and case-studies) in the application of FM and SE approaches for automated and verifiable software development. Regular papers must clearly describe the situation or problem tackled, the relevant state of the art, the proposed position or solution, and the potential benefits of the contribution. Authors of papers reporting industrial experiences are encouraged to make their experimental results available for use by reviewers. - Short papers (from 6 to 8 pages): This category includes tool demonstrations, position papers, and visionary papers. Authors of tool demonstration papers should make their tool available for use by reviewers == WORKSHOP CHAIRS == - Farhad Arbab, CWI, The Netherlands Farhad.Arbab at cwi.nl - Marco Autili, University of L'Aquila, Italy marco.autili at univaq.it - Federico Ciccozzi, Malardalen University, Sweden federico.ciccozzi at mdh.se - Pascal Poizat, Sorbonne Université, France pascal.poizat at lip6.fr - Massimo Tivoli, University of L'Aquila, Italy, massimo.tivoli at univaq.it == PROGRAM COMMITTEE == [to be announced] == WEB CHAIR == - Amleto Di Salle, University of L'Aquila, Italy == PUBLICITY CHAIR == - Alexander Perucci, University of L'Aquila, Italy From rmcouto at outlook.pt Fri Mar 29 16:01:24 2019 From: rmcouto at outlook.pt (rui couto) Date: Fri, 29 Mar 2019 15:01:24 +0000 Subject: [fg-arc] EXTENDED DEADLINE: EICS 2019 joined call for Tutorials, and Doctoral Consortium Submissions (Deadline: April 7th, 2019) Message-ID: (Apologies for cross posting) The deadline for Doctoral Consortium and tutorials has been extended to April 7th. Please find below the CFP. ------------------------------------------------------------------------ EICS 2019: The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 18-21 June, 2019 - Valencia, Spain EICS 2019 is the eleventh international conference devoted to engineering usable and effective interactive computing systems. Work presented at EICS covers the full range of aspects that come into play when "engineering" interactive systems, such as innovations in the design, development, deployment, verification and validation of interactive systems. Topics of interest include the design and development of systems incorporating new interaction techniques and multimodal interaction, multi-user, multi-device/screen, multi-environment interaction, mobile and pervasive systems, large-scale and big data applications, deployment of interactive systems, as well as novel development methods and processes for improving the development of interactive systems. EICS 2019 focuses on models, languages, notations, methods, techniques and tools that support designing and developing interactive systems. The Conference brings together people who study or practice the engineering of interactive systems, drawing from HCI, Software Engineering, Requirements Engineering, Conceptual Modelling, CSCW, Ubiquitous / Pervasive Systems. ------------------------------------------------------------------------ Tutorials Submissions EICS'19 invites proposals for tutorials on challenging topics of interactive systems engineering. Tutorials should aim at offering new insights, knowledge, and skills to managers, teachers, researchers, and students to explore innovative trends and to learn new techniques from experts in the field. Tutorials are intended to provide a broad overview of a topic beyond a regular paper presentation. Potential presenters should keep in mind that there may be quite a varied audience, including novice graduate students, seasoned practitioners, and specialized researchers. Each tutorial proposal will be evaluated on its anticipated benefit for prospective participants and its fit within the tutorial program as a whole. Other factors to be considered include relevance to practice and to research, timeliness, importance, and audience appeal, as well as past experience and qualifications of the instructors. The proposal should include a two-page description of the proposed tutorial, accompanied by additional information on the proposers' background and three sample slides from the presentation that you would give if your tutorial were accepted. Tutorials submissions should not be anonymous. ------------------------------------------------------------------------ Doctoral Consortium Submissions The Doctoral Consortium (DC) provides an opportunity for PhD students to present their research goals as well as intermediate results and to discuss them with leading experts in the field as well as with peers. The goals of the Doctoral Consortium are: To provide fruitful feedback and advice to the selected PhD students on their research project To provide the opportunity to meet experts To interact with other PhD students and stimulate an exchange of ideas and suggestions among participants Students can be in intermediate or advanced stages of their research, but should not have completed their work yet, and should thus still be able to take feedback from the Consortium into account. A submission consists of a short paper (max 4 pages ACM Extended Abstract Format, references excluded), and a free-form CV of the PhD candidate. Doctoral Consortium submissions should not be anonymous. ------------------------------------------------------------------------ Submissions deadline: April 7th, 2019 (5PM CET) Notifications: April 22, 2019 Submissions can be done through http://new.precisionconference.com Further information can be found on the web site: https://eics.acm.org/2019/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Sat Mar 30 23:03:55 2019 From: irdta at irdta.eu (IRDTA) Date: Sat, 30 Mar 2019 23:03:55 +0100 Subject: [fg-arc] AlCoB 2019: call for posters Message-ID: <545102060a010b0a0151530400025a0700530c5157570f56045001550254530407500652050d020655525957530355@grlmc_ip-zone_com-6> AlCoB 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 6th International Conference on Algorithms for Computational Biology (AlCoB 2019) invites researchers to submit poster presentations. AlCoB 2019 will be held in Berkeley on May 28-30, 2019. See  http://alcob2019.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: April 21, 2019 Notification of poster acceptance or rejection: April 28, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2019 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2019. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2017 JCR impact factor: 2.428). REGISTRATION At least one author of each accepted poster must register to the conference by May 14, 2019. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- next part -------------- An HTML attachment was scrubbed... URL: