- computational.science - lists.iccsa.org

CFC: “Exploring Intelligent Decision Support Systems: Current State and New Trends”
by RAFAEL VALENCIA GARCIA 25 May '17

25 May '17

CFC: “Exploring Intelligent Decision Support Systems: Current State and New Trends” To be published by Springer Verlag on Studies in Computational Intelligence book series Overview Decision Support Systems (DSS) are gaining an increased popularity in various domains, including business, engineering, the military, and medicine. They are especially valuable in situations in which the amount of available information is prohibitive for the intuition of an unaided human decision maker and in which precision and optimality are of importance. Decision support systems can aid human cognitive deficiencies by integrating various sources of information, providing intelligent access to relevant knowledge, and aiding the process of structuring decisions. They can also support choice among well-defined alternatives and build on formal approaches, such as the methods of engineering economics, operations research, statistics, and decision theory. They can also employ artificial intelligence methods to address heuristically problems that are intractable by formal techniques. Proper application of decision-making tools increases productivity, efficiency, and effectiveness and gives many businesses a comparative advantage over their competitors, allowing them to make optimal choices for technological processes and their parameters, planning business operations, logistics, or investments. These systems allow individuals and organizations to deal with unstructured or semi-structured decision problems that demand extensive experience and expert knowledge. However, the increasing complexity of the problems and the continuous growing of information and knowledge that should be mastered by responsible people in organizations underline the need for DSSs driven by advanced and modern technologies. From this perspective, the field of DSS is expanding to use new technologies such as Social Media, Semantic Web, Linked Data, Big Data, and Machine Learning. These technologies are converging to provide integrated support for individuals and organizations to make more rational decisions. The objective of this book will be to explore the latest results of research, development and applications of DSSs in different fields. This book proposal will consider the following domains, but will not be limited: aerospace, agriculture, banking, business services, e-commerce, eHealth, e-government, finances, supply chain and others. This book aims to disseminate innovative and high-quality research regarding the foundations, methods, methodologies, models, tools, and techniques for designing, developing, implementing, and evaluating advanced DSSs in different fields. Topic Coverage Topics of interest in this book include, but are not restricted to: • Analytics for decision-making • Application of Knowledge-Based Methods • Big Data mining to support decision-making • Business Intelligence • Collaborative decision making • Data mining • Decision-making and Internet of Things • Decision-making models • Decision-making through machine learning • DSS foundations and development • Experts systems • Fuzzy logic • Geographic information system for decision-making • Knowledge Acquisition & Representation • Knowledge-based Decision Support Systems • Industrial applications and case-studies • Impact of DSS in industrial performance • Linked Data to support decision-making • Multicriteria DSS • Ontological engineering • Operational research and management science • Probabilistic Graphical Models • Semantic knowledge bases for decision making • Social Media use in decision-making • Web-based and mobile DSS • Web 2.0 and 3.0 based knowledge artefacts for decision making Target audience The target audience includes researchers, practitioners and (Masters/PhD) students. Therefore, papers need to address both scientific and practical implications of the research. Type of contributions and length • Case studies: In-depth reports of DSS implementations to support decision-making in an organization or business. • Full research papers: Both quantitative and qualitative contributions that study a particular aspect of Decision Support Systems. Only completed research will be considered, meaning that research in progress will not be considered to be included in the book. • Conceptual papers: Contributions that synthesize existing studies. This type of contributions are typically 15 to 20 pages in length (excluding references) when applying the Springer formatting instructions. Contributions should be original and not be submitted elsewhere. Submission Guidelines and Other Considerations Chapters submitted must not have been previously published or be under consideration for publication in other journals, books, though they may represent significant extensions of prior work. All submitted chapters will undergo a rigorous peer-review process (with at least two reviewers) that will consider programmatic relevance, scientific quality, significance, originality, style and clarity. The acceptance process will focus on chapters that address relevant contributions in the form of theoretical and experimental research and case studies applying new perspectives for developing Decision Support Systems. Before submitting a chapter proposal, authors must carefully read over the Springer’s Author Guidelines. Authors should submit their complete chapter via email: marioandres.paredes(a)um.es , valencia(a)um.es and the subject of the email should be: “Chapter Submission: Exploring Intelligent DSS Current State and New Trends” according to the following timeline. Important Dates • Submission deadline: July 1st, 2017 • First selection of submissions: July 15th, 2017 • Completion of first‐round reviews: September 15th, 2017 • Revised chapters: September 30st, 2017 • Target of the second (last) round of reviews: October, 15th, 2017 • Publication (tentative): Spring 2018 Editors Rafael Valencia-García, Universidad de Murcia, Spain (valencia(a)um.es) Mario Andrés Paredes-Valverde, Universidad de Murcia, Spain (marioandres.paredes(a)um.es) María del Pilar Salas-Zárate, Universidad de Murcia, Spain (mariapilar.salas(a)um.es) Giner Alor-Hernández, Instituto Tecnológico de Orizaba, México (galor(a)itorizaba.edu.mx )

1 0

Third IEEE International Workshop on Security in NFV-SDN (SN-2017)
by Shao Ying Zhu 24 May '17

24 May '17

Call for Papers The Third International Workshop on Security in NFV-SDN in conjunction with the 3rd IEEE NFV-SDN conference, 6-8 November, Berlin, Germany Workshop website: http://www.sn-2017.info/ Scope Network Function Virtualization (NFV) and Software Defined Network (SDN) have changed the networking industry dramatically. NFV virtualizes network services by utilizing virtualization technologies to reduce the dependency on underlying hardware. NFV provides many benefits such as faster service enablement, ease of resource management and lower OPEX and CAPEX. SDN separates the control functions from the underlying physical network by decoupling the control and data planes. SDN provides many benefits such as reduced costs, ease of deployment and management, better scalability, availability, flexibility and fine-grain control of traffic and security. Like traditional networks, they are subject to various security threats and attacks. In this workshop, we invite high-quality submissions in the areas of NFV and SDN security and other related areas. Submitted papers should highlight methods and approaches that can be used to analyse the security risks and requirements, threats and techniques related to NFV and SDN and to provide novel methods and approaches to assure security in NFV and SDN. Topics of interest Topics of interest include but are not limited to the following areas: · Security, reliability and privacy through SDN and NFV in 5G networks · Management and orchestration of NFV and SDN elements for security · Secure design of NFV and SDN solutions, security enablers · Security threats and vulnerabilities introduced by NFV and SDN technologies · Threat detection and mitigation through SDN and NFV · Security policy specification and management in SDN and NFV systems · Security related monitoring and analytics in SDN and NFV solutions · 5G security architecture, trust and confidence · Authentication, authorization and Accounting in SDN · Security of applying SDN to wireless and mobile network · Security of applying NFV and SDN to IoT · Security of applying NFV and SDN to cloud computing · Security of SDN API · Risk and compliance issues in SDN · Securing SDN infrastructure · Security architecture for SDN · Security standard of SDN · Security of SDN data plane · Security of SDN control plane · Security of SDN application plane · Security of Routing in SDN · Security of network slicing · Security as a service for SDN The workshop deadlines: · Paper Submission: June 30, 2017 · Notification of Acceptance: July 15, 2017 · Camera Ready Submission: September 15, 2017  Submission Please use EDAS to upload your submission at http://edas.info/N23798. The manuscripts must be prepared in English, following IEEE two‐column Manuscript Templates (http://www.ieee.org/conferences_events/conferences/publishing/templates.html) for Conference Proceedings with a maximum length of six (6) printed pages for full papers and up to four (4) pages for short papers (work in progress), including figures. All papers need to be submitted in PDF format via EDAS<http://edas.info/N23798>. All submitted papers will be peer‐reviewed. To be published in the Workshop Proceedings and to be eligible for publication in IEEE Xplore, at least one author of an accepted paper is required to register and present the paper at the workshop. The IEEE reserves the right to exclude a paper from distribution after the conference (including its removal from IEEE Explore) if the paper is not presented at the conference. Papers are reviewed on the basis that they do not contain plagiarized material and have not been submitted to any other conference at the same time (double submission). These matters are taken very seriously and the IEEE Communications Society will take action against any author who engages in either practice. Workshop Chairs · Eleni Trouva, NCSR Demokritos, Greece · Shao Ying Zhu, University of Derby,UK · George Gardikis, Space Hellas, Greece · Collin Allison, University of St Andrews,UK · Linas Maknavicius, Nokia Bell Labs, France Technical Program Committee (TPC) · Diego Lopez – Telefonica I&D, Spain · Harilaos Koumaras – NCSR Demokritos, Greece · Muhammad Shuaib Siddiqui – i2CAT, Spain · Ludovic Jacquin – Hewlett Packard Labs, UK · Nicolae Paladi, Swedish Institute of Computer Science, Sweden · Augusto Ciuffoletti – University of Pisa, Italy · Carolina Canales – Ericsson, Spain · Michail-Alexandros Kourtis – NCSR Demokritos, Greece · Marco Anisetti – University of Milan, ItalyMarco Anisetti – University of Milan, Italy · Sandra Scott-Hayward – Queen’s University Belfast, UK · Miguel Angel Garcia – Ericsson, Spain · Antonios Litke – Infili, Greece · Nikolaos Papadakis – Infili, Greece · Dimitris Katsianis, Incites, Luxemburg · Antonio Agustin Partor Perales – Telefonica I&D, Spain · Yacine Rebahi, Fraunhofer Institute for Open Communication Systems FOKUS, Germany · Abdelkader Outtagarts – Nokia, Bell Labs, France Contacts Eleni Trouva - trouva(a)iit.demokritos.gr<mailto:trouva@iit.demokritos.gr> Dr. Shao Ying Zhu - s.y.zhu(a)derby.ac.uk<mailto:s.y.zhu@derby.ac.uk> Dr. George Gardikis - ggar(a)space.gr<mailto:ggar@space.gr> Linas Maknavicius - linas.maknavicius(a)nokia-bell-labs.com<mailto:linas.maknavicius@nokia-bell-labs.com> Dr. Colin Allison - ca(a)st-andrews.ac.uk<mailto:ca@st-andrews.ac.uk> The University of Derby has a published policy regarding email and reserves the right to monitor email traffic. If you believe this was sent to you in error, please reply to the sender and let them know. Key University contacts: http://www.derby.ac.uk/its/contacts/

1 0

CILC 2017 call for paper: deadline approaching
by Dario Della Monica 23 May '17

23 May '17

********************************************************************** CALL FOR PAPERS 32nd Italian Conference on Computational Logic (CILC 2017) -- http://cilc2017.unina.it/ Naples, Italy, September 26-29, 2017 ********************************************************************** CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, www.programmazionelogica.it) Its 32nd edition will be held in Naples (Italy) on September 26-29, 2017. Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases. CILC 2017 is co-located with the 18th Italian Conference on Theoretical Computer Science ICTCS 2017 (http://ictcs2017.unina.it/) with which it will share part of the program. The two events will feature plenary events, on September 29, to be specified later. Contributions: -------------- The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types of submissions: full papers, possibly already submitted to other conferences or journals, and short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. The topics of interest include, but are not limited to, the following: Logic Programming, Constraint Programming and other paradigms of declarative programming Extensions and integrations of declarative programming paradigms Analysis, transformation, validation, and verification of programs Instruments and environments for program development Implementations and benchmarking Model Checking Temporal logics Automated Theorem Proving Non-Monotonic Reasoning Answer Set Programming Knowledge representation and extraction Treatment of uncertain and incomplete knowledge Approximate Reasoning Abductive Logic Programming Model-based Reasoning Inductive Logic Programming Deductive Databases Data Mining and Data Integration Multi-agent systems Logics for strategic reasoning Semantic Web Natural Language Processing Computational logic for concurrency, coordination, mobility and objects Planning and scheduling Probabilistic Logic Programming Computational Logic and formal methods in Artificial Intelligence Applications of Computational Logic Pedagogy of Computational Logic Invited Speakers: ----------------- The invited speakers for this joint CILC/ICTCS event are: Mario Alviano, University of Calabria Laura Giordano, Università del Piemonte Orientale Alessio Lomuscio, Imperial College London Important dates: ---------------- Abstract, paper, and demo submission deadline: 25 May 2017 Notification of acceptance: 30 June 2017 Final version and early registration deadline: 24 July 2017 Conference: 26-29 September 2017 Submission instructions: ------------------------ Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=cilc2017 Articles must not exceed 15 pages for full papers and 5 pages for short papers, respectively. Manuscripts should be formatted using the Springer LNCS style. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. In particular, we invite submissions of system or prototype software descriptions which use techniques or tools of computational logic, or which themselves aid the development of applications based on computational logic. Systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. The event is organized by GULP. Therefore, Italian attendants are required to be members of GULP (it is possible to join GULP at the conference). Proceedings: ------------ All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the conference web site including a link to the original publication if already published. As in previous years, we plan to publish a selection of the best papers in a special issue of an international journal (to be determined). This is open to full and short papers that have not been published in a journal. General chair: -------------- Aniello Murano (University of Naples "Federico II") Program co-chairs: ------------------ Dario Della Monica (Universidad Complutense de Madrid) Luigi Sauro (University of Naples "Federico II") Program Committee: ------------------ Davide Ancona, University of Genova, Italy Paolo Baldan, University of Padova, Italy Ezio Bartocci, Vienna University of Technology, Austria Massimo Bartoletti, University of Cagliari, Italy Vittorio Bilò, University of Salento, Italy Stefania Costantini, University of L'Aquila, Italy Ugo Dal Lago, University of Bologna, Italy Pierpaolo Degano, University of Pisa, Italy Stefano Ferilli, University of Bari, Italy Fabio Fioravanti, University of Chieti-Pescara, Italy Ferdinando Fioretto, University of Michigan, USA Andrea Formisano, University of Perugia, Italy Raffaella Gentilini, University of Perugia, Italy Laura Giordano, DISIT, University of Piemonte Orientale, Italy Marco Manna, University of Calabria, Italy Marco Maratea, DIBRIS, University of Genova, Italy Viviana Mascardi, DIBRIS University of Genova, Italy Barbara Masucci, University of Salerno, Italy Paola Mello, University of Bologna, Italy Matteo Mio, CNRS/ENS-Lyon, France Fabio Mogavero, University of Oxford, UK Marco Montali, Free University of Bolzano, Italy Manuela Montangero, University of Modena and Reggio Emilia, Italy Laura Nenzi, IMT, Lucca, Italy Eugenio Omodeo, University of Trieste, Italy Fabio Patrizi, Sapienza University of Rome, Italy Giuseppe Perelli, University of Oxford, UK Adriano Peron, University of Napoli "Federico II", Italy Alberto Pettorossi, University of Roma Tor Vergata, Italy Carla Piazza, University of Udine, Italy Luca Pulina, POLCOMING, University of Sassari, Italy Fabrizio Riguzzi, University of Ferrara, Italy Gianfranco Rossi, University of Parma, Italy Guido Sciavicco, University of Ferrara, Italy Jeremy Sproston, University of Torino , Italy Tiziano Villa, University of Verona, Italy Venue: ------ The conference will take place at the "Complesso di San Giovanni a Teduccio---Complesso Napoli Est", in Corso Nicolangelo Protopisani, 70, 80146 Napoli. -------------- For more information email cilc2017(a)easychair.org. -- Dario Della Monica, Postdoctoral Researcher Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI) University of Naples "Federico II" via Claudio, 21, 80125 Naples, Italy cell: (+39) 328 2477327 email: dario.dellamonica [at] unina.it skype: dariodellamonica web site: http://wpage.unina.it/dario.dellamonica/

1 0

IEEE HiPC 2017 Call for Papers - Abstracts due 5 June 2017
by Anand Panangadan 22 May '17

22 May '17

IEEE HiPC 2017 (Jaipur, India • 18-21 December) Release: 22 April 2017 ------------------------------------------------------------------------------------------------ 24th IEEE International Conference on High Performance Computing, Data, and Analytics HiPC 2017 December 18-21, 2017 Jaipur, India www.hipc.org ------------------------------------------------------------------------------------------------ IMPORTANT DATES FOR HiPC 2017 •June 5.................Abstracts Due •June 15...............Paper Submission Deadline •August 8.............Reviews for Rebuttals •August 15...........Rebuttals Due •September 8......Author Notification •October 3..........Camera Ready Submission ------------------------------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------ HiPC 2017 CALL FOR PAPERS Full information on what/where to submit is available at hipc.org/cpf/ HiPC 2017 will be the 24th edition of the IEEE International Conference on High Performance Computing, Data, and Analytics. HiPC serves as a forum to present current work by researchers from around the world as well as highlight activities in Asia in the area high performance computing. The meeting focuses on all aspects of high performance computing systems and their scientific, engineering, and commercial applications. In 2016, to keep pace with new computing trends, the conference added two new areas of interest to its name, Data and Analytics, as reflected in the list below. Deadline: Abstracts are due by June 5, 2017 Authors are invited to submit original unpublished research manuscripts that demonstrate current research in all areas of high performance computing, data and analytics. Topics include (but are not limited to): Algorithms: Design and Application of Parallel and Distributed Big Data and Analytics Algorithms Algorithmic Techniques to Improve Energy and Power Efficiency Quantum and Bio-Inspired Algorithms Resilient and Fault Tolerant Algorithms Parallel algorithms for Numerical Linear Algebra Concurrent Algorithms and Data Structures Load Balancing, Scheduling and Resource Management Large Scale Graph Analytics Streaming Algorithms Architectures: Interconnection Networks and Architectures Cache/Memory Architecture for High Performance Computing High Performance/Scalable Storage Systems Power-Efficient and Reconfigurable Architectures Quantum and Bio-Inspired Architectures Software Support and Advanced Micro-architecture Techniques Resilient and Fault Tolerant Architectures Applications: Big Data Computing and Applications Cross-Cutting Methods such as Co-Design of Parallel Algorithms, Software, and Architectures Emerging Applications such as Biotechnology, IoT, and Nanotechnology Hardware Acceleration for Parallel Applications Parallelism in Scientific Data Visualization and Visual Analytics Scientific/Engineering/Industrial Applications and Workloads Scalable Machine Learning and Data Mining Applications Scalable Graph and other Irregular Applications Design of Simulation Applications and Peta- and Exascale Applications Systems Software: Big Data Analytics Systems and Software Architectures Compiler Technologies for High-Performance Computing Exascale Computing, Cloud Platforms, Data Center Architectures and Services Parallel Languages, Programming Environments, and Performance Assessment Operating Systems for Scalable High -Performance Computing Hybrid Parallel Programming with GPUs and Accelerators Dealing with Uncertainties, Resilient/Fault-Tolerant Systems One or more best paper awards will be given for outstanding contributed papers. Authors of selected high quality papers in HiPC 2017 will be invited to submit an extended version of their papers for possible publication in a special issue of Journal of Parallel and Distributed Computing. At least one author of each paper must be registered for the conference in order for the paper to be published in the proceedings. Presentation of an accepted paper at the conference is a requirement of publication. Any paper that is not presented at the conference will not be included in IEEE Xplore. PROGRAM CHAIR Ümit V. Çatalyürek, Georgia Institute of Technology, USA PROGRAM VICE-CHAIRS •ALGORITHMS: Olivier Beaumont, INRIA, France •APPLICATIONS: Ananth Kalyanaraman, Washington State University, USA •ARCHITECTURE: Yuan Xie, University of California at Santa Barbara, USA •SYSTEM SOFTWARE: Gagan Agrawal, The Ohio State University, USA ------------------------------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------ Full information detailing what/where to submit is available on the HiPC Website at www.hipc.org as well as notices and plans for other conference events including workshops and programs for students and industry. The conference has a history of attracting participation from reputed researchers from all over the world and receives strong industry support from companies operating globally and also established in India. In addition to the two days of industry exhibits, the sponsoring partners to the conference hold industry symposiums to bring together providers and users of HPC in a forum for presenting state-of-the-art in HPC platforms and technologies, for discussing best practices, and for exchanging experiences. GENERAL CO-CHAIRS Chiranjib Sur, Shell India Yinglong Xia, Huawei Research, USA VICE GENERAL CO-CHAIRS Kishore Kothapalli, IIIT-Hyderabad, India Anand Panangadan, California State University, Fullerton, USA INDUSTRY LIAISON CO-CHAIRS Rama Govindaraju, Google, USA Jigar Halani, Wipro, India Vivek Yadav, FullStackNet, India WORKSHOPS CO-CHAIRS Manish Parashar, Rutgers University, USA Saumil Merchant, Shell, India STUDENT RESEARCH SYMPOSIUM CO-CHAIRS Kishore Kothapalli, IIIT-Hyderabad, India Ashok Srinivasan, Florida State University, USA INDUSTRY, RESEARCH & USER SYMPOSIUM CO-CHAIRS R. Badrinath, Ericcson, India Seetha Rama Krishna Nookala, Intel, India STEERING COMMITTEE CHAIR Viktor K. Prasanna, University of Southern California, USA ------------------------------------------------ HiPC 2017 SPONSORSHIP ------------------------------------------------ HiPC 2017 is co-sponsored by •IEEE Computer Society Technical Committee on Parallel Processing (TCPP) •HiPC Education Trust, India In cooperation with •ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) •ACM Special Interest Group on Computer Architecture (SIGARCH) •FIP Working Group on Concurrent Systems •Manufacturers' Association for Information Technology (MAIT) •National Association of Software and Service Companies (NASSCOM) ------------------------------------------------------------------------------------------------ Follow us on Twitter https://twitter.com/hipcconf Google+ https://plus.google.com/+HipcOrg Facebook https://www.facebook.com/hipc.conference/ ------------------------------------------------------------------------------------------------

1 0

GraMSec 2017 - deadline extended until Sunday, May 28
by Barbara Kordy 21 May '17

21 May '17

The Fourth International Workshop on Graphical Models for Security Santa Barbara, CA, USA - August 21, 2017 http://gramsec.uni.lu Co-located with CSF 2017 LNCS proceedings confirmed Following several requests, the submission deadline has been extended until Sunday, May 28. SCOPE Graphical security models provide an intuitive but systematic approach to analyze security weaknesses of systems and to evaluate potential protection measures. Cyber security researchers, as well as security professionals from industry and government, have proposed various graphical security modeling schemes. Such models are used to capture different security facets (digital, physical, and social) and address a range of challenges including vulnerability assessment, risk analysis, defense analysis, automated defensing, secure services composition, policy validation and verification. The objective of the GraMSec workshop is to contribute to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage. TOPICS The workshop seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of graphical models for security. The topics of the workshop include, but are not limited to: • Graphical models for threat modeling and analysis • Graphical models for risk analysis and management • Graphical models for requirements analysis and management • Textual and graphical representation for system, organizational, and business security • Visual security modeling and analysis of socio-technical and cyber-physical systems • Graphical security modeling for cyber situational awareness • Graphical models supporting the security by design paradigm • Methods for quantitative and qualitative analysis of graphical security models • Formal semantics and verification of graphical security models • Methods for (semi-)automatic generation of graphical security models • Enhancement and/or optimization of existing graphical security models • Scalable evaluation of graphical security models • Evaluation algorithms for graphical security models • Dynamic update of graphical security models • Game theoretical approaches to graphical security modeling • Attack trees, attack graphs and their variants • Stochastic Petri nets, Markov chains, and Bayesian networks for security • UML-based models and other graphical modeling approaches for security • Software tools for graphical security modeling and analysis • Case studies and experience reports on the use of graphical security modeling paradigm INVITED SPEAKER To be confirmed. PAPER SUBMISSION We solicit two types of submissions: • Regular papers (up to 15 pages, excluding the bibliography and well-marked appendices) describing original and unpublished work within the scope of the workshop. • Short papers (up to 7 pages, excluding the bibliography and well-marked appendices) describing original and unpublished work in progress. The reviewers are not required to read the appendices, so the papers should be intelligible without them. All submissions must be prepared using the LNCS style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Each paper will undergo a thorough review process. All accepted (regular and short) papers will be included in the workshop's post-proceedings. The GraMSec 2017 post-proceedings will be published in the Lecture Notes in Computer Science (LNCS) series of Springer. Submissions should be made using the GraMSec 2017 EasyChair web site: https://www.easychair.org/conferences/?conf=gramsec17 IMPORTANT DATES • Submission deadline: Sunday, May 28, 2017 (firm) • Acceptance notification: Friday, July 7, 2017 • Workshop: Monday, August 21, 2017 GENERAL CHAIR • Sjouke Mauw, University of Luxembourg, Luxembourg PROGRAM CHAIRS • Peng Liu, Pennsylvania State University, USA • Ketil Stølen, SINTEF Digital and University of Oslo, Norway PC MEMBERS Mathieu Acher, University Rennes 1, Inria, France Massimiliano Albanese, George Mason University, USA Ludovic Apvrille, Télécom ParisTech, France Thomas Bauereiss, DFKI, Germany Kristian Beckers, Technical University of Munich, Germany Giampaolo Bella, University of Catania, Italy Stefano Bistarelli, Università di Perugia, Italy Marc Bouissou, EDF RD, France Frédéric Cuppens, Télécom Bretagne, France Nora Cuppens-Boulahia, Télécom Bretagne, France Binbin Chen, Advanced Digital Sciences Center, Singapore Hervé Debar, Télécom SudParis, France Harley Eades, Augusta University, USA Mathias Ekstedt, KTH - Royal Institute of Technology, Sweden Ulrik Franke, Swedish Institute of Computer Science - SICS, Sweden Frank Fransen, TNO, The Netherlands Olga Gadyatskaya, University of Luxembourg, Luxembourg Paolo Giorgini, University of Trento, Italy Dieter Gollmann, Hamburg University of Technology, Germany Joshua Guttman, WPI and MITRE, USA René Rydhof Hansen, Aalborg University, Denmark Maritta Heisel, Universität Duisburg-Essen, Germany Hannes Holm, Swedish Defence Research Agency, Sweden Siv Hilde Houmb, Secure-NOK AS, Norway Sushil Jajodia, George Mason University, USA Ravi Jhawar, University of Luxembourg, Luxembourg Henk Jonkers, BiZZdesign, The Netherlands Cristian Johansen, University of Oslo, Norway Florian Kammueller, Middlesex University London, UK Nima Khakzad, TU Delft, The Netherlands Dong Seong Kim, University of Canterbury, New Zealand Barbara Kordy, INSA Rennes, IRISA, France Pascal Lafourcade, Université Clermont Auvergne, LIMOS, France Jean-Louis Lanet, Inria, France Per Håkon Meland, SINTEF Digital, Norway Jogesh Muppala, HKUST, Hong Kong, SAR China Simin Nadjm-Tehrani, Linköping University, Sweden Andreas L. Opdahl, University of Bergen, Norway Xinming Ou, University of South Florida, USA Stéphane Paul, Thales Research and Technology, France Wolter Pieters, TU Delft, The Netherlands Ludovic Piètre-Cambacédès, EDF, FR Sophie Pinchinat, University Rennes 1, IRISA, France Vincenzo Piuri, University of Milan, Italy Marc Pouly, Lucerne University of Applied Sciences and Arts, Switzerland Nicolas Prigent, Supélec, France Christian W. Probst, Technical University of Denmark, Denmark David Pym, UCL, UK Saša Radomirovic, University of Dundee, UK Indrajit Ray, Colorado State University, USA Arend Rensink, University of Twente, The Netherlands Yves Roudier, Université Côte d'Azur, CNRS, I3S, UNS, France Guttorm Sindre, NUST, Norway Mariëlle Stoelinga, University of Twente, The Netherlands Xiaoyan Sun, California State University, USA Axel Tanner, IBM Research - Zurich, Switzerland Alexandre Vernotte, KTH - Royal Institute of Technology, Sweden Luca Viganò, King's College London, UK Lingyu Wang, Concordia University, Canada Jan Willemson, Cybernetica, Estonia CONTACT For inquiries please send an e-mail to gramsec17(a)easychair.org

1 0

Ada-Europe 2017 - end of Mon 22 May = early registration ends
by Dirk Craeynest 21 May '17

21 May '17

Come to the Ada-Europe conference mid-June in Vienna, Austria! Reminder: register online before the end of Monday 22 May (CEST) to enjoy early registration discounts for the conference and substantial discounts for tutorials. Select "Registration" at <http://www.ada-europe.org/conference2017>. Direct link: <https://adaeurope.upv.es/index.html>. Dirk Craeynest, Ada-Europe'2017 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be *** 22nd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2017 *** June 12-16, 2017 *** Vienna, Austria *** http://www.ada-europe.org

1 0

BAFI 2018
by Richard Weber 21 May '17

21 May '17

THIRD CONFERENCE ON BUSINESS ANALYTICS IN FINANCE AND INDUSTRY - BAFI 2018 January 17th - 19th, 2018 Santiago, Chile www.baficonference.cl Twitter: @bafichile Call for Abstracts The aim of the BAFI 2018 conference is to bring together researchers and developers from data science and related areas with practitioners and consultants applying the respective techniques in different business-related domains. Our goal is to stimulate an academic exchange of recent developments as well as to encourage the mutual influence between academics and practitioners. At BAFI 2018, the focus will be on methodological developments aimed at uncovering information contained in large data sets, as well as on business applications in various sectors, among them finance, retail, and telecommunications. Topics at this conference include, but are not limited to: Business Analytics - Applications: + Credit Scoring and Financial Modeling + Forecasting + Fraud Detection + Web Intelligence and Information Retrieval + Marketing, Business Intelligence, and e-Commerce + Decision Analysis and Decision Support Systems + Social Network Analysis + Privacy-preserving Data Mining and Privacy-related Issues + Text Mining, Sentiment Analysis, and Opinion Mining + Internet of Things (IoT) Business Analytics - Methods: + Dimensionality Reduction, Feature Extraction, and Feature Selection + Supervised, Semi-Supervised, and Unsupervised Methods + Statistical Learning Theory + Online Learning, Data Stream Mining, and Dynamic Data Mining + Graph Mining and Semi-Structured Data + Spatial and Temporal Data Mining + Deep Learning and Neural Network Research + Large Scale Data Mining + Uncertainty Modeling in Data Mining STUDENT GRANTS We will offer a number of travel grants for students who present their work at BAFI 2018. The following two categories will be considered: + National category: students enrolled at a Chilean university or staying at a Chilean address at the time of the conference. + International category: students enrolled at a university outside Chile and staying abroad prior to the start of the conference. Please visit www.baficonference.cl for information on Submission Guidelines, Venue, Program, Conference Fees, and more. For more information, please contact us at info(a)bafi.cl

1 0

FROM 2017 - Extended deadline
by From 2017 21 May '17

21 May '17

FROM 2017 - Last Call for Papers http://unibuc.ro/~conference/from2017 WORKING FORMAL METHODS SYMPOSIUM 5 - 8 July 2017 Faculty of Mathematics and Computer Science University of Bucharest IMPORTANT DATES: Abstract Submission (extended deadline): 28 May 2017 Notification of acceptance (extended deadline): 8 June 2017 Aims and Scope Formal methods use mathematical techniques and rigour for developing software and hardware. The formal methods can be used to specify, verify, and analyse in any part of the system life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assumes on the one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user to effectively apply these methods/frameworks in the life cycle of the system. ICUB (The Research Institute of the University of Bucharest), the Faculty of Mathematics and Computer Science of the University of Bucharest, and the Faculty of Computer Science of the Alexandru Ioan Cuza University of Iasi organize FROM 2017, the first one from a yearly workshop series, meant to bring together Romanian researchers in formal methods and to foster international collaborations. Working Formal Methods Symposium (FROM) aims to bring together researchers and practitioners who work for formal methods by contributing with new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. PhD Students are highly encouraged to participate and support for accommodation is available upon request. The program of the symposium will include invited lectures (the current list can be seen on the workshop web page) and regular contributions. Submissions on the general topic of theoretical computer science, formal methods and applications are solicited. Areas and formalisms of interest include: - Category theory in computer science - Distributed systems and concurrency - Formal languages and automata theory - Formal modelling, verification and testing - Logic in computer science - Mathematical structures in computer science - Models of computation - Semantics of programming languages Methods of interest include: - Model checking - Deductive verification - Automated reasoning and model generation - Automated induction - Symbolic computation Applications of interest include: - Program analysis - Verification and synthesis of software and hardware, - Computational logic, - Computer mathematics, - Knowledge representation, ontology reasoning, deductive databases, - Uncertainty reasoning and soft computing Submissions Regular contributions will be based on an extended abstract of 2 pages, excepting the references, formatted according to the guidelines for Springer LNCS: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The abstracts should be submitted before 21 May 2017, via EasyChair: https://easychair.org/conferences/?conf=from2017 The notification of acceptance will be received by 31 May 2017. Depending on the number and the quality of submissions, we intend to publish extensions of selected presentations in peer-reviewed well-ranked journal. Registration There is no conference fee, but valid registration is required in order to participate at the conference. All participants registered with an abstract will receive the conference kit. There is an additional fee of 50 RON for the social dinner at Casa Universitarilor. For details and updates see http://unibuc.ro/~conference/from2017/

1 0

Call for papers -- DSS 2017 The 3rd International Workshop on Data-driven Self-regulating Systems
by Dr. Stefan Bosse 21 May '17

21 May '17

Dear colleagues, I want to announce an important event for scientists working on artificial intelligence solutions for large-scale distributed systems: The 3rd International Workshop on Data-driven Self-regulating Systems (DSS 2017), co-located with the The Eleventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2017)! You are cordially invited to submit a paper and/or to share this announcement with your colleagues. The CFP is appended to this eMail. It is a great opportunity to discuss your work on an international platform. Best regards, Stefan Bosse -- ------------------------------------------------------------------------ PD Dr. rer. nat. habil. Stefan Bosse University of Bremen Department of Mathematics & Computer Science Robert Hooke Str. 5 28359 Bremen Germany RESEARCHGATE <http://www.researchgate.net/profile/Stefan_Bosse> Tel. +(49)421/178-45-4103 ============================================================ Call for papers -- DSS 2017 The 3rd International Workshop on Data-driven Self-regulating Systems (DSS 2017) In conjunction with 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Proceedings appear in IEEE Digital Library September 18-22, 2017 in University of Arizona, Tucson, AZ CFP link: http://dss2017.inn.ac/ ============================================================ The emergence of pervasive and ubiquitous technologies together with social media has resulted in unprecedented opportunities to reason about the complexity of our society based on magnitudes of data. Embedded ICT technologies mandate the functionality and operations of several techno-socio-economic systems such as traffic systems, transportation systems, Smart Grids, power/gas/water networks, etc. It is estimated that over 50 billion connected smart devices will be online by the year 2020. Moreover, social media provide invaluable insights about the complexity of social interactions and how these interactions influence the sustainability of several ICT-enabled techno-socio-economic systems. These observations show that regulating online the complex systems of our nowadays digital society is a grand challenge. Regulation concerns trade-offs such as the alignment of technical requirements, e.g. robustness, fault-tolerance, safety and security, with social or environmental requirements, for instance, fairness in the utilization of energy resources. The scale of nowadays data cannot tackle the challenge by itself as data may convey ungrounded correlations and biased predictions. Smart, autonomic and selfregulating mechanisms are required for filtering data streams in real-time and transform them to valuable information based on which intelligent adaptive decisions can be made in a decentralized fashion under a plethora of operational scenarios. The topics of interest include, but are not limited to: + self-regulation + autonomic computing + pervasive/ubiquitous computing + Internet of Things + big data analytics + cloud computing + online policy-making + distributed systems + privacy & security + multi-agent systems + peer-to-peer systems + self-organization + adaptive mechanisms + complex systems & (social) networks + mechanism design & game theory + quality of experience Application domains: + Smart Grids + power/gas/water networks + traffic systems + manufacturing systems + transportation systems + ambient-assisted living + social media/networks + mobile applications + disease spreading Workshop Organizers ==================================================================== Evangelos Pournaras, ETH Zurich, Switzerland Akshay Uttama Nambi S.N., Microsoft Research Lab, India Stefan Bosse, University of Bremen, Germany Submission Instructions ==================================================================== You are invited to submit original and unpublished research works on above and other topics related to self-regulating systems. Submitted papers must not have been published or simultaneously submitted elsewhere. Please, indicate clearly the corresponding authors and include up to 6 keywords and an abstract of no more than 400 words. Submissions have to be formatted according to the IEEE Computer Society Press proceedings style guide not exceeding 6 two-column pages. Papers are submitted as PDF files via the Easychair (https://easychair.org/conferences/?conf=dss2017) Key Dates ==================================================================== Paper submission deadline: July 17, 2017 Paper notification: July 30, 2017

1 0

2nd CFP -- ATIR: Workshop on Axiomatic Thinking for Information Retrieval and Related Tasks @ SIGIR 2017
by Stefano Mizzaro 19 May '17

19 May '17

2nd Call For Papers (with apologies for multiple copies) ATIR: Workshop on Axiomatic Thinking for Information Retrieval and Related Tasks Co-located with ACM SIGIR 2017 August 11, 2017. Tokyo, Japan Workshop Website: https://www.eecis.udel.edu/~hfang/ATIR.html Motivation The goal of the proposed workshop is to bring together researchers and practitioners interested in applying axiomatic analysis to all kinds of IR and IR-related problems, including particularly both those interested in developing retrieval models and those interested in developing evaluation measures, and to enable them to share their findings (both positive or negative), to present their latest research results, and to discuss future directions. Theme As the title of the workshop suggested, the general theme of the workshop will be about all aspects of applications of axiomatic thinking to solve IR and IR-related problems. The basis of this general theme is the recent growth of work on applying axiomatic thinking to analyze and improve both retrieval models and evaluation metrics, which we expect to continue. The existing work has clearly demonstrated many advantages of axiomatic thinking, including particularly specific theoretical results in the form of novel constraints to be satisfied by retrieval functions or evaluation metrics and improved models or evaluation metrics. However, much more research is still needed in multiple directions. Opportunities of applying axiomatic thinking also go beyond analyzing the basic retrieval functions; in fact, understanding constraints is also beneficial to many IR tasks that use machine learning techniques. Instead of having a designer carefully choose a set of assumptions to make when designing a formal model, these approaches use machine learning to weight items in a pool of features derived from many retrieval heuristics. However, this potentially results in a bloated backend which computes many features irrelevant to the task or collection. Having knowledge about relevant features would help slim down backends and speed learning and ranking. An important strength of the axiomatic methodology is that evaluation data sets become resources used to check motivated hypotheses instead of optimization mechanisms, which are at risk of overfitting. There are even more opportunities for new research on applying axiomatic thinking to evaluation as has already been happening where researchers have done axiomatic analysis of metrics for tasks such as text categorization, clustering, and ranking. In general, an understanding of how to apply axiomatic thinking to IR problems may become increasingly important as information retrieval continues to broaden into new areas. New tasks often require new constraints, and an understanding of these constraints can provide guidance on how to adapt existing methods or how to develop new methods for the new tasks. For example, domain-specific IR tasks such as medical record search might require new retrieval constraints that can capture the domain knowledge. The workshop aims to bring together researchers and practitioners from a broader community to exchange research ideas and results and to foster collaborations across subcommunities. Some of the specific topics we envision to be covered by the workshop theme include, but not limited to: - What constraints are effective to improve retrieval performance independent of the underlying model? - What constraints were expected to be useful but have not been effective in practice? Why not? - In the case of evaluation metrics, why some metric constraints do not affect the system comparison or the user satisfaction? - How can we potentially unify the axiomatic analysis of IR models and evaluation metrics given that both lines of work aim at formally modeling relevance? - Have new languages, media, or domains suggested new constraints for established domains? - To what extent is a valid constraint in one domain also valid in other domains? More generally, which constraints for retrieval methods or evaluation metrics are core ones, and which constraints are highly scenario dependent? - How can axiomatic thinking be combined with machine learning techniques to learn more effective retrieval functions? Planned Activities - Keynote talk - Panel - Presentations of papers Paper Submission We solicit papers describing research work related to the above theme. In addition to the innovative methods with promising results, we also welcome papers reporting negative results. Papers need to be: - 4 or 10 pages - In ACM format - Submission site: https://easychair.org/conferences/?conf=atir2017 Formal proofs can be added as additional material. The submissions are not anonymous. Important Dates - Submission deadlines: May 27 (for long paper) and June 3 (for short papers) - Review due: June 20 - Notification: June 30 Workshop Organizers - Enrique Amigo - Hui Fang - Stefano Mizzaro - ChengXiang Zhai -- Prof. Stefano Mizzaro, PhD Department of Mathematics, Computer Science, and Physics University of Udine Via delle Scienze, 206 - 33100 Udine, Italy mizzaro(a)uniud.it - http://www.dimi.uniud.it/mizzaro/ Ph.: +39 0432 558456 - Fax: +39 0432 558499

1 0