December 2018 - computational.science

From Skala - Call for Papers - 27. WSCG 2019 Conf. on Graphics, Visualization & Computer Vision
by Vaclav Skala 07 Dec '18

07 Dec '18

>> Please, resend this Call for Papers ----------------------------------------------- >> Call for Papers and Conference Announcement >> WSCG 2019 ------------------------------------------------------------- WSCG 2019 (held annually since 1992) 27. Int. Conf. on Computer Graphics, Visualization and Computer Vision 2019 http://www.wscg.eu – main page of WSCG http://www.wscg.cz – WSCG 2019 page When: May 27 – 31, 2019 Where: Primavera Congress Center, Pilsen (the City of Beer), close to Prague, Czech Republic approx. 70 mins. from the Prague Airport by public transport > Proposals for workshops and special session are welcome. Important dates: --------------------- >> WSCG 2019 27. Conference on Computer Graphics, Visualization and Computer Vision 2019 http://www.WSCG.eu Submission: Workshops/Special sessions proposals - December 15, 2018 (via e-mail) January 31, 2019 - Abstract (recommended), February 11, 2019 - Full, Short, Poster papers Proceedings will be published in Computer Science Research Notes (ISSN 2464-4617). The best selected papers will be published in the Journal of WSCG (ISSN 1213-6972). >> "Pay to publish" strategy submission is NOT acceptable. << >> At least one author has to present the paper at the conference. << >> Proceedings will be made after the conference. << Recent publications available via http://wscg.zcu.cz/DL/wscg_DL.htm - repository since 1992. Contact: skala(a)kiv.zcu.cz subject: WSCG 2019 Organizer & Chair --------------------- prof. Vaclav Skala c/o University of West Bohemia, Faculty of Applied Sciences, Dept. of Computer Science and Engineering, Univerzitni 8 CZ 30614 Plzen, Czech Republic http://www.VaclavSkala.eu Announcement sent via: skala(a)kiv.zcu.cz Main topics (but not limited to) --------------------------- Computer graphics Scientific visualization Medical visualization Computer vision Image processing Pattern recognition GPU graphics Rendering and animation Virtual reality Haptic systems Medical imaging Graphical human computer interfaces Graphical interaction Computational photography Data compression for graphics Image based rendering Physically based modeling Mathematical methods for graphics and vision Geometric modeling Shape analysis Shape modeling Shape retrieval Surface and volume parametrization Parallel graphics CAD, CAGD and GIS systems and other related topics -- ~~~~~~~~~~~~~~~~~ Prof.Vaclav Skala http://www.VaclavSkala.eu tel. 37-763-2473 c/o University of West Bohemia Faculty of Applied Sciences Dept.of Computer Science & Engineering Univerzitni 8 CZ 306 14 Plzen Czech Republic

1 0

LMTR suite for unconstrained optimization
by Oleg Burdakov 04 Dec '18

04 Dec '18

We are happy to announce the first release of the LMTR suite for unconstrained optimization. This package contains limited memory trust-region and line-search algorithms implemented in MATLAB. The algorithms are described in "On Efficiently Combining Limited Memory and Trust-Region Techniques", Mathematical Programming Computation (2017) Vol. 9, no 1, pp. 101-134, https://doi.org/10.1007/s12532-016-0109-7. To download the package, you may want to follow the link http://gratton.perso.enseeiht.fr/LBFGS/index.html The package contains the following algorithms: - LBFGS_TR.m. Limited memory line-search algorithm L-BFGS that takes a trial step along the quasi-Newton direction inside the trust region; - LBFGS_MTBT.m. Limited memory line-search algorithm L-BFGS based on the Moré-Thuente line search and the initial step is obtained using backtrack; - LBFGS_MT.m. Limited memory line-search algorithm L-BFGS based on the More-Thuente line search; - LMTR_BWX_MS.m. Limited memory trust-region algorithm BWX-MS. It applies the Moré-Sorensen approach for solving the TR subproblem defined in the Euclidean norm. It is a modified version of the algorithm by Burke et al.; - LMTR_EIG_MS_2_2.m. Limited memory trust-region algorithm EIG-MS(2,2) using the eigenvalue-based (2,2)-norm, with the Moré-Sorensen approach for solving a low-dimensional TR subproblem; - LMTR_EIG_inf_2.m. Limited memory trust-region algorithm EIG(inf,2) using the eigenvalue-based (inf,2)-norm, with the exact solution to the TR subproblem in closed form. -- .................................................................... Oleg Burdakov, Editor-in-Chief of the journal Optimization Methods & Software (OMS) http://www.tandfonline.com/goms Division of Optimization, | Phone: +46 13 281473 Department of Mathematics, | Mobile: +46 70 0895219 Linkoping University, | E-mail: Oleg.Burdakov(a)liu.se SE - 58183 Linkoping, Sweden | http://users.mai.liu.se/olebu87/ ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::

1 0

Special Issue "The Second International Workshop on Parallel and Distributed Data Mining"
by Massimo CAFARO 03 Dec '18

03 Dec '18

Special Issue "The Second International Workshop on Parallel and Distributed Data Mining" A special issue of Algorithms (ISSN 1999-4893). Deadline for manuscript submissions: 21 December 2018 http://www.mdpi.com/journal/algorithms/special_issues/Parallel_Distributed_… Special Issue Information Dear Colleagues, This Special Issue is devoted to the increasing interest in the design and implementation of parallel and distributed data mining algorithms. The Workshop on Parallel and Distributed Data Mining (WPDM 2018) is an international forum that brings together researchers and practitioners, working on different high-performance aspects of data mining algorithms, enabling novel applications. Indeed, datasets grow so rapidly that, every day, exabytes of data are being generated, and, in order to extract and infer useful knowledge, parallel processing techniques are required to cope with this huge volume of data: Traditional sequential software is not viable to cope with them. When the data are generated in different places (such as wireless sensor networks and/or Internet of things devices), they may be geographically spread out, and the data cannot be sent to a centralized site, thus, the need for distributed processing algorithms arises. Topics relevant to this Special Issue cover the scope of the WPDM 2018 Workshop (http://sara.unisalento.it/~cafaro/WPDM2018/) - Parallel data mining algorithms using MPI and/or OpenMP - Parallel data mining algorithms targeting GPUs and many-cores accelerators - Parallel data mining applications exploiting FPGA - Distributed data mining algorithms - Benchmarking and performance studies of high-performance data mining applications - Novel programming paradigms to support high-performance computing for data mining - Performance models for high-performance data mining applications and middleware - Programming models, tools, and environments for high-performance computing in data mining - Caching, streaming, pipelining, and other optimization techniques for data management in high-performance computing for data mining Extended versions of papers presented at WPDM 2018 are sought, but this call for papers is fully open to all those who wish to contribute by submitting a relevant research manuscript. Manuscript Submission Information Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All papers will be peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website. Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Algorithms is an international peer-reviewed open access monthly journal published by MDPI. Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 850 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions. Special Issue Editors Guest Editor Assoc. Prof. Massimo Cafaro Department of Engineering for Innovation, Via per Monteroni, 73100 Lecce, Italy Euro-Mediterranean Centre on Climate Change, Foundation, Lecce, Italy Guest Editor Dr. Italo Epicoco Department of Engineering for Innovation, Via per Monteroni, 73100 Lecce, Italy Euro-Mediterranean Centre on Climate Change, Foundation, Lecce, Italy Guest Editor Dr. Marco Pulimeno Department of Engineering for Innovation, Via per Monteroni, 73100 Lecce, Italy Guest Editor Prof. Giovanni Aloisio Department of Engineering for Innovation, Via per Monteroni, 73100 Lecce, Italy Euro-Mediterranean Centre on Climate Change, Foundation, Lecce, Italy - ************************************************************************************ Massimo Cafaro, Ph.D. Associate Professor Dept. of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web http://sara.unisalento.it/~cafaro E-mail massimo.cafaro(a)unisalento.it cafaro(a)ieee.org cafaro(a)acm.org CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro(a)cmcc.it ************************************************************************************

1 0

The Third International Workshop on Parallel and Distributed Data Mining (WPDM 2019)
by Massimo CAFARO 03 Dec '18

03 Dec '18

WPDM 2019 The Third International Workshop on Parallel and Distributed Data Mining (WPDM 2019) http://sara.unisalento.it/~cafaro/WPDM2019/ CALL FOR PAPERS The Third Workshop on Parallel and Distributed Data Mining (WPDM 2019) will be held in conjunction with The 19th International Conference on Computational Science and Its Applications (ICCSA 2019), http://www.iccsa.org Saint Petersburg University, Saint Petersburg, Russia July 1-4 2019 Final submission Deadline: February 17, 2019 SCOPE AND OBJECTIVES The Workshop on Parallel and Distributed Data Mining is an international forum which brings together researchers and practitioners working on different high-performance aspects of data mining algorithms, enabling novel applications. Data mining techniques and algorithms to process huge amount of data in order to extract useful and interesting information have become popular in many different contexts. Algorithms are required to make sense of data automatically and in efficient ways. Nonetheless, even though sequential computer systems performance is improving, they are not suitable to keep up with the increase in the demand for data mining applications and the data size. Moreover, the main memory of sequential systems may not be enough to hold all the data related to current applications. Therefore, there is an increasing interest in the design and implementation of parallel data mining algorithms. On parallel computers, by exploiting the vast aggregate main memory and processing power of processors and accelerators, parallel algorithms can easily address both the running time and memory requirement issues. Anyway, parallelizing existing algorithms in order to achieve good performance and scalability with regard to massive datasets is not trivial. Indeed, it is of paramount importance a good data organization and decomposition strategy in order to balance the workload while minimizing data dependences. Another concern is related to minimizing synchronization and communication overhead. Finally, I/O costs should be minimized as well. The Workshop will allow exchanging ideas and results related to on-going research, focusing on high-performance aspects of data mining algorithms and applications. Creating breakthrough parallel algorithms for high-performance data mining applications requires addressing several key computing problems which may lead to novel solutions and new insights in interdisciplinary applications. The focus of the workshop is on all forms of advances in high-performance data mining algorithms and applications, and related topics. The WPDM Workshop topics include (but are not limited to) the following: - Parallel data mining algorithms using MPI and/or OpenMP - Parallel data mining algorithms targeting GPUs and many-cores accelerators - Parallel data mining applications exploiting FPGA - Distributed data mining algorithms - Benchmarking and performance studies of high-performance data mining applications - Novel programming paradigms to support high-performance computing for data mining - Performance models for high-performance data mining applications and middleware - Programming models, tools, and environments for high-performance computing in data mining - Caching, streaming, pipelining, and other optimization techniques for data management in high-performance computing for data mining INSTRUCTIONS FOR PAPER SUBMISSIONS You are invited to submit original and unpublished research works on above topics. Submitted papers must not have been published or simultaneously submitted elsewhere. The submitted paper must be between 10 to 16 pages long and formatted according to the Springer LNCS (Lecture Notes in Computer Science) rules, Guidelines and templates can be found at the url http://www.springer.com/it/computer-science/lncs/conference-proceedings-gui… To submit a paper, please connect to the Submission site from the link available at the ICCSA 2019 web site: http://ess.iccsa.org. Only papers submitted through the electronic system and strictly adhering to the relevant format will be considered for reviewing and publication. Please pay attention, when submitting your contribution to the workshop, to select the right entry in the listbox shown in the submission form. CONFERENCE POLICY By submitting the paper to ICCSA conference, all authors agree to abide by all ICCSA conference paper submission, publication and presentation policies. Namely, authors confirm that the work is original, has not appeared in literature in any form in the past and will not be submitted to any other venue concurrently with ICCSA submission or until it appears in ICCSA proceedings (in the case of acceptance). Furthermore, upon paper acceptance, authors agree to transfer copyright on the accepted paper to ICCSA, and one of the authors will register the paper and present the paper at the event. No paper withdrawals can be accepted after Conference pre-registration date or within three months of the actual event, whichever date comes first. Paper withdrawal request can be only accepted in writing through email, letter or fax to conference organizers. The conference has no responsibility for any intentional or accidental misuse, misinterpretation, or failure to follow above rules and conditions and holds no legal, civil or other responsibility for opinions, content or utilization of any methods/algorithms expressed in the Conference Proceedings. If you have any questions about paper submission or the workshop, please contact the workshop organisers. IMPORTANT DATES February 17, 2019: Deadline for paper submission March 31, 2019: Notification of Acceptance. May 8, 2019: Early-bird Registration ends. May 8, 2019: Submission deadline for the final version of the Papers July 1-4, 2019: ICCSA 2019 Conference WORKSHOP ORGANIZERS Massimo Cafaro University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: massimo.cafaro(a)unisalento.it Italo Epicoco University of Salento, Italy Phone: +39 0832 297235 Fax: +39 0832 297235 Email: italo.epicoco(a)unisalento.it Marco Pulimeno University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: marco.pulimeno(a)unisalento.it Giovanni Aloisio University of Salento & Euro Mediterranean Center on Climate Change Foundation, Italy Phone: +39 334 6501704 Fax: +39 0832 297235 Email: giovanni.aloisio(a)unisalento.it International Program Committee: All submitted papers will be reviewed by the workshop technical program committee members. Program Committee formation is pending and will be finalised shortly. - ************************************************************************************ Massimo Cafaro, Ph.D. Associate Professor Dept. of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web http://sara.unisalento.it/~cafaro E-mail massimo.cafaro(a)unisalento.it cafaro(a)ieee.org cafaro(a)acm.org CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro(a)cmcc.it ************************************************************************************

1 0

CfP Ada-Europe 24th Conf. on Reliable Software Technologies
by Dirk.Craeynest＠cs.kuleuven.be 02 Dec '18

02 Dec '18

----------------------------------------------------------------------- Call for Papers Ada-Europe 24th International Conference on Reliable Software Technologies (Ada-Europe 2019) 10-14 June 2019, Warsaw, Poland http://www.ada-europe.org/conference2019 Organized by EDC and Ada-Europe, in cooperation with ACM SIGAda, SIGBED (pending), SIGPLAN (pending) and the Ada Resource Association (ARA) ----------------------------------------------------------------------- *** General Information Ada-Europe is pleased to announce that its 24th International Conference on Reliable Software Technologies (Ada-Europe 2019) will take place in Warsaw, Poland, in the week of 10-14 June. The conference schedule at its fullest includes a three-day technical program and vendor exhibition from Tuesday to Thursday, and parallel tutorials and workshops on Monday and Friday. This edition of the conference inaugurates a major revamp in the registration fees, redesigned to extend participation from industry and academia, and to reward contributors, especially but not solely, students and post-doc researchers. *** Schedule 14 January 2019: Submission of papers, industrial presentation outlines, tutorial and workshop proposals 1 March 2019: Notification of acceptance to all authors 16 March 2019: Camera-ready version of papers required 30 April 2019: Industrial presentations, tutorial and workshop material required *** Topics The conference is a leading international forum for providers, practitioners and researchers in reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development and maintenance of long-lived, high-quality software systems for a challenging variety of application domains. The program will allow ample time for keynotes, Q&A sessions and discussions, and social events. Participants include practitioners and researchers from industry, academia and government organizations active in the promotion and development of reliable software technologies. The topics of interest for the conference include but are not limited to: - Design and Implementation of Real-Time and Embedded Systems: Real-Time Scheduling, Design Methods and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability and Performance; - Design and Implementation of Mixed-Criticality Systems: Scheduling Methods, Mixed-Criticality Architectures, Design Methods, Analysis Methods; - Theory and Practice of High-Integrity Systems: Medium to Large-Scale Distribution, Fault Tolerance, Security, Reliability, Trust and Safety, Languages Vulnerabilities; - Software Architectures for Reliable Systems: Design Patterns, Frameworks, Architecture-Centered Development, Component-based Design and Development; - Methods and Techniques for Quality Software Development and Maintenance: Requirements Engineering, Model-driven Architecture and Engineering, Formal Methods, Re-engineering and Reverse Engineering, Reuse, Software Management Issues, Compilers, Libraries, Support Tools; - Ada Language and Technologies: Compilation Issues, Runtimes, Ravenscar, Profiles, Distributed Systems, SPARK; - Mainstream and Emerging Applications with Reliability Requirements: Manufacturing, Robotics, Avionics, Space, Health Care, Transportation, Cloud Environments, Smart Energy Systems, Serious Games, etc; - Achieving and Assuring Safety in Machine Learning Systems; - Experience Reports in Reliable System Development: Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics; - Experiences with Ada: Reviews of the Ada 2012 language features, implementation and use issues, positioning in the market and in the software engineering curriculum, lessons learned on Ada Education and Training Activities with bearing on any of the conference topics. *** Call for Regular Papers The regular papers submitted to the conference must be original and shall undergo anonymous peer review. The authors shall submit their work by 14 January 2019, in PDF only, and up to 16 LNCS-style pages in length, via https://easychair.org/conferences/?conf=ae2019. The conference is listed in the principal citation databases, including DBLP, Scopus, Web of Science, and Google Scholar. The authors of the papers that will appear in the conference proceedings will be invited to extend their work for submission to a Special Issue of Elsevier's Journal of Systems Architecture, centered on the conference themes. *** Proceedings The conference proceedings will appear in Springer's Lecture Notes in Computer Science (LNCS) series, and will be available at the conference, both online and in print. The authors of accepted regular papers shall prepare camera-ready submissions in full conformance with the LNCS style, strictly by 16 March 2019. For format and style guidelines, the authors should refer to http://www.springer.de/comp/lncs/authors.html. Failure to comply and to register at least one author for the conference by that date will prevent the paper from appearing in the proceedings. *** Call for Industrial Presentations The conference seeks industrial presentations that deliver insightful information value but may not sustain the strictness of the review process required for regular papers. The authors of industrial presentations shall submit their proposals, of at least 1 page in length, by 14 January 2019, strictly in PDF, via https://easychair.org/conferences/?conf=ae2019. The Industrial Committee will review the submissions anonymously and make recommendations for acceptance. The authors of accepted contributions shall be requested to submit a 2-page abstract by 16 March 2019, for inclusion in the conference booklet, and be invited to deliver a 20-minute talk at the conference. These authors will also be invited to expand their contributions into articles for publication in the Ada User Journal (http://www.ada-europe.org/auj/) as part of the proceedings of the Industrial Program of the Conference. For any further information, please contact the Industrial Chair directly. *** Awards Ada-Europe will offer honorary awards for the best regular paper and the best presentation. *** Call for Educational Tutorials The conference seeks tutorials in the form of educational seminars that may include hands-on or practical demonstrations. Proposed tutorials can address any part of the reliable software domain, and may have an academic or industrial slant from technology perspective. All software topics and their application to reliability and safety are welcome. Tutorial proposals shall include a title, an abstract, a description of the topic, an outline of the presentation, the proposed duration (half day or full day), and the intended level of the tutorial (introductory, intermediate, or advanced), and most importantly a statement expressing why it will be worthwhile to attend the tutorial. Tutorial proposals shall be submitted to the Educational Tutorial Chair. The authors of accepted full-day tutorials will receive a complimentary conference registration. For half-day tutorials, this benefit is halved. The Ada User Journal will offer space for the publication of summaries of the accepted tutorials. *** Call for Workshops Workshops on themes within the conference scope may be proposed. Proposals may be submitted for half- or full-day events, to be scheduled at either end of the conference week. Workshop proposals shall be submitted to the Workshop Chair. The workshop organizer shall also commit to producing the proceedings of the event, for publication in the Ada User Journal. *** Call for Exhibitors The commercial exhibition will span the core days of the main conference. Interested providers of software products and services should send inquiries to the Exhibition Chair. *** Venue The conference will take place in Warsaw, Poland, at the Engineering Design Center, a partnership of General Electric and the Institute of Aviation, one of Europe's largest engineering institutions. *** Organizing Committee Conference & Program Chair Tullio Vardanega, University of Padua, Italy tullio.vardanega at unipd.it Educational Tutorial & Workshop Chair Dene Brown, SysAda Ltd, UK dene.brown at sysada.co.uk Industrial Chair Maurizio Martignano, Spazio IT, Italy maurizio.martignano at spazioit.com Exhibition & Sponsorship Chair Ahlan Marriott, White Elephant GmbH, Switzerland software at white-elephant.ch Publicity Chair Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium dirk.craeynest at cs.kuleuven.be Local Chair Maciej Sobczak, GE Aviation - EDC Warsaw, Poland maciej.sobczak at ge.com *** Program Committee Mario Aldea, Univ. de Cantabria, ES Johann Blieberger, Vienna Univ. of Technology, AT Bernd Burgstaller, Yonsei Univ., KR António Casimiro, Univ. Lisboa, PT Barbara Gallina, Mälardalen Univ., SE Michael González Harbour, Univ. de Cantabria, ES J. Javi Gutiérrez, Univ. de Cantabria, ES Jérôme Hugues, ISAE, FR Hubert Keller, Karlsruhe Institute of Technology, DE Raimund Kirner, Univ. of Hertford-shire, UK Franco Mazzanti, ISTI-CNR, IT Laurent Pautet, Telecom ParisTech, FR Luís Miguel Pinho, CISTER/ISEP, PT Erhard Plödereder, Univ. Stuttgart, DE Juan A. de la Puente, Univ. Pol. de Madrid, ES Jorge Real, Univ. Pol. de València, ES José Ruiz, AdaCore, FR Sergio Sáez, Univ. Pol. de València, ES Elad Schiller, Chalmers Univ. of Technology, SE Frank Singhoff, Univ. de Bretagne Occidentale, FR Jorge Sousa Pinto, Univ. of Minho, PT Tucker Taft, AdaCore, USA Elena Troubitsyna, Åbo Akademi Uni., FI Santiago Urueña, GMV, ES Tullio Vardanega, Univ. of Padua, IT Marcus Völp, Univ. of Luxembourg, LU *** Industrial Committee Ian Broster, Rapita Systems, UK Dirk Craeynest, Ada-Belgium & KU Leuven, BE Gonçalo Gouveia, Critical Techworks, PT Thomas Gruber, Austrian Institute of Technology, AT Andreas Jung, European Space Agency, NL Ismael Lafoz, Airbus Military, ES Patricia Lopez Cueva, Thales Alenia Space, FR Ahlan Marriott, White Elephant, CH Maurizio Martignano, Spazio-IT, IT Silvia Mazzini, Intecs, IT Marco Panunzio, Thales Alenia Space, FR Paul Parkinson, Wind River, UK Jean-Pierre Rosen, AdaLog, FR José Emilio Salazar Marsà, GMV, ES Helder Silva, Edisoft, PT Jacob Sparre Andersen, JSA Cons., DK Pawel Zakrzewski, GE Aviation, PL *** Previous Editions Ada-Europe organizes annual international conferences since the early 80's. This is the 24th event in the Reliable Software Technologies series, previous ones being held at Montreux, Switzerland ('96), London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99), Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria ('02), Toulouse, France ('03), Palma de Mallorca, Spain ('04), York, UK ('05), Porto, Portugal ('06), Geneva, Switzerland ('07), Venice, Italy ('08), Brest, France ('09), Valencia, Spain ('10), Edinburgh, UK ('11), Stockholm, Sweden ('12), Berlin, Germany ('13), Paris, France ('14), Madrid, Spain ('15), Pisa, Italy ('16), Vienna, Austria ('17), and Lisbon, Portugal ('18). Information on previous editions of the conference can be found at http://www.ada-europe.org/confs/ae. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk.Craeynest(a)cs.kuleuven.be, Ada-Europe 2019 Publicity Chair *** Ada-Europe 24th Intl. Conf. on Reliable Software Technologies *** June 10-14, 2019 * Warsaw, Poland * www.ada-europe.org/conference2019

1 0

Last Call For Papers - IEEE SOSE 2019 - NEW Deadline for Paper submission
by Zeyu Gao 01 Dec '18

01 Dec '18

*We are sorry if you received multiple CFPs for this.* ************************************************************************************************************************************************ *Last Call For Papers - IEEE SOSE 2019* *Important Dates* Paper Submission: *Dec. 14, 2018* Author Notification: *Jan 5, 2019* Camera-ready Submission and Conference Registration: *Jan 31, 2019* Conference: *Apr 4 - 9, 2019* http://www.ieeesose.net/index.html The 13th IEEE International Conference on Service-Oriented System Engineering April 4 - April 9, 2019 - DoubleTree by Hilton Hotel Newark-Fremont - Newark, California, USA Service-Oriented Computing exploits services as the fundamental elements of computer-based systems. It has been applied to various areas and promotes fundamental changes to the way software systems are being analyzed, architected, designed, implemented, tested, evaluated, delivered, consumed, maintained and evolved. Consequently, a new paradigm of software and system engineering discipline, i.e. Service-Oriented Engineering, has emerged and advanced rapidly in the past decade. Among many remarkable milestones in the development of this new paradigm are the wide adoption of the Micro-services architectural style supported by Docker and other container-based virtualization techniques in the design of cloud native application in the industry, and the DevOps movement in the organisation of development process supported by automated tools for continuous testing, continuous integration and continuous delivery. Recent advances in service oriented computing, in particular Internet-of-Things, Edge and Fog computing, mobile and cloud computing combined with Big Data analytics, robotics, block-chain and decentralized ledger applications, and application of artificial intelligence techniques, etc., have provided exciting opportunities to make significant progress in understanding and solving complex real-world challenges. Such challenges typically require a system-level approach that models a complex system at different levels of abstraction, helps to develop sound architectures for addressing separate system requirements and concerns, and integrates diverse sources of knowledge on the system’s components and their interactions. Therefore, the revolution of the software and system engineering paradigm brought by service-orientation is still unfolding, with each new technology development bringing new challenges and opportunities. Starting from 2005, SOSE is a pioneering IEEE sponsored international conference devoted to the research in engineering service-oriented systems. It covers all aspects of service-oriented engineering from architectures, techniques, tools and languages to methodologies. Continuing the tradition of the last twelve editions of SOSE Symposia, the 13th SOSE intends to provide a forum for researchers and practitioners to exchange latest observations, insights, achievements and visions in Service-Oriented System Engineering. SOSE 2019 invites original submissions in all the areas of the system engineering and software engineering methods, techniques, tools, applications, and experiments for software services. *Topics Of Interests* Regular Research Papers Research papers should be written in English and be no more than 10 pages in length. The topics include, but are not limited to, the following: - Track 1: Advanced Models for Service Engineering - *Microservices architecture, deployment and management* - *Serverless Computing* - *DevOps and service engineering* - *Model-driven development of service-oriented systems* - *End-user development and mashup of software services* - *Lifecycle models, reusability, and scalability for services* - *Coordination and cooperation of services* - *Efficient scheduling of services* - *Services infrastructure for big data* - Track 2: Computing Environments and Virtualization - *Container-based virtualization* - *Programming models, languages, tools and platforms* - *Architecture of Internet-based virtual computing environments* - *Security, dependability, and reliability* - *Trust, reputation and incentive mechanisms* - *Large scale computing and analytics* - Track 3: Methods, Languages & Tools for process-based SOC systems - *Business process integration, alignment & management in SOAs* - *Methods, languages & tools for building process-based SOC systems* - *Metrics and measurement of services, QoS, and QoE* - *Runtime verification, validation, monitoring* - *Dynamic service delivery, deployment and evolution* - *Service mobility, scalability, elasticity, and security* - *Operation and governance for large-scale service-oriented systems* - *Adaptation, control and optimization in service-oriented systems* - *Modernization, migration, and servicetization of legacy systems* - *Service-oriented system engineering for large-scale analytics* - *Service-oriented engineering and clouds* - Track 4: Service-based Cyber-Physical Systems - *Edge computing and fog computing* - *Software and system engineering for CPS* - *REST APIs and services for CPS* - *Mobile services for CPS* - *System modelling and simulations* - *Data management for CPS* - *Dependable network and system architectures for CPS* - Track 5: Intelligent Services for a Smart World - *Smart home, smart office, smart city, smart industry* - *Intelligent services architectures and provisioning models* - *Smart systems programming models and methodologies* - *Swarm intelligence* - *Context-aware services* - *Nature-inspired intelligent services* - *Knowledge representation and reasoning* - *Quality of data (QoD)* - Track 6: Social Networking Services - *Location-based social networks* - *Human mobility modeling and mining* - *Recommendation systems for service computing* - *Human-centric sensing* - *Intelligent socially-aware and community-aware systems* - *Security, privacy, safety and legal issues* - *Event detection and predication in social networks* *Industry Practice / Case Study Papers* SOSE 2019 encourages papers reporting on industrial practice, case studies, empirical research and practical experiences in service engineering. Industry papers and case studies should be between 6-10 pages in length. The topics include, but are not limited to, the following: - *Enterprise business architecture and solution frameworks* - *Platforms and tools for system and software engineering* - *Case studies, experiments and evaluation of service-oriented system* - *Innovative service applications and experiences* *Survey And Emerging Subjects Tutorial Papers* In addition to regular research paper and industry practice/case study papers, SOSE 2018 will also invite some tutorial papers, which review the state-of-the-art of the research on services engineering as well as the related emerging paradigms and technologies. These papers should summarize the recent research advance in service engineering from different perspectives, identify the open issues and future trends and challenges in the field. SOSE 2018 also encourages vision papers which discuss future and emerging issues, including emerging paradigms, technologies and applications. Papers should be no more than 10 pages in length. - *Theoretical and technical foundation of service-oriented systems* - *Methodology and engineering principles of service-oriented systems* - *Testing, verification, validation and QA in the development of service-oriented systems* - *Construction, deployment, operation and maintenance of service-oriented systems* - *Measurements and metrics of QoS in SOA-based application systems* - *Governance and policies in service-oriented software development* - *Engineering techniques and tools to support the publishing, discovery and composition of services* - *Architectural and detail designs of services and code generation of service software*

1 0

Last Call for Papers - IEEE Mobile Cloud 2019 - Extended Deadline for Papers Submission
by Zeyu Gao 01 Dec '18

01 Dec '18

*We are sorry if you received multiple CFPs for this.* ************************************************************************************************************************************************ *Last Call for Papers - IEEE Mobile Cloud 2019* *Important Dates* Paper Submission: Dec. 14, 2018 Author Notification: Jan 5, 2019 Camera-ready Submission and Conference Registration: Jan 31, 2019 Conference: Apr 4 - 9, 2019 The 7th IEEE International Conference on Mobile Cloud Computing, Services, and Engineering April 4 - April 9, 2019 - DoubleTree by Hilton Hotel Newark-Fremont - Newark, California, USA The integration of mobile computing and cloud services and engineering enables new applications that provide resources and services on an intelligent basis, process big data collected from mobile sensors, and support Internet of things (IoT) with massive cloud-based backend, where the 5G technology is expected to be an important enabler of this integration. Such applications will have tremendous impacts on almost every aspect of our daily life, including transportation, e-commerce, healthcare, safety and location privacy, smart home and smart city, social interaction, and many more. This conference will provide a great platform to allow researchers in academia and industry to share their latest research ideas and results, development activities, and the emerging industry technologies on mobile cloud computing, services, and engineering. The conference solicits original technical papers, not previously published and not currently under review for publication elsewhere. Papers will be judged on originality, significance, clarity, relevance, and correctness. Extended versions of the best papers will be invited for fast-track publication in a planned Special Issue on Mobile Cloud Computing. *Topics Of Interests* Topics of interest, embedded with the special interest on the annual theme, include, but are not limited to: - Theory, Modeling and Methodologies - Mobile cloud computing models, architectures, and platforms - Engineering on-demand mobile cloud systems and services - Design of energy-saving mobile cloud protocols - Cloud-IoT integration, cloud-centric IoT and software defined IoT - Mobile crowd sensing models and associated platforms - Mobile cloud resource management, provisioning, and migration - Mobile-aware cloud data management and data retrieval - Mobile cloud data centers, storage, and networking technologies for 5G - Mobile artificial intelligence, machine learning and deep learning - Virtualization techniques for mobile cloud computing and services - Security, reliability and privacy for mobile cloud computing - Applications and Industry Practice - Mobile multimedia and mobile social community services - Cloud-assisted human-centered applications based on wearable devices - Mobile commerce and cloud-based marketplace - Intuitive user interfaces for cloud-based mobile applications - Mobile cloud enabled pervasive learning and education - Research case studies and experimental reports - Industry reports on experience and lessons learned - Standardization on mobile clouds

1 0

Last Call for Papers - IEEE AI Testing 2019 - Extended Deadline for Papers Submission
by Zeyu Gao 01 Dec '18

01 Dec '18

*We are sorry if you received multiple CFPs for this.* ************************************************************************************************************************************************ Last Call For Papers - IEEE AI Testing 2019 *Important Dates* Abstract submission: Dec. 7, 2018 Full paper submission: Dec. 21, 2018 12:00 AOE (firm) Notification: Feb. 15, 2019 (firm) Final Paper and Registration: Feb. 28, 2019 (firm) Conference: Apr 4 - 9, 2019 *http://www.ieeeaitests.com/index.html <http://www.ieeeaitests.com/index.html>* The First IEEE International Conference On Artificial Intelligence Testing (2019 IEEE AITest) Artificial Intelligence (AI) technologies are widely used in computer applications to perform tasks such as monitoring, forecasting, recommending, prediction, and statistical reporting. They are deployed in a variety of systems including driverless vehicles, robot controlled warehouses, financial forecasting applications, and security enforcement and are increasingly integrated with cloud/fog/edge computing, big data analytics, robotics, Internet-of-Things, mobile computing, smart cities, smart homes, intelligent healthcare, etc. However, the quality assurance of existing AI application development processes is still far from satisfactory and the demand for being able to show demonstrable levels of confidence in such systems is growing. Software testing is a fundamental, effective and recognized quality assurance method which has shown its cost-effectiveness to ensure the reliability of many complex software-systems. However，the adaptation of software testing to the peculiarities of AI applications remains largely unexplored and needs extensive research to be performed. On the other hand, the availability of AI technologies provides an exciting opportunity to improve existing software testing processes, and recent years have shown that machine learning, data mining, knowledge representation, constraint optimization, planning, scheduling, multi-agent systems, etc. have real potential to positively impact on software testing. Recent years have seen a rapid growth of interests in testing AI applications as well as application of AI techniques to software testing. It is, therefore, timely to provide an international forum for researchers and practitioners to exchange novel research results, to articulate the problems and challenges from practices, to deepen our understanding of the subject area with new theories, methodologies, techniques, processes models, etc., and to improve the practices with new tools and resources. This is the aim of the IEEE conference on AI Testing. *Topics Of Interest* The conference invites papers of original research on AI testing and reports of the best practices in the industry as well as the challenges in practice and research. Topics of interest include (but are not limited to) the following: - Testing AI applications - Methodologies for testing, verification and validation of AI applications - Process models for testing AI applications and quality assurance activities and procedures - Quality models of AI applications and quality attributes of AI applications, such as correctness, reliability, safety, security, accuracy, precision, comprehensibility, explainability, etc - Whole lifecycle of AI applications, including analysis, esign, development, deployment, operation and evolution - Techniques for testing AI applications - Test case design, test data generation, test prioritization, test reduction, etc - Metrics and measurements of the adequacy of testing AI applications - Test oracle for checking the correctness of AI application on test cases - Tools and environment for automated and semi-automated software testing AI applications for various testing activities and management of testing resources - Specific concerns of software testing with various specific types of AI technologies - Statistical machine learning and data mining - Symbolic machine learning, decision trees and random forests, reinforcement learning - Evolutionary methods and Genetic algorithms - Multi-agent systems - Heuristic search algorithms - Cognitive computing - Knowledge management, expert systems - Automatic reasoning and theorem proving - Constraint Programming and Constraint Optimization - Metaprogramming, high-order functions, high-order logic - Programming by example, programming synthesis, etc - Specific concerns of software testing for various types of AI applications - Computer vision and object recognition in image, audio and video - Personalized recommendation systems, and business intelligence - Driverless vehicles and autonomous robotics - Intelligent diagnostic systems - Decision-making support systems - Prediction and forecast systems - Smart cities, smart home, healthcare, and medicine, etc - Natural language processing, and intelligent human machine interactions, etc - Applications of AI techniques to software testing - Machine learning applications to software testing, such as test case generation, test effectiveness prediction and optimization, test adequacy improvement, test cost reduction, etc - Constraint Programming for test case generation and test suite reduction - Constraint Scheduling and Optimization for test case prioritization and test execution scheduling - Multi-agent systems for testing and test services - Crowdsourcing and swarm intelligence in software testing - Genetic algorithms, search-based techniques and heuristics to optimization of testing - Knowledge-based and expert systems for software testing - Data quality checking for AI applications - Testing and quality assurance for unstructured training data - Automatic validation tool for training unstructured data and big data - Large-scale unstructured data quality certification Submission Paper Submission We primarily invite submission of research papers, that describe original and significant work, but also papers which reports on case studies and empirical research. Papers must not be accepted for publication, or be under submission to another conference or journal. Each paper will be reviewed by at least three members of the Program Committee, using a single-blind reviewing procedure. All papers must be submitted electronically using the EasyChair conference system in PDF format. Each paper is limited to 8 pages including figures and references using IEEE Computer Society Proceedings (two columns, single-spaced, 10pt font). At least one of the authors of any accepted paper would have to register for the conference and confirm that she/he will present the paper in person.

1 0

Last Call For Papers - IEEE BigDataService 2019
by Zeyu Gao 01 Dec '18

01 Dec '18

*We are sorry if you received multiple CFPs for this.* ************************************************************************************************************************************************ Last Call For Papers - IEEE BigDataService 2019 *Important Dates* Paper Submission Deadline: * Dec. 14, 2019 * Notification: *Jan. 10, 2019* Final Paper and Registration: *Jan. 31, 2019* Conference: * Apr. 4 - 9, 2019* http://www.big-dataservice.net/index.html The Fifth IEEE International Conference On Big Data Service And Applications April 4 – 9, 2019, San Francisco, USA Big-Data computing and services have received significant attention in recent years. The IEEE BigDataService 2019 aims to provide a forum for researchers and practitioners to exchange innovative ideas, latest research results, and practice experiences and lessons learned. Its major objectives include big-data applications in various domains such as healthcare, business and financing, education and learning, social networks and media, urban and environment, sensors and Internet of things as well as technology aspects of big data computing and services such as computing services and architecture, modeling, data mining and analytics. The conference will be co-located with *IEEE SOSE 2019 <http://www.ieeesose.net/>, IEEE Mobile Cloud 2019 <http://www.mobile-cloud.net/>, IEEE DAPPCON 2019 <http://www.dappcon.net/> **and** IEEE Artificial IntelligenceTesting 2019 <http://www.ieeeaitests.com/> * IEEE BigDataService 2019 will consist of main tracks and special tracks. The conference will include 3 International Workshops of *Smart City Big Data Analysis*, *Big Data in Water Resources, Environment, and Hydraulic from Engineering*, and *Industry Big Data and Signal Processing*. Workshop proposal is due 10/15/2018. The conference seeks the submission of high-quality papers limited to 10 pages (IEEE format) in length. All accepted papers will be included in the proceedings. Selected papers will be invited for extension and published in journals (SCI-Index). *TOPICS OF INTEREST (INCLUDE BUT NOT LIMITED TO)* - Big Data Foundations - Foundational theoretical or computational models for big data - Programming models, theories, and algorithms for big data - Standards, protocols, and quality assurance for big data - Big Data Platforms and Technologies - Innovative, concurrent, and scalable big data platforms - Data indexing, cleaning, transformation, and curation technologies - Big data processing frameworks and technologies - Big data services and application development methods and tools - Big data quality evaluation and assurance technologies - Big data system reliability and availability - Open-source development and technology for big data - Big Data as a Service (BDaaS) platform and technologies - Big Data Analytics and Services - Algorithms and systems for big data search, analytics and visualization - Artificial Intelligence for big data and based on big data - Visualization analytics for big data - Knowledge extraction, discovery, analysis, presentation, and visualization - Big Data Applications and Experiences - Innovative big data applications and services in industries and domains e.g. healthcare, finance, insurance, transportation, agriculture, education, environment, multi-media, social networks, urban planning, disaster management, security - Experiences and case studies of big data applications and services - Real-world and large-scale practices of big data - Emerging Topics - Sensor networks and Internet of Things - Networking and protocols - Smart City *SPECIAL TRACKS* - Special Track on Real-time Big Data Services and Applications - Models, algorithms, and technologies for real-time big data services and applications - Experiences, practices and case studies of real-time big data services and applications - Special Track on Big Data Security, Privacy and Trust - Models, algorithms and technologies for big data security and integrity - Practical security and privacy technologies and applications for big data - Special Track on Big Data and analytics for Healthcare - Models, algorithms, and technologies of big data for healthcare - Big data services and applications for healthcare - Experiences, practices and case studies of big data technologies for healthcare *Contact Information* Feel free to contact us for any questions or suggestions. *Simon Shim:* simon.shim(a)sjsu.edu *Fanjing Meng:* mengfj(a)cn.ibm.com

1 0