From M.Pavlidis at brighton.ac.uk Thu Feb 1 15:28:20 2018 From: M.Pavlidis at brighton.ac.uk (Michalis Pavlidis) Date: Thu, 1 Feb 2018 14:28:20 +0000 Subject: [fg-arc] Deadline Extended - CFP: IEEE 12th International Conference on Research Challenges in Information Science (RCIS 2018) Message-ID: <9FF1AE8B-5325-4BAB-81E3-4E1BD62CF983@brighton.ac.uk> Deadline extended until February 9 due to several requests. You have time to submit a paper to RCIS conference, doctoral consortium, poster and demo session! http://rcis-conf.com/ CALL FOR PAPERS for the 12th IEEE International Conference on RESEARCH CHALLENGES IN INFORMATION SCIENCE 29-31 May 2018, Nantes, France Extended paper submission deadline: February 9th, 2018 http://rcis-conf.com/ co-located with the 36th French conference INFORSID http://www.inforsid.fr/Nantes2018/ RCIS has become a recognized conference on research challenges in information science. The goal of RCIS is to bring together scientists, researchers, engineers and practitioners from a wide range of information science fields and provide opportunities for knowledge sharing and dissemination. Organized for the 12th time in a row, RCIS 2018 will be held from May 29-31, 2018. IMPORTANT DATES • Regular paper submission deadline: February 9th, 2018 (23:59 Central European Time) • Author notification: March 28th, 2018 • Camera-ready deadline: April 13th, 2018 • Author registration deadline: April 13th, 2018 • RCIS’2018 Conference: May 29-31, 2018 TOPICS OF INTEREST At RCIS 2018, among other regular topics a particular attention will be given to the special topic: “Enterprise of the future”. This theme is intended to explore how Information Science, in terms of methods and tools, can help enterprises and organisations face a wide range of challenges, thanks to the power of Information. Indeed, enterprises need to be able to continually innovate as fast as (or faster than) their highly fluctuating environments and markets. However, complexity of information representation and exploitation, decision-making processes at multiple levels and their important –often unforeseen - effects, drastically impact enterprises agility and innovation. How does Information Science currently influence the future of enterprises and how can it influence it in a more efficient and innovative way? What are the main strategic challenges? How can Information Sciences strengthen and become an unavoidable and fundamental pillar of the Enterprise of the Future? RCIS welcomes submissions from a diverse spectrum: the list of themes and topics includes, but is not limited to, the following themes and topics: Information Systems and their Engineering • Requirements Engineering • Software Engineering and Testing • Model-Driven Engineering • Information Systems Development Methods and Method Engineering User-Oriented Approaches • Human-Computer Interaction • Social Computing and Social Network Analysis • User-Centered Approaches • Collaborative Computing • Information Science and the Wisdom of the Crowd Data and Information Management • Databases and Information • Information Search and Discovery • Conceptual Modeling and Ontologies • Information Security and Risk Management • Big Data, Right Data Enterprise Engineering • Business Process Engineering and Reengineering • Process Mining • Enterprise Modeling • Information Science within Reengineering Scenarios • Context-aware Organizations Applications • E-Health • E-Government • E-Commerce • Web-Based Applications and Services • Smart Cities Business Intelligence • Big Data & Business Analytics • Decision Information Systems • Knowledge Management • Knowledge Discovery from Data • Information and Value Management Information Infrastructures • Cyber-Physical Systems • Web Information Systems • Grid Computing and Cloud Computing • Internet of Things • Pervasive and Mobile Computing Reflective Research and Practice • Research Methodologies in Information Science • Impact of Information on the Enterprise and the Individual • Lifecycle Models • Design Science and Rationale • Action Research and Case Studies in Information Science Tutorials, Doctoral Consortium, Posters and Demos will complement the main conference. An updated version of this call can always be found at http://rcis-conf.com/. SUBMISSION PROCESS Papers that have already been accepted or are currently under review for other conferences or journals will not be considered for publication at RCIS 2018. Papers should be in English and must be associated to one of the following categories: - Technical solution papers present solutions that are novel or significantly improve existing solutions. A technical solution paper must include a preliminary validation of the proposed solution, and results must be stated clearly enough so that it is possible to validate them in later research. Maximum page count is 12. - Evaluation papers evaluate existing problem situations or validate proposed solutions through scientific means, i.e. by empirical studies, experiments, case studies, simulations, mathematical proofs, etc. The research method must be sound and appropriate. Maximum page count is 12. - Industrial practice and experience papers present problems or challenges encountered in practice, describe success or failure stories, or report on industrial practice. The practice must be clearly described and its context must be given. Maximum page count is 12. - Work in progress papers present relevant preliminary results that may not have been fully validated yet. The work presented should be advanced enough as to show its contribution and significance. Maximum page count is 6. The submission site address is https://easychair.org/conferences/?conf=rcis2018 By submitting a paper, authors implicitly agree that at least one of them will register to the conference and present the paper. It is expected that at least one author will register for each accepted paper. Only papers that have been presented by their authors during the conference will be published as part of the IEEE Proceedings. Accepted papers will be submitted to IEEE for publication in IEEE Xplore digital library using the IEEE 2-column format (http://www.ieee.org/conferences_events/conferences/publishing/templates.html). CONFERENCE COMMITTEES General Chair: Marko Bajec, University of Ljubljana, Slovenia Program chairs: Haralambos Mouratidis, University of Brighton, UK Benedicte Le Grand, University Paris1 Panthéon-Sorbonne, France Organization chairs: Dalila Tamzalit, AeLoS, University of Nantes France Alain Bernard, IS3P, Centrale Nantes, France ___________________________________________________________ This email has been scanned by MessageLabs' Email Security System on behalf of the University of Brighton. For more information see: https://staff.brighton.ac.uk/is/computing/Pages/Email/spam.aspx -------------- next part -------------- An HTML attachment was scrubbed... URL: From grlmc at grlmc.com Fri Feb 2 01:44:15 2018 From: grlmc at grlmc.com (GRLMC) Date: Fri, 02 Feb 2018 01:44:15 +0100 Subject: [fg-arc] HighPer 2018: early registration February 12 Message-ID: <545102060a010b060450530405075a53530004580004010203525f020e53020207000700555b565606515500520007@grlmc_ip-zone_com-6> HighPer 2018: early registration February 12*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *****************************************************************************   INTERNATIONAL SPRING SCHOOL ON HIGH PERFORMANCE COMPUTING   HighPer 2018   San Sebastián / Donostia, Spain   April 23-27, 2018   Organized by:   Materials Physics Center (CSIC-UPV/EHU), Donostia International Physics Center (DIPC), and Rovira i Virgili University   http://grammars.grlmc.com/HighPer2018/   *****************************************************************************   --- Early registration deadline: February 12, 2018 ---   *****************************************************************************   SCOPE:   HighPer 2018 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 high performance computing, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of high performance computing will be displayed, from foundations, infrastructure and management to applications. Major challenges in the field will be identified through 2 keynote lectures, 22 five-hour and fifteen-minute 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 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, HighPer 2018 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:   HighPer 2018 will take place in San Sebastián, a famous touristic coastal city in the Basque Country which was European Capital of Culture 2016. The venue will be:   Centro Ignacio María Barriola Universidad del País Vasco / Euskal Herriko Unibertsitatea Campus de Gipuzkoa Plaza Elhuyar, 1 20018 San Sebastián / Donostia Spain   KEYNOTE SPEAKERS:   Federico Calzolari (Scuola Normale Superiore), Supercomputing: From CERN to Our Lives   Tony Hey (Rutherford Appleton Laboratory, UK Science and Technology Facilities Council), Big Scientific Data and Data Science   PROFESSORS AND COURSES:   Srinivas Aluru (Georgia Institute of Technology), [intermediate] High Performance Computational Biology   David A. Bader (Georgia Institute of Technology), [introductory/intermediate] Massive-scale Graph Analytics   Ümit V. Çatalyürek (Georgia Institute of Technology), [introductory/intermediate] HPC Graph Analytics   Alan Edelman (Massachusetts Institute of Technology), [introductory] Julia, with an Introduction to Performance and Machine Learning   Richard Fujimoto (Georgia Institute of Technology), [intermediate] Parallel Discrete Event Simulation   Timothy C. Germann (Los Alamos National Laboratory), [intermediate] HPC Frontiers in Computational Materials Science and Engineering   Lennart Johnsson (University of Houston), [introductory/intermediate] Energy Efficient Computing   Alfio Lazzaro (University of Zurich), [introductory/intermediate] Code Performance Optimizations   Andrew Lumsdaine (Pacific Northwest National Laboratory), [intermediate/advanced] Modern C++ for High-performance Computing   Madhav Marathe (Virginia Polytechnic Institute and State University), [introductory/advanced] Massively Interacting Bio-social Systems: Pervasive, Personalized and Precision Analytics   Frank Mueller (North Carolina State University), [introductory/intermediate] How to Parallelize Your Code: Taking Stencils from OpenMP to MPI, CUDA and TensorFlow   J. (Ram) Ramanujam (Louisiana State University), [introductory] Introduction to Program Analysis and Compiler Optimizations for Multicores and Accelerators   Adrian Sandu (Virginia Polytechnic Institute and State University), [introductory/intermediate] Revealing Parallelism: How to Decompose your Problem into Concurrent Tasks   Vivek Sarkar (Georgia Institute of Technology), [introductory] Fundamentals of Parallel, Concurrent, and Distributed Programming   Marc Snir (University of Illinois at Urbana-Champaign), [introductory] Programming Models and Run-times for High-Performance Computing   El-Ghazali Talbi (University of Lille 1), [introductory] Parallel Metaheuristics for Optimization and Machine Learning   Josep Torrellas (University of Illinois at Urbana-Champaign), [intermediate/advanced] Parallel Computer Architecture Concepts   Todd J. Treangen (University of Maryland, College Park), [intermediate] Metagenomic Assembly and Validation   Elena Vataga (University of Southampton), [introductory] Hands-on Introduction to HPC for Life Scientists   Uzi Vishkin (University of Maryland, College Park), [introductory/intermediate] Parallel Algorithmic Thinking and How It Has Been Affecting Architecture   Richard Vuduc (Georgia Institute of Technology), [introductory] How Much Time, Energy, and Power Does an Algorithm Need?   David Walker (Cardiff University), [intermediate] Parallel Programming with OpenMP, MPI, and CUDA   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.silva409 (at) yahoo.com by April 16, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of high performance computing 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 should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in high performance computing will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018.   ORGANIZING COMMITTEE:   Íñigo Aldazabal Mensa (co-chair) Carlos Martín-Vide (co-chair) Manuel J. Parra-Royón Txomin Romero Asturiano (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/HighPer2018/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For logistic reasons, 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:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Centro de Física de Materiales (CSIC-UPV/EHU) Donostia International Physics Center (DIPC) Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Sun Feb 4 11:55:17 2018 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Sun, 4 Feb 2018 11:55:17 +0100 Subject: [fg-arc] Call for Participation: MMSM 2018 @ Modellierung 2018 - 4. Workshop Modellbasierte und modellgetriebene Softwaremodernisierung - Aufruf zur Teilnahme + Programm - 21. Februar 2018 Message-ID: <784520bf-babe-005d-76e5-ce362bb03b4d@uni-paderborn.de> Sehr geehrte Kolleginnen und Kollegen, bitte entschuldigen Sie, falls Sie den nachfolgenden Aufruf zur Teilnahme mehrfach erhalten! Wir laden Sie herzlich ein zur Teilnahme am _______________________________________________________________ *4. Workshop "Modellbasierte und modellgetriebene Softwaremodernisierung"* *(MMSM 2018)* Braunschweig, 21. Februar2018 _______________________________________________________________ gemeinsamer Workshop der Arbeitskreise „Langlebige Software-Systeme“ (L2S2), „Modellgetriebene Software-Entwicklung“ (MDA) und „Traceability/Evolution“ http://akl2s2.ipd.kit.edu/veranstaltungen/mmsm2018/ im Rahmen der Konferenz Modellierung 2018 21. – 23. Februar 2018 in Braunschweig https://modellierung2018.wordpress.com/ Die Registrierung erfolgt über die Webseite der Konferenz Modellierung 2018. *Programm* ---------- Mittwoch, 21. Februar 2018 9:00 Uhr Eröffnung 9:15 Uhr Keynote-Vortrag Markus Völter (itemis AG) [Abstract: siehe unten] Mit DSLs zu nachhaltigen Systemen 10:00 Uhr Vortrag Jens Zimmermann (Altran Deutschland S.A.S. & Co. KG) Modernisierung durch Einführung einer domänenspezifischen Sprache für die Software-Architektur - eine Fallstudie 10:30 Uhr Kaffeepause 11:00 Uhr Vortrag Kenny Wehling (Volkswagen AG) Automatisierte Identifizierung von Restrukturierungspotentialen in Systemvarianten zur Reduzierung unnötiger IT-Komplexität 11:30 Uhr Vortrag Harry Sneed (SoRing Kft), Sonja Schuster (ReqPool GmbH) [Regulärer Beitrag] Rückwärtsmodellierung bestehender Finanzdienstleistungssysteme 12:00 Uhr Vortrag Ivan Jovanovikj, Enes Yigitbas, Stefan Sauer (Universität Paderborn) [Regulärer Beitrag] Test Case Migration: A Reference Process Model and its Instantiation in an Industrial Context 12:30 Uhr Mittagessen 13:30 Uhr Working Session 15:00 Uhr Ende Abstract [Keynote von Markus Völter] Einer der wesentlichen Erfolgsfaktoren bei der Modernisierung von Altanwendungen ist es, dafür zu sorgen, dass nicht in einigen (wenigen) Jahren wieder die gleichen Probleme auftreten wie mit dem Altsystem: lange und teure Änderungszyklen, unverständliche/vergrabene Fachlogik, Feststecken in (ver-)alt(et)en Implementierungstechnologien. Aus meiner Sicht gibt es daher zwei essentielle Randbedingungen: die Entkopplung von Technik und Fachlichkeit sowie eine direktere Einbindung der Fachexperten bei Implementierung und Test eben jener Fachlichkeit. Domänenspezifische Sprachen versprechen beides: Eine gut designte Sprache erlaubt es den Fachlern, die Fachlogik direkt zu spezifizieren und in einer IDE interaktiv zu testen -- im Prinzip völlig ohne die Einbindung der Techniker. Die Spezifikationen sind formal genug, um sie durch Interpretation oder Codegenerierung direkt in das Ziel-Softwaresystem zu überführen. Durch Portierung von Generator oder Interpreter wird eine Migration der Implementierungstechnik einfacher. Und ja, man bindet sich an das Modellierungswerkzeug; aber auch hier gibt es glaubwürdige Strategien, um nicht in einer Technologiesackgasse zu enden. Im Vortrag argumentiere ich für das hier beschriebene Vorgehen, beschreibe einige relevante Aspekte von Modellierungswerkzeugen und illustriere den Ansatz mit Beispielen aus konkreten Projekten. ---------------------------------- Auf Ihre Teilnahme freuen sich die *Organisatoren* Stefan Sauer, Universität Paderborn [Kontakt] Steffen Becker, Universität Stuttgart Robert Heinrich, KIT Karlsruhe Marco Konersmann, Universität Duisburg-Essen Matthias Riebisch, Universität Hamburg *Kontakt*: sauer at uni-paderborn.de -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5450 bytes Desc: S/MIME Cryptographic Signature URL: From davide.diruscio at univaq.it Fri Feb 2 20:29:31 2018 From: davide.diruscio at univaq.it (Davide Di Ruscio) Date: Fri, 2 Feb 2018 20:29:31 +0100 Subject: [fg-arc] CFPs: Quality Aspects in Model-Driven Engineering Thematic Track @QUATIC 2018 Message-ID: CALL FOR PAPERS 11th International Conference on the Quality of Information and Communications Technology (QUATIC 2018) http://2018.quatic.org Thematic Track on Quality Aspects in Model-Driven Engineering https://sites.google.com/view/quatic2018/thematic-tracks/model-driven-engineering 4-7 September 2018, Coimbra, Portugal Model-driven engineering (MDE) refers to a range of approaches where models play an indispensable role in software development. Modeling promotes higher level of abstraction, therefore reducing complexity of software development and promoting communication among the several stakeholders in the development process (e.g. product managers, designers, programmers). MDE initiatives, like OMG’s Model-Driven Architecture (MDA), make claims of increased quality and productivity by separating business and application logic from underlying platform technology, transforming models to other models and automating code generation (ranging from system skeletons to complete, deployable products). However, while quality assurance is a well-known topic in “traditional” Software Engineering, less is known on how to assess quality across the MDE lifecycle (encompassing new activities such as metamodel engineering or transformations specification), as well as on the effective improvements obtained by applying MDE itself, face to not using it at all. We seek novel contributions ranging from conceptual frameworks to case studies on how to leverage ICT systems quality with MDE techniques, as well as how to induce quality assurance in the MDE lifecycle itself. Suggested topics of interest include, but are not restricted to: • Quality models in the MDE context • Quality assurance in the MDE development flow • Evaluating the quality of models and metamodels • Models’ traceability throughout the lifecycle • Assessing quality in model transformations • Measuring the improvement achieved with an MDE approach, specially regarding quality • Quality in the context of model-driven service oriented systems • Case studies and lessons learned in applying MDE in industry • Empirical studies on the quality of MDE processes • Modeling and analyzing quality standards • Role of MDE in the quality evaluation of software maintenance, evolution and migration scenarios QUATIC 2018, and thus the thematic track, is associated with a Special Issue at the Software Quality Journal (http://static.springer.com/sgw/documents/1625620/application/pdf/SpecialIssue-QICT+v2.pdf) and provides an opportunity to have an open discussion and receive feedback in preparation for submission to that special issue. Submission process: Authors should submit to https://easychair.org/conferences/?conf=quatic2018 a PDF version of their paper. Full Papers must be in CPS format and not exceed 9 pages, including figures, references, and appendices. Work In Progress (WIP) works with relevant preliminary results are limited to 4 pages. Submissions must be original and will be reviewed by the Track Program Committee. Accepted papers will be included in the electronic proceedings of QUATIC’2018 published by Conference Publishing Services (CPS), submitted for archiving in Xplore and CSDL, and submitted for indexing in ISI Web of Science, SCOPUS, ACM Portal, DBLP and DOI System, subject to one of the authors registering for the conference. The best papers of this thematic track will be invited to be presented in the main conference. Important dates: • Paper submission April 20th AoE, 2018 • Paper Notification May 25th AoE, 2018 • Camera Ready June 15th AoE, 2018 -- ------------------------------------------------------------------------------------------------------------- Davide Di Ruscio, PhD in Computer Science Assistant Professor Department of Information Engineering Computer Science and Mathematics University of L'Aquila Via Vetoio, Coppito I-67010 L'Aquila (Italy) Email: davide.diruscio at univaq.it WWW: http://www.di.univaq.it/diruscio Skype: davidediruscio Twitter: DDiRuscio ------------------------------------------------------------------------------------------------------------- From announce at cs.ucy.ac.cy Sun Feb 4 14:18:13 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 4 Feb 2018 15:18:13 +0200 Subject: [fg-arc] 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018): First Call for Contributions Message-ID: <1SRW40CP-8I14-YT8-XSPY-QING0KJ8YRQ@cs.ucy.ac.cy> **** FIRST CALL FOR CONTRIBUTIONS **** (Papers, Tutorial/Workshop Proposals, Posters, Demos, PhD cons) The 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018) Hilton Cyprus, Nicosia, Cyprus, 10-13 December, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxMHRoIElFRUUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENsb3VkIENvbXB1dGluZyBUZWNobm9sb2d5IGFuZCBTY2llbmNlIChDbG91ZENvbSAyMDE4KTogRmlyc3QgQ2FsbCBmb3IgQ29udHJpYnV0aW9ucwkxNDMJTGlzdHMJMTc2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fcloudcom2018%2F CloudCom is the premier conference on Cloud Computing worldwide, attracting researchers, developers, users, students and practitioners from the fields of big data, systems architecture, services research, virtualization, security and privacy, high performance computing, always with an emphasis on how to build cloud computing platforms with real impact. The conference is co-sponsored by the Institute of Electrical and Electronics Engineers (IEEE), is steered by the Cloud Computing Association, and draws on the excellence of its world-class Program Committee and its participants. CloudCom 2018 will be held in Nicosia, Cyprus between 10-13 December, 2018. TOPICS OF INTEREST Topics of interest of CloudCom 2018 are grouped into four tracks: · Architecture, Storage and Virtualization · Cloud Services and Applications · Security, Privacy and Trust · Edge Computing and Distributed Cloud The (non-exhaustive) list of topics for each track is as follows: Track 1: Architecture, Storage and Virtualization Chairs: Luiz F. Bittencourt, University of Campinas (UNICAMP), Brazil, Ivona Brandic, TU-Wien, Austria · Intercloud architecture models · Virtual Machines (VMs), containers, unikernels and microservices · Cloud services delivery models, campus integration & ìlast mileî issues · Virtualization technology and enablers (network virtualization, software-defined networking) · Networking technologies · Cloud system design with FPGAs, GPUs, APUs · Storage & file systems · Scalability & performance · Resource provisioning, monitoring, management & maintenance · Operational, economic & business models · Green data centers · Computational resources, storage & network virtualization · Resource monitoring · Virtual desktops · Resilience, fault tolerance, disaster recovery · Modeling & performance evaluation · Disaster recovery · Energy efficiency Track 2: Cloud Services and Applications Chairs: Laura Ricci, University of Pisa, Italy, Beniamino Di Martino, Seconda Universitaí di Napoli, Italy · XaaS (everything as a service including IaaS, PaaS, and SaaS) · Cloud services models & frameworks · Service deployment and orchestration in the Cloud · Cloud service management · Cloud workflow management · Cloud services reference models & standardization · Cloud-powered services design · Cloud elasticity · Machine learning and systems interactions · Data management applications & services · Service for computing-intensive applications · Mining and analytics · Data-provisioning services · Cloud programming models, benchmarks, and tools · Cloud-based services & protocols · Fault-tolerance & availability of cloud services and applications · Application development and debugging tools · Business models & economics of cloud services Track 3: Security, Privacy and Trust Chairs: Martin Gilje Jaatun, University of Stavanger, Norway, Barbara Carminati, Insubria, Italy · Accountability & audit · Authentication & authorization · Cloud integrity · Blockchain Cloud services · Cryptography in the Cloud · Hypervisor security · Identity management & security as a service · Prevention of data loss or leakage · Secure, interoperable identity management · Trust & credential management · Trust models for cloud services · Usable security Risk management in cloud computing environments · Privacy policy framework for clouds · Privacy-preserving data mining for clouds · Information sharing and data protection in the cloud · Cryptographic protocols against internal attacks in clouds · Privacy protection in cloud platforms · Energy/cost/efficiency of security in clouds Track 4: Edge Computing and Distributed Cloud Chairs: Antonio Fernandez Anta, IMDEA, Spain, Sarunas Girdzijauskas, KTH, Sweden · Cloudlet-enabled applications · Distributed Cloud Infrastructure · Foundations and principles of distributed cloud computing · Architectural models, prototype implementations and applications · Cloud brokers and coordination across multiple resource managers · Interoperability and mobility · Software infrastructure for cloudlets · Dynamic resource, service and context management on edge computing · Fog Computing · IoT cloud architectures & models · Cloud-based context-aware IoT · Economics and pricing · Experience with and performance evaluation of existing deployments and measurements (public, private, hybrid, federated environments) PAPER SUBMISSION GUIDELINES Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Authors must submit their papers by the deadline indicated below, using the EasyChair submission system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxMHRoIElFRUUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENsb3VkIENvbXB1dGluZyBUZWNobm9sb2d5IGFuZCBTY2llbmNlIChDbG91ZENvbSAyMDE4KTogRmlyc3QgQ2FsbCBmb3IgQ29udHJpYnV0aW9ucwkxNDMJTGlzdHMJMTc2CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dcloudcom2018 . Only PDF files will be accepted. Manuscripts need to be prepared according to the IEEE CS format (https://www.ieee.org/conferences_events/conferences/publishing/templates.html). All regular paper submissions should be written in English with a maximum paper length of 8 pages. All submitted papers will be reviewed by at least three experts. Accepted papers must be presented at the conference. At least one author of each accepted paper must register to the conference, by the early date indicated by the organizers, and present the paper. The conference proceedings of CloudCom 2018 will be published by IEEE Conference Publishing Service with ISBN and ISSN, and submitted to IEEE Xplore and indexing services such as Ei Compendex. Distinguished papers will be recommended for fast-track publication in the IEEE Transactions on Cloud Computing or invited to be included within a number of special issues in prestigious international journals. CALL FOR TUTORIAL AND WORKSHOP PROPOSALS IEEE CloudCom 2018 is soliciting proposals for full-day / half-day workshops and Tutorials to be held in conjunction with IEEE CloudCom 2018. For more information on the tutorials and workshops and for the complete Call for Tutorial and Workshop Proposals, please see the conference website. CALL FOR POSTERS, DEMOS & SHORT PAPERS (Late-breaking Results) Authors are invited to submit their research work as a poster, demo or short paper (late-breaking results) to the CloudCom 2018 conference. For the complete Call for Call for Posters, Demos & Short Papers (Late-breaking Results) please see the conference website. CALL FOR PH.D. CONSORTIUM A Ph.D. consortium will be held in conjunction with IEEE CloudCom 2018 in Nicosia, Cyprus. For the complete Call for Ph.D. consortium, please see the conference website. IMPORTANT DATES · Workshop Proposals Due: 30 April 2018 · Tutorial Proposals Due: 30 June 2018 · Regular Papers Due: 15 June 2018 · Ph.D. Consortium Papers Due: 31 August 2018 · Short Papers, Posters and Demos Due: 31 August 2018 · Notification of Paper Acceptance: 14 September 2018 · Camera Ready: 08 October 2018 · Author Registration: 15 October 2018 ORGANIZING COMMITTEE GENERAL CHAIR · George Angelos Papadopoulos, University of Cyprus, Cyprus PROGRAM CHAIRS · George Pallis, University of Cyprus, Cyprus · Sebastien Varrette, University of Luxembourg, Luxembourg PROGRAM TRACK CHAIRS · Antonio Fernandez Anta, IMDEA, Spain · Luiz F. Bittencourt, University of Campinas (UNICAMP), Brazil · Ivona Brandic, TU-Wien, Austria · Barbara Carminati, Insubria, Italy · Martin Gilje Jaatun, University of Stavanger, Norway · Sarunas Girdzijauskas, KTH, Sweden · Beniamino Di Martino, Seconda Universitaí di Napoli, Italy · Laura Ricci, University of Pisa, Italy WORKSHOPS & TUTORIALS CO-CHAIRS · Domenico Talia, University of Calabria, Italy · Dimitrios Tsoumakos, Ionian University, Greece PH.D. COMSORTIUM CHAIR · Achilleas Achilleos, University of Cyprus, Cyprus SHORT PAPERS, POSTERS & DEMO CHAIR · Ioannis Konstantinou, NTUA, Greece PUBLICITY CHAIR · Achilleas Achilleos, University of Cyprus, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From ruipereira at di.uminho.pt Fri Feb 2 10:41:46 2018 From: ruipereira at di.uminho.pt (Rui Pereira) Date: Fri, 2 Feb 2018 09:41:46 +0000 Subject: [fg-arc] CFP: VL/HCC 2018 - IEEE Symposium on Visual Languages and Human-Centric Computing Message-ID: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2018) 1-4 October, 2018 - Lisbon, Portugal http://vlhcc.org IMPORTANT DATES --------------- - Abstract Submission: 6 April 2018 - Paper Submission: 13 April 2018 - Review Notifications: 15 June 2018 - Rebuttal Deadline: 22 June 2018 - Paper Notification: 6 July 2018 - Camera Ready copy: 27 July 2018 - Conference: 1–4 October 2018 SCOPE AND TOPICS ---------------- We solicit original, unpublished research papers on computing technologies and visual languages for modelling, programming, communicating, and reasoning, which are easier to learn, use or understand by humans than the current state-of-the-art. Papers should focus on efforts to design, formalize, implement, or evaluate those technologies and languages. This includes tools and visual languages intended for general audiences (e.g. professional or novice programmers, or the public) or domain-specific audiences (e.g. people working in business administration, production environments, healthcare, urban design or scientific domains). This year's special topic is "Building Human-Adaptive Socio-Technical Systems". Systems in which humans are both developers of and intrinsic parts of the system are becoming more common. These Human-Adaptive Socio-Technical Systems adapt to changes in context and the behavior of human users. Example systems include situation-aware human-assistance systems and learning-based cooperative control systems in a variety of application areas including Internet-of-Things applications and Cyber-physical social systems. These kinds of systems require human-centered concepts, languages and methods in two separate contexts: to specify system behavior and to assist in modeling human behavior. Areas of interest include, but are not limited to: - Novel visual languages - Design, evaluation, and theory of visual languages - End-user development, adaptation, and programming - Domain-specific languages - Visual modeling of socio-technical systems - Visual modeling of human behavior - Visual modeling of digital twins of humans - Interdisciplinary approaches (e.g. psychology, sociology) to human aspects - Human aspects and psychology of software development and language design - New representations and user interfaces for explaining system’s behavior - Computational thinking and computer science education - Problem solving through programming and play - Debugging and program understanding - Crowd Sourcing design and development work - Software visualization - Technologies and infrastructures for end user development - Technology acceptance and adoption studies - Evaluation of end user development technologies PAPER SUBMISSIONS ----------------- We invite two kinds of papers: - full-length research papers, up to 8 pages - plus unlimited additional pages containing only references - short research papers, up to 4 pages - plus unlimited additional pages containing only references Supplemental Materials: In addition to papers, authors may optionally submit supplemental materials that support their papers. Examples of supplemental materials include short digital videos, copies of study instruments, or experimental methodologies. Supplementary material should be briefly described in the paper body. However, since not everyone who reviews your paper may review submitted supplemental materials, your submission must stand on its own without the supplemental materials. The supplemental materials will be distributed at the conference and will appear in the IEEE Xplore Digital Library. Videos must be at most 3 minutes in length, at most 100 MB in size, and prepared as MP4 files using the H.264 codec. All supplemental materials must adhere to the IEEE preparation instructions: https://www.ieee.org/documents/MMdocumentation.pdf. Papers and supplemental materials must be submitted using the EasyChair system: https://easychair.org/conferences/?conf=vlhcc2018 * Please note that we will follow a double-blind reviewing mechanism for 2018. * To facilitate assigning papers to reviewers, we require paper abstracts to be submitted via EasyChair at least one week before the paper submission deadline. The abstract must be no longer than 150 words and must be kept up-to-date such that it exactly matches the abstract in the submitted paper. All accepted papers, whether full or short, should be complete, self-contained, archival contributions. Contributions from full papers are more extensive than those from short papers. Work-in-progress, which has not yet yielded a contribution, should be submitted to the Showpieces category. All submissions will be reviewed by members of the Program Committee. Submission and reviews for the technical program are managed with EasyChair. At least one author of each accepted paper is required to register for VL/HCC 2018 and present the paper at the conference. IEEE reserves the right to exclude a paper from distribution after the conference, including IEEEXplore® Digital Library, if the paper is not presented by the author at the conference. Accepted papers will be distributed at the conference and will be included in the IEEE Xplore Digital Library (http://ieeexplore.ieee.org/). The proceedings are an official electronic publication of the IEEE in Computer Science, with an ISBN number. Be sure to use the current IEEE conference paper format: http://www.ieee.org/conferences_events/conferences/publishing/templates.html. DOUBLE BLIND REVIEWING ---------------------- We follow a light-weight double-blind reviewing process. Thus, submitted papers must not reveal the identities of authors. However, the author names will be known to the program committee in the rebuttal phase. Both authors and reviewers are expected to make every effort to honor the double-blind reviewing process. In case of questions, please contact the Program Chairs. Authors should ensure that the submission can be evaluated without it being obvious who wrote the paper. This means leaving author names off the paper and using terms like “previous research” rather than “our previous research” when describing background. However, do not hide previous work – papers must still reference all relevant research, including that by the current authors, so reviewers can evaluate novelty. It is important that authors specify all conflicts of interest with potential reviewers during the submission phase. Reviewers should not undertake any investigation that might lead to the revealing of authors identity. If identities are inadvertently revealed, please contact the Program Chairs. The Program Chairs will check all submissions for obvious signs of lack of anonymity and may ask authors to make changes and resubmit the paper within four days of the submission deadline. EVALUATION AND JUSTIFICATION ---------------------------- Papers are expected to support their claims with appropriate evidence. For example, a paper that claims to improve programmer productivity is expected to demonstrate improved productivity; a paper that claims to be easier to use should demonstrate increased ease of use. However, not all claims necessarily need to be supported with empirical evidence or studies with people. For example, a paper that claims to make something feasible that was clearly infeasible might substantiate its claim through the existence of a functioning prototype. Moreover, there are many alternatives to empirical evidence that may be appropriate for justifying claims, including analytical methods, formal arguments or case studies. Given this criterion, we encourage potential authors to think carefully about what claims their submission makes and what evidence would adequately support these claims. In addition, we expect short papers to have less comprehensive evaluation than long papers. REVIEWING PROCESS ----------------- Papers will be reviewed as follows: - Initial review period: at least three members of the Program Committee or external reviewers will review each paper. At the end of this period, these initial reviews will be released to the authors. - Author response period: authors will have an opportunity to submit a response based on their initial reviews. Responses should focus on answering reviewers' questions, addressing reviewers' concerns, and clarifying any factual misunderstandings. At this point, the identity of authors will be revealed to the program committee. - Final review period: taking the author response into account, the original reviewers will revise their reviews as they deem appropriate, and the Program Committee will reach a final decision to accept or reject the submitted work. -------------- next part -------------- An HTML attachment was scrubbed... URL: From slucas at dsic.upv.es Mon Feb 5 12:15:55 2018 From: slucas at dsic.upv.es (Salvador Lucas) Date: Mon, 5 Feb 2018 12:15:55 +0100 Subject: [fg-arc] WST 2018 - 1st Call for Papers (submission: April 15, 2018) Message-ID: ==========================================================================                           WST 2018 - Call for Papers                    16th International Workshop on Termination                     July 18-19, 2017, Oxford, United Kingdom                           http://wst2018.webs.upv.es/ ========================================================================== The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from the different communities interested in termination (e.g., working on computational mechanisms, programming languages, software engineering, constraint solving, etc.). The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The workshop is held as part of the 2018 Federated Logic Conference (FLoC 2018)           http://www.floc2018.org/ IMPORTANT DATES:  * submission deadline:  April 15, 2018  * notification:         May 15, 2018  * final version due:    May 31, 2018  * workshop:             July 18-19, 2018 TOPICS: The 16th International Workshop on Termination welcomes contributions on all aspects of termination. In particular, papers investigating applications of termination (for example in complexity analysis, program analysis and transformation, theorem proving, program correctness, modeling computational systems, etc.) are very welcome. Topics of interest include (but are not limited to):  * abstraction methods in termination analysis  * certification of termination and complexity proofs  * challenging termination problems  * comparison and classification of termination methods  * complexity analysis in any domain  * implementation of termination methods  * non-termination analysis and loop detection  * normalization and infinitary normalization  * operational termination of logic-based systems  * ordinal notation and subrecursive hierarchies  * SAT, SMT, and constraint solving for (non-)termination analysis  * scalability and modularity of termination methods  * termination analysis in any domain (lambda calculus, declarative    programming, rewriting, transition systems, etc.)  * well-founded relations and well-quasi-orders COMPETITION: Since 2003, the catalytic effect of WST to stimulate new research on termination has been enhanced by the celebration of the Termination Competition and its continuously developing problem databases containing thousands of programs as challenges for termination analysis in different categories, see    http://termination-portal.org/wiki/Termination_Competition In 2018, the Termination Competition will run in parallel with FLoC 2018. More details will be provided in a dedicated announcement on the competition. PROGRAM COMMITTEE:     Cristina Borralleras - U. de Vic     Ugo Dal Lago - U. degli Studi di Bologna     Carsten Fuhs - Birkbeck, U. of London     Samir Genaim - U. Complutense de Madrid     Juergen Giesl - RWTH Aachen     Raul Gutiérrez - U. Politecnica de València     Keiichirou Kusakari - Gifu University     Salvador Lucas (chair) - U. Politecnica de Valencia     Fred Mesnard - U. de La Reunion     Aart Middeldorp - U. of Innsbruck     Albert Rubio - U. Politecnica de Catalunya     Rene Thiemann - U. of Innsbruck     Caterina Urban - ETH Zürich INVITED SPEAKERS:     tba SUBMISSION: Submissions are short papers/extended abstracts which should not exceed 5 pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and provides additional feedback for each submission. The accepted papers will be made available electronically before the workshop. Papers should be submitted electronically via the submission page:     https://easychair.org/conferences/?conf=wst2018 Please, use LaTeX and the LIPIcs style file     http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz to prepare your submission. From marcello.balduccini at gmail.com Wed Feb 7 03:31:08 2018 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Tue, 6 Feb 2018 21:31:08 -0500 Subject: [fg-arc] ** 3-MONTH REMINDER ** KR 2018 Call for Papers Message-ID: <201802070231.w172V8um062570@coSAT.marcy-sara.tk> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] CALL FOR PAPERS *** KR 2018 *** *** 3-MONTH REMINDER *** 16th International Conference on Principles of Knowledge Representation and Reasoning Tempe, Arizona (USA) October 30-November 2, 2018 kr2018.org/ Co-located with DL 2018 [dl.kr.org/] and NMR 2018 [www.kr.org/NMR] KR 2018 IMPORTANT DATES ----------------------- * Submission of title and abstract: 13 May 2018 <====== 3 MONTHS AWAY * Paper submission deadline: 20 May 2018 * Author response period: 25-27 June 2018 * Notification: 11 July 2018 * Camera-ready papers due: 3-10 August 2018 * Conference date: 30 October-2 November 2018 ------------------------ Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning, natural language understanding, among others, as well as to fields beyond AI, including databases, verification, and software engineering. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Contrary to previous editions, KR 2018 will also feature an open call for workshop and tutorial proposals. The deadline for submissions is 21 February 2018. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018. Please check the KR 2018 website for further information and updates. We solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KRR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Papers must be submitted in AAAI style and PDF format. We invite two kinds of submissions: * full papers of up to 9 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page; submission of additional material (e.g. proofs) as separate documents is allowed, but this material should not form an integral part of the submission and will only be consulted at the discretion of reviewers, PC members and (area and program) chairs, as appropriate; * short papers describing applications, systems and/or demos, of up to 4 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page. TOPICS ------ Topics of interest include, but are not limited to: * Argumentation * Belief revision and update, belief merging, information fusion * Computational aspects of knowledge representation * Concept formation, similarity-based reasoning * Contextual reasoning * Description logics * Decision making * Explanation finding, diagnosis, causal reasoning, abduction * Inconsistency- and exception tolerant reasoning, paraconsistent logics * KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems * KR and game theory * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and natural language processing * KR and the Web, Semantic Web * Logic programming, answer set programming, constraint logic programming * Multi- and order-sorted representations and reasoning * Nonmonotonic logics, default logics, conditional logics * Philosophical foundations of KR * Ontology formalisms and models * Preference modeling and representation, reasoning about preferences, * preference-based reasoning * Qualitative reasoning, reasoning about physical systems * Reasoning about actions and change, action languages, situation calculus, dynamic logic * Reasoning about knowledge and belief, epistemic and doxastic logics * Spatial reasoning and temporal reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics CONFERENCE CHAIRS ----------------- General: Frank Wolter (University of Liverpool, UK) Program: Michael Thielscher (The University of New South Wales, Australia) Francesca Toni (Imperial College London, UK) Local Organization: Joohyung Lee (Arizona State University, USA) Tran Cao Son (New Mexico State University, USA) Doctoral Consortium: Sebastian Rudolph (Technische Universit�t Dresden, Germany) Madalina Croitoru (University Montpellier II and INRIA, France) Workshop/tutorial Chairs: Sebastian Sardina (RMIT Melbourne, Australia) Ivan Varzinczak (Univ. Artois & CNRS, France) Sponsorship and Publicity: Marcello Balduccini (Saint Joseph's University, USA) Marco Maratea (University of Genova, Italy) From marcello.balduccini at gmail.com Wed Feb 7 04:20:43 2018 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Tue, 6 Feb 2018 22:20:43 -0500 Subject: [fg-arc] REMINDER: KR 2018 Doctoral Consortium Call for Papers Message-ID: <201802070320.w173KhRg065324@coSAT.marcy-sara.tk> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ****************** **** REMINDER **** **** **** **** June 24 **** **** Deadline **** ****************** KR Doctoral Consortium Call for Applications October 30 - November 2, 2018 Tempe, Arizona, US http://kr2018.org/ The 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) invites PhD students to apply for the Doctoral Consortium program. 1) AIMS AND SCOPE The Doctoral Consortium (DC) is a student mentoring program bringing together PhD students and senior researchers from the area of KR. The aims of the consortium are: * to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; * to promote contacts among PhD students working in similar areas; * to support students with information and advice on academic, research, and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but well-motivated applications from students who are at earlier or later stages of their doctoral studies will still be considered. For accepted students there will be a row of dedicated events, including DC invited talks on research practice, a lightning talk session, a poster session, and a mentoring lunch. Each student will be given ample time to present their work and therefore be able to fully benefit from direct feedback from the assigned senior researcher mentor and the wider KR conference audience. 2) APPLICATION SUBMISSION Applications must be submitted by email. Each application must contain the following elements combined into a single PDF document.: (1) Thesis summary. A description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. It must be four pages maximum in AAAI style (http://www.aaai.org/Publications/Author/author.php). (2) Curriculum Vitae. A description of your background and relevant experience (research, education, employment), of two pages maximum. (3) Letter of recommendation. A letter from your thesis advisor that states that he/she supports your participation in the DC. (4) Indication of whether a sponsored studentship is requested, and if so, whether the student volunteers to help with local organization during KR, DL, and NMR. (5) Optionally, a suggestion of up to 5 potential mentors with similar research interests, who could give good advice on technical aspects related to the work, and/or career opportunities. The selection process will consider the quality of the submitted proposal and the stage of the student's PhD project. Doctoral students who submit to the DC are permitted to have previously published on their research, and are encouraged to submit papers to KR 2018 and associated conferences and workshops. 3) IMPORTANT DATES Application deadline: June 24, 2018 Acceptance notification: July 11, 2018 Doctoral Consortium: October 30 - November 2, 2018 For further information, please contact the DC chairs: Madalina Croitoru, University Montpellier (croitoru at lirmm.fr) Sebastian Rudolph, TU Dresden (sebastian.rudolph at tu-dresden.de) From grlmc at grlmc.com Thu Feb 8 12:17:32 2018 From: grlmc at grlmc.com (GRLMC) Date: Thu, 08 Feb 2018 12:17:32 +0100 Subject: [fg-arc] AlCoB 2018: extended submission deadline February 18 Message-ID: <545102060a010b060554520204035a5300500d000654025202510b02070e07055c5302555100050008560751530700@grlmc_ip-zone_com-6> AlCoB 2018: extended submission deadline February 18*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: February 18 ***** ------------------------------------------------------------------------------   ********************************************************************************** 5th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2018   Hong Kong   June 25-27, 2018   Co-organized by:   The Hong Kong Polytechnic University Department of Computing   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/AlCoB2018/ **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), and Aveiro.   The conference will address several of the current challenges in computational biology by investigating algorithms aimed at:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Particular focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career.   VENUE:   AlCoB 2018 will take place in Hong Kong, the city with the most skyscrapers in the world, one of the highest human development indexes, and the longest life expectancy. The venue will be:   M1603, Li Ka Shing Tower The Hong Kong Polytechnic University Hung Hom, Kowloon Hong Kong   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Exact sequence analysis Approximate sequence analysis Pairwise sequence alignment Multiple sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics Microbiome analysis Systems biology   STRUCTURE:   AlCoB 2018 will consist of:   invited lectures peer-reviewed contributions posters   INVITED SPEAKERS:   Tatsuya Akutsu (Kyoto University), Algorithms for Analysis and Control of Boolean Networks   Bin Ma (University of Waterloo), De Novo Protein Sequencing with Mass Spectrometry and Its Medical Applications   Ben Raphael (Princeton University), Algorithms for Cancer Evolution   PROGRAMME COMMITTEE:   Josep Francesc Abril (University of Barcelona, ES) Kees Albers (Radboud University Medical Centre, NL) Emmanuel Barillot (Curie Institute, FR) Philipp Bucher (Swiss Federal Institute of Technology Lausanne, CH) Rita Casadio (University of Bologna, IT) José C. Clemente (Icahn School of Medicine at Mount Sinai, US) Eytan Domany (Weizmann Institute of Science, IL) Liliana Florea (Johns Hopkins University, US) Dmitrij Frishman (Technical University of Munich, DE) Terry Furey (University of North Carolina at Chapel Hill, US) Osamu Gotoh (Institute of Advanced Industrial Science and Technology, JP) John Hancock (ELIXIR Europe, UK) Robert Harrison (Georgia State University, US) Martijn Huynen (Radboud University Medical Centre, NL) Jesper Jansson (The Hong Kong Polytechnic University, HK) Pouya Kheradpour (Verily Life Sciences, US) Julien Lagarde (Centre for Genomic Regulation, ES) Gerton Lunter (University of Oxford, UK) Ruibang Luo (Johns Hopkins University, US) Bill Majoros (Duke University, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Huaiyu Mi (University of Southern California, US) Ryan E. Mills (University of Michigan, US) Kenta Nakai (University of Tokyo, JP) William Stafford Noble (University of Washington, US) Sandra Orchard (European Bioinformatics Institute, UK) Itsik Pe'er (Columbia University, US) Mihaela Pertea (Johns Hopkins University, US) Paolo Ribeca (The Pirbright Institute, UK) Peter Robinson (The Jackson Laboratory for Genomic Medicine, US) Stephane Rombauts (Ghent University, BE) Russell Schwartz (Carnegie Mellon University, US) Xinghua Shi (University of North Carolina at Charlotte, US) Denis Shields (University College Dublin, IE) Ilya Shmulevich (Institute for Systems Biology, US) Thomas Sicheritz-Pontén (Technical University of Denmark, DK) Steven Skiena (Stony Brook University, US) Wing-Kin Sung (National University of Singapore, SG) Weili Wu (The University of Texas at Dallas, US) Wenzhong Xiao (Massachusetts General Hospital, US) Shibu Yooseph (University of Central Florida, US) Yaoqi Zhou (Griffith University, AU)   ORGANIZING COMMITTEE:   Jesper Jansson (Hong Kong, co-chair) Konstantinos Mampentzidis (Hong Kong) Carlos Martín-Vide (Tarragona, co-chair) Manuel J. Parra-Royón (Granada) Abdul Raheem (Hong Kong) David Silva (London) Sandhya T P (Hong Kong) Miguel A. Vega-Rodríguez (Cáceres)   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=alcob2018   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of IEEE/ACM Transactions on Computational Biology and Bioinformatics (2016 JCR impact factor: 1.955) 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://grammars.grlmc.com/AlCoB2018/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: February 18, 2018 – EXTENDED – Notification of paper acceptance or rejection: March 18, 2018 Final version of the paper for the LNCS/LNBI proceedings: March 28, 2018 Early registration: March 28, 2018 Late registration: June 11, 2018 Submission to the journal special issue: September 27, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   POSTAL ADDRESS:   AlCoB 2018 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGEMENTS:   The Hong Kong Polytechnic University Universitat Rovira i Virgili -------------- next part -------------- An HTML attachment was scrubbed... URL: From juergen at familiejung.info Tue Feb 6 11:09:36 2018 From: juergen at familiejung.info (=?UTF-8?B?SsO8cmdlbiBKdW5n?=) Date: Tue, 6 Feb 2018 11:09:36 +0100 Subject: [fg-arc] TEAR 2018 CfP (submission: June 8, 2018) Message-ID: ============================================== TEAR: Trends in Enterprise Architecture Reserach 13th TEAR Workshop 2018 October 16, 2018, Stockholm Call for Papers ============================================== The 13th TEAR workshop is organized in conjunction with IEEE EDOC 2018 , October 16-19, Stockholm, Sweden. 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. 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 deadline: June 8, 2018 Workshop paper notification to authors: July 20, 2018 Camera-ready paper: August 10, 2018 Workshop: October 16, 2018 Submission ========= 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 2018 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 . Workshop co-chairs =============== Ulrik Franke, Swedish Institute of Computer Science (RISE SICS), Stockholm, Sweden Jürgen Jung, Frankfurt University of Applied Sciences, Germany Markus Buschle, Zeb.consulting, Sweden Steering committee ============== Erik Proper, Luxembourg Institute of Science and Technology (LIST), Luxembourg Florian Matthes, Fakultät für Informatik, Technische Universität München, Germany James Lapalme, École de technologie supérieure, Canada João Paulo Almeida, Federal University of Espírito Santo, Brazil Marc Lankhorst, BiZZdesign, the Netherlands Mathias Ekstedt, Royal Institute of Technology, Sweden Pontus Johnson, Royal Institute of Technology, Sweden Stephan Aier, University of St. Gallen, Switzerland -------------- next part -------------- An HTML attachment was scrubbed... URL: From dirk at riehle.org Fri Feb 9 16:51:48 2018 From: dirk at riehle.org (Dirk Riehle) Date: Fri, 9 Feb 2018 16:51:48 +0100 Subject: [fg-arc] Spam? (War: Re: AlCoB 2018: extended submission deadline February 18 In-Reply-To: <545102060a010b060554520204035a5300500d000654025202510b02070e07055c5302555100050008560751530700@grlmc_ip-zone_com-6> References: <545102060a010b060554520204035a5300500d000654025202510b02070e07055c5302555100050008560751530700@grlmc_ip-zone_com-6> Message-ID: <9a2a5eef-4c88-0fe2-b884-0ccdf78ed4ca@riehle.org> Guten Tag: Waere es moeglich, die Spam-Filter besser einzustellen? Danke, Dirk Riehle On 08.02.2018 12:17, GRLMC wrote: > *To be removed from our mailing list, please respond to this message with > UNSUBSCRIBE in the subject line* > > ------------------------------------------------------------------------------ > ***** SUBMISSION DEADLINE EXTENDED: February 18 ***** > ------------------------------------------------------------------------------ > > ********************************************************************************** > *5th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY* > > *AlCoB 2018* > > *Hong Kong* > > *June 25-27, 2018* > > Co-organized by: > > The Hong Kong Polytechnic University > Department of Computing > > Research Group on Mathematical Linguistics (GRLMC) > Rovira i Virgili University > > http://grammars.grlmc.com/AlCoB2018/ > ********************************************************************************** > > *AIMS:* > > AlCoB aims at promoting and displaying excellent research using string and > graph algorithms and combinatorial optimization to deal with problems in > biological sequence analysis, genome rearrangement, evolutionary trees, and > structure prediction. > > Previous events were held in Tarragona, Mexico City, Trujillo (Spain), and Aveiro. > > The conference will address several of the current challenges in computational > biology by investigating algorithms aimed at: > > 1) assembling sequence reads into a complete genome, > 2) identifying gene structures in the genome, > 3) recognizing regulatory motifs, > 4) aligning nucleotides and comparing genomes, > 5) reconstructing regulatory networks of genes, and > 6) inferring the evolutionary phylogeny of species. > > Particular focus will be put on methodology and significant room will be > reserved to young scholars at the beginning of their career. > > *VENUE:* > > AlCoB 2018 will take place in Hong Kong, the city with the most skyscrapers in > the world, one of the highest human development indexes, and the longest life > expectancy. The venue will be: > > M1603, Li Ka Shing Tower > The Hong Kong Polytechnic University > Hung Hom, Kowloon > Hong Kong > > *SCOPE:* > > Topics of either theoretical or applied interest include, but are not limited to: > > Exact sequence analysis > Approximate sequence analysis > Pairwise sequence alignment > Multiple sequence alignment > Sequence assembly > Genome rearrangement > Regulatory motif finding > Phylogeny reconstruction > Phylogeny comparison > Structure prediction > Compressive genomics > Proteomics: molecular pathways, interaction networks, mass spectrometry analysis > Transcriptomics: splicing variants, isoform inference and quantification, > differential analysis > Next-generation sequencing: population genomics, metagenomics, metatranscriptomics > Microbiome analysis > Systems biology > > *STRUCTURE:* > > AlCoB 2018 will consist of: > > invited lectures > peer-reviewed contributions > posters > > *INVITED SPEAKERS:* > > Tatsuya Akutsu (Kyoto University), Algorithms for Analysis and Control of > Boolean Networks > > Bin Ma (University of Waterloo), De Novo Protein Sequencing with Mass > Spectrometry and Its Medical Applications > > Ben Raphael (Princeton University), Algorithms for Cancer Evolution > > *PROGRAMME COMMITTEE:* > > Josep Francesc Abril (University of Barcelona, ES) > Kees Albers (Radboud University Medical Centre, NL) > Emmanuel Barillot (Curie Institute, FR) > Philipp Bucher (Swiss Federal Institute of Technology Lausanne, CH) > Rita Casadio (University of Bologna, IT) > José C. Clemente (Icahn School of Medicine at Mount Sinai, US) > Eytan Domany (Weizmann Institute of Science, IL) > Liliana Florea (Johns Hopkins University, US) > Dmitrij Frishman (Technical University of Munich, DE) > Terry Furey (University of North Carolina at Chapel Hill, US) > Osamu Gotoh (Institute of Advanced Industrial Science and Technology, JP) > John Hancock (ELIXIR Europe, UK) > Robert Harrison (Georgia State University, US) > Martijn Huynen (Radboud University Medical Centre, NL) > Jesper Jansson (The Hong Kong Polytechnic University, HK) > Pouya Kheradpour (Verily Life Sciences, US) > Julien Lagarde (Centre for Genomic Regulation, ES) > Gerton Lunter (University of Oxford, UK) > Ruibang Luo (Johns Hopkins University, US) > Bill Majoros (Duke University, US) > Carlos Martín-Vide (Rovira i Virgili University, ES, chair) > Huaiyu Mi (University of Southern California, US) > Ryan E. Mills (University of Michigan, US) > Kenta Nakai (University of Tokyo, JP) > William Stafford Noble (University of Washington, US) > Sandra Orchard (European Bioinformatics Institute, UK) > Itsik Pe'er (Columbia University, US) > Mihaela Pertea (Johns Hopkins University, US) > Paolo Ribeca (The Pirbright Institute, UK) > Peter Robinson (The Jackson Laboratory for Genomic Medicine, US) > Stephane Rombauts (Ghent University, BE) > Russell Schwartz (Carnegie Mellon University, US) > Xinghua Shi (University of North Carolina at Charlotte, US) > Denis Shields (University College Dublin, IE) > Ilya Shmulevich (Institute for Systems Biology, US) > Thomas Sicheritz-Pontén (Technical University of Denmark, DK) > Steven Skiena (Stony Brook University, US) > Wing-Kin Sung (National University of Singapore, SG) > Weili Wu (The University of Texas at Dallas, US) > Wenzhong Xiao (Massachusetts General Hospital, US) > Shibu Yooseph (University of Central Florida, US) > Yaoqi Zhou (Griffith University, AU) > > *ORGANIZING COMMITTEE:* > > Jesper Jansson (Hong Kong, co-chair) > Konstantinos Mampentzidis (Hong Kong) > Carlos Martín-Vide (Tarragona, co-chair) > Manuel J. Parra-Royón (Granada) > Abdul Raheem (Hong Kong) > David Silva (London) > Sandhya T P (Hong Kong) > Miguel A. Vega-Rodríguez (Cáceres) > > *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=alcob2018 > > *PUBLICATIONS:* > > A volume of proceedings published by Springer in the LNCS/LNBI series will be > available by the time of the conference. > > A special issue of IEEE/ACM Transactions on Computational Biology and > Bioinformatics (2016 JCR impact factor: 1.955) 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://grammars.grlmc.com/AlCoB2018/Registration.php > > *DEADLINES *(all at 23:59 CET)*:* > > Paper submission: February 18, 2018 – EXTENDED – > Notification of paper acceptance or rejection: March 18, 2018 > Final version of the paper for the LNCS/LNBI proceedings: March 28, 2018 > Early registration: March 28, 2018 > Late registration: June 11, 2018 > Submission to the journal special issue: September 27, 2018 > > *QUESTIONS AND FURTHER INFORMATION:* > > david.silva409 (at) yahoo.com > > *POSTAL ADDRESS:* > > AlCoB 2018 > Research Group on Mathematical Linguistics (GRLMC) > Rovira i Virgili University > Av. Catalunya, 35 > 43002 Tarragona, Spain > > *ACKNOWLEDGEMENTS:* > > The Hong Kong Polytechnic University > Universitat Rovira i Virgili > > > ----FG ARC----FG ARC----FG ARC----FG ARC---- > Mailverteiler der GI-Fachgruppe "Architekturen" > http://fg-arc.gi.de/ > > Nachrichten an diesen Mailverteiler senden Sie bitte an fg-arc at lists.uni-paderborn.de > > Allgemeine Informationen zum Mailverteiler, zum Eintragen oder Austragen finden Sie unter > https://lists.uni-paderborn.de/mailman/listinfo/fg-arc > > Um den Besitzer der Liste zu kontaktieren, senden Sie eine E-Mail an fg-arc-owner at lists.uni-paderborn.de > -- Website: http://dirkriehle.com - Twitter: @dirkriehle Ph (DE): +49-157-8153-4150 - Ph (US): +1-650-450-8550 From jung.juergen at fb2.fra-uas.de Fri Feb 9 17:59:37 2018 From: jung.juergen at fb2.fra-uas.de (=?utf-8?Q?J=C3=BCrgen_Jung?=) Date: Fri, 9 Feb 2018 17:59:37 +0100 Subject: [fg-arc] CfP TEAR 2018, Stockholm Message-ID: <005301d3a1c7$5e3323d0$1a996b70$@fb2.fra-uas.de> ============================================== TEAR: Trends in Enterprise Architecture Reserach 13th TEAR Workshop 2018 October 16, 2018, Stockholm Call for Papers ============================================== The 13th TEAR workshop is organized in conjunction with IEEE EDOC 2018 , October 16-19, Stockholm, Sweden. 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. 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 deadline: June 8, 2018 Workshop paper notification to authors: July 20, 2018 Camera-ready paper: August 10, 2018 Workshop: October 16, 2018 Submission ========= 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 2018 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 . Workshop co-chairs =============== Ulrik Franke, Swedish Institute of Computer Science (RISE SICS), Stockholm, Sweden Jürgen Jung, Frankfurt University of Applied Sciences, Germany Markus Buschle, Zeb.consulting, Sweden Steering committee ============== Erik Proper, Luxembourg Institute of Science and Technology (LIST), Luxembourg Florian Matthes, Fakultät für Informatik, Technische Universität München, Germany James Lapalme, École de technologie supérieure, Canada João Paulo Almeida, Federal University of Espírito Santo, Brazil Marc Lankhorst, BiZZdesign, the Netherlands Mathias Ekstedt, Royal Institute of Technology, Sweden Pontus Johnson, Royal Institute of Technology, Sweden Stephan Aier, University of St. Gallen, Switzerland -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Feb 10 15:31:29 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 10 Feb 2018 16:31:29 +0200 Subject: [fg-arc] 15th European Mediterranean & Middle Eastern Conference on Information Systems (EMCIS 2018): First Call for Papers Message-ID: *** FIRST CALL FOR PAPERS *** 15th European Mediterranean & Middle Eastern Conference on Information Systems (EMCIS 2018) St. Raphael Resort, Limassol, Cyprus, 4-5 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEV1cm9wZWFuIE1lZGl0ZXJyYW5lYW4gJiBNaWRkbGUgRWFzdGVybiBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uIFN5c3RlbXMgKEVNQ0lTIDIwMTgpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMJMTQ1CUxpc3RzCTE3NgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Femcis.eu The European, Mediterranean and Middle Eastern Conference on Information Systems (EMCIS) is an annual research event addressing the IS discipline with regional as well as global perspective. EMCIS has successfully helped bringing together researchers from around the world in a friendly atmosphere conducted to free exchange of innovative ideas. EMCIS was founded in 2004 by Brunel University research Group ISEing and it is an annual event. A number of respected collaborations were made with different local universities across the destinations chosen each year and EMCIS still proves to attract many further partnerships. EMCIS is one of the premier conferences in Europe and Middle Eastern region for Information Systems academics and professionals, covering technical, organisational, business and social issues in the application of Information Technology. EMCIS is dedicated to the definition and establishment of Information Systems as a discipline of high impact for the methodical community and IS professionals - focusing on approaches that facilitate the identification of innovative research of significant relevance to the IS discipline following sound research methodologies that lead to results of measurable impact. The EMCIS proceedings are published by Springer in the Lecture Notes in Business Information Processing book series. TOPICS The topics of interest are grouped into the following tracks: · Big Data and Analytics · Blockchain Technology and Applications · Cloud Computing · Digital Services and Social Media · e-Government · Enterprise Systems · Science Communication in the Digital Public Sphere · Information Systems Security and Information Privacy Protection · Healthcare Information Systems · Management and Organisational Issues in Information Systems · IT Governance · Innovative Research Projects · Immersive Technologies in IT/IS A full list of subtopics for each track can be found on the conference web site. PAPER SUBMISSION Submissions should be original, not published or being considered elsewhere for publication. Authors should not add their details (names, affiliation, email etc.) in the document they submit for review. All papers should be submitted via the Easy Chair conference management system (the URL is available on the conference web site) and adhere to the format for Springer Lecture Notes publications. The papers must be submitted as a single PDF document and should not exceed 5,000 words (recommended length is 14 pages). Please note that the working language is English. Papers go through a 'double-blind review' process that evaluates their significance, originality, contribution and clarity. Upon acceptance please make sure that at least one author registers to secure a slot for their presentation in the conference program. When preparing the camera-ready version of a paper, authors should add their details (names, affiliation, email, etc.) on the first page of the paper and indicate which is the corresponding author. Along with the camera-ready version of their paper, authors should fill, sign and submit the copyright form. The form shall be sent by email to info[at]emcis.eu. IMPORTANT DATES · Electronic Submission Deadline: 08 May, 2018 · Notification of Acceptance to Authors: 20 June, 2018 · Camera Ready Copy: 04 July, 2018 · Early-bird Registration: 04 July, 2018 · Author Registration Deadline: 04 July, 2018 EMCIS ORGANIZATION Conference Chair · George Angelos Papadopoulos, University of Cyprus, Cyprus Conference co-Chair · Angelika Kokkinaki, University of Nicosia, Cyprus Conference Executive Committee · Vincenzo Morabito, Bocconi University, Italy, (Program Chair) · Marinos Themistocleous, University of Piraeus, Greece (Program Chair) · Gianluigi Viscusi, École Polytechnique fédérale de Lausanne (EPFL), Switzerland (Publications Chair) · Muhammad Kamal, Brunel University, UK (Public Relations Chair) International Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEV1cm9wZWFuIE1lZGl0ZXJyYW5lYW4gJiBNaWRkbGUgRWFzdGVybiBDb25mZXJlbmNlIG9uIEluZm9ybWF0aW9uIFN5c3RlbXMgKEVNQ0lTIDIwMTgpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMJMTQ1CUxpc3RzCTE3NgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Femcis.eu -------------- next part -------------- An HTML attachment was scrubbed... URL: From epontell at cs.nmsu.edu Sun Feb 11 00:51:40 2018 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Sat, 10 Feb 2018 16:51:40 -0700 Subject: [fg-arc] EXTENDED DEADLINE: International Conference on Logic Programming 2018 Message-ID: <56DD9153-4116-4DC3-9DA2-30299ADA7D60@cs.nmsu.edu> 34th International Conference on Logic Programming (ICLP 2018) Call for Papers - DEADLINE EXTENSION NEW DEADLINE: February 19th, 2018 ===================== July 14-17, 2018 Oxford, UK http://www.logicprogramming.org/iclp2018 The 34th International Conference on Logic Programming (ICLP 2018) will take place in Oxford, U.K. as part of FLOC'2018 (http://www.floc2018.org/) from July 14 to July 17, 2018. Scope: ------ ICLP is the premier conference on foundations and applications of logic programming, including but not restricted to answer-set programming, non-monotonic reasoning, unification and constraints based logic languages, constraint handling rules, argumentation logics, deductive databases, description logics, inductive and co-inductive logic programming. Papers are solicited on: * Foundations: semantics, execution algorithms, formal models * Implementation: virtual machines, compilation, memory management,   parallel execution, foreign interfaces * Language Design: inference engines, type systems, concurrency and   distribution, modules, metaprogramming, relations to object-oriented   and functional programming, logic-based domain-specific languages * Software-Development Techniques: declarative algorithms and data   structures, design patterns, debugging, testing, profiling, execution   visualization * Transformation and Analysis:  assertions, type and mode inference,   partial evaluation, abstract interpretation, program transformations * Applications and Synergies:  interaction with SAT, SMT and CSP solvers,   logic programming techniques for type inference and theorem proving,   Horn-clause analysis, knowledge representation, cognitive computing,   artificial intelligence, natural language processing, information   retrieval, web programming, education, computational life sciences,   computational mathematics. Submission Details: ------------------- Submissions of regular papers must be made in the condensed TPLP format via EasyChair. A regular paper must not exceed 14 pages including the bibliography, but the paper may be supplemented with appendices for proofs and details of datasets. These will not not count towards this limit and will be available as supplementary material to the published paper in the TPLP website. We accept three kinds of papers: - Technical papers for technically sound, innovative ideas that can   advance the state of logic programming; - Application papers that impact interesting application domains; - System and tool papers which emphasize novelty, practicality, usability,   and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some papers to be published as Technical Communications (TCs). TCs will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). TCs must follow the OASIcs format (template available here) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). TC’s authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Important Dates: ---------------- Paper submission February 19, 2018 Notification March 20, 2018 Revision submission (TPLP papers) April 5, 2018 Final notifications (TPLP papers) April 15, 2018 Camera-ready copy May 1, 2018 Conference July 14 / July 17, 2018 General Chair: Marco Gavanelli Program Chairs:    Alessandro Dal Palù    University of Parma    Paul Tarau             University of North Texas Program Committee: Mario Alviano             University of Calabria Hassan Ait-Kaci Marcello Balduccini       St. John's University Mutsunori Banbara         Kobe University Pedro Cabalar             University of Corunna Mats Carlsson             SICS Manuel Carro              UPM and IMDEA Software Institute Michael Codish            Ben-Gurion University of the Negev Marina De Vos             University of Bath Thomas Eiter              TU Wien Esra Erdem                Sabanci University Thom Fruehwirth           University of Ulm Marco Gavanelli           University of Ferrara Martin Gebser             University of Potsdam Gopal Gupta               University of Texas at Dallas Michael Hanus             CAU Kiel Amelia Harrison           University of Texas at Austin Manuel Hermenegildo       UPM Tomi Janhunen             Aalto University Angelica Kimmig           Cardiff University Ekaterina Komendantskaya  Heriot-Watt University Nicola Leone              University of Calabria Michael Leuschel          University of Dusseldorf Yuliya Lierler            University of Nebraska at Omaha Vladimir Lifschitz        University of Texas at Austin Barry O'Sullivan          University College Cork David Pearce              Technical University of Madrid (UPM) Enrico Pontelli           New Mexico State University Ricardo Rocha             University of Porto Chiaki Sakama             Wakayama University Vitor Santos Costa        University of Porto Tom Schrijvers            KU Leuven Tran Cao Son              New Mexico State University Theresa Swift             Universidade Nova de Lisboa Peter Szeredi             Budapest University of Technology and Economics Mirek Truszczynski        University of Kentucky German Vidal              Universitat Politècnica de València Jan Wielemaker            VU University of Amsterdam Stefan Woltran            TU Wien Roland Yap                National University of Singapore Jia-Huai You              University of Alberta Neng-Fa Zhou              CUNY Brooklyn College and Graduate Center -------------- next part -------------- An HTML attachment was scrubbed... URL: From ruipereira at di.uminho.pt Mon Feb 12 14:16:08 2018 From: ruipereira at di.uminho.pt (Rui Pereira) Date: Mon, 12 Feb 2018 13:16:08 +0000 Subject: [fg-arc] CfW: VL/HCC 2018 - IEEE Symposium on Visual Languages and Human-Centric Computing Message-ID: ---------------------------------------------------- CALL FOR WORKSHOP PROPOSALS ---------------------------------------------------- IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2018) 1-4 October, 2018 - Lisbon, Portugal http://vlhcc.org IMPORTANT DATES ---------------------------- - Workshop proposal submission: 23 March 2018 - Notification: 6 April 2018 - Workshop date: 1 October 2018 ABOUT VL/HCC 2018 ------------------------------ The IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) is the premier international forum for research on this topic. Established in 1984, the mission of the conference is to support the design, theory, application, and evaluation of computing technologies and languages for programming, modeling, and communicating, which are easier to learn, use, and understand by people. VL/HCC 2018 will be held in Lisbon, Portugal. Topics covered by VL/HCC are computing technologies and visual languages for modeling, programming, communicating, and reasoning, which are easier to learn, use or understand by humans than the current state-of-the-art. The conference focuses on designing, formalizing, implementing, and evaluating these technologies and languages. This includes tools and visual languages intended for general audiences (e.g. professional or novice programmers, or the public) or domain-specific audiences (e.g. people working in business administration, production environments, healthcare, urban design or scientific domains). This year's special topic is "Building Human-Adaptive Socio-Technical Systems". For more details regarding it and a list of typical areas of interest refer to the conference Call for Papers and website. VL/HCC 2018 WORKSHOPS --------------------------------------- VL/HCC 2018 will host a number of workshops during the first day of the conference. The workshops will provide an interactive forum for a group of typically 15 to 30 participants to exchange recent and/or preliminary results as well as to conduct intensive discussions on a particular topic. Organizers and participants are encouraged to foster lively discussion of innovative ideas, recent progress, or practical experience. Each workshop should provide a balanced distribution of its time for both presentation of papers and discussions. We encourage prospective workshop organizers to submit proposals for highly interactive workshops focusing on areas related to modelling in general. Both research-oriented and applied topics are welcome. The duration of each workshop is either half a day or a full day. WORKSHOP PROPOSAL SUBMISSION, SELECTION, AND GUIDELINES ---------------------------------------------------------------------------------------------------- Prospective workshop organizers must submit a workshop proposal package which will be reviewed by the workshop selection committee, and may either be accepted or rejected. If the workshop is accepted, both the conference organizers and the workshop organizers will publicize the workshop to encourage attendees to submit papers to the workshop and attend it. Your proposal must contain the following information: General Information: - Workshop title and name or acronym - Organizers (name, affiliation, e-mail) and primary contact - Desired length of the workshop (half day or full day) - Abstract (200 words), intended for the VL/HCC 2018 website - URL of preliminary workshop website (if one exists already) Objectives and Scope: - Description of the workshop including motivation and objectives, topics of interest, and intended audience - Brief explanation of the workshop’s relevance to the VL/HCC 2018 conference and the VL/HCC community in general (if your workshop continues a series, please explain why it should be run again at VL/HCC 2018) - Previous events including, where applicable, a link to the website, the number of submitted and accepted papers, and the number of attendees Organization Details: - Details on the organizers’ backgrounds (max. 150 words per person), including relevant past experience in workshop organization - Workshop program committee (indicated as finalized or expected) Workshop Format: - Intended paper format (number of pages; types of papers, e.g., full papers, work-in-progress papers, practitioners' reports, position statements, posters) - Evaluation and selection process of submissions - Proceedings planned (publisher, pre- and/or post-proceedings, preliminary proceedings or paper dissemination; please indicate whether you would be willing to participate in joint workshop proceedings for all VL/HCC 2018 workshops or prefer your individual proceedings publishing process) - Intended workshop format (including duration, approximate schedule, number of presentations, planned keynotes, interactive or working sessions) - Intended activities for soliciting submissions - Expected number of participants - Specific requirements (e.g., equipment, room capacity) - Brief description of any post-workshop activities (if any) Additional Material: - Workshop web page (URL of the draft web page, if one exists) - Draft Call for Papers for the workshop (a one page Call for Papers that you intend to send out if your workshop is accepted) In order to ensure a proper coordination of the workshop paper submission deadlines with those of the main conference, the following constraints have to be respected by the deadlines you plan for your workshop: - Workshop website and CFP dissemination: May 11, 2018 - Workshop paper submission deadline: July 13, 2018 - Workshop paper notification to authors: August 10, 2018 (must be before the VL/HCC 2018 early registration deadline) - Workshop date: October 1, 2018 SUBMISSIONS --------------------- Please ensure that you adhere to the above workshop proposal guidelines providing all requested information using at most five (5) pages. In addition, please provide a one page draft of your planned Call for Papers to the proposal (not included in the page limit of 5). Please submit your workshop proposal electronically in PDF by emailing the workshops chairs at: saraiva at di.uminho.pt and sauer at uni-paderborn.de WORKSHOP ORGANIZATION AND CONTACT INFORMATION ------------------------------------------------------------------------------------ - João Saraiva, Universidade do Minho - Stefan Sauer, Paderborn University For any information please contact the workshops chairs at: saraiva at di.uminho.pt and sauer at uni-paderborn.de -------------- next part -------------- An HTML attachment was scrubbed... URL: From m.mazzara at innopolis.ru Tue Feb 13 10:13:04 2018 From: m.mazzara at innopolis.ru (Manuel Mazzara) Date: Tue, 13 Feb 2018 09:13:04 +0000 Subject: [fg-arc] 6th International Conference on Software Engineering for Defense Applications Message-ID: SEDA 2018 The 6th International Conference on Software Engineering for Defense Applications Rome, Italy, 7-8 June 2018 http://www.sedaconference.eu/2018/ CALL FOR PAPERS Software Engineering aims at modelling, measuring, enhancing, and implementing quality software development processes and products in a rigorous way by means of requirements elicitation and analysis, system design and development, testing, and maintenance. Fast evolution of software tools, methods, and techniques as well as market demand require software engineers to be prompt in evaluating the performance, the quality and the suitability of software products and processes. This is particularly important for software for defense applications that needs to maintain high levels of security and robustness. Such software very often anticipates the needs in the civil environment. There is a growing need for research that report and debate practical implications of Software Engineering in the defense environment. There is a need of software performance evaluation in the real settings through controlled experiments as well as case and field studies. As well, there is a growing interest in meeting the strict constraints imposed by the spending review process. For this reason, we welcome original contributions on new Software Engineering models, approaches, methods, and tools and their evaluation as well as business and economic aspects of IT in the context of defense applications. In particular, we welcome submissions on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems and their evaluation in the context of defense organizations, processes, and systems. TOPICS OF INTEREST Conference topics include, but are not limited to: * Software Engineering for Defense Applications * Agile and Evolutionary Processes for Defense * SCRUM and XP in Military Environments * DevOps approaches in Military Environments * Tools to support the requirements of Defense * Empirical Studies in Defense * Economics of IT in the Military Sector * Innovation Theories, Models and Practices * Information and Knowledge Management * Software and System Quality and Metrics and their Impact in the Military sector * Software Applications Security, secure coding, cyber threat evolution, ecc. * Big data and future implications for Smart Applications. * Information Systems, Innovation Transfer, and new Business Models * Business Intelligence Systems and their strategic role in the Military Sector * Data Mining Systems and Methodologies * Experience Reports SUBMISSIONS We accept the following types of contributions: * Full Papers (max 10 pages) (English only) * Position papers (max 4 pages) (Italian or English) * Posters (max 2 pages) (English only) * Talk only (Slides in English, max 15 minutes) Accepted Full Papers, Position Papers, and talk will be scheduled for presentation in the conference sessions, while Posters will be displayed during the lunches and coffee breaks. Submissions must be in English (or Italian for short papers), original and not under consideration for publication elsewhere. Accepted contributions will be published by Springer (only if in English). Therefore, your paper have to conform to the Springer format (https://www.springer.com/computer/lncs?SGWID=0-164-6-793341- 0) Please submit your paper in PDF via EasyChair: https://easychair.org/conferences/?conf=seda2018 IMPORTANT DATES Submissions: 31 March 2018. Contributions in one of the required formats have to be submitted to Easychair. Notification: April 31, 2018. Our Program Committee will review your contributions and will select the best ones to be presented at the conference. Conference: 7-8 June 2018. Authors will attend the conference to present their work. Camera-ready for post proceedings: September 2018. Revised versions of the best papers will be collected in a volume published by Springer. GENERAL CHAIRS: * Alberto Sillitti * Ten. Gen. Francesco Castrataro PROGRAM CHAIRS: * Paolo Ciancarini * Manuel Mazzara PUBLICITY CHAIRS: * Stas Litvinov ORGANIZING COMMITTEE CHAIRS: * Angelo Messina * Mario Ruggiero * Franco Cotugno * Enzo Mele * Franco Fiore PROGRAM COMMITTEE (to be finalized and invited): * Paola Inverardi (University o fL'Aquila) * Roberto Baldoni (University of Rome "LaSapienza") * Luigi Benedicenti (University of New Brun Swick) * Joseph Brown (Innopolis University) * Jean-Michel Bruel (University of Toulouse, France) * Franco Cotugno (Italian Army) * Nicola Dragoni (DTU, Denmark) * Sunil Kumal Khatri (Amity University, India) * Bertrand Meyer (Innopolis University, Politecnico di Milano, University of Toulouse) * Witold Pedrycz (University of Alberta, Canada) * Francesco Poggi (University of Bologna) * Victor Rivera (Innopolis University) * Francesco Rogo (Leonardo, Italy) * Davide Rossi (University of Bologna) * Stefano Russo (University of Naples "FedericoII") * Salah Sadou (Universite de Bretagne Sud, France) * Giancarlo Succi (Innopolis University) -------------- next part -------------- An HTML attachment was scrubbed... URL: From steffen.becker at informatik.uni-stuttgart.de Thu Feb 15 08:47:00 2018 From: steffen.becker at informatik.uni-stuttgart.de (Steffen Becker) Date: Thu, 15 Feb 2018 08:47:00 +0100 Subject: [fg-arc] CfP: SEAA track on cloud and microservices Message-ID: Liebe Fachgruppenmitglieder, anbei ein CfP im Themenfeld Cloud und Microservices. Viele Grüße Steffen Becker ----- Call for Paper: SEAA Track for Cloud-Based Systems and microservices (CBSMS) 2018 --------------------------------------------------------------------------------- Website: http://dsd-seaa2018.fit.cvut.cz/seaa/index.php?sec=track_cbsms#page_header Submission deadline: 1st March 2018 Motivation ---------- Cloud-based systems and microservices are the latest trend for software architectures to deliver software-based services to clients. Cloud-based systems are routed in the paradigm of utility computing: external provides offer compute power, storage, and network bandwidth for self-service customers. They allow new paradigms to develop systems, in particular due to the elasticity these systems can offer. Elastic systems try to match the used resources as closely as possible to the amount of resources needed to deliver the software-based service for a dedicated work and load situation. When architecting these systems, software architects need to take the new flexibility in the system’s deployment into account and design their system in way that it uses its resources as optimal as possible. Microservices fit into the paradigm of cloud-based systems. The used services which are as much self-contained as possible. The main benefits of these services are increased maintainability and elasticity. Each microservice is developed and operated by a single team of developers and operations people in a DevOps-based process. It communicates with other services as limited and decoupled as possible, for example, via asynchronous message busses. It often also contains its own database so that it can continue to operate without external data providers being accessible at the same time. Microservices still offer challenges like transactions spanning multiple microservices, designing microservice interfaces and communication channels, migrating legacy systems into microservice-based systems, etc. Topics ------ Topics include, but are not limited, to: -- Cloud-Based Systems -- Design for elasticity Evaluation of quality attributes (elasticity, efficiency) Optimizing deployments Multi-Cloud Systems Instrumenting and monitoring cloud-based systems Fog and Edge Computing -- Microservices -- Designing microservice systems Patterns, best practices and use cases for microservices Migration to microservices Managing and monitoring microservices Maintaining microservices Alternatives to transactions in microservices Benchmarking of microservices Important Dates --------------- 1st of March 2018 Submission Deadline 30th of April Review Deadline 5th of May 2018 Notification 15th of June 2018 CRV Submission Programme Committee ------------------- Premek Brada Gunnar Brataas Rajkumar Buyya Antonio Filieri Ian Gorton Wilhelm Hasselbring Nikolas Herbst Darko Huljenic Sebastian Lehrig Frank Leymann Claus Pahl Iraklis Paraskakis Hongyu Pei Breivold Marie Platenius Noël Plouzeau Ralf Reussner -- -- Universität Stuttgart - Institut für Softwaretechnologie Prof. Dr.-Ing. Steffen Becker - Reliable Software Systems Tel +49 711 685 88273 http://www.iste.uni-stuttgart.de/rss.html -------------- next part -------------- A non-text attachment was scrubbed... Name: steffen_becker.vcf Type: text/x-vcard Size: 478 bytes Desc: not available URL: From chisvasileandrei at gmail.com Fri Feb 16 14:40:05 2018 From: chisvasileandrei at gmail.com (Andrei Chis) Date: Fri, 16 Feb 2018 14:40:05 +0100 Subject: [fg-arc] First Call for Papers: 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018) Message-ID: ------------------------------------------------------------------------ Call for Papers: 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018) co-located with SPLASH 2018 November 5-6, 2018 Boston, Massachusetts, United States https://conf.researchr.org/track/sle-2018/papers ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018), held in conjunction with SPLASH 2018 at Boston, Massachusetts on November 5-6, 2018. --------------------------- Scope --------------------------- With the ubiquity of computers, software has become the dominating intellectual asset of our time. In turn, this software depends on software languages, namely the languages it is written in, the languages used to describe its environment, and the languages driving its development process. Given that everything depends on software and that software depends on software languages, it seems fair to say that for many years to come, everything will depend on software languages. Software language engineering (SLE) is the discipline of engineering languages and their tools required for the creation of software. It abstracts from the differences between programming languages, modelling languages, and other software languages, and emphasizes the engineering facet of the creation of such languages, that is, the establishment of the scientific methods and practices that enable the best results. While SLE is certainly driven by its metacircular character (software languages are engineered using software languages), SLE is not self-satisfying: its scope extends to the engineering of languages for all and everything. Like its predecessors, the 11th edition of the SLE conference, SLE 2018, will bring together researchers from different areas united by their common interest in the creation, capture, and tooling of software languages. It overlaps with traditional conferences on the design and implementation of programming languages, model-driven engineering, and compiler construction, and emphasizes the fusion of their communities. To foster the latter, SLE traditionally fills a two-day program with a single track, with the only temporal overlap occurring between co-located events. --------------------------- Topics of Interest --------------------------- SLE 2018 solicits high-quality contributions in areas ranging from theoretical and conceptual contributions, to tools, techniques, and frameworks in the domain of software language engineering. Topics relevant to SLE cover generic aspects of software languages development rather than aspects of engineering a specific language. In particular, SLE is interested in contributions from the following areas: * Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g., design rules, well-formedness constraints) - Techniques for specifying behavioral / executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches * Software Language Validation - Verification and formal methods for languages - Testing techniques for languages - Simulation techniques for languages * Software Language Integration and Composition - Coordination of heterogeneous languages and tools - Mappings between languages (incl. transformation languages) - Traceability between languages - Deployment of languages to different platforms * Software Language Maintenance - Software language reuse - Language evolution - Language families and variability * Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) * Empirical evaluation and experience reports of language engineering tools - User studies evaluating usability - Performance benchmarks - Industrial applications --------------------------- Important Dates --------------------------- All dates are Anywhere on Earth. * Fri 29 June 2018 - Abstract Submission * Fri 6 July 2018 - Paper Submission * Fri 24 August 2018 - Author Notification * Fri 31 August 2018 - Artifact Submission * Fri 5 October 2018 - Camera Ready Deadline * Wed 10 October 2018 - Artifact Notification * Fri 12 October 2018 - Deadline for Artifact-Related Paper Updates * Sun 4 Nov 2018 - SLE Workshops * Mon 5 Nov - Tue 6 Nov 2018 - SLE Conference --------------------------- Types of Submissions --------------------------- * Research papers These should report a substantial research contribution to SLE or successful application of SLE techniques or both. Full paper submissions must not exceed 12 pages excluding bibliography. * Tool papers Because of SLE’s interest in tools, we seek papers that present software tools related to the field of SLE. Selection criteria include originality of the tool, its innovative aspects, and relevance to SLE. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must provide a tool description of 4 pages excluding bibliography, and a demonstration outline including screenshots of up to 6 pages. Tool demonstrations must have the keywords “Tool Demo” or “Tool Demonstration” in the title. The 4-page tool description will, if the demonstration is accepted, be published in the proceedings. The 6-page demonstration outline will be used by the program committee only for evaluating the submission. * New ideas / vision papers New ideas papers should describe new, non-conventional SLE research approaches that depart from standard practice. They are intended to describe well-defined research ideas that are at an early stage of investigation. Vision papers are intended to present new unifying theories about existing SLE research that can lead to the development of new technologies or approaches. New ideas / vision papers must not exceed 4 pages excluding bibliography. Workshops: Workshops will be organized by SPLASH. Please inform us and contact the SPLASH organizers if you would like to organize a workshop of interest to the SLE audience. Information on how to submit workshops can be found at the SPLASH 2018 Website: https://conf.researchr.org/track/splash-2018/splash-2018-Workshops. --------------------------- Artifact Evaluation --------------------------- For the third year SLE will use an evaluation process for assessing the quality of the artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted papers are invited to submit artifacts. More information will be announced on the Website. --------------------------- Submission --------------------------- Submissions have to use the ACM SIGPLAN Conference Format "acmart" ( http://sigplan.org/Resources/Author/#acmart-format); please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template ( https://www.acm.org/binaries/content/assets/publications/consolidated-tex-template/acmart-master.zip), and that the document class definition is \documentclass[sigplan,screen]{acmart}. Do not make any changes to this format! Using the Word template is strongly discouraged. Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. SLE follows a single-blind review process. Thus, you do not have to blind your submission. All submissions must be in PDF format. Concurrent Submissions: Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy ( http://www.sigplan.org/Resources/Policies/Republication). Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism ( http://www.acm.org/publications/policies/plagiarism_policy). Submissions that violate these policies will be desk-rejected. Submission Site: Submissions will be accepted at https://sle18.hotcrp.com/. --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by at least three members of the program committee. Research papers and tool papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the conference call. New ideas / vision papers will be evaluated primarily concerning novelty, significance, readability, and alignment with the conference call. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review, at the discretion of the PC chairs. --------------------------- Awards --------------------------- * Distinguished paper: Award for most notable paper, as determined by the PC chairs based on the recommendations of the programme committee. * Distinguished reviewer: Award for distinguished reviewer, as determined by the PC chairs. * Distinguished artifact: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. --------------------------- Program Committee --------------------------- Andrew Black, Portland State University, USA Erwan Bousse, TU Wien, Austria Marco Brambilla, Politecnico di Milano, Italy Ruth Breu, University of Innsbruck, Austria Walter Cazzola, University of Milan, Italy Marsha Chechik, University of Toronto, Canada Tony Clark, Sheffield Hallam University, UK Juan de Lara, Universidad Autonoma de Madrid, Spain Thomas Degueule, CWI Amsterdam, Netherlands Juergen Dingel, Queen's University, Canada Tom Dinkelaker, Ericsson, Germany Sebastian Erdweg, Delft University of Technology, Netherlands Bernd Fischer, Stellenbosch University, South Africa Esther Guerra, Autonomous University of Madrid, Spain Daco Harkes, Delft University of Technology, Netherlands Robert Hirschfeld, University of Potsdam, Germany Michael Homer, Victoria University of Wellington, New Zealand Dimitris Kolovos, University of York, UK Ralf Lämmel, University of Koblenz-Landau, Germany Marjan Mernik, University of Maribor, Slovenia Gunter Mussbacher, McGill University, Canada James Noble, Victoria University of Wellington, New Zealand Bruno Oliveira, University of Hong Kong, China Christoph Reichenbach, Lund University, Sweden Jan Oliver Ringert, University of Leicester, UK Bernhard Rumpe, RWTH Aachen University, Germany Anthony Sloane, Macquarie University, Australia Emma Söderberg, Google, Denmark Mark van den Brand, TU Eindhoven, Netherlands Tijs van der Storm, CWI Amsterdam, Netherlands Eelco Visser, Delft University of Technology, Netherlands Eric Walkingshaw, Oregon State University, USA Andreas Wortmann, RWTH Aachen University, Germany Vadim Zaytsev, Rain Code, Belgium --------------------------- Contact --------------------------- For additional information, clarification, or answers to questions, please contact the organizers by email: sle2018 at googlegroups.com. -------------- next part -------------- An HTML attachment was scrubbed... URL: From cesar.a.munoz at nasa.gov Fri Feb 16 22:14:57 2018 From: cesar.a.munoz at nasa.gov (Munoz, Cesar (LARC-D320)) Date: Fri, 16 Feb 2018 21:14:57 +0000 Subject: [fg-arc] [fm-announcements] NFM 2018 - Call for Participation Message-ID: <68475E12-C16A-430B-9468-33739C253522@nasa.gov> ----------------------------------------- Call for Participation: NFM 2018 ----------------------------------------- Tenth NASA Formal Methods Symposium 30 Years of Formal Methods at NASA April 17-19, Newport News, VA, USA https://shemesh.larc.nasa.gov/NFM2018/ Celebrating 30 years of formal methods research at NASA Langley, the Tenth 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. Keynote speakers: Ricky Butler (NASA, USA) Gilles Dowek (INRIA, CNRS, École Normale Supérieure Paris-Saclay, France) The program of symposium is available at: https://shemesh.larc.nasa.gov/NFM2018/program.html Attendance to the symposium is free, but all attendees must register in order to participate. Registrations are open until ** April 1, 2018 ** at: https://shemesh.larc.nasa.gov/NFM2018/registration.html The symposium will be held at Newport News Marriott at City Center 740 Town Center Drive Newport News, VA 23606, USA. Phone: +1 (757) 873-9299. A group rate to attend NFM2018 is available at the Newport News Marriot until ** March 16, 2018 **. Reservations can be made by calling +1 (866) 329-1758, and asking for the group code: NASA, or through web at https://shemesh.larc.nasa.gov/NFM2018/hotel_reservation.html List of Accepted Papers: * Ansgar Fehnker, Kaylash Chaudhary and Vinay Mehta. An Even Better Approach - Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis * Massimo Narizzano, Luca Pulina, Armando Tacchella and Simone Vuotto. Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals * Marcus Gerhold, Arnd Hartmanns and Mariëlle Stoelinga. Model-Based Testing for General Stochastic Time * Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, and Gethin Norman. Strategy Synthesis for Autonomous Agents using PRISM * Miguel Romero and Camilo Rocha. Symbolic Execution and Reachability Analysis using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion * Lola Masson, Jérémie Guiochet, Helene Waeselynck, Martin Törngren, Sofia Cassel and Kalou Cabrera. Tuning permissiveness of active safety monitors for autonomous systems * Radha Nakade, Eric Mercer, Peter Aldous and Jay McCarthy. Model Checking Task Parallel Programs for Data-race * Aymeric Fromherz, Abdelraouf Ouadjaout and Antoine Miné. Static Value Analysis of Python Programs by Abstract Interpretation * Flavio M. de Paula, Arvind Haran and Brad Bingham. An Efficient Rewriting Framework for Trace Coverage of Symmetric Systems * Ansgar Fehnker and Kaylash Chaudhary. Twenty Percent and a Few Days - Optimising a Bitcoin Majority Attack (short paper) * Jeroen Meijer and Jaco van de Pol. Sound Black-Box Checking in the LearnLib * Philipp Koerner and Jens Bendisposto. Distributed Model Checking Using ProB * Saksham Chand and Yanhong A. Liu. Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables * Siddhartha Bhattacharyya, Thomas Eskridge, Natasha Neogi, Marco Carvalho and Milton Stafford. Formal Assurance for Cooperative Intelligent Autonomous Agents * Yassmeen Elderhalli, Osman Hasan, Waqar Ahmed and Sofiène Tahar. Formal Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking * Sarah Benyagoub, Meriem Ouederni, Yamine Ait Ameur, and Atif Mashkoor. Incremental Construction of Realizable Choreographies * César Augusto Ochoa Escudero, Rémi Delmas, Thomas Bochot, Matthieu David, and Virginie Wiels. Automatic Generation of DO-178 Test Procedures * Andrew Ireland, Maria Teresa Llano and Simon Colton. The Use of Automated Theory Formation in Support of Hazard Analysis (short paper) * Zhuo Chen and Werner Dietl. Don't Miss the End: Preventing Unsafe End-of-File Comparisons (short paper) * András Vörös, Márton Búr, István Ráth, Ákos Horváth, Zoltán Micskei, László Balogh, Bálint Hegyi, Benedek Horváth, Zsolt Mázló and Dániel Varró. MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems (short paper) * Giovanna Broccia, Paolo Milazzo and Peter Csaba Ölveczky. An Executable Formal Framework for Safety-Critical Human Multitasking * Marco Feliú and Mariano Moscato. Towards a Formal Safety Framework for Trajectories (short paper) * Rui Qiu, Sarfraz Khurshid, Corina Pasareanu, Junye Wen and Guowei Yang. Using Test Ranges to Improve Symbolic Execution * Allan Blanchard, Nikolai Kosmatov and Frédéric Loulergue. Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C * Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan and Ashish Tiwari. Output Range Analysis for Deep Feedforward Neural Networks * Bruno Dutertre, Dejan Jovanović and Jorge Navas. Verification of Fault-Tolerant Protocols with Sally (short paper) * Alfons Laarman. Optimal Storage of Combinatorial State Spaces * Alfons Laarman. Stubborn Transaction Reduction * Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos and Sriram Sankaranarayanan. Experience Report: Application of Falsification Methods on the UxAS System (short paper) * Hendrik Maarand and Tarmo Uustalu. Certified Foata Normalization for Generalized Traces * Francesco Marconi, Giovanni Quattrocchi, Luciano Baresi, Marcello M. Bersani and Matteo Rossi. On the Timed Analysis of Big-Data Applications Organizing Committee ---------------- Anthony Narkawicz (Conference Chair) Aaron Dutle (Program Co-Chair) Cesar Munoz (Program Co-Chair) Contact -------- Email: nfm2018 [at] easychair [dot] org Web: https://shemesh.larc.nasa.gov/NFM2018/ --- 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 announce at cs.ucy.ac.cy Sat Feb 17 15:04:49 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 17 Feb 2018 16:04:49 +0200 Subject: [fg-arc] 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2018): First Call for Papers and Workshop Proposals Message-ID: <78JO8R0Y-NMZ4-CHJP-FWI0-YLPLMBRW666H@cs.ucy.ac.cy> *** FIRST CALL FOR PAPERS AND WORKSHOP PROPOSALS *** 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2018) St. Raphael Resort, Limassol, Cyprus, 15-17 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBXaXJlbGVzcyBhbmQgTW9iaWxlIENvbXB1dGluZywgTmV0d29ya2luZyBhbmQgQ29tbXVuaWNhdGlvbnMgKFdpTW9iIDIwMTgpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMgYW5kIFdvcmtzaG9wIFByb3Bvc2FscwkxNDcJTGlzdHMJMTc0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.wimob.org%2Fwimob2018%2F (*** Sponsorship Requested to IEEE Communication Society ***) WiMob is an international forum for the exchange of knowledge and experience among researchers, developers and practitioners of wireless and mobile technology. For fourteen years, the International WiMob conference has provided unique opportunities for researchers and developers to interact, share new results, show live demonstrations, and discuss emerging directions in a number of contemporary topics in wireless and mobile computing. WiMob 2018 is soliciting high quality technical papers addressing research challenges in the areas of wireless communications, wireless networking, mobility, nomadicity, ubiquitous computing, services and applications. Papers should present original work validated via analysis, simulation or experimentation. Practical experiences and Testbed trials also are welcome. TOPICS WiMob 2018 will host 5 parallel symposia on: · Wireless Communications · Wireless Networking, Mobility and Nomadicity · Ubiquitous Computing, Services and Applications · Green and Sustainable Communications and Network Computing · Security on Wireless and Mobile Networks A full list of topics for each symposium can be found on the conference web site. CALL FOR WORKSHOP PROPOSALS As part of the program of WiMob 2018, a limited number of workshops are planned to be held in conjunction with the main conference. The main aim will be to provide an international forum for researchers to present their early research results and share experiences focused on specific research areas. Workshop proposals are solicited in all areas and topics related to wireless networking, mobile computing, mobile and wireless communications, pervasive computing and networking, and services and applications. All papers accepted by the workshops will be published in the WiMob 2018 proceedings. All workshops will be held on October 15, 2018. Workshop Proposal Form A proposal to organize a workshop can be submitted in PDF or plain text and should contain the following information: · A draft of the CFP of the workshop (includes title, description, topics and dates) · Why is the topic area important? · Likely contributors and target audience · Organizing committee (chairs, list of potential TPC members) · Plan for workshop advertising and publicity (including workshop URL) · Biography of the main organizer(s) (100-200 words) Workshop proposals must be sent by e-mail to the three Workshop co-chairs: - Anna Maria Vegni, annamaria.vegni[at]uniroma3.it - Hossam Hassanein, hossam[at]cs.queensu.ca - Nirwan Ansari, nirwan.ansari[at]njit.edu PAPER SUBMISSION Authors are required to submit fully formatted, original papers (PDF), with graphs, images, and other special areas arranged as intended for the final publication. Papers should be written in English conforming to the IEEE standard conference format (8.5" x 11" - US letter, Two-Column). The initial submission for review will be limited to 8 pages. The final manuscript for publication will be limited to 8 IEEE pages included in the registration. However, additional charges may apply for additional pages. The conference content will be submitted for inclusion into IEEE Xplore (after approval) as well as other Abstracting and Indexing (A&I) databases. Each accepted paper must be presented at the conference by one of the co-authors or a third party, otherwise it will not be indexed and archived through IEEE Xplore. Only timely submissions through EDAS at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBXaXJlbGVzcyBhbmQgTW9iaWxlIENvbXB1dGluZywgTmV0d29ya2luZyBhbmQgQ29tbXVuaWNhdGlvbnMgKFdpTW9iIDIwMTgpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMgYW5kIFdvcmtzaG9wIFByb3Bvc2FscwkxNDcJTGlzdHMJMTc0CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fedas.info will be accepted. For more details, please visit the Facebook page for WiMob 2018: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBXaXJlbGVzcyBhbmQgTW9iaWxlIENvbXB1dGluZywgTmV0d29ya2luZyBhbmQgQ29tbXVuaWNhdGlvbnMgKFdpTW9iIDIwMTgpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMgYW5kIFdvcmtzaG9wIFByb3Bvc2FscwkxNDcJTGlzdHMJMTc0CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.facebook.com%2Fwimob2018%2F as well as the conference web site. IMPORTANT DATES · Paper submission: May 15, 2018 · Notification: July 15, 2018 · Final manuscript: September 1, 2018 · Workshop proposal submission: April 20, 2018 · Notification of acceptance of workshop proposals: April 25, 2018 · Preliminary CFP to be published for workshops: April 30, 2018 · Paper submission deadline for the workshops: June 30, 2018 · Workshop paper acceptance: July 31, 2018 ORGANISATION Honorific Chair · Lajos Hanzo, University of Southampton, UK General Chair · Abderrahim Benslimane, University of Avignon, France Steering Committee · Abderrahim Benslimane - University of Avignon, France · Hsiao-Hwa Chen - National Cheng Kung University, Taiwan · Khaled Ben Letaief - Hong Kong University of Science and Technology, HK · Victor C. M. Leung - University of British Columbia, Canada · Samuel Pierre - Ecole Polytechnique de Montreal, Canada · Dovan Thanh - Telenor & Norwegian Univ. of Science & Technology, Norway Executive Co-Chairs · Wessam Ajib, Universite du Quebec - Montreal, Canada · George Angelos Papadopoulos, University of Cyprus, Cyprus Workshop Co-Chairs · Nirwan Ansari, New Jersey Institute of Technology, USA · Hossam Hassanein, Queen's University, Canada · Anna Maria Vegni - Roma Tre University, Italy TPC Co-Chairs · Abbas Bradai, XLIM Institute, University of Poitiers, France · Brigitte Jaumard, Concordia University, Canada · Ming Li, University of Arizona, USA · Qi Liao, Nokia Bell Labs, Germany Publication Co-Chairs · Abderrahim Benslimane, University of Avignon, France · Corinna Schmitt, University of Zurich, Switzerland Publicity Co-Chairs · Abdellatif Ezzouhairi, ENSA Fez, Morocco · Chunxiao Jiang, Tsinghua University, China · Neeraj Kumar, Thapar University, India · Cristina López-Bravo, Universidade de Vigo, Spain · Roca Vincent, INRIA Rhone-Alpes, France -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Feb 18 12:02:22 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 18 Feb 2018 13:02:22 +0200 Subject: [fg-arc] 24th International Symposium on Methodologies for Intelligent Systems (ISMIS 2018): Second Call for Papers Message-ID: *** SECOND CALL FOR PAPERS *** 24th International Symposium on Methodologies for Intelligent Systems (ISMIS 2018) St. Raphael Resort, Limassol, Cyprus, 29-31 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyNHRoIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIE1ldGhvZG9sb2dpZXMgZm9yIEludGVsbGlnZW50IFN5c3RlbXMgKElTTUlTIDIwMTgpOiBTZWNvbmQgQ2FsbCBmb3IgUGFwZXJzCTE0OQlMaXN0cwkxNjcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fismis2018 WELCOME ISMIS is an established and prestigious conference for exchanging the latest research results in building intelligent systems. Held twice every three years, the conference provides a medium for exchanging scientific research and technological achievements accomplished by the international community. SCOPE The scope of ISMIS is intended to represent a wide range of topics on applying Artificial Intelligence techniques to areas as diverse as decision support, automated deduction, reasoning, knowledge based systems, machine learning, computer vision, robotics, planning, databases, information retrieval, etc. The focus is on research in intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance. ISMIS provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications. TOPICS ISMIS 2018 is intended to attract individuals who are actively engaged both in theoretical and practical aspects of intelligent systems. The goal is to provide a platform for a useful exchange between theoreticians and practitioners, and to foster the cross-fertilization of ideas in the following areas: · Active Media Human-Computer Interaction · Autonomic and Evolutionary Computation · Digital Libraries · Health Informatics · Intelligent Agent Technology · Intelligent Data Processing and Analytics · Intelligent Information Retrieval · Intelligent Information Systems · Intelligent Language Processing · Knowledge Integration and Aggregation · Knowledge Discovery and Data Mining · Knowledge Visualization · Logic for Artificial Intelligence · Multimedia Information Retrieval · Soft Computing · Text Mining · Web Intelligence · Web Mining In addition, we solicit papers dealing with Applications of Intelligent Systems in complex/novel domains, e.g. art, human genome, global change, manufacturing, social good, etc. PAPER SUBMISSION Authors are invited to submit their manuscripts in LNCS/LNAI style (maximum 10 pages). All paper submissions will be handled electronically. All submissions will be subject to review by the ISMIS 2018 Program Committee. Papers should be prepared using the Springer LNCS/LNAI style (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines), maximum 10 pages. Papers should be submitted in PDF form via ISMIS 2018 Online Submission System: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyNHRoIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIE1ldGhvZG9sb2dpZXMgZm9yIEludGVsbGlnZW50IFN5c3RlbXMgKElTTUlTIDIwMTgpOiBTZWNvbmQgQ2FsbCBmb3IgUGFwZXJzCTE0OQlMaXN0cwkxNjcJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dismis2018 . PUBLICATION AND JOURNAL SPECIAL ISSUES The ISMIS 2018 proceedings will be published by Springer in LNAI (Lecture Notes in Artificial Intelligence) and will be available at the conference. Authors of best papers will be invited to submit their extended versions to the Journal of Intelligent Information Systems (JIIS) (http://www.springer.com/computer/database+management+%26+information+retrieval/journal/10844) published by Springer. Fast Track Processing will be used to have them reviewed and published. IMPORTANT DATES · Paper Submissions due: 10th May 2018 · Notification of Acceptance/Rejection: 10th July 2018 · Camera-Ready Versions of Accepted Papers: 31st July 2018 · Author Registration: 31st Juy 2018 · Early Non-Author Registration: 10th September 2018 · Late Non-Author Registration: after 10th September 2018 ORGANIZING COMMITTEE Steering Committee Chair · Zbigniew Ras (UNC-Charlotte, USA & Polish-Japanese Academy of IT, Poland) Symposium Chair · George Angelos Papadopoulos (University of Cyprus, Cyprus) Program Committee Co-Chairs · Michelangelo Ceci (Universita degli Studi di Bari, Italy) · Nathalie Japkowicz (American University, USA) · Jiming Liu (Hong Kong Baptist University, Hong Kong) Special Sessions Chair · Stefano Ferilli (University of Bari, Italy) Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyNHRoIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9uIE1ldGhvZG9sb2dpZXMgZm9yIEludGVsbGlnZW50IFN5c3RlbXMgKElTTUlTIDIwMTgpOiBTZWNvbmQgQ2FsbCBmb3IgUGFwZXJzCTE0OQlMaXN0cwkxNjcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fismis2018%2Fcommittees%2F -------------- next part -------------- An HTML attachment was scrubbed... URL: From frederic.mesnard at icloud.com Mon Feb 19 11:51:36 2018 From: frederic.mesnard at icloud.com (Fred Mesnard) Date: Mon, 19 Feb 2018 14:51:36 +0400 Subject: [fg-arc] LOPSTR 2018 2nd CFP Message-ID: ====================================================================== LOPSTR 2018: Second Call for Papers ====================================================================== 28th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/index.html Frankfurt, Germany, September 4-6, 2018 (co-located with PPDP 2018 and WFLP 2018) The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018) will be held at the Goethe-University Frankfurt am Main, Germany. Previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester, Edinburgh, and Namur. LOPSTR 2018 will be co-located with PPDP 2018 (International Symposium on Principles and Practice of Declarative Programming) and WFLP 2018 (International Workshop on Functional and Logic Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chairs in case of questions). Important Dates Abstract submission: March 25, 2018 Paper/Extended abstract submission: April 1, 2018 Notification: June 1, 2018 Camera-ready (for electronic pre-proceedings): June 17, 2018 Symposium: September 4-6, 2018 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2018. Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee http://ppdp-lopstr-18.cs.uni-frankfurt.de/index.html Program Chairs Fred Mesnard, University of Reunion Island, France Peter Stuckey, University of Melbourne, Australia Organizing Committee David Sabel (General Chair), Computer Science Institute Goethe-University Frankfurt am Main, Germany From wortmann at se-rwth.de Mon Feb 19 16:31:52 2018 From: wortmann at se-rwth.de (Andreas Wortmann) Date: Mon, 19 Feb 2018 16:31:52 +0100 Subject: [fg-arc] [SPLC 2018] - Call for Solutions and Submissions Message-ID: [Apologies if you receive multiple copies] ---------------------------------------------------------------------------------- SPLC 2018: 22nd International Systems and Software Product Line Conference Sept. 10-14, 2018, Gothenburg, Sweden www.splc2018.net Follow SPLC on Twitter: @splcconf Follow SPLC on Facebook: www.facebook.com/splcconf ---------------------------------------------------------------------------------- ==== Cases for Challenge Track are out! Solutions Wanted! ==== The SPLC Challenge Track - taking place for the first time at SPLC - is entering the next stage. We received highly interesting cases and selected four of them. Now, it is up to you: Are you smart enough to accept the challenge? This is the perfect chance to test the reliability of your tools or to introduce Master or early PhD students to the tough sides of research. In short, the following challenges are available: - Interoperability of Software Product Line Variants - Feature Location Benchmark with ArgoUML SPL - Apo-Games – A Case Study for Reverse Engineering Variability from Cloned Java Variants - Localizing Configurations in Highly-Configurable Systems More infos on: http://splc2018.net/call-for-papers/call-for-challenge-solutions/ === Deadline for Research & Industrial Track Approaching ====== For both main tracks, the deadline is getting closer and closer. If not started yet, it is the perfect time to jump on the “train to Gothenburg”, joining the SPLC community at a conference, that is going to be historical (I promise!). Deadlines for both: !! Abstract submission: March 16, 2018 !! !! Paper submission: March 23, 2018 !! A short summary of the both tracks: * Research Papers We invite high-quality submissions describing original and unpublished results in all areas related to systems and software product line engineering, configurable systems, and variability management. Full papers present results of conceptual, theoretical, empirical, and experimental research. They must rely on a theoretical and/or empirical evaluation. Short papers describe emerging ideas and outstanding challenges along with possible approaches to resolving them. * Industrial Systems and Software Product Lines We seek contributions from industry that share challenges, successes, and adaptations of existing practices in all stages of maturity. We explicitly encourage papers reporting on applications of product-line concepts in emerging domains and of novel concepts in a product-line context. For many other tracks, the call if open as well. Check out, get involved, cu in Gothenburg!! TRACKS ===== * Data, Demonstrations, and Tools We invite submissions of either product-line tools, of substantial datasets to be shared with the community, or of practices tackling current industrial challenges. * Doctoral Symposium We invite submissions by students who are at least in their second year of PhD. The submissions should cover the research problem being addressed, the expected research contribution, the research methodology and evaluation plan, a description of the results achieved so far, and a planned timeline for completion. * Tutorials We invite tutorial proposals. Tutorials may focus on introductory product-line topics, such as how to introduce a product-line approach into an organization, or on advanced tools, approaches, methods, and best practices. * Panels SPLC provides multiple opportunities for exchanging and discussing ideas and visions for software product-line engineering. The panels at SPLC 2018 is one such forum. We call for your proposals for panels on product-line related topics. * Journal First We seek to include already published journal papers in the SPLC 2018 program. Authors of published papers in high quality journals are invited to send a proposal to present their work at SPLC 2018. Also, authors can submit their proposals by their own. Important Dates =========== * Challenges Solution submission: May 25, 2018 Notification: June 15, 2018 * Data, Demonstrations, and Tools Paper submission: Apr 10, 2018 Notification: May 5, 2018 * Doctoral Symposium Paper submission: April 30, 2018 Notification: May 21, 2018 * Tutorials Proposal submission: May 16, 2018 Notification: June 6, 2018 * Panels Proposal submission: April 12, 2018 Notification: April 26, 2018 * Journal First Paper submission: May 23, 2018 Notification: June 6, 2018 Organization ========= * General Chairs Jan Bosch, Chalmers University of Technology, Sweden Dan Hao, Peking University, P.R. China * Research Track Chairs Thorsten Berger, Chalmers | University of Gothenburg, Sweden Paulo Borba, Federal University of Pernambuco, Brazil * Conference Chair Gul Calikli, Chalmers | University of Gothenburg, Sweden * Industrial Systems and Software Product Lines Chairs Tomi Männistö, University of Helsinki, Finland Goetz Botterweck, University of Limerick, Ireland * Challenge Track Chairs Sarah Nadi, University of Alberta, Canada Timo Kehrer, Humboldt-Universität zu Berlin, Germany * Data, Demonstrations and Tools Chairs Jianmei Guo, Alibaba Group, P.R. China Philippe Collet, Université Nice Sophia Antipolis, France * Doctoral Symposium Chairs Julia Rubin, University of British Columbia, Canada Oscar Díaz, University of the Basque Country, Spain * Tutorials Chairs Christoph Elsner, Siemens Corporate Technology, Germany Rick Rabiser, Johannes Kepler University Linz, Austria * Panels Chair Rafael Capilla, Universidad Rey Juan Carlos, Spain * Journal First Chair David Benavides, University of Seville, Spain * Hall of Fame Chairs Goetz Botterweck, University of Limerick, Ireland Natsuko Noda, Shibaura Institute of Technology, Japan * Sponsorship and Industrial Contact Chairs Jesper Andersson, Linnaeus University, Sweden Mohammad Reza Mousavi, University of Leicester, United Kingdom * Publicity and Social Media Chairs Sandro Schulze, Otto von Guericke University Magdeburg, Germany Andreas Wortmann, RWTH Aachen University, Germany Rodrigo Bonifacio, University of Brasília, Brazil Yingfei Xiong, Peking University, Beijing, P.R. China * Local Team Truong Ho-Quang, Chalmers | University of Gothenburg, Sweden Rebekka Wohlrab, Chalmers University of Technology, Sweden Mukelabai Mukelabai, Chalmers | University of Gothenburg, Sweden Tomislava Andric, Chalmers | University of Gothenburg, Sweden Program Committees ============== Available at: www.splc2018.net/program-committees -- ----------------------------------------------------------------------------------------------------------------- Dr. Andreas Wortmann | Software Engineering Ahornstr. 55, 52074 Aachen, Germany | RWTH Aachen University Phone +49 241 80-21343 / Fax -22218 | http://www.se-rwth.de From uwe.assmann at tu-dresden.de Thu Feb 22 13:51:42 2018 From: uwe.assmann at tu-dresden.de (ua1) Date: Thu, 22 Feb 2018 13:51:42 +0100 Subject: [fg-arc] IoSense "Internet of Sensors" Spring School, Early-Bird Registration Feb 28, 2018 Message-ID: -------------------------------------------------------------------------- IoSense "Internet of Sensors" Spring School 2018 http://www.iosense.eu/index.php/project/iosense-spring-school/ -------------------------------------------------------------------------- In conjunction with the Smart System Integration Conference 2018 in Dresden, April 11, 2018 -------------------------------------------------------------------------- We invite you to participate in the IoSense Spring School 2018. IoSense (Internet of Sensors) is a European pilot line project regarding sensors and sensor systems. The target in the IoSense spring school is to show to engineer innovative products with modern sensors. The goal is to enable (Internet of Things) IoT ecosystems based on hardware-software platforms and complementing applications for flexible and high-performance data-aggregation and -processing in sensor-actuator networks. Participants have the chance to connect with the leading experts in the hardware and software field of the Internet of Sensors. We will provide interesting talks from industry and academia. The future technology of IoSense covers * Innovative sensor and multi-sensor technologies for heterogeneous application areas * Highlighting new approaches for developing sensors using flexible frontend and backend pilot lines * Design of sensor and app components for market needs by involving customers early in the development process * Enabling external parties to build IoT ecosystems with IoSense technology * Closing the gap between chip manufacturers and application developers for transforming existing value chain approaches ----------------- Talks & Workshops ----------------- * Keynote on "Sensing the world for IoT", Dr. Oliver Pyper, Senior Manager - Infineon Technologies Dresden GmbH, Germany * IoT from the Perspective of a Sensor Company, Ewald Wachmann, Senior Manager - ams AG, Austria * Innovative Process Chains for Sensors, Horst Theuss, Lead Principal - Infineon Technologies Regensburg, Germany * From Parking Assistance to Automated Parking using a Time-Of-Flight Camera, Jesus Murgoitio, Project Manager - Tecnalia, Spain * Detecting Particles – Make it Simple by a new Fine Dust Sensor, Jörg Schulz, Head of R&D - Dr. Födisch Umweltmesstechnik AG, Germany * TrustworSys – Towards Trustworthiness for IoT Sensors, Thomas Ulz, TU Graz, Infineon Technologies Austria AG, Austria * Passive RFID Sensors - Battery-Free, Wireless Pressure Measurements, Dr. Andreas Weder, Team Manager of Module Integration Group - Fraunhofer Institute for Photonic Microsystems (IPMS) * Advanced Packaging of a Micro-Gravity Sensor System: Microsystem Integration from a Hardware Perspective, Luke Middelburg, TU Delft, Netherlands * Virtual Prototyping for Shortest Time-to-Market of New IoT Products (Focus: Design for Reliability), Prof. Sven Rzepka, Fraunhofer Institute for Electronic Nano Systems (ENAS), Germany * Workshop session on "IoT Ecosystems – the IoSense Sensor Toolbox", Jan Falkenberg, Technische Universität Dresden, Germany ---------------------- Venue and Registration ---------------------- The IoSense Spring School is held as part of the Smart Systems Integration (SSI) conference. It is located at: Hilton Dresden, An der Frauenkirche 5, 01067 Dresden, Germany The IoSense Spring School takes place on the first day of the conference: April 11, 2018. The conference and registration is managed by Mesago Messe Frankfurt GmbH. https://www.mesago.de/en/SSI/The_conference/Registration_terms_fees/index.htm *Early Registration - until February 28th, 2018* - 180,00 € Late Registration 300,00 € Participants of the spring school are invited to also visit the LifeWear 2018 workshop organized by TU Dresden on April 12, in which IoSense participants and external researchers present papers on Wearables in Smart Rooms. Wearables are sensor-equipped clothes or gadgets by which innovative application services for humans are realized in different application areas. LifeWear Workshop 270,00 € Late Registration 450,00 € ---------- ORGANIZERS ---------- Uwe Aßmann, Technische Universität Dresden Jan Falkenberg, Technische Universität Dresden Carl Mai, Technische Universität Dresden For more Information please visit http://www.iosense.eu/index.php/project/iosense-spring-school/ -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5162 bytes Desc: S/MIME Cryptographic Signature URL: From sauer at upb.de Fri Feb 23 11:15:31 2018 From: sauer at upb.de (Stefan Sauer) Date: Fri, 23 Feb 2018 11:15:31 +0100 Subject: [fg-arc] =?utf-8?q?Call_for_Papers=3A_9=2E_Workshop_=E2=80=9EDes?= =?utf-8?q?ign_for_Future_=E2=80=93_Langlebige_Softwaresysteme=E2=80=9C_?= =?utf-8?q?=28DFF_2018=29_-_Teil_des_WSRE_20=2E0?= Message-ID: <5f71671f-fd4d-3511-3820-8124ebdc1047@upb.de> Sehr geehrte Kolleginnen und Kollegen, bitte entschuldigen Sie, falls Sie den nachfolgenden Aufruf zur Einreichung von Beiträgen mehrfach erhalten! Einreichungsfrist: 31. März 2018 ------------------------------------------------------------------------ 9. Workshop *Design for Future – Langlebige Softwaresysteme* (*DFF 2018*) ------------------------------------------------------------------------ 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/dff2018/ 02.–04. Mai 2018 in Bad Honnef als Teil des 20. Workshop Software-Reengineering & Evolution (WSRE 20.0 / WSRE 2018) https://fg-sre.gi.de/wsre2018.html *Wichtige Termine* Einreichung von Beiträgen 31. März 2018 Benachrichtigung über die Annahme 09. April 2018 Einreichung der finalen Fassung 13. April 2018 Anmeldeschluss zur Teilnahme 13. April 2018 Workshop 02.-04. Mai 2018 *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. Gleichzeitig müssen diese Systeme im Rahmen der anstehenden Digitalisierungsansätze neue Rollen übernehmen und darauf ausgerichtet werden. 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 weiter¬entwickelt und angewandt werden. Der Arbeitskreis „Langlebige Softwaresysteme (L2S2)“ der GI Fachgruppen Architekturen und Software-Reengineering hat sich zum Ziel gesetzt, Wissenschaftler und Praktiker zusammen¬zu-bringen, die an diesen Themenstellungen Interesse haben. Im 9. 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=wsre2018 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 Softwaresysteme“ (AK L2S2), siehe http://akl2s2.ipd.kit.edu/. Er wird als Track des 20. WSRE stattfinden. Obwohl der DFF in das Programm des WSRE integriert ist, gibt es wegen der speziellen thematischen Ausrichtung diesen spezifischen Call for Papers und einen eigenen Review-Prozess. AK- und Workshop-Leitung: • Stefan Sauer, sauer at sicp.upb.de, • Marco Konersmann, marco.konersmann at paluno.uni-due.de, • Robert Heinrich, robert.heinrich at kit.edu *Programmkomitee* wird noch bekannt gegeben *Kontakt*: sauer at sicp.upb.de -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5446 bytes Desc: S/MIME Cryptographic Signature URL: From jens.knodel at caruso-dataplace.com Fri Feb 23 16:52:55 2018 From: jens.knodel at caruso-dataplace.com (Jens Knodel) Date: Fri, 23 Feb 2018 15:52:55 +0000 Subject: [fg-arc] Call for Paper: WSRE 20, 2.-4. Mai 2018, Bad Honnef Message-ID: WSRE 20 am 2.-4. Mai 2018 20. Workshop Software-Reengineering & Evolution der GI-Fachgruppe Software-Reengineering (SRE) Physikzentrum, Bad Honnef, 2.-4. Mai 2018 http://fg-sre.gi.de/wsre2018.html Warum treffen wir uns zum 20. Mal? ------- Unser Ziel ist die Förderung der Zusammenarbeit und der fachliche Austausch zwischen Forschung und Praxis im deutschsprachigen Raum zu den Themen "Software-Reengineering", "Software-Wartung", und "Software-Evolution". Darunter verstehen wir prinzipiell alle Aktivitäten, deren Ziel die Analyse, Visualisierung, Bewertung, Verbesserung, Migration und Weiterentwicklung von größeren und kleineren Software-Systemen ist. Wir laden Forscher und Praktiker herzlich ein, beim WSRE über Erfahrungen, Projekte, Forschungsergebnisse, Methoden, Werkzeuge, und "War-Stories" in diesem Bereich zu berichten, ihre aktuellen Arbeiten vorzustellen und in einem offenen Umfeld konstruktiv zu diskutieren. Was ist dieses Jahr besonders? ------- Wir feiern in diesem Jahr die 20. Auflage des Workshops! * Rückblick auf die Arbeiten und Ergebnisse im Software-Reengineering in den letzten beiden Jahrzehnten * Tool-Demos von Herstellern von Reengineering-Tools * Interaktive Session zum direkten Austausch und zur Vernetzung zwischen den Teilnehmern * 9. Workshop "Design For Future" des Arbeitskreises L2S2 "Langlebige Softwaresysteme" als besonderer Track des WSRE* * Besonderes Social Event: Besuch der Dokumentationsstätte Regierungsbunker in Bad Neuenahr-Ahrweiler (http://www.regbu.de/) *) Obwohl der DFF im Programm des WSRE integriert ist, gibt es einen spezifischen DFF Call for Papers und Review-Prozess. Weitere Informationen zum DFF 2018 zu finden unter: http://akl2s2.ipd.kit.edu/veranstaltungen/dff2018/ Wann und wo? ------- Der Workshop findet vom 2.-4. Mai 2018 am traditionellen Ort im Physikzentrum in Bad Honnef statt. Die Unterbringung der Teilnehmer erfolgt im Physikzentrum und ggf. in umliegenden Hotels. https://www.dpg-physik.de/dpg/pbh/ Wie reiche ich einen Beitrag ein? ------- Beiträge bitte über die EasyChair-Submission-Page des WSRE 2018 einreichen: https://www.easychair.org/conferences/?conf=wsre2018 Mögliche Themen sind beispielsweise Methoden und Vorgehensmodelle, Reengineering- und Analyse-Werkzeuge, Software-Evolution, Software-Migration, Software-Qualität, Wirtschaftlichkeit von Reengineering-Maßnahmen, Praxis-Berichte. Als Beiträge werden erweiterte Kurzfassungen auf maximal zwei Seiten im Format der Softwaretechnik-Trends (http://pi.informatik.uni-siegen.de/stt/diverses/hinweise.html) erwartet. Geeignete Vorlagen finden Sie auf der Webseite zum WSRE. Die Texte können in deutscher oder englischer Sprache verfasst sein. Sollte die Zahl der Präsentationen zu groß werden, so werden die Organisatoren eine Auswahl treffen. Wie ist der Zeitplan? ------- * Einreichung der Kurzfassungen:                  31. März 2018 * Benachrichtigung über die Annahme:           9. April 2018 * Einreichung der druckfertigen Endfassung:   13. April 2018 * Anmeldeschluss zur Teilnahme:                   13. April 2018 Was sind die Ziele des WSRE und der Fachgruppe Software-Reengineering? ------- Die Workshops "Software-Reengineering & Evolution (WSRE)" im Physikzentrum Bad Honnef wurde mit dem ersten WSR 1999 von Jürgen Ebert und Franz Lehner ins Leben gerufen, um neben den erfolgreichen internationalen Tagungen im Bereich Reengineering (ICSM, ICPC, MSR, SANER, etc.) auch ein deutschsprachiges Diskussionsforum zu schaffen. Der Fokus des WSR hat sich neben dem "klassischen" Reengineering auch auf das Gebiet der Software Evolution erweitert. Der Begriff "Evolution" wurde daher mit dem 16. WSRE in den Workshop-Titel übernommen. Ziel der Treffen ist es, einander kennen zu lernen und auf diesem Wege auch eine Basis der Kooperation zu schaffen, so dass das Themengebiet weiteren Fortschritt und Konsolidierung erfährt. Inzwischen hat sich der WSRE (durchgeführt als Low-Cost-Workshop ohne eigenes Budget) als zentrales deutschsprachiges Forum zum Thema Reengineering etabliert. Damit trägt der WSRE maßgeblich zur Bildung und Erhaltung der deutschsprachigen Reengineering-Community bei. Auch war der WSRE die Keimzelle der GI-Fachgruppe Software-Reengineering. Im Rahmen des WSRE findet auch die jährliche Sitzung der GI Fachgruppe "Software-Reengineering" statt. Wer sind die Ansprechpartner bei Fragen? ------- * Dr. Jens Knodel, Caruso GmbH, Ismaning * Torsten Görg, itemis AG, Stuttgart * Jens Borchers, Sopra Steria Consulting, Hamburg * Matthias Gutheil, itemis AG, Bonn * Stefan Sauer, Universität Paderborn, Paderborn Fachgruppe Software-Reengineering  http://fg-sre.gi.de -- Dr. Jens Knodel Chief Ecosystem Architect   m: +49 179 53 43 284 e:    jens.knodel at caruso-dataplace.com   w:   www.caruso-dataplace.com   Caruso GmbH | Steinheilstraße 10 | 85737 Ismaning Managing Directors: Alexander Haid, Jürgen Buchert | Registered Local Court Munich | HRB 233 669 -- Dr. Jens Knodel Chief Ecosystem Architect   m: +49 179 53 43 284 e:    jens.knodel at caruso-dataplace.com   w:   www.caruso-dataplace.com   Caruso GmbH | Steinheilstraße 10 | 85737 Ismaning Managing Directors: Alexander Haid, Jürgen Buchert | Registered Local Court Munich | HRB 233 669 From andrei.paskevich at lri.fr Wed Feb 21 17:35:36 2018 From: andrei.paskevich at lri.fr (Andrei Paskevich) Date: Wed, 21 Feb 2018 17:35:36 +0100 Subject: [fg-arc] VerifyThis 2018: Call for Problems and First Announcement Message-ID: <20180221163536.GA28601@tikki.lri.fr> ******************************************************************************* VerifyThis Verification Competition 2018 FIRST ANNOUNCEMENT AND CALL FOR PROBLEMS Competition to be held at ETAPS 2018 http://verifythis.ethz.ch ******************************************************************************** Get involved, even if you cannot participate in the competition: provide a challenge. IMPORTANT DATES Submission deadline: March 9, 2018 Competition: April 14 and 15, 2018 CALL FOR PROBLEMS To extend the problem pool, we are now soliciting algorithms and data structures which could contribute interesting verification challenges for the VerifyThis program verification competition (itself introduced below). We encourage suggestions at any level of detail, in particular submissions without a fully worked out verification task. - a problem may contain an informal statement of the algorithm to be implemented (optionally with complete or partial pseudocode) and the requirement(s) to be verified - a problem should be suitable for a 60-90 minute time slot - submission of reference solutions is welcome but not mandatory - problems with an inherent language- or tool-specific bias should be clearly identified as such - problems that contain several subproblems or other means of difficulty scaling are especially welcome - the organizers reserve the right (but no obligation) to use the problems in the competition, either as submitted or with modifications - submissions from (potential) competition participants are allowed Problems from previous competitions can be seen at http://verifythis.ethz.ch Submissions are to be sent by email to verifythis at cs.nuim.ie by the date indicated above. PRIZES The most suitable submission for competition will receive a prize. ABOUT VerifyThis 2018 will take place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2018) on April 14 and 15, 2018. It is the 7th event in the VerifyThis competition series. Information on previous events and participants can be found at http://verifythis.ethz.ch The aims of the competition are: - to bring together those interested in formal verification, and to provide an engaging, hands-on, and fun opportunity for discussion - to evaluate the usability of logic-based program verification tools in a controlled experiment that could be easily repeated by others. The competition will offer a number of challenges presented in natural language. Participants have to formalize the requirements, implement a solution, and formally verify the implementation for adherence to the specification. There are no restrictions on the programming language and verification technology used. The correctness properties posed in problems will have the input-output behaviour of programs in focus. Solutions will be judged for correctness, completeness and elegance. ORGANIZERS * Marieke Huisman, University of Twente, the Netherlands * Rosemary Monahan, Maynooth University, Ireland * Peter Müller, ETH Zürich, Switzerland * Andrei Paskevich, Paris-Sud University, France * Gidon Ernst, National Institute of Informatics Tokyo, Japan CONTACT Email: verifythis at cs.nuim.ie Web: http://verifythis.ethz.ch From simon.eismann at uni-wuerzburg.de Thu Feb 22 17:41:47 2018 From: simon.eismann at uni-wuerzburg.de (Simon Eismann) Date: Thu, 22 Feb 2018 16:41:47 +0000 Subject: [fg-arc] Full-time PhD & PostDoc Positions in Software Engineering for IoT & Industry 4.0 Message-ID: <20180222164147.Horde.5Z2K_0OvkYj7UZEIvuaiXCd@webmail.uni-wuerzburg.de> The Chair of Software Engineering at the Institute of Computer Science, University of Würzburg has two open full-time positions, one PhD position and one PostDoc position. The position is associated with the following tasks: - Research and teaching in the area of software engineering - Project work in the area of IoT und Industry 4.0 - For postdoc position: preparation of grant applications and supervision of doctoral students The following is expected: - Completed Master degree in the area of computer science, engineering or related disciplines. - For PostDoc position: completed PhD degree. - Outstanding qualification. - Practical programming and project experience. - Excellent English language skills. - Experience with interdisciplinary projects, especially related to Internet-of-Things or Industry 4.0, is beneficial. - Experience and interest in development of complex software systems, ideally in one or more of the following areas: o machine learning and artificial intelligence, o IT security and privacy, o Internet-of-Things (IoT), Cyber-physical systems, o Industry 4.0 / Industrial Internet, o autonomic, self-adaptive und self-organizing systems, o performance engineering. Researchers will be recruited under employment contracts with full social security coverage. Applications from women are strongly encouraged. Candidates may apply prior to obtaining their Master degree, but cannot begin before having received it. We also welcome applications from disabled candidates, who will also be given preferential consideration over other applicants with comparable qualifications. Applications (in English) should include the usual documents (a motivation statement, CV, certificates) and should be submitted by March 31, 2018 per email to: Prof. Dr.-Ing. Samuel Kounev Chair of Software Engineering (Informatik 2) Institute of Computer Science University of Würzburg Am Hubland D-97074 Würzburg, Germany Email: samuel.kounev at uni-wuerzburg.de http://se.informatik.uni-wuerzburg.de The University of Würzburg is one of the oldest institutions of higher education in Germany, providing education to 28,000 students. It is one of the leading universities in Germany being part of the U15 group of research-intensive German universities. The university participates through its Chair of Software Engineering (CSE), which is a part of the Department of Computer Science. CSE conducts research on novel methods, techniques and tools for the engineering of dependable, secure and efficient computer-based systems, including classical software systems, cyber-physical systems and IoT (Internet of Things) systems. ------------------------------------------------------------------------------------------ M.Sc. Simon Eismann Doctoral Researcher Chair of Software Engineering Department of Computer Science University of Würzburg Am Hubland, Informatikgebäude (M2), Room 107/108 97074 Würzburg, Germany Phone: +49 (931) 31 89655, Fax: +49 (931) 31-86603 http://go.uni-wuerzburg.de/eismann/ ------------------------------------------------------------------------------------------ From einarj at ifi.uio.no Tue Feb 20 09:04:04 2018 From: einarj at ifi.uio.no (Einar Broch Johnsen) Date: Tue, 20 Feb 2018 09:04:04 +0100 Subject: [fg-arc] Final CfP: SEFM 2018 Message-ID: <20180220080404.801D221E12C@nordur.ifi.uio.no> SEFM 2018: The 16th International Conference on Software Engineering and Formal Methods will be part of STAF 2018 in Toulouse, France, 27-29 June 2018. https://www.isf.cs.tu-bs.de/cms/events/sefm2018 Twitter: @SEFM_conf ************************ CALL FOR PAPERS ************************ 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. *** TRACKS AND TOPICS OF INTEREST *** The topics of interest for submission include, but are not limited to, the following aspects of software engineering and formal methods: - Software development methods: requirement analysis, modeling, specification and design; light-weight and scalable formal methods; software evolution, maintenance, re-engineering and reuse. - Design principles: programming languages; domain specific languages; type theory; abstraction and refinement, correctness-by-construction - Software verification and testing: model checking, theorem proving and decision procedures; verification and validation; probabilistic verification and synthesis; testing. - Functional and non-functional system properties, such as safety-critical, fault-tolerant and secure systems; software certification; performance analysis and management, resource-constrained computing, energy-aware computing. - Design principles and analysis techniques for different system paradigms, such as self-adaptive, service-oriented and cloud computing systems; component-based, object-oriented and multi-agent systems; real-time, hybrid and embedded systems; reconfigurable and variant-rich systems, intelligent systems, e.g., based on machine learning algorithms - Application and technology transfer: case studies, best practices and experience reports; tool integration; education; HCI, interactive systems and human error analysis. Authors are invited to submit full research papers (up to 15 pages) describing original research results, case studies and tools; and short new ideas/work-in-progress papers (up to 6 pages) describing new approaches, techniques and/or tools that are not fully validated yet. We are planning to publish the proceedings in the Formal Methods subline of Springer's LNCS series. Papers must be submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences/?conf=sefm18 Information about all committees can be found at https://www.isf.cs.tu-bs.de/cms/events/sefm2018/committees/. *** IMPORTANT DATES *** Abstract Submission: Friday 23 February 2018 Full Paper Submission: 2 March 2018 Notification: Monday 9 April 2018 Camera ready: Monday 23 April 2018 Conference: 27-29 June 2018 *** CO-CHAIRS *** Einar Broch Johnsen (University of Oslo, Norway) Ina Schaefer (Technische Universität Braunschweig, Germany) ************************ KEYNOTES ************************ SEFM 2018 will feature two exciting keynotes: *** Mark Harman (Facebook / University College London) *** We Need a Formal Semantics for Testability Transformation; SEFM community to the rescue? *** Andrzej Wasowski (IT University of Copenhagen) *** Hunting Resource Manipulation Bugs in Linux Kernel Code More information: Website: https://www.isf.cs.tu-bs.de/cms/events/sefm2018 From haowu at cs.nuim.ie Tue Feb 20 21:57:07 2018 From: haowu at cs.nuim.ie (Hao Wu) Date: Tue, 20 Feb 2018 20:57:07 +0000 Subject: [fg-arc] iFM 2018 Call for Papers Message-ID: <65531BDF-C03F-447B-B21C-36C016766ABB@cs.nuim.ie> =========================================================== CALL FOR PAPERS iFM 2018 14th International Conference on integrated Formal Methods September 5-7, 2018, Maynooth, Ireland https://ifm2018.cs.nuim.ie/ =========================================================== === Important dates === Abstract submission: Monday, 16 April 2018 Paper submission: Friday, 20 April 2018 Notification: Thursday, 14 June 2018 Camera-ready copy: Tuesday, 1 July 2018 Conference: 5-7 September 2018 Deadlines expire at 23:59 anywhere on earth on the dates displayed above. === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis: the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Combining formal methods - Integration of formal methods into software engineering practice - Program verification, model checking, and static analysis - Theorem proving, decision procedures, SAT/SMT solving - Runtime analysis, monitoring, and testing - Program synthesis - Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or concurrent systems - Abstraction and refinement - Model learning and inference === Submission guidelines === iFM 2018 solicits high quality papers reporting research results and/or experience reports related to the overall theme of formal method integration. We accept papers in the following categories: - Regular papers (limit 15 pages) on - original scientific research results - tools, their foundation and evaluations - applications of formal methods, including rigourous evaluations - Short papers (limit 8 pages) on - any subject of interest in the area of formal methods that can be described with sufficient detail within the page limit Page limits include bibliography and any appendices. All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Submissions should be made using the iFM 2018 Easychair site: https://easychair.org/conferences/?conf=ifm2018 Submissions must be in PDF format, using the Springer LNCS style files. The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early registration date, to be indicated by the organizers, and present the paper. === Organization === = General chair = Rosemary Monahan, Maynooth University, Ireland = PC chairs = Carlo A. Furia, Chalmers University of Technology, Sweden Kirsten Winter, University of Queensland, Australia = Program committee = Erika Abraham, RWTH Aachen, Germany Bernhard Aichernig, University of Graz, Austria Elvira Albert, Complutense University of Madrid, Spain Domenico Bianculli, University of Luxembourg, Luxembourg Eerke Boiten, De Montfort University, UK Einar Broch Johnsen, University of Oslo, Norway Maria Christakis, MPI-SWS, Germany David Cok, GrammaTech, USA Robert Colvin, University of Queensland, Australia Ferruccio Damiani, University of Turin, Italy Eva Darulova, MPI SWS, Germany Frank de Boer, CWI Amsterdam, Netherlands John Derrick, University of Sheffield, UK Brijesh Dongol, Brunel University, UK Catherine Dubois, ENSIIE, France Diego Garbervetsky, University of Buenos Aires, Argentina Peter Hoefner, Data61, Australia Marieke Huisman, University of Twente, Netherlands Rajeev Joshi, NASA JPL, USA Nikolai Kosmatov, CEA LIST, France Laura Kovács, Vienna University of Technology, Austria Rustan Leino, Amazon, USA Larissa Meinicke, University of Queensland, Australia Dominique Mery, LORIA Nancy, France Toby Murray, University of Melbourne, Australia Luigia Petre, Åbo Akademi University, Finland Ruzica Piskac, Yale University, USA Chris Poskitt, SUTD, Singapore Kostis Sagonas, Uppsala University, Sweden Gerhard Schellhorn, Universitaet Augsburg, Germany Steve Schneider, University of Surrey, UK Gerardo Schneider, University of Gothenburg, Sweden Emil Sekerinski, McMaster University, Canada Martin Steffen, University of Oslo, Norway Helen Treharne, University of Surrey, UK Caterina Urban, ETH Zurich, Switzerland Mark Utting, University of Sunshine Coast, Australia Heike Wehrheim, University of Paderborn, Germany Mitsuharu Yamamoto, Chiba University, Japan Chenyi Zhang, Jinan University, China = Publicity chair = Hao Wu, Maynooth University, Ireland === Conference location === iFM 2018 is organized by Maynooth University and will take place in Maynooth, Ireland. From grlmc at grlmc.com Sun Feb 25 00:42:25 2018 From: grlmc at grlmc.com (GRLMC) Date: Sun, 25 Feb 2018 00:42:25 +0100 Subject: [fg-arc] SLSP 2018: 1st call for papers Message-ID: <545102060a010b060652520401045a075a500455530957590b52005054025a5404580002005a005602070257045355@grlmc_ip-zone_com-6> SLSP 2018: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   6th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2018   Mons, Belgium   October 15-17, 2018   Co-organized by:   NUMEDIART Institute University of Mons   LANGUAGE Institute University of Mons   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   http://slsp2018.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, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2018, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2018 will take place in Mons, which was European Capital of Culture in 2015. The venue will be:   University of Mons 31 Bvd Dolez, 7000 Mons Belgium   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 2018 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE:   Steven Abney (University of Michigan, US) Srinivas Bangalore (Interactions LLC, US) Jean-François Bonastre (University of Avignon et Pays du Vaucluse, FR) Pierrette Bouillon (University of Geneva, CH) Nicoletta Calzolari (Italian National Research Council, IT) Erik Cambria (Nanyang Technological University, SG) Kenneth W. Church (Baidu Research, US) Walter Daelemans (University of Antwerp, BE) Thierry Dutoit (University of Mons, BE) Marcello Federico (Bruno Kessler Foundation, IT) Robert Gaizauskas (University of Sheffield, UK) Ralph Grishman (New York University, US) Udo Hahn (University of Jena, DE) Siegfried Handschuh (University of Passau, DE) Mark Hasegawa-Johnson (University of Illinois, Urbana–Champaign, US) Keikichi Hirose (University of Tokyo, JP) Julia Hirschberg (Columbia University, US) Nancy Ide (Vassar College, US) Gareth Jones (Dublin City University, IE) Philipp Koehn (University of Edinburgh, UK) Haizhou Li (National University of Singapore, SG) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Yuji Matsumoto (Nara Institute of Science and Technology, JP) Alessandro Moschitti (Qatar Computing Research Institute, QA) Hermann Ney (RWTH Aachen University, DE) Jian-Yun Nie (University of Montréal, CA) Elmar Nöth (University of Erlangen-Nuremberg, DE) Cecile Paris (CSIRO Data61, AU) Jong C. Park (Korea Advanced Institute of Science and Technology, KR) Alexandros Potamianos (National Technical University of Athens, GR) Paul Rayson (Lancaster University, UK) Mats Rooth (Cornell University, US) Paolo Rosso (Polytechnic University of Valencia, ES) Alexander Rudnicky (Carnegie Mellon University, US) Tanja Schultz (University of Bremen, DE) Holger Schwenk (Facebook AI Research, FR) Vijay K. Shanker (University of Delaware, US) Richard Sproat (Google Research, US) Tomoki Toda (Nagoya University, JP) Gökhan Tür (Google Research, US) Yorick Wilks (Institute for Human & Machine Cognition, US) Phil Woodland (University of Cambridge, UK) Dekai Wu (Hong Kong University of Science and Technology, HK) Junichi Yamagishi (University of Edinburgh, UK)   ORGANIZING COMMITTEE:   Stéphane Dupont (Mons) Thierry Dutoit (Mons, co-chair) Kévin El Haddad (Mons) Kathy Huet (Mons) Sara Morales (Brussels) Manuel J. Parra Royón (Granada) Gueorgui Pironkov (Mons) David Silva (London, co-chair)   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=slsp2018   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://slsp2018.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: May 27, 2018 Notification of paper acceptance or rejection: July 3, 2018 Final version of the paper for the LNCS/LNAI proceedings: July 13, 2018 Early registration: July 13, 2018 Late registration: October 1, 2018 Submission to the journal special issue: January 17, 2019   QUESTIONS AND FURTHER INFORMATION:   david.silva409 at yahoo.com   ACKNOWLEDGMENTS:   Université de Mons   Institute for Research Development, Training and Advice (IRDTA), Brussels/London -------------- next part -------------- An HTML attachment was scrubbed... URL: From steffen.becker at informatik.uni-stuttgart.de Mon Feb 26 08:52:35 2018 From: steffen.becker at informatik.uni-stuttgart.de (Steffen Becker) Date: Mon, 26 Feb 2018 08:52:35 +0100 Subject: [fg-arc] Architekturen 2018 - Save the Date! Message-ID: <6b9ba83d-8f4b-edfc-394e-fd22c5626868@informatik.uni-stuttgart.de> Brief Summary ----------------- Jahrestagung der GI FG Architekturen The Digital Age - Software Architectures in Future Applications Datum: 19. - 20.6.2018 Ort: paluno, Universität Duisburg-Essen Webseite: https://architekturen2018.paluno.uni-due.de --- Ein wichtiger Termin steht an! Diskutieren Sie bei der Jahrestagung 2018 der GI-Fachgruppe „Architekturen“ mit einem interessierten Publikum aus Wirtschaft und Wissenschaft, welche Entwicklungen sich im Bereich der Softwarearchitektur abzeichnen und was diese für den praktizierenden und forschenden Softwarearchitekten bedeuten. Die Jahrestagung der GI-Fachgruppe Architekturen findet am 19. - 20. Juni 2018 im Institut paluno - The Ruhr Institute for Software Technology der Universität Duisburg-Essen, Gerlingstraße 16, 45127 Essen unter dem Motto The Digital Age - Software Architectures in Future Applications statt. Die Tagungsreihe Architekturen wurde von der GI-Fachgruppe Architekturen initiiert. Sie hat sich die Veranstaltung zu einer der wichtigsten Plattformen für IT-Architekten entwickelt und bringt mit über 80 Teilnehmern viele Fachleute aus Praxis, Forschung und Forschungstransfer im Bereich der Softwarearchitekturen zusammen. Nutzen auch Sie diese Chance, knüpfen Sie Kontakte und tauschen Sie sich zu den neuesten Trends, Herausforderungen, und Erfolgen zum Thema Softwarearchitekturen aus. Neben den Fachvorträgen sind auch Treffen der GI-Arbeitskreise der Fachgruppe geplant. Alles Wichtige zur Jahrestagung sowie die Veranstaltungsagenda finden Sie auf der offiziellen Website: https://architekturen2018.paluno.uni-due.de Hier werden Sie in Zukunft auch über das Programm und die Anmeldemöglichkeit informiert. Wir freuen uns auf eine spannende Veranstaltung mit Ihnen! == Organisation und Kontakt == Michael Goedicke Marco Konersmann paluno, Universität Duisburg-Essen -- -- Universität Stuttgart - Institut für Softwaretechnologie Prof. Dr.-Ing. Steffen Becker - Reliable Software Systems Tel +49 711 685 88273 http://www.iste.uni-stuttgart.de/rss.html -------------- next part -------------- A non-text attachment was scrubbed... Name: steffen_becker.vcf Type: text/x-vcard Size: 478 bytes Desc: not available URL: From einarj at ifi.uio.no Mon Feb 26 20:12:02 2018 From: einarj at ifi.uio.no (Einar Broch Johnsen) Date: Mon, 26 Feb 2018 20:12:02 +0100 Subject: [fg-arc] CfP: SEFM 2018 EXTENDED DEADLINE Message-ID: <20180226191202.24ABD80B760@austur.ifi.uio.no> SEFM 2018: The 16th International Conference on Software Engineering and Formal Methods will be part of STAF 2018 in Toulouse, France, 27-29 June 2018. https://www.isf.cs.tu-bs.de/cms/events/sefm2018 Twitter: @SEFM_conf *** EXTENDED DEADLINE *** Abstract Submission: 2 March 2018 Full Paper Submission: 9 March 2018 ************************ CALL FOR PAPERS ************************ 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. *** TRACKS AND TOPICS OF INTEREST *** The topics of interest for submission include, but are not limited to, the following aspects of software engineering and formal methods: - Software development methods: requirement analysis, modeling, specification and design; light-weight and scalable formal methods; software evolution, maintenance, re-engineering and reuse. - Design principles: programming languages; domain specific languages; type theory; abstraction and refinement, correctness-by-construction - Software verification and testing: model checking, theorem proving and decision procedures; verification and validation; probabilistic verification and synthesis; testing. - Functional and non-functional system properties, such as safety-critical, fault-tolerant and secure systems; software certification; performance analysis and management, resource-constrained computing, energy-aware computing. - Design principles and analysis techniques for different system paradigms, such as self-adaptive, service-oriented and cloud computing systems; component-based, object-oriented and multi-agent systems; real-time, hybrid and embedded systems; reconfigurable and variant-rich systems, intelligent systems, e.g., based on machine learning algorithms - Application and technology transfer: case studies, best practices and experience reports; tool integration; education; HCI, interactive systems and human error analysis. Authors are invited to submit full research papers (up to 15 pages) describing original research results, case studies and tools; and short new ideas/work-in-progress papers (up to 6 pages) describing new approaches, techniques and/or tools that are not fully validated yet. We are planning to publish the proceedings in the Formal Methods subline of Springer's LNCS series. Papers must be submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences/?conf=sefm18 Information about all committees can be found at https://www.isf.cs.tu-bs.de/cms/events/sefm2018/committees/. *** IMPORTANT DATES *** Abstract Submission: Friday 23 February 2018 Full Paper Submission: 2 March 2018 Notification: Monday 9 April 2018 Camera ready: Monday 23 April 2018 Conference: 27-29 June 2018 *** CO-CHAIRS *** Einar Broch Johnsen (University of Oslo, Norway) Ina Schaefer (Technische Universität Braunschweig, Germany) ************************ KEYNOTES ************************ SEFM 2018 will feature two exciting keynotes: *** Mark Harman (Facebook / University College London) *** We Need a Formal Semantics for Testability Transformation; SEFM community to the rescue? *** Andrzej Wasowski (IT University of Copenhagen) *** Hunting Resource Manipulation Bugs in Linux Kernel Code More information: Website: https://www.isf.cs.tu-bs.de/cms/events/sefm2018 From sauer at uni-paderborn.de Tue Feb 27 10:57:54 2018 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Tue, 27 Feb 2018 10:57:54 +0100 Subject: [fg-arc] =?utf-8?q?Call_for_Papers=3A_9=2E_Workshop_=E2=80=9EDes?= =?utf-8?q?ign_for_Future_=E2=80=93_Langlebige_Softwaresysteme=E2=80=9C_?= =?utf-8?q?=28DFF_2018=29_-_Teil_des_WSRE_20=2E0?= Message-ID: Sehr geehrte Kolleginnen und Kollegen, bitte entschuldigen Sie, falls Sie den nachfolgenden Aufruf zur Einreichung von Beiträgen mehrfach erhalten! Einreichungsfrist: 31. März 2018 ------------------------------------------------------------------------ 9. Workshop *Design for Future – Langlebige Softwaresysteme* (*DFF 2018*) ------------------------------------------------------------------------ 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/dff2018/ 02.–04. Mai 2018 in Bad Honnef als Teil des 20. Workshop Software-Reengineering & Evolution (WSRE 20.0 / WSRE 2018) https://fg-sre.gi.de/wsre2018.html *Wichtige Termine* Einreichung von Beiträgen 31. März 2018 Benachrichtigung über die Annahme 09. April 2018 Einreichung der finalen Fassung 13. April 2018 Anmeldeschluss zur Teilnahme 13. April 2018 Workshop 02.-04. Mai 2018 *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. Gleichzeitig müssen diese Systeme im Rahmen der anstehenden Digitalisierungsansätze neue Rollen übernehmen und darauf ausgerichtet werden. 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 weiter¬entwickelt und angewandt werden. Der Arbeitskreis „Langlebige Softwaresysteme (L2S2)“ der GI Fachgruppen Architekturen und Software-Reengineering hat sich zum Ziel gesetzt, Wissenschaftler und Praktiker zusammen¬zu-bringen, die an diesen Themenstellungen Interesse haben. Im 9. 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=wsre2018 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 Softwaresysteme“ (AK L2S2), siehe http://akl2s2.ipd.kit.edu/. Er wird als Track des 20. WSRE stattfinden. Obwohl der DFF in das Programm des WSRE integriert ist, gibt es wegen der speziellen thematischen Ausrichtung diesen spezifischen Call for Papers und einen eigenen Review-Prozess. AK- und Workshop-Leitung: • Stefan Sauer, sauer at sicp.upb.de, • Marco Konersmann, marco.konersmann at paluno.uni-due.de, • Robert Heinrich, robert.heinrich at kit.edu *Programmkomitee* wird noch bekannt gegeben *Kontakt*: sauer at sicp.upb.de From steffen.becker at informatik.uni-stuttgart.de Tue Feb 27 13:32:05 2018 From: steffen.becker at informatik.uni-stuttgart.de (Steffen Becker) Date: Tue, 27 Feb 2018 13:32:05 +0100 Subject: [fg-arc] Architekturen 2018 - Save the Date! Message-ID: <34d08d95-5fc4-ce2f-17af-a5bd87caa26e@informatik.uni-stuttgart.de> Brief Summary ----------------- Jahrestagung der GI FG Architekturen The Digital Age - Software Architectures in Future Applications Datum: 19. - 20.6.2018 Ort: paluno, Universität Duisburg-Essen Webseite: https://architekturen2018.paluno.uni-due.de --- Ein wichtiger Termin steht an! Diskutieren Sie bei der Jahrestagung 2018 der GI-Fachgruppe „Architekturen“ mit einem interessierten Publikum aus Wirtschaft und Wissenschaft, welche Entwicklungen sich im Bereich der Softwarearchitektur abzeichnen und was diese für den praktizierenden und forschenden Softwarearchitekten bedeuten. Die Jahrestagung der GI-Fachgruppe Architekturen findet am 19. - 20. Juni 2018 im Institut paluno - The Ruhr Institute for Software Technology der Universität Duisburg-Essen, Gerlingstraße 16, 45127 Essen unter dem Motto The Digital Age - Software Architectures in Future Applications statt. Die Tagungsreihe Architekturen wurde von der GI-Fachgruppe Architekturen initiiert. Sie hat sich die Veranstaltung zu einer der wichtigsten Plattformen für IT-Architekten entwickelt und bringt mit über 80 Teilnehmern viele Fachleute aus Praxis, Forschung und Forschungstransfer im Bereich der Softwarearchitekturen zusammen. Nutzen auch Sie diese Chance, knüpfen Sie Kontakte und tauschen Sie sich zu den neuesten Trends, Herausforderungen, und Erfolgen zum Thema Softwarearchitekturen aus. Neben den Fachvorträgen sind auch Treffen der GI-Arbeitskreise der Fachgruppe geplant. Alles Wichtige zur Jahrestagung sowie die Veranstaltungsagenda finden Sie auf der offiziellen Website: https://architekturen2018.paluno.uni-due.de Hier werden Sie in Zukunft auch über das Programm und die Anmeldemöglichkeit informiert. Wir freuen uns auf eine spannende Veranstaltung mit Ihnen! == Organisation und Kontakt == Michael Goedicke Marco Konersmann paluno, Universität Duisburg-Essen From announce at cs.ucy.ac.cy Tue Feb 27 14:28:43 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 27 Feb 2018 15:28:43 +0200 Subject: [fg-arc] The 6th International Conference on Enterprise Systems (ES 2018): Second Call for Papers and Special Sessions Message-ID: *** SECOND CALL FOR PAPERS AND SPECIAL SESSIONS *** The 6th International Conference on Enterprise Systems (ES 2018) St. Raphael Resort, Limassol, Cyprus, 1-2 October, 2018 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBTZWNvbmQgQ2FsbCBmb3IgUGFwZXJzIGFuZCBTcGVjaWFsIFNlc3Npb25zCTE1MQlMaXN0cwkxNjcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018 WELCOME Welcome to the 6th International Conference on Enterprise Systems. Enterprise Systems (ES), also referred to as Enterprise Information Systems, has become increasingly popular over the last 20 years because it integrates and extends business processes across the boundaries of business functions and corporate walls, as well as country border lines. The International Conference on Enterprise Systems (ES) has been held every year since 2013. The sixth in the series will be held at St. Raphael Resort, Limassol, Cyprus, 8-9 October, 2018. The conference is hosted by the Department of Computer Science, University of Cyprus. This conference series is focusing on both the technical and application aspects of enterprise systems, the complex and cross-disciplinary problems of enterprise integration, and the new technological frontiers such as Industrial Integration, Industrial Information Integration, and Industry 4.0. The objectives of the conference are to provide high quality research and professional interactions for the advancement of science and technology. The main features of the conference include Keynote Speeches, Regular and Special Sessions. It has been highlighted by the IEEE Systems, Man, and Cybernetics Society: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBTZWNvbmQgQ2FsbCBmb3IgUGFwZXJzIGFuZCBTcGVjaWFsIFNlc3Npb25zCTE1MQlMaXN0cwkxNjcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fieeesmc.org%2F . SCOPE We welcome original and survey articles about the latest advances of technology. The final results can be state-of-the-art, requirements, fundamental theories, models, frameworks, algorithms, methodologies, platforms, protocols, prototypes, testbeds, field trials, case studies/stories, field experiences, standardization efforts, regulatory activities, education and training innovations, etc. The application areas include aeronautics and astronautics, agriculture, automotive, building, construction, energy, finance, healthcare, logistics, manufacturing, process industry, power, transportation, etc. TOPICS The topics of interest include but are not limited to: · Enterprise Systems for Industry 4.0 · Cyber Physical Systems for Industry 4.0 · Internet of Things for Industry 4.0 · Big Data for Industry 4.0 · Security and Privacy Protection for Industry 4.0 · System Engineering and Human Factors for Industry 4.0 · IoT-enabled Smart Manufacturing A full list of subtopics for each one of the above topics can be found on the conference web site. SPECIAL SESSIONS The goal of Special Sessions is to provide a focused discussion of new or innovative topics. Special Session organizers consist of at least 5 papers. Please download the template of Special Sessions and submit it to the Special Session Chair (relevant information is available on conference web site). All Special Session papers will be reviewed with the same criteria as Regular Session papers. PAPER SUBMISSION The submitted paper should adhere to the double-blind review policy. All papers will be double-blind reviewed by the Program Committee on the basis of technical quality, relevance, originality, significance, and clarity. All paper submissions will be handled electronically. Papers that do not comply with the Submission Guidelines will be rejected without review. Paper types: · Full papers present final result. They must not exceed 8 pages. · Short papers can contain preliminary results. They must not exceed 6 pages. · Work-in-progress papers to present valuable and latest progresses of ongoing projects: 4 pages. Note, all manuscripts shall be written in English, using the IEEE conference template (double column, size 10). Templates can be found at: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBTZWNvbmQgQ2FsbCBmb3IgUGFwZXJzIGFuZCBTcGVjaWFsIFNlc3Npb25zCTE1MQlMaXN0cwkxNjcJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.ieee.org%2Fconferences_events%2Fconferences%2Fpublishing%2Ftemplates.html . Please use the following submission link for Easy Chair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBTZWNvbmQgQ2FsbCBmb3IgUGFwZXJzIGFuZCBTcGVjaWFsIFNlc3Npb25zCTE1MQlMaXN0cwkxNjcJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Des20180 . PUBLICATION AND SPECIAL ISSUES Accepted papers will be submitted for inclusion into the IEEE Xplore Database which is indexed by EI. Furthermore, selected papers will be invited for a special issue by the Journal of Industrial Integration and Management, World Scientific, with theme "Next-Generation Enterprise Systems in the Industrial Integration Era". More information is available on the conference web site. IMPORTANT DATES · Special Sessions Proposals due: 2nd April 2018 · Regular Paper Submissions (al types) due: 14th May 2018 · Notification of Acceptance/Rejection: 23rd July 2018 · Camera-Ready Versions of Accepted Papers: 13th August 2018 · Author Registration: 13th August 2018 · Early Non-Author Registration: 10th September 2018 · Late Non-Author Registration: after 10th September 2018 ORGANIZING COMMITTEE Honorary General Chairs · Aurona Gerber, South Africa, IEEE SMC EAE TC Chair · Alta Van der Merwe, South Africa, IEEE SMC EAE TC Chair · Li Da Xu, USA, IEEE SMC EIS TC Co-Chair Program Chair · George Angelos Papadopoulos, University of Cyprus, Cyprus Program Co-Chairs · Ling Xia Li, Old Dominion University, USA · Wattana Golf Viriyasitavat, Chulalongkorn University, Thailand · Yale Yu, Infosys Australia & New Zealand · Chris Zhang, University of Saskatchewan, Canada · Zhuo Zou, Fudan University, China Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBFbnRlcnByaXNlIFN5c3RlbXMgKEVTIDIwMTgpOiBTZWNvbmQgQ2FsbCBmb3IgUGFwZXJzIGFuZCBTcGVjaWFsIFNlc3Npb25zCTE1MQlMaXN0cwkxNjcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fes2018/pages/pc.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Tue Feb 27 20:41:30 2018 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Tue, 27 Feb 2018 20:41:30 +0100 Subject: [fg-arc] =?utf-8?q?EKAW_2018_=3A_First_call_for_research=2C_in-u?= =?utf-8?q?se=2C_and_position_papers?= Message-ID: <420-5a95b480-347-79639500@46699388> ** First call for research, in-use, and position papers ** The 21th International Conference on Knowledge Engineering and Knowledge Management is with all aspects of eliciting, acquiring, modeling and managing knowledge, and its role in the construction of knowledge-intensive systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on. The special theme of this year's EKAW is "Knowledge and AI". We are indeed calling for papers that describe algorithms, tools, methodologies, and applications that exploit the interplay between knowledge and Artificial Intelligence techniques for knowledge discovery, modelling and managing, as well as papers that jointly exploit knowledge which is implicitly included in data (e.g., in learned models) and explicitly represented (e.g., in conceptual models). EKAW 2018 will put a special emphasis on the importance of Knowledge Engineering and Knowledge Management with the help of AI as well as for AI. ** Best paper award ** Research and in-use papers are eligible for the Bob Wielinga Best Paper Award. ** Topics of interest ** EKAW 2018 welcomes papers dealing with theoretical, methodological, experimental, and application-oriented aspects of knowledge engineering and knowledge management. In particular, but not exclusively, we solicit papers about methods, tools and methodologies relevant with regard to the following topics: * AI and Knowledge * - AI-based knowledge engineering and management - Natural Language Processing and knowledge discovery/acquisition - Knowledge acquisition for AI - Intelligent knowledge evolution, maintenance, and repair - Managing compliance between knowledge and data - Managing Multi-media knowledge - Machine Learning and the knowledge lifecycle - Combining learning knowledge from data and from humans - Modeling learned and conceptual knowledge together - Lessons learned from case studies - Adoption of techniques that exploit knowledge and AI - Evaluation of techniques that exploit knowledge and AI * Knowledge Management * - Methodologies and tools for knowledge management - Knowledge sharing and distribution, collaboration - Best practices and lessons learned from case studies - Provenance and trust in knowledge management - Methods for accelerating take-up of knowledge management technologies - Corporate memories for knowledge management - Knowledge evolution, maintenance and preservation - Web 2.0 technologies for knowledge management - Incentives for human knowledge acquisition (e.g. games with a purpose) * Knowledge Engineering and Acquisition * - Tools and methodologies for ontology engineering - Ontology design patterns - Ontology localisation - Ontology alignment - Knowledge authoring and semantic annotation - Knowledge acquisition from non-ontological resources (thesauri, folksonomies, etc.) - Semi-automatic knowledge acquisition, e.g., ontology learning - Mining the Semantic Web and the Web of Data - Ontology evaluation and metrics - Uncertainty and vagueness in knowledge representation - Dealing with dynamic, distributed and emerging knowledge * Social and Cognitive Aspects of Knowledge Representation * - Similarity and analogy-based reasoning - Knowledge representation inspired by cognitive science - Synergies between humans and machines - Knowledge emerging from user interaction and networks - Knowledge ecosystems - Expert finding, e.g., by social network analysis - Trust and privacy in knowledge representation - Collaborative and social approaches to knowledge management and acquisition - Crowdsourcing in knowledge management * Applications in specific domains such as * - eGovernment and public administration - Life sciences, health and medicine - Humanities and Social Sciences - Automotive and manufacturing industry - Cultural heritage - Digital libraries - Geosciences - ICT4D (Knowledge in the developing world) ** Type of papers ** We will accept different types of papers. The papers will all have the same status and follow the same formatting guidelines in the proceedings but will receive special treatment during the reviewing phase. In particular, each paper type will be subject to its own evaluation criteria. The Programme Committee will also make sure that there is a reasonable balance of the paper types accepted. At submission time the paper has to be clearly identified as belonging to one of the following categories. Research papers: These are "standard" papers presenting a novel method, technique or analysis with appropriate empirical or other types of evaluation as a proof-of-concept. The main evaluation criteria here will be originality, technical soundness and validation. In-use papers: Here we are expecting papers describing applications of knowledge management and engineering in real environments. Applications need to address a sufficiently interesting and challenging problem on real-world datasets, involving many users, etc. The focus is less on the originality of the approach and more on presenting systems that solve a significant problem while addressing the particular challenges that come with the use of real-world data. Evaluations are essential for this type of paper and should involve a representative subset of the actual users of the system. Position papers: We invite researchers to also publish position papers, which describe novel and innovative ideas. Position papers may also comprise an analysis of currently unsolved problems, or review these problems from a new perspective, in order contribute to a better understanding of these problems in the research community. We expect that such papers will guide future research by highlighting critical assumptions, motivating the difficulty of a certain problem or explaining why current techniques are not sufficient, possibly corroborated by quantitative and qualitative arguments. ** Important dates ** - Abstract deadline: July 2nd, 2018 - Submission deadline: July 9th, 2018 - Notification of acceptance: August 31st, 2018 - Camera-ready paper: September 10th, 2018 - Conference days: November 13th-16th, 2018 - All submission deadlines are 23:59:59 Hawaii Time. ** Submissions ** Pre-submission of abstracts is a strict requirement. All papers and abstracts have to be submitted electronically via EasyChair. All submissions for research, in-use, and position papers must be in English, and no longer than 15 pages. Papers that exceed this limit will be rejected without review. Submissions must be in PDF, formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details on the LNCS style, see Springer's Author Instructions. ** Organization ** General chair Amedeo Napoli (CNRS, France) Yannick Toussaint (Université de Lorraine, France) Program chairs Catherine Faron Zucker (Université Nice Sophia Antipolis, France) Chiara Ghidini (Fondazione Bruno Kessler, Italy) From Cassia.Trojahn at irit.fr Tue Feb 27 20:26:49 2018 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Tue, 27 Feb 2018 20:26:49 +0100 Subject: [fg-arc] =?utf-8?q?EKAW_2018_=3A_Call_for_workshops_and_tutorial?= =?utf-8?q?s?= Message-ID: <4f82-5a95b100-3e5-24d8d300@81112307> Call for workshops and tutorials In conjunction with EKAW 2018 https://project.inria.fr/ekaw2018/ November 12 - 16 Nancy, France Introduction The International Conference on Knowledge Engineering and Knowledge Management (EKAW) is concerned with all aspects of eliciting, acquiring, modelling and managing knowledge, as well its role in the construction of knowledge-intensive systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, etc. This year, EKAW will pay special attention to topics related to knowledge and artificial intelligence. Besides the regular conference tracks, EKAW will host a number of workshops and tutorials on topics related to the theme of the conference. We hope our workshops to provide an informal setting where participants have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas; and tutorials to enable attendees to fully appreciate current issues, main schools of thought, and possible application areas. Topics of Interest In order to meet these goals, workshop/tutorial proposals should address topics that satisfy the following criteria: the falls in the general scope of EKAW 2018; there is a clear focus on a specific technology, problem or application; there is a sufficiently large community interested in the topic. Submission Guidelines Proposals should be submitted via EasyChair at: https://easychair.org/conferences/?conf=ekaw2018wst Submissions should be a single PDF file of no more than 5 pages, specifying "Workshop Proposal" or "Tutorial Proposal", and should contain the following information. Workshop proposals: Title. Abstract (200 words). Motivation on why the topic is of particular interest at this time and its relation to the main conference topics. Workshop format, discussing the mix of events such as paper presentations, invited talks, panels, and general discussion. Intended audience and expected number of participants. List of (potential) members of the program committee (at least 50% have to be confirmed at the time of the proposal, confirmed participants should be marked specifically). Indication of whether the workshop should be considered for a half-day or full-day. The tentative dates (submission, notification, camera-ready deadline, etc.) Past versions of the workshop, including URLs as well as number of submissions and acceptance rates. Details of the organisers (name, affiliation, email address, homepage) and short CV. We strongly advise having more than one organiser, preferably from different institutions, bringing different perspectives to the workshop topic. We welcome, and will prioritise, workshops with creative structures and organisations that attract various types of contributions and ensure rich interactions. Tutorial proposals: Title. Abstract (200 words). Relation to the conference topics, i.e. why it will be of interest to the conference attendants. If the tutorial, or a very similar tutorial, has been given elsewhere, explanation of the benefit of presenting it again to the EKAW community. Overview of content, description of the aims, presentation style, potential/preferred prerequisite knowledge. Indication on whether the tutorial should be considered for a half-day or full-day. Intended audience and expected number of participants. Audio-visual or technical requirements and any special room requirements (for hands-on sessions, any software needed and download sites must be provided by the tutorial presenters). Details of the presenters (name, affiliation, email address, homepage) and short CV including also their expertise, experiences in teaching and in tutorial presentation. Workshop Organiser Responsibilities The organisers of accepted workshops are expected to: prepare a workshop webpage (linked to the official EKAW website) containing the call for papers and detailed information about the workshop organisation and timelines. be responsible for the workshop publicity. be responsible for their own reviewing process, decide upon the final program content and report the number of submissions and accepted papers to the workshop chair. be responsible for publishing electronic proceedings (e.g. on the CEUR-WS website). ensure workshop participants are informed they have to register to the main conference and the workshop. schedule, attend and coordinate their entire workshop. Tutorial Organisers Responsibilities The proposers of accepted tutorials are expected to prepare a tutorial webpage (linked to the official EKAW website) containing detailed information about the tutorial prepare the tutorial materials publicity distribute materials to participants schedule, attend and coordinate their tutorial. Important Dates Proposals due: 9 May, 2018 Notifications: 23 May 2018 Suggested Timeline for Workshops Workshop website up and calls: 1 June 2018 Deadline to submit Papers to Workshops: 8 September 2018 Acceptance of Papers for Workshops: 1 October 2018 Workshop days: 12 or 13 November 2018 Chairs Manuel Atencia, Université Grenoble Alpes & Inria, France Marieke van Erp, KNAW Humanities Cluster, The Netherlands Contact: ekaw2018wst at easychair.org