- computational.science - lists.iccsa.org

CFP Journal Symbolic Computation Special Issue on Dynamic Geometry and Automated Reasoning
by Prof. Tomas Recio 24 Feb '17

24 Feb '17

Please help us disseminating this announcement. Sorry for duplicates. ===================== *** CALL FOR PAPERS *** Special Issue on Dynamic Geometry and Automated Reasoning https://sites.google.com/site/kovzol/jsc-si-dg-ar Journal of Symbolic Computation* https://www.journals. elsevier.com/journal-of-symbolic-computation GUEST EDITORS: Francisco Botana, University of Vigo, Spain Zoltán Kovács, The Private University College of Education of the Diocese of Linz, Austria Tomas Recio, University of Cantabria, Spain IMPORTANT DATES: - submission deadline: September 1, 2017 - notification of acceptance / rejection: February 2, 2018 - final versions: March 30, 2018 SCOPE: Since the last half century, automated deduction in elementary geometry has become one of the most successful achievements in the field of automated reasoning. Along these decades various methods and techniques have been studied and developed for automated proving and discovering of elementary geometry statements. On the other hand, dynamic geometry software systems have emerged, such as Cabri Geometry, C.a.R., Cinderella, DrGeo, GeoGebra, The Geometer's Sketchpad, Geometry Expert, Geometry Expressions or Kig with an ever-increasing presence in mathematics education. Some of them possess a large number of users (over thirty million) all around the world. The merging of these two tools (automatic proving and dynamic geometry) is, thus, a very natural, challenging and promising issue, currently involving logic, symbolic computation, software development, algebraic geometry and mathematics education experts all from over the world. The Special Issue intends to be an opportunity for - presenting the current state of the art concerning the development of automatic proving features on dynamic geometry systems, - discussing the current and potential applications of such features in different contexts, such as CAGD or mathematics education. TOPICS (not restricted to): - Algorithmic aspects: formal, logic and algebraic geometry approaches, constraint solving, invariant and coordinate-free methods, real and complex geometry issues, probabilistic, synthetic approaches, techniques from discrete mathematics, combinatorics, and numerics. - Software aspects: Implementation of automated proving methods in dynamic geometry programs, design of packages and systems, data representation. Parallel and distributed computing, considerations for modern hardware and new devices. User-interface issues, use with systems for digital libraries, courseware, ... - Application aspects: applications to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics and education. Papers must not duplicate work already published or submitted for publication elsewhere. All the papers will be refereed according to the JSC standards. Papers should follow the guidelines for JSC submissions (see https://www.elsevier.com/journals/journal-of-symbolic-computation/0747-7171…) and should be submitted through Easychair (https://easychair.org/conferences/?conf=jscdgarsi2018) The introduction of the paper must explicitly address the following questions in succinct and informal manner: - What is the problem? - Why is the problem important? - What has been done so far on the problem? - What is the main contribution of the paper on the problem? - Why is the contribution original? (see below for clarification) - Why is the contribution non-trivial? Make the paper complete (since there is no page limit): - All the related works and issues must be completely and carefully discussed. - All the previous relevant JSC papers must be properly cited and discussed. - All the theorems must be rigorously proved (no sketch allowed). - All the important definitions/theorems/algorithms must be illustrated by well-chosen examples. * An international journal, the Journal of Symbolic Computation, founded by Bruno Buchberger in 1985, is directed to mathematicians and computer scientists who have a particular interest in symbolic computation. Automated theorem proving is one of the research areas of interest highlighted in the Journal’s description. The Journal of Symbolic Computation has a 1.030 Impact Factor, according to the last Thompson Reuters Journal Citation Reports (2016).

1 0

[MobiSPC-Conf] MobiSPC 2017 CFPs: The 14th International Conference on Mobile Systems and Pervasive Computing (July 24-26, 2017, Leuven, Belgium)
by Wim Ectors 24 Feb '17

24 Feb '17

---------------------------------------------------------------------------- The 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) July 24-26, 2017 Leuven, Belgium http://cs-conferences.acadiau.ca/mobispc-17/ ---------------------------------------------------------------------------- Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2017 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2017 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Workshop Proposal Due: January 20, 2017 - Paper Submission Due: March 8, 2017 - Acceptance Notification: April 28, 2017 - Final Manuscript Due: May 28, 2017 Publication ------------ All MobiSPC 2017 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 0.835), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier ( http://www.journals.elsevier.com/future-generation-computer-systems/) MobiSPC 2017 will be held in conjunction with the 12th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-17/) MobiSPC 2017 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Conference Tracks --------------- - Component-based IoT - Enabling Technologies and Emerging Topics - Internet of Things (IoT) - Mobile Cloud Computing - Mobile Data Management - Mobile Social Networking - Pervasive Computing - Smart Cities and Ubiquitous Climate Change Management - Smart Communities and Ubiquitous Systems - Mobile Systems and Applications Committees: ----------- General Chairs Danny Hughes, K. U. Leuven, Belgium Hossam Hassanein, Queen's University, Canada Program Chairs Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Superieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Noël de Palma, Université de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chairs Zahoor Khan, Higher Colleges of Technology, UAE Tracks Chairs Habib M. Ammari, Norfolk State University, USA Longbiao Chen, Xiamen University, China Danny Hughes, K. U. Leuven, Belgium Nafaa Jabeur, German University of Technology, Oman Jason J. Jung, Chung-Ang University, Korea Marc Körner, TUB Berlin, Germany Prashant Kumar, University of Surrey, UK Nawaz Mohamudally, University of Technology, Mauritius Francesco Piccialli, University of Naples, Federico II, Italy Christian Poellabauer, University of Notre Dame, USA M. Elena Renda, Istituto di Informatica e Telematica - CNR, Italy Michael Sheng, University of Adelaide, Australia Leye Wang, Hong Kong University of Science and Technology, China Publicity Chairs Mikhail Gofman, California State University of Fullerton, USA Pedro E. Lopez-de-Teruel, Spain Mario Henrique Cruz Torres, K.U. Leuven, Belgium Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-17/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada

1 0

9th International Conference on Computational Collective Intelligence (ICCCI 2017): Fifth Call for Special Sessions & Workshops Proposals
by Announce Announcements 23 Feb '17

23 Feb '17

*** Fifth Call for Special Sessions & Workshops Proposals *** 9th International Conference on Computational Collective Intelligence ICCCI 2017 Hilton Cyprus, Nicosia, Cyprus 27 - 29 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=Y29tcHV0YXRpb25hbC5zY2llbmNlCQ… *** Firm Deadline: 15th March 2017 *** Computational Collective Intelligence is most often understood as an AI subfield dealing with soft computing methods which enable making group decisions or processing knowledge among autonomous units acting in distributed environments. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. ICCCI 2017 is the 9th edition of the conference organized by the University of Cyprus and Wroclaw University of Science and Technology in Poland, in cooperation with the IEEE SMC Technical Committee on Computational Collective Intelligence. The aim of the conference is to provide an internationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications in (but not limited to) such fields as group decision making, consensus computing, knowledge integration, semantic web, social networks and multi-agent systems. Topics of Interest We welcome all submissions in the subjects of CCI related (but not limited) to the following topics: · Agent Theory and Application · Automated Reasoning · Cognitive Modeling of Agent Systems · Collective Intelligence · Collective Processing · Computational Biology · Computer Vision · Computational Intelligence · Computational Security · Consensus Computing · Cooperative Systems and Control · Cybernetics for Informatics · Data Integration · Data Mining for Social Networks · Distributed Intelligence · Evolutionary computing · Fuzzy Systems · Geographic Information Systems · Grey Theory · Group Decision Making · Hybrid Systems · Information Retrieval and Integration · Information Hiding · Intelligent Architectures · Intelligent Applications · Intelligent Buildings · Intelligent Control · Intelligent E-learning/Tutoring · Intelligent Image Processing · Intelligent Networks · Intelligent Transportation Systems · Knowledge Integration · Knowledge Representation · Knowledge-Based Systems · Logic in Intelligence · Machine Learning · Mobile Intelligence · Multicriteria Decision Making · Natural Language Processing · Optimization and Swarm Intelligence · Pattern Recognition · Probabilistic and Uncertain Reasoning · Rough Sets · Semantic Web · Smart Living Technology · Smart Sensor Networks · Soft Computing · Social Networks · Ubiquitous Computing · Web Intelligence and Interaction Call for Special Sessions and Workshops Proposals ICCCI 2017 invites proposals for Special Sessions and Workshops to be held during the conference. They intend to provide researchers in focused areas the opportunity to present and discuss their work, as well as to offer a forum for interaction among a broader community of researchers. A Special Session or Workshop will consist of a group of papers in a sub-discipline of Computational Collective Intelligence related to the main topics of ICCCI 2017. The papers will be required to meet the same standards as ICCCI 2017 papers and will be published in the conference proceedings, in a bound volume by Springer in their Lecture Notes in Artificial Intelligence series. All the Special Sessions and Workshops will be centralized as tracks in the same conference submission and reviewing system (EasyChair) as the regular papers. Please send the Special Session and Workshop proposals with the following information: · Title & acronym of the special session · Brief profiles of special session organizers · General description of the special session scope · List of topics · Proposed Session Program Committee (to be invited) The format for the Special Session or Workshop proposal should follow the pattern of the template available on the conference web site. The organizers will be responsible for the advertisement and promotion of the Special Sessions or Workshops and the conference including the Special Sessions and Workshops webpage preparation. The management of papers review will be achieved by Special Session and Workshops Committees, using the Conference System (a separate EasyChair track will be provided for each Special Session and Workshop). The organizers are responsible for managing the review process. All the reviews should be submitted through EasyChair. Each paper should obtain at least two reviews. For Special Sessions and Workshops Issues please contact: Bogdan Trawinski Wroclaw University of Science and Technology, Poland bogdan.trawinski(a)pwr.edu.pl Important Dates · Special Session & Workshop Proposals: March 15, 2017 (*** firm ***) · Special Session & Workshop Acceptance: March 21, 2017 · Conference Dates: September 27-29, 2017 Organization Honorary Chairs · Costas Christophides, Rector of University of Cyprus, Cyprus · Pierre Lévy, University of Ottawa, Canada · Cezary Madryas, Rector of Wroclaw University of Technology, Poland General Chairs · Ngoc Thanh Nguyen, Wroclaw University of Science and Technology, Poland · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Costin Badica, University of Craiova, Romania · Piotr J?drzejowicz, Gdynia Maritime University, Poland · Kazumi Nakamatsu, University of Hyogo, Japan Organising Chair · Georgia Kapitsaki, University of Cyprus, Cyprus Special Sessions and Workshops Chairs · Achilleas Achilleos, University of Cyprus, Cyprus · Bogdan Trawinski, Wroclaw University of Science and Technology, Poland Doctoral Track Chair · George Pallis, University of Cyprus, Cyprus Publicity Chair · Christos Mettouris , University of Cyprus, Cyprus Local Organising Committee · Marios Komodromos, University of Cyprus, Cyprus · Christos Mettouris, University of Cyprus, Cyprus · Rafa Kern, Wroclaw University of Science and Technology, Poland · Marcin Pietranik, Wroclaw University of Science and Technology, Poland · Zbigniew Telec, Wroclaw University of Science and Technology, Poland Steering Committee · Ngoc Thanh Nguyen (chair), Wroclaw University of Science and Technology, Poland · Piotr Jdrzejowicz, Gdynia Maritime University, Poland · Shyi-Ming Chen, National Taiwan University of Science and Technology, Taiwan · Kiem Hoang, University of Information Technology, VNU-HCM, Vietnam · Lakhmi C. Jain, University of South Australia, Australia · Geun-Sik Jo, Inha University, Korea · Janusz Kacprzyk, Polish Academy of Sciences, Poland · Ryszard Kowalczyk, Swinburne University of Technology, Australia · Toyoaki Nishida, Kyoto University, Japan · Manuel Núñez, Universidad Complutense de Madrid, Spain

1 0

Call for Papers: CD-MAKE 2017
by res.mb.conference 23 Feb '17

23 Feb '17

CD-MAKE 2017 - CALL FOR PAPERS ****************************************************************************************** International Cross Domain Conference for Machine Learning & Knowledge Extraction (CD-MAKE) August 29 - September 1, 2017, Reggio Calabria, Italy https://cd-make.net ****************************************************************************************** "Science is to test crazy ideas - Engineering is to put these ideas into Business" CD-MAKE is a joint effort of IFIP TC 5, IFIP WG 8.4, IFIP WG 8.9 and IFIP WG 12.9 and is held in conjunction with the International Conference on Availability, Reliability and Security (ARES) and takes place in Reggio di Calabria (Italy) from August, 29 to September, 1, 2017. Keynotes by Neil D. LAWRENCE and Marta MILO IFIP - the International Federation for Information Processing is the leading multi-national, non-governmental, apolitical organization in Information & Communications Technologies and Computer Sciences, is recognized by the United Nations and was established in the year 1960 under the auspices of the UNESCO as an outcome of the first World Computer Congress held in Paris in 1959. CD stands for Cross-Domain and means the integration and appraisal of different fields and application domains (e.g. Health, Industry 4.0, etc.) to provide an atmosphere to foster different perspectives and opinions. The conference is dedicated to offer an international platform for novel ideas and a fresh look on the methodologies to put crazy ideas into Business for the benefit of the human. MAKE stands for MAchine Learning & Knowledge Extraction. Papers are sought from the following seven topical areas. Papers which deal with fundamental questions and theoretical aspects in machine learning are very welcome. 1 Data science (data fusion, preprocessing, data mapping, knowledge representation), 2 Machine learning (both automatic ML and interactive ML with the human-in-the-loop), 3 Graphs/network science (i.e. graph-based data mining), 4 Topological data analysis (i.e. topological data mining), 5 Time/entropy (i.e. entropy-based data mining), 6 Data visualization (i.e. visual analytics), and last but not least 7 Privacy, data protection, safety and security (i.e. privacy aware machine learning). Proposals for Sessions/Workshops/Tutorials: March, 06, 2017 Paper Submission Deadline: April, 01, 2017 Accepted Papers will be published in a Springer Volume of Lecture Notes in Artificial Intelligence (LNAI), and outstanding contributions will be invited to special issues of journals tba. For more information please visit the conference homepage: https://cd-make.net

1 0

Workshop on Deep Learning
by sara＠dirf.org 23 Feb '17

23 Feb '17

Deep Learning Applications (Co-located with the Seventh International Conference on Innovative Computing Technology (INTECH 2017) Luton, UK August 16-18, 2017 (www.dirf.org/intech) Deep Learning (DL) is an important component of computational intelligence which has the core domain machine learning research in it. It provides more efficient algorithms to deal with large-scale data in neuroscience, computer vision, speech recognition, language processing, biomedical informatics, recommender systems, learning theory, robotics, games, and so on. DL is gaining applications in many domains due to the availability of large amount of data coupled with machine learning algorithms. As the DL applications are on increasing trend a workshop on it will enable to identify the emerging trends in the domain. The proposed workshop will address the below listed but not limited themes. Neural network architectures DL Applications to the Natural Sciences Visual Perception using Deep Convolutional Neural Networks Deep Learning for Computer Vision Deep Sequence Modeling: Historical Perspective and Current Trends Automatic Terminology Extraction Deep Learning of Behaviors Probabilistic Graphical Models Algorithms Deep Learning for Natural Language Processing Deep Learning Applications at the Enterprise Scale Multi-modal Deep Learning Deep Learning Security Neural Networks From Statistical Decision Theory and Deep Neural Networks Machine Learning and Deep Neural Networks Cognitive Architectures for Object Recognition in Video Learning Representations for Vision, Speech and Text Processing Applications Deep Learning in the Brain Deep Learning for Sequences Interpretable Deep Learning Models for Healthcare Applications Deep Learning for Video Games Data Processing Methods, and Applications of Least Squares Support Vector Machines Deep Generative Models and Unsupervised Learning Natural Language Understanding Submissions Submissions should provide original and unpublished research results or ongoing research with simulations. The papers should be between 6 to 8 pages total in length in the IEEE format. * All the accepted papers will appear in the proceedings published by IEEE and fully indexed by IEEE Xplore. * Modified version of the selected papers will appear in the special issues of many peer reviewed and indexed journals. Important Dates Submission of papers: June 01, 2017 Notification of Acceptance/Rejection: July 01, 2017 Camera Ready: August 01, 2017 Registration August 01, 2017 Conference: August 16-18, 2017 Organizers Ricardo Rodriguez Jorge, Engineering and Technology Institute, Mexico Submissions at-http://www.dirf.org/intech/paper-submission/ Contact- intech(a)dirf.org -------------------------------------------------------------------------

1 0

Call for Papers: WPDM 2017
by Massimo Cafaro 23 Feb '17

23 Feb '17

The first International Workshop on Parallel Data Mining (WPDM 2017) CALL FOR PAPERS As part of The International Conference on High Performance Computing & Simulation (HPCS 2017) http://hpcs2017.cisedu.info or http://cisedu.us/rp/hpcs17 July 17 – July 21, 2017 Genoa, Italy Submission Deadline: March 20, 2017 Submissions could be for full papers, short papers, poster papers, or posters SCOPE AND OBJECTIVES The Workshop on Parallel Data Mining is an international forum which brings together researchers and practitioners working on different high-performance aspects of data mining algorithms, enabling novel applications. Data mining techniques and algorithms to process huge amount of data in order to extract useful and interesting information have become popular in many different contexts. Algorithms are required to make sense of data automatically and in efficient ways. Nonetheless, even though sequential computer systems performance is improving, they are not suitable to keep up with the increase in the demand for data mining applications and the data size. Moreover, the main memory of sequential systems may not be enough to hold all the data related to current applications. Therefore, there is an increasing interest in the design and implementation of parallel data mining algorithms. On parallel computers, by exploiting the vast aggregate main memory and processing power of processors and accelerators, parallel algorithms can easily address both the running time and memory requirement issues. Anyway, parallelising existing algorithms in order to achieve good performance and scalability with regard to massive datasets is not trivial. Indeed, it is of paramount importance a good data organisation and decomposition strategy in order to balance the workload while minimising data dependences. Another concern is related to minimising synchronisation and communication overhead. Finally, I/O costs should be minimised as well. The Workshop will allow exchanging ideas and results related to on-going research, focusing on high-performance aspects of data mining algorithms and applications. Creating breakthrough parallel algorithms for high-performance data mining applications requires addressing several key computing problems which may lead to novel solutions and new insights in interdisciplinary applications. The focus of the workshop is on all forms of advances in high-performance data mining algorithms and applications, and related topics. The WPDM Workshop topics include (but are not limited to) the following: - Scalable message-passing parallel data mining algorithms using MPI - Scalable shared-memory parallel data mining algorithms using OpenMP - Scalable hybrid MPI + OpenMP parallel data mining algorithms - Parallel data mining algorithms targeting GPUs and many-cores accelerators - Exploiting modern parallel architectures including FPGA for parallel data mining applications - Map-reduce based parallel data mining algorithms - Middleware for high-performance data mining on grid and cloud environments - Benchmarking and performance studies of high-performance data mining applications - Novel programming paradigms to support high-performance computing for data mining - Performance models for high-performance data mining applications and middleware - Programming models, tools, and environments for high-performance computing in data mining - Caching, streaming, pipelining, and other optimisation techniques for data management in high-performance computing for data mining INSTRUCTIONS FOR PAPER SUBMISSIONS You are invited to submit original and unpublished research works on above and other topics related to synergy between parallel computing, optimisation and simulation. Submitted papers must not have been published or simultaneously submitted elsewhere. For Regular papers, please submit a PDF copy of your full manuscript, not to exceed 8 double-column formatted pages per template, and include up to 6 keywords and an abstract of no more than 400 words. Additional pages will be charged additional fee. Submission should include a cover page with authors' names, affiliation addresses, fax numbers, phone numbers, and all authors email addresses. Please, indicate clearly the corresponding author(s) although all authors are equally responsible for the manuscript. Short papers (up to 4 pages), poster papers and posters (please refer to http://hpcs2017.cisedu.info/1-call-for-papers-and-participation/call-for-po… for posters submission details) will also be considered. Please specify the type of submission you have. Please include page numbers on all preliminary submissions to make it easier for reviewers to provide helpful comments. Submit a PDF copy of your full manuscript to the workshop EasyChair paper submission site at https://easychair.org/conferences/?conf=wpdm2017. Acknowledgement will be sent within 48 hours of submission. Only PDF files will be accepted, uploaded to the submission link above. Each paper will receive a minimum of three reviews. Papers will be selected based on their originality, relevance, significance, technical clarity and presentation, language, and references. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. At least one of the authors of each accepted paper will have to register and attend the HPCS 2017 conference to present the paper at the workshop. PROCEEDINGS Accepted papers will be published in the Conference proceedings. Instructions for final manuscript format and requirements will be posted on the HPCS 2017 Conference web site. It is our intent to have the proceedings formally published in hard and soft copies and be available at the time of the conference. The proceedings is projected to be included in the IEEE or ACM Digital Library and indexed in all major indexing services accordingly. SPECIAL ISSUE Plans are underway to have the best papers, in extended version, selected for possible publication in a journal as special issue. Detailed information will soon be announced and will be made available on the conference website. If you have any questions about paper submission or the symposium, please contact the symposium organisers. IMPORTANT DATES Paper Submissions: ------------------------------------------- March 20, 2017 Acceptance Notification: -------------------------------------- April 10, 2017 Camera Ready Papers and Registration Due by: ----------- May 03, 2017 Conference Dates: -------------------------------------------- July 17 – 21, 2017 WORKSHOP ORGANIZERS Massimo Cafaro University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: massimo.cafaro(a)unisalento.it Italo Epicoco University of Salento, Italy Phone: +39 0832 297235 Fax: +39 0832 297235 Email: italo.epicoco(a)unisalento.it Marco Pulimeno University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: marco.pulimeno(a)unisalento.it Giovanni Aloisio University of Salento & Euro Mediterranean Center on Climate Change Foundation, Italy Phone: +39 334 6501704 Fax: +39 0832 297235 Email: giovanni.aloisio(a)unisalento.it International Program Committee: All submitted papers will be reviewed by the workshop technical program committee members. Committee formation is pending and will be finalised shortly. Current TPC members: Matteo Ceccarello, University of Padova, Italy Bronis R. de Supinski, Lawrence Livermore National Laboratory, USA Pablo Moscato, University of Newcastle, Australia Domenico Talia, University of Calabria, Italy Paolo Trunfio, University of Calabria, Italy Jeffrey D. Ullman, Stanford University, USA Renato Vimieiro, Universidade Federal de Pernambuco, Brazil Laurence T. Yang, St Francis Xavier University, Canada For information or questions about Conference's paper submission, tutorials, posters, workshops, special sessions, exhibits, demos, panels and forums organisation, doctoral colloquium, and any other information about the conference location, registration, paper formatting, etc., please consult the Conference’s web site at URL: http://hpcs2017.cisedu.info or http://cisedu.us/rp/hpcs17 or contact one of the Conference's organisers. - ************************************************************************************ Prof. Massimo Cafaro, Ph.D. Dept. of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web http://sara.unisalento.it/~cafaro E-mail massimo.cafaro(a)unisalento.it cafaro(a)ieee.org cafaro(a)acm.org CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro(a)cmcc.it ************************************************************************************

1 0

Cf Proposals for workshops and special sessions - deadline extension till 12.3. - IEEE/WIC/ACM Int. Conf. on Web Intelligence 2017 (WI'17), 23-26 Aug. 2017, Leipzig, Germany
by Rainer Unland 22 Feb '17

22 Feb '17

[Apologies if you receive this more than once] Please forward this CFP to anyone who might be interested. ####################################################################### Call for Proposals for Special Sessions and Workshops **************extended, firm Deadline till 12.3.2017**************** IEEE/WIC/ACM International Conference on Web Intelligence 2017 (WI'17) August 23-26, 2017, Leipzig, Germany Conference Website: http://webintelligence2017.com/ ####################################################################### ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ SPONSORS ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Association for Computing Machinery (ACM) IEEE Computer Society Web Intelligence Consortium (WIC) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ IMPORTANT DATES +++++++++++++++ ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Workshop and Special session proposal submission:Mar. 12, 2017 Notification of Workshop/Special session acceptance:Mar. 15, 2017 Submission of Workshop/Special session papers:May 22, 2017 Notification of Workshop/Special session paper acceptance: June 29, 2017 Camera-Ready Papers (Workshops and Special sessions)Jul. 17, 2017 Main conference:Aug. 23-26, 2017 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ AIMS AND SCOPE ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Special session and Workshop proposals are invited to the 2017 Web Intelligence conference to be held in Leipzig, Germany, on August 23-26, 2018. Their objective is to complement the regular program with specific or emerging topics that are of particular interest to the Web Intelligence community and, in case of Workshops, to provide a forum for intense and deep-going discussions. Special Session and Workshop proposals need to address topics that do not pertain to well-established tracks of WI. They may, however, cut across and beyond disciplines traditionally represented at WI conferences. Special Sessions ---------------- Typically, each Special Session comprises at least 3 regular presentations, or 5 short ones, or an adequate mixture of these. The first paper in a Special Session may serve as an introduction to the field, aimed at listeners, who are not experts in the field yet and, therefore, could also be an overview paper. An organizer should not contribute with more than one paper. Workshops --------- The purpose of the CP workshops is to provide a more informal venue in which participants can: * explore specific research areas in depth, * discuss new research directions, * study specific application areas of Web Intelligence, or * bring together researchers from different areas with shared interests. How is a proposal meant to look like? ------------------------------------- Prospective organizers of Special Sessions or Workshops (called events in the following) should submit proposals indicating: 1. Title and acronym of the event 2. Duration (in half-day steps) -for Workshops only 3. Description of the event topic, and a draft version of CFP (not exceeding 500 words) 4. Short description on how the organizers plan to attract quality submissions (CfP spreading?) 5. Preliminary list of invited speakers (if already available) 6. Past records (if any) 7. Short bio of the organizers 8. Tentative program committee (if already available) 9. Contact information of the organizers (including name, affiliation, mailing address, and e-mail address) Evaluation of Proposals: ------------------------ Special session and Workshop proposals will be evaluated based on the timeliness of the topic, its uniqueness, the qualifications of the proposers and their experience. The proposers are expected to have at least a PhD degree and a good publication track record in the proposed area. A tentative accept/reject decision on the proposal will be sent to the proposers within a short period after its receipt by the Special Sessions and Workshop Chairs. Accepted special sessions and Workshops will be listed on the website. However, it may be that we suggest that an accepted proposal shall be combined with a similar proposal to avoid multiple Special Sessions or Workshops on a similar topic. A final decision will be made two weeks after the special session proposal deadline. High quality outcomes (papers) of these events may be considered for publication in a journal (e.g., Web Intelligence journal (IOS Press, www.iospress.nl/journal/web-intelligence-and-agent-systems/) or the Multiagent and Grid Systems journal (IOS Press, http://www.iospress.nl/journal/multiagent-and-grid-systems/) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ PROPOSAL SUBMISSION ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Proposals are to be send by Email to: WSChair(a)webintelligence2017.com For further information either visit the WI 2017 homepage (see above) or contact any of the Special session and Workshop chairs (see below). ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Workshop and Special Session Chairs: ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Agata Filipowska, Poznan University of Economics, Poland, Agata.Filipowska(a)ue.poznan.pl Omar Hussain, UNSW Canberra, Australia, o.hussain(a)adfa.edu.au Juan D. Velasquez, University of Chile, Chile, jvelasqu(a)dii.uchile.cl Yiqiang Chen, Chinese Academy of Sciences, Beijing, yqchen(a)ict.ac.cn Olaf Reinhold, Leipzig University, Germany, reinhold(a)wifa.uni-leipzig.de -- “Experience is this valuable asset which allows us to identify the mistake immediately when we are doing it again and again!” “Erfahrung ist jener kostbare Besitz, der uns befähigt, einen Fehler sofort zu erkennen, wenn wir ihn immer wieder machen.” ************************************************************************** Prof. Dr. Rainer Unland University of Duisburg-Essen Institute for Computer Science and Business Information Systems (ICB) Practical Computer Science, especially Data Management Systems and Knowledge Representation Schuetzenbahn 70 45117 Essen, Germany Tel.: (+49) 201-183 3421 IP-Tel. Skype: unlandr Fax: (+49) 201-183 4460 Email: Rainer.Unland at icb.uni-due.de WWW: http://www.dawis.wiwi.uni-due.de/ ***************************************************************************

1 0

Fwd: BIOKDD-DEXA'17: CFP
by Mourad Elloumi 22 Feb '17

22 Feb '17

*CALL FOR PAPERS* *8th International Workshop on* *Biological **Knowledge Discovery from Data **(BIOKDD'17)* Held in parallel with *28th International Conference on Database and * *Expert Systems Applications **(**DEXA’17**)* *www.dexa.org/biokdd2017 <http://www.dexa.org/biokdd2017>* Lyon, France August 28 - 31, 2017 In the recent years, there has been a rapid development of biological technologies producing more and more *biological data*, i.e., data related to biological macromolecules (DNA, RNA and proteins). The rise of *Next Generation Sequencing* (NGS) technologies, also known as *high-throughput sequencing* technologies, has contributed actively to the deluge of these data. In general, these data are big, heterogeneous, complex, and distributed in all over the world in databases. Analyzing this huge volume of data is a challenging task, not only, because of its complexity and its multiple and numerous correlated factors, but also, because of the continuous evolution of our understanding of the biological mechanisms. Classical approaches of biological data analysis are no longer efficient and produce only a very limited amount of information, compared to the numerous and complex biological mechanisms under study. From here comes the necessity to use computer tools and develop new *in silico* high performance approaches to support us in the analysis of biological data and, hence, to help us in our understanding of the correlations that exist between, on one hand, structures and functional patterns in biological macromolecules and, on the other hand, genetic and biochemical mechanisms. *Biological **Knowledge Discovery from Data* (BIOKDD) is a response to these new trends. Topics of BIOKDD’17 workshop include, but not limited to: *Data Preprocessing: *Biological Data Storage*, *Representation and Management (data warehouses, databases, sequences, trees, graphs, biological networks and pathways, …), Biological Data Cleaning (errors removal, redundant data removal, completion of missing data, …), Feature Extraction (motifs, subgraphs, …), Feature Selection (filter approaches, wrapper approaches, hybrid approaches, embedded approaches, …). *Data Mining: *Biological Data Regression (regression of biological sequences, …), Biological Data Clustering/Biclustering (microarray data biclustering, clustering/biclustering of biological sequences, …), Biological Data Classification (classification of biological sequences, …), Association Rules Learning from Biological Data, Text Mining and Application to Biological Sequences, Web Mining and Application to Biological Data, Parallel, Cloud and Grid Computing for Biological Data Mining. *Data Postprocessing:* Biological Nuggets of Knowledge Filtering, Biological Nuggets of Knowledge Representation and Visualization, Biological Nuggets of Knowledge Evaluation (calculation of the classification error rate, evaluation of the association rules *via* numerical indicators, e.g. *measurements of interest*, … ), Biological Nuggets of Knowledge Integration. *PAPER SUBMISSION DETAILS: * Authors are invited to submit electronically original contributions in English. Submitted papers should not exceed 5 pages in IEEE CSP format *http://www.computer.org/portal/web/cscps/formatting <http://www.computer.org/portal/web/cscps/formatting>*. All accepted papers will be published in the proceedings of DEXA’17 Workshops with IEEE CSP*. *One of the authors of an accepted paper must register to DEXA’17 conference and present the paper at BIOKDD’17 workshop. For paper registration and electronic submission see http://confdriver.ifs.tuwien.ac.at/dexa2017/ starting from January 2017. *IMPORTANT DATES:* Submission of abstracts: March 11, 2017 Submission of full papers: March 18, 2017 Notification of acceptance: May 17, 2017 Camera-ready copies due: June 07, 2017 *PROGRAM COMMITTEE:* Mourad Elloumi, LaTICE, University of Tunis, Tunisia (PC Chair) Emanuel Weitschek, Uninetuno University, Rome, Italy Daisuke Kihara, Purdue University, West Lafayette, USA Bhaskar DasGupta, University of Illinois at Chicago, Chicago, USA Giuseppe Lancia, University of Udine, Italy Dominique Lavenier, GenScale, IRISA-CNRS, Rennes, France Robert Harrison, Georgia State University, Atlanta, Georgia, USA Hasan Davulcu, Arizona State University, Arizona, USA Vladimir Makarenkov, University of Québec, Montréal, Canada Ronnie Alves, Instituto Tecnológico Vale D.S, Belém, Brasil Paul Yoo, Bournemouth University, UK Davide Verzzotto, Genome Institute of Singapore, Singapore Matteo Comin, University of Padova, Padova, Italy Adrien Goëffon, University of Angers, France Tolga Can, Middle East Technical University, Ankara, Turkey Hasan Oğul, Başkent University Ankara, Turkey Maad Shatnawi, Higher colleges of Technology, Abu Dhabi, UAE Evangelos Theodoridis, Intel Labs Europe, London, UK. Manoj Kumar Shukla, Amity School of Engineering, Amity University, Noida, India Abdelouahid Lyhyaoui, University Abdelmalek Essaadi, Tangier, Morocco Gaurav Kumar, Virginia Commonwealth University, Richmond, USA Giosuè Lo Bosco, University of Palermo, Italy Yongchao Liu, Georgia Institute of Technology, Georgia, USA Zina M. Ibrahim, King’s College, London, UK ***

1 0

22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Call for Participation
by Announce Announcements 21 Feb '17

21 Feb '17

** Call for Participation *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=Y29tcHV0YXRpb25hbC5zY2llbmNlCQ… ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. The conference brings together people from academia, industry and non-profit organizations and gives its participants the opportunity to present and see cutting-edge IUI work in a focused and interactive setting. It is large enough to be diverse and lively, but small enough to allow for extensive interaction among attendees and easy attendance to the events that the conference offers, ranging from oral paper presentations, poster sessions, workshops, panels and doctoral consortium for graduate students. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. The conference venue is the well known 5* beach hotel St. Raphael Resort, situated on one of the largest Blue Flag accredited beaches, only a short coastal drive from the lively centre of town, approximately 10 minutes away (http://www.raphael.com.cy) The Larnaca International Airport is 35 minutes away, and Paphos International Airport is 55 minutes away. There are shops, restaurants and bars within walking distance and a bus stop exactly outside the hotel. The conference organizers have secured very competitive rates for accommodation, both at the venue hotel as well as a number of other hotels at close distance (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=Y29tcHV0YXRpb25hbC5zY2llbmNlCQ…) In addition, the conference organization offers airport transfers to and from the hotels at very reasonable prices. This year IUI attracted an overwhelming number of submissions for all types of contributions (papers, posters, demos, etc.). The list of accepted contributions can be found here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=Y29tcHV0YXRpb25hbC5zY2llbmNlCQ… . The program will consist of paper presentations, posters and demos sessions, a Student Consortium and several workshops and tutorials. This exciting program will be further enhanced with 3 keynotes by the Distinguisheed ACM Speaker Panos Markopoulos (Eindhoven University of Technology), George Samaras (University of Cyprus) and Shumin Zhai (Google). The technical program will be complemented with a rich social program, including a welcome reception and a conference dinner at a local traditional Greek taverna with live entertainment. We cordially invite you to attend IUI 2017 and the co-located workshops and tutorials. Registration is open (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=Y29tcHV0YXRpb25hbC5zY2llbmNlCQ…) Committees General Chairs · Tsvika Kuflik, University of Haifa, Israel · George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Chairs · Fang Chen, NICTA, Australia · Carlos Duarte, University of Lisbon, Portugal · Wai-Tat Fu, University of Illinois at Urbana-Champaign, USA Program Committee http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=Y29tcHV0YXRpb25hbC5zY2llbmNlCQ… Posters/Demos Chairs · Andrina Granic, University of Split, Croatia · Denis Parra. PUC, Chile · Jingtaw Wang, University of Pittsburgh, USA Workshops/Tutorials Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA Student Consortium Chairs · Peter Brusilovsky, University of Pittsburgh, USA · Katrien Verbert, KULeuven, Belgium Student Volunteers Chairs · Christos Mettouris, University of Cyprus, Cyprus · Tobias Grosse-Puppendahl, Microsoft Research, UK · Julia Sheidin, University of Haifa, Israel Sponsorship Chairs · Daniel Sonntag, DFKI, Germany (for Europe) · Feng Tian, Institute of Software Chinese Academy of Sciences, China (for Asia) Treasurer · George A. Papadopoulos, University of Cyprus, Cyprus Proceedings Chair · Daniel Afergan, Google, USA Web Master · Marios Christou, Easy Conferences, Cyprus · Kyriakos Georgiades, Easy Conferences, Cyprus

1 0

Graphical Models for Security (GraMSec 2017) - CFP
by Barbara Kordy 20 Feb '17

20 Feb '17

CALL FOR PAPERS - GraMSec 2017 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 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 decided. 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 21, 2017 • 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

2 1