computational.science

computational.science@lists.iccsa.org

3 participants
1981 discussions

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

Call for Papers: Ph.D. Forum at IGSC'17
by Mahdi NIKDAST 17 May '17

17 May '17

**Our apologies if you have received multiple copies of this announcement** **Call for Papers: Ph.D. Forum at The 8th International Green and Sustainable Computing Conference (IGSC'17)** Forum webpage: http://igsc.eecs.wsu.edu/forum_17 The Ph.D. forum at IGSC'17 will provide an international forum for doctoral students engaged in research on sustainable and energy-efficient computing and/or computing for a more sustainable planet to present their work to fellow researchers and practitioners in the green and sustainable computing community. The forum includes a poster session during which the students can present their work and receive constructive feedback for completion of their dissertation research. The Ph.D. forum is intended for students who have already settled on a specific research topic and have some preliminary results, but still have enough time remaining before their final defense that they can benefit from the forum discussions. **Accepted submissions will appear in IGSC'17 proceedings** *Paper submission guidelines* Current Ph.D. students are encouraged to submit an extended abstract that describes their doctoral work. The student should be the sole author of the paper, but the advisor and other contributors should be acknowledged. The topics of interest coincide with IGSC'17 are listed in the CFP page (http://igsc.eecs.wsu.edu/cfp_17). The extended abstract should be three pages in IEEE conference proceedings style (http://www.ieee.org/conferences_events/conferences/publishing/templates.ht ml). All manuscripts should be in pdf format, in English, and registered and submitted through easychair (http://easychair.org/conferences/?conf=igsc17) under the "IGSC17 PhD Forum" submission track. Please kindly note that: - The research ideas in submissions should be mature enough to be presented in a paper and content can evolve to become the substantial part of a Ph.D. dissertation. The submissions should not have been published and not under review by other conferences or journals elsewhere. - The authors should outline related problems in the field and their current solutions, clearly motivate and formulate the research topic, present the preliminary idea, the proposed approach, and the preliminary experimental results achieved thus far, explicitly point out the intended contributions of the proposed work. Each submission will be reviewed by members of the forum¹s technical program committee. Abstracts will be judged on originality, technical merit, presentation quality, and relevance to the conference topics. Accepted abstracts will appear in the IGSC conference proceedings and will be indexed by DBLP and the IEEE digital library. All invited participants will be asked to provide a poster, which will be displayed throughout the conference. Authors of accepted submissions are expected to register for the conference and appear in person to present their work. The student rate will apply to authors who are currently full-time students. *Poster Presentation* Authors of accepted submissions should prepare a poster for presentation. Posters will be displayed throughout the conference and the students are required to be available during the poster session to discuss their work and answer related questions. The poster size should not exceed 841 x 1189 mm (width x height). The organizers encourage all Ph.D. Students in the fields of sustainable and energy-efficient computing and computing for a more sustainable planet to participate in this Ph.D. Forum. *Ph.D. Forum Chair* Mahdi Nikdast (Polytechnique Montreal, Canada), mahdi.nikdast(a)polymtl.ca *Important dates* Paper submission due: June 16 , 2017 Notifications sent to authors: July 17, 2017 Camera-ready papers due: August 5, 2017

1 0

Announcing CFPs: The 1st International Workshop on Autonomics and Cloud Security and The 1st International Workshop on Multimedia Privacy and Security
by Roger Hallman 17 May '17

17 May '17

We are pleased to announce the following two calls for papers: The 1st International Workshop on Autonomics and Cloud Security (ACS 2017) Co-located with the 2017 IEEE International Conference on Cloud and Autonomic Computing (ICCAC) and the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2017) The University of Arizona, Tucson, AZ, USA -- September 18-22, 2017 http://www.autonomic-conference.org/iccac-2017/resources/ACS/ http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=64433&copyownerid=… Cloud computing is used by many organizations to build scalable systems in different domains, such as retail, healthcare, human resources, finance, education, and government. Our society has become more dependent on the services provided by these cloud-based systems. As a result, cyber-attacks on these cloud-based systems can have a dramatic impact on all aspects of our lives. Cloud security is an active area of research, involving many approaches for ensuring the confidentiality, availability, and integrity of data and applications hosted in the cloud. However, existing techniques for securing cloud-based systems, including autonomic-based cloud systems, are based on the assumption that people will be involved in managing them. These techniques require end user input to implement effective cybersecurity strategies to defend the systems. The emerging area of Autonomic Cybersecurity can provide solutions that complement existing cybersecurity techniques in the cloud. The goal of Autonomic Cybersecurity is to use Autonomic Computing techniques and approaches to defend computing systems. The Autonomics and Cloud Security workshop aims to investigate approaches to cloud security in general, including cloud-based autonomic systems, as well as autonomic cybersecurity approaches for defending cloud-based systems. The workshop is soliciting papers in two categories, namely, the use of autonomic computing techniques to address cloud security, and techniques and approaches for securing cloud-based autonomic systems. Researchers are encouraged to submit original research contributions in these two categories, which include, but are not limited to, the following major areas: The use of autonomic computing techniques to address cloud security: -Challenges in autonomics and cloud security and privacy -Emerging issues in autonomic cloud security -Autonomic identity and access management in cloud computing -Autonomic cybersecurity monitoring and incident response in cloud computing -Autonomic auditing and accountability in cloud computing -Autonomic approaches to usable security in cloud computing -Autonomic security protocols in cloud computing -Autonomic approaches to privacy in the cloud -Autonomic approaches for securing data and communication in the cloud -Secure autonomics-based cloud federation -Self-adaptive security policies -Self-configuration of cloud systems -Scalable cybersecurity in the cloud -Autonomic event recovery in the cloud -Autonomic approaches to moving target defense in the cloud -Autonomic approaches to cyber defense in the cloud -Autonomic approaches to intrusion detection and prevention systems in the cloud -Techniques and approaches for building resilient cloud systems -Cybersecurity in fog and edge computing -Application of big data analytics to securing the cloud -Autonomic approaches to trusted computing Techniques and approaches for securing cloud-based autonomic systems: -Cybersecurity in the cloud for supporting IoT applications -Security protocols in cloud-based autonomic systems -Techniques and approaches for privacy preservation in cloud-based autonomic systems -Event detection and forensics in cloud-based autonomic systems -Techniques and approaches for cloud-based autonomic systems resiliency -Secure computing techniques for the cloud (securing data-in-processing via Homomorphic --Encryption, Secure Multi-Party Computation, and other secure computing techniques). -Techniques and approaches for anomaly detection in cloud-based autonomic systems -Scalable cybersecurity in cloud-based autonomic systems -Ethical hacking and penetration testing in cloud-based autonomic systems -Case studies in securing cloud-based systems We solicit research papers containing original research results and challenge papers motivating new research directions. In addition, the workshop will facilitate discussion and collaborative research among the participants. Submissions may be made via: https://easychair.org/conferences/?conf=acs17 . UPDATE: A special issue on Cluster Computing (The Journal of Networks, Software Tools and Applications) will include an extension of the best papers of all the workshops that will be held in conjunction with ICCAC 2017. Organization: General Chair Mamadou H. Diallo -- SPAWAR Systems Center Pacific, U.S. Department of Defense, USA Program Co-Chairs Michael August -- SPAWAR Systems Center Pacific, U.S. Department of Defense, USA Sherif Abdelwahed -- Mississippi State University, USA Technical Program Commmittee Kim-Kwang Raymond Choo -- The University of Texas at San Antonio, USA Tiago Cruz -- University of Coimbra, Portugal Song Fu -- University of North Texas, USA Sokratis K. Katsikas -- Norwegian University of Science & Technology, Norway Ryan Ko -- University of Waikato, New Zealand Thomas Moyer -- MIT Lincoln Laboratory, USA Stacy Prowell -- Oak Ridge National Laboratory, USA Khaled Salah -- Khalifa University of Science, Technology & Research, UAE Sachin Shetty -- Old Dominion University, USA MORE TO COME Publicity and Web Chair Christopher Graves -- SPAWAR Systems Center Pacific, U.S. Department of Defense, USA Scott M. Slayback -- SPAWAR Systems Center Pacific, U.S. Department of Defense, USA Contact: General Chair mamadou.h.diallo(a)navy.mil Publicity and Web Chair christopher.t.graves(a)navy.mil And *The 1st International Workshop on Multimedia Privacy and Security*Held on 30 October, 2017 in conjunction with the 24th ACM Conference on Computer and Communication Security (CCS 2017)Hotel Sheraton, Downtown Dallas, Texas, USA https://centers.njit.edu/cybersecurity/CCS_MPS2017/ *Scope:* We live in an interconnected world where ever increasing multitudes of devices and people can be connected to each other by intelligent algorithms, apps, social networks, and the infrastructure set by Internet of Things (IoT). As more people and their devices are connected without much restriction, the issues of security, privacy, and trust remain a challenge. Multimedia in IoT services should provide a robust and resilient security platforms and solutions against any unauthorized access. Recent literature shows increased concerns about hacking, security breaches, data manipulation, social engineering, and new attack methods. Malware can be hidden within multimedia files and visiting infected websites can trigger its download to victims’ machines. There are a multitude of techniques to steal personal information and other sensitive media for unauthorized dissemination; imposters/identity thefts are common in social networks. In order to demonstrate the effectiveness of resilient security and privacy solutions, methods such as new standards, advance cryptography, improved algorithms for intrusion detection, personalized privacy, and isolation of questionable or malicious files can be used independently or all together to minimize the threats. Multimedia has expanded beyond the scope its original definition. With the rise of social media, large quantities of multimedia (e.g., pictures, videos, data, analytics and personal information) can be created in a short period of time. When all these data are stored in a cloud environment, many people can connect to these services for viewing, sharing, commenting, and storing information. IoT represents a collection of devices, platforms, and software that allow people to store and share data in the cloud and also connects different types of clouds altogether. Hence, multimedia in the IoT serves a significant purpose as many people’s updates, status, locations, and live actions can be seen, disseminated, tracked, commented on, and monitored in near real time. IoT opens up many possibilities since more people can broadcast themselves and allow their networks to view and share in their lives. There are also increased fraudulent activities, cybercrimes, unauthorized access, malicious attacks, phishing, and impersonating/stealing identities. This presents challenges for existing areas such as access control, authentication, data leakage, permission, social engineering, denial of service, and identity management for the attackers to impose identity, steal information, and manipulate data in the IoT environment. Challenges also include new problems such as large scale attacks and prevention, the strength of security protection (e.g., common encryption algorithms), hiding malware with multimedia, location-based privacy with high accuracy and anonymity, underground criminal networks, and hidden security breaches. Our workshop will allow a specific venue for the publication of work addressing these concerns, specific to the IoT ecosystem. We invite research into new and innovative methods, techniques, and proofs‐of‐concepts supported by strong theory/algorithms and simulation/experiments to submit papers for this workshop. *Topics of interest include* (but are not limited to): - Access control and authentication - IoT and Social Network security and privacy - Encryption of all types in multimedia, including homomorphic encryption and multi-party computation - Information Forensics - Data Leakage and Exfiltration - Intrusion Detection/Prevention Systems - Largescale simulations and experiments for security - Location-based privacy and other privacy-enhancing technologies - Risk Mitigation, reduction, and simulation - Identity management and standards - Data security, recovery, and segregation - Secure integration of IoT and social networks - Steganography - Internet-connected cameras and Multiview Systems - Human Factors in Multimedia Security and Privacy - Emerging Privacy and Security Threats in Multimedia *Submission:* All papers will be submitted through EasyChair: https://easychair.org/conferences/?conf=mps2017. We are accepting Full, Short, and Demo Papers. Full Papers (10-12 pages) will be allotted 25 minutes for their presentations, plus 5 minutes for questions. Short Papers (6-8 pages) will be allotted 20 minutes for their presentations, plus 5 minutes for questions. Demo Papers (4-8 pages) will be allotted 15 minutes for their presentations, 10 minutes for a code review, and 5 minutes for questions. Submissions should be formatted according to the CCS 2017 formatting requirements provided at https://www.sigsac.org/ccs/CCS2017/#format. All submissions will be anonymized for a double-blind review, with final acceptance decisions made by the organizers based on reviewer comments. *Important Dates:* - 4 August, 2017 – Submission Deadline - 4 September, 2017 – Author Notifications - 17 September, 2017 – Camera-Ready Papers Due *Organizing Committee:* - Chair – Mr. Roger Hallman, SPAWAR Systems Center Pacific, San Diego, Ca, USA - Co-chair – Professor Kurt Rohloff, New Jersey Institute of Technology, Newark, NJ, USA - Co-chair – Professor Victor Chang, Xi’an Jiaotong Liverpool University, Suzhou, China *Program Committee:* - Professor An Braeken – Vrije Universiteit Brussel, Belgium - Professor Tiago Cruz – University of Coimbra, Portugal - Dr. Jason R.C. Nurse – University of Oxford, United Kingdom - Professor Giovanni Pau – Kore University of Enna, Italy - Dr. Jose Romero-Mariona -- SPAWAR Systems Center Pacific, USA - TBD *Contact:* mps2017(a)easychair.org

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science