- computational.science - lists.iccsa.org

Deadline Extension - IoA@AAMAS'17
by Marco Lützenberger 09 Feb '17

09 Feb '17

=== DEADLINE EXTENSION === The Second International Workshop on the Internet of Agents (IoA) - In conjunction with AAMAS Conference 2017 - São Paulo, Brazil: May 8, 2017 - http://ioa.alqithami.com/2017/ - [ CALL FOR PAPER ] : Internet of Things (IoT) has recently gained much attention due to the overwhelming advantages it brings to our daily lives. The metaphor “Things" in an IoT does not only represent a variety of hardware, such as simple sensors, actuators or complex devices (e.g., vehicles, charging stations, heating control) it can also comprise pure software instances that might be service-oriented or data-driven. Thus, huge interoperable networks evolve producing large amounts of data and providing a tremendous quantity of services that are supposed to be handled in a distributed manner. An IoT offers the possibility to develop completely new cross-domain solutions but also comes with a lot of challenges for areas such as data aggregation, automated service selection or distributed planning. On the confluence between IoT and Multi-Agent Systems (MAS), there is a strong ongoing trend for the IoT to adapt to the intelligent nature/architecture of the MAS that we termed as “Internet of Agents” (IoA). The IoA workshop emphasizes on the current range of nascent network centric agents that operate on IoT infrastructures. From a broader point of view, this includes agents’ efforts to form collaborative units as well as the techniques and methodologies for constructing online agents that represent interests of their actual counterparts (e.g., hardware devices or sensors) and take actions autonomously. This workshop will reflect the impacts of the dynamic network proliferation and start of smart agent systems that exploit and explore opportunities heralded by the fast social-pace of interconnectivity. From a narrow point of view, we aim to collect, to present, and to discuss (practical) applications and cognitive foundations surrounding agent-based approaches that successfully overcome well-known challenges of software that operates on IoT environments in order to identify promising scenarios that motivate a broader use of agent-technology for the development of IoT-software. - [ WORKSHOP OBJECTIVES AND AREAS ] : The workshop seeks to attract papers concerning: - Presenting a formal or interdisciplinary architecture of IoA, - Discussing an experiment or prototype for IoA, - Providing a novel approach to IoA, or - Mapping an existing approach to IoA. This can be through a theoretical modeling, animation, simulation, or by presenting existing (real-world) applications. The topics of interest for the IoA workshop will comprise all technical issues that are related to IoT systems and can be solved via a (multi-)agent based approach. More concrete, these include but are not limited to: - Agents-based interactive environments - Architectures of cognitively reasoned things and interactions - Cooperation and collaboration mechanisms - Automated service discovery or selection - Quality-of-Service (QoS) and service composition - Computational models of distributed technologies - IoT/M2M applications and services employing MAS - Globalized networks and grid alliances - Network-centric warfare, individualism or organizations - IoA security including self-healing and self-protection - IoA monitoring and control including self-configuration/-adaption/-optimization Papers may address one or more of the listed topics, although authors should not feel limited by them. All topics and submission formats are open to both research and industry contributions. Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 16 pages. - [ IMPORTANT DATES ] : Submission DEADLINE: February 17, 2017 Notification of acceptance: March 2, 2017

1 0

Fully funded participation at the 2017 Global Scientist Forum in Shenzhen, China
by 姚新(YAO Xin) 08 Feb '17

08 Feb '17

2017 Global Scientist Forum March 18-20, 2017 Shenzhen, P. R. China I. Introduction The Global Scientist Forum at Southern University of Science and Technology (SUSTech) aims to provide a platform for academic exchanges and discussions among young scholars at home and abroad, to promote interdisciplinary and academic innovation, and to discuss the approach towards developing world-class universities and disciplines. Through the recruitment of world-class talents, we plan to develop SUSTech into a leading research university with unique characteristics in the world. We now invite qualified researchers to attend the 2017 Global Scientist Forum at SUSTech, Shenzhen on 18-20 March 2017. II. Minimum Requirements for Applicants (a) Under the age of 40 (b) A doctoral degree obtained from an internationally renowned university and institute; or a Ph.D from a Chinese university with 3+ years overseas working experiences. Research excellence is the most important criterion in selecting the candidates (i.e., Forum participants). We are particularly interested in candidates in the broad field of computer science and engineering. III. Forum Schedule Registration Date: March 18, 2017 Date of the Forum: March 19-20, 2017 IV. Application Procedure Application Deadline: 1 March 2017. Please submit your CV to institutional mailbox of SUSTech Academy for Advanced Interdisciplinary Studies (aais(a)sustc.edu.cn) and Department of Computer Science and Engineering (liuj6(a)sustc.edu.cn) with the subject line of "SUSTech Global Scientist Forum Application - Department of CSE". Successful applicants will be notified before March 10, 2017. V. Funding for Travel and Accommodation (a) Free accommodation and food will be provided. (b) Travels: All invited scholars should purchase their own tickets. We will provide travel subsidies of CNY 6,000-12,000 per person (depending on distance) for overseas scholars and CNY 5,000 per person for domestic ones. VI. Contact Information (a) Ms Jing Liu (Department of CSE), Tel: +86-75588015125, Email: liuj6(a)sustc.edu.cn (b) Dr Kun Yang (AAIS), Tel: +86-75588015717, Email: yangk(a)sustc.edu.cn (c) Dr Huihui Sun (AAIS), Tel: +86-755-88015716, Email: sunhh(a)sustc.edu.cn VII. Salary and Benefits for recipients of the "Thousand Youth Talents Program" SUSTech provides generous remuneration to recipients of the "Thousand Youth Talents Program" as well as one of the best working and living conditions in the sector. In addition to national research funds (CNY 1-3 million) and personal income subsidies (CNY 500,000), Guangdong Province will support each "Thousand Youth Talent" additional research funding of CNY 500,000 and additional personal income subsidy of CNY 250,000. Furthermore, Shenzhen City will provide each "Thousand Youth Talent" further research funding of CNY 5 million and further personal income subsidy of CNY 2 million ("Shenzhen peacock talent plan B"). On top of all these supports from the central, Guangdong and Shenzhen governments, SUSTech will also provide research funding of CNY 1 million. In addition, SUSTech will also fund one PhD studentship per year to every faculty member. In short, a recipient of the "Thousand Youth Talents Program" will receive a total of CNY 7.5-9.5 million research funding, and CNY 2.75 million personal income subsidies (which is on top of the highly competitive salaries offered by SUSTech). VIII. About SUSTech Southern University of Science and Technology is a public university founded in the Shenzhen Special Economic Zone of China. It is intended to be a top-tier international university that excels in interdisciplinary research, nurturing innovative talents and delivering new knowledge to the world. It has been widely regarded as a pioneer and innovator in moving China's higher education forward to match China's ever-growing role in the international arena. Currently, SUSTech has a total of 318 faculty members, including 14 academicians of CAS/CAE, 12 "Changjiang" scholars, 34 "Thousand Talents", and more than 60 "Thousand Youth Talents". In 2016, 14 scholars successfully gained the title of Thousand Youth Talents" by applying through SUSTech, which was ranked No. 9 among all universities and institutes in China. In 2016, SUSTech secured 197 research projects with total funds of CNY 372 million. In the "Nature Index 2016 Rising Stars" supplement, SUSTech ranked No. 62 among the top 100 institutions in the world with the most remarkable growth of high quality research papers (the growth rate is 2442.5%, ranking No. 3 in the world). IX. About Department of Computer Science and Engineering The Department of Computer Science and Engineering at SUSTech was founded in 2016. It currently has 12 professors, all of whom hold doctoral degrees or have years of experience in overseas universities. Among them, two were elected into the 1000 Talents Program in China; three are IEEE fellows; one IET fellow. The department is expected to grow to 50 tenure track faculty members eventually, in addition to teaching-only professors and research-only professors. Our current research strength is in artificial intelligence, with three IEEE Fellows in this field. We also have expertise in smart sensing, UAVs, cognitive robotics, big data analytics, parallel and distributed computing, smart cyber-physical systems, wireless networks and communications, mobile health, cryptography, service computing and software engineering. Our five strategic areas for future growth include: Artificial Intelligence; Data Science; Autonomous Systems and Cognitive Robotics; Computer Systems and Networks; Computing Theories. We have a strong PhD programme joint developed with some of the best technological universities in the world, including Hong Kong University of Science and Technology, the University of Hong Kong, National University of Singapore, University of Birmingham, University of Warwick, University of Leeds, University of Technology Sydney, etc. All our PhD students will spend at least one year in one of these overseas universities.

1 0

Subject: CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017)
by Cristina Alcaraz 06 Feb '17

06 Feb '17

================================================================================ *** Apologies for multiple copies *** C a l l F o r P a p e r s Twenty-second European Symposium on Research in Computer Security (ESORICS 2017) Oslo, Norway -- September 11-15, 2017 ================================================================================ WWW: https://www.ntnu.edu/web/esorics2017/ Overview ------------------------------------ ESORICS is the annual European research event in Computer Security. The Symposium started in 1990 and has been held in several European countries, attracting a wide international audience from both the academic and industrial communities. Papers offering novel research contributions in computer security are solicited for submission to the Symposium. The primary focus is on original, high quality, unpublished research and implementation experiences. We encourage submissions of papers discussing industrial research and development. Important Dates ------------------------------------ * Paper submission deadline: April 19, 2017 * Notification to authors: June 16, 2016 * Camera ready due: July 26, 2016 Topics of Interest ------------------------------------ Topics of interest include, but are not limited to: * access control * accountability * ad hoc networks * anonymity * applied cryptography * authentication * biometrics * data and computation integrity * database security * data protection * digital content protection * digital forensics * distributed systems security * embedded systems security * inference control * information hiding * identity management * information flow control * information security governance and management * intrusion detection * formal security methods * language-based security * network security * phishing and spam prevention * privacy * privacy preserving data mining * risk analysis and management * secure electronic voting * security architectures * security economics * security metrics * security models * security and privacy for big data * security and privacy in cloud scenarios * security and privacy in complex systems * security and privacy in content centric networking * security and privacy in crowdsourcing * security and privacy in the IoT * security and privacy in location services * security and privacy for mobile code * security and privacy in pervasive / ubiquitous computing * security and privacy policies * security and privacy in social networks * security and privacy in web services * security and privacy in cyber-physical systems * security, privacy and resilience in critical infrastructures * security verification * software security * systems security * trust models and management * trustworthy user devices * usable security and privacy * web security * wireless security Paper Submission Guidelines ------------------------------------ Submissions must be made through EasyChair at: https://easychair.org/conferences/?conf=esorics2017 Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with proceedings. The symposium proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS). All submissions should follow the LNCS template from the time they are submitted. Submitted papers should be at most 16 pages (using 10-point font), excluding the bibliography and well-marked appendices, and at most 20 pages total. Committee members are not required to read the appendices, so the paper should be intelligible without them. All submissions must be written in English. Submissions are to be made to the Submission web site. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Authors of accepted papers must guarantee that their papers will be presented at the conference. Papers must be received by the aforementioned dates, 11:59 p.m. American Samoa time (UTC-11). Organisation Committee ------------------------------------ General Chairs: * Einar Snekkenes, Norwegian University of Science and Technology (NTNU), Norway. Organization Chair: * Laura Georg, Norwegian University of Science and Technology (NTNU), Norway. Workshop Chair: * Sokratis Katsikas, Norwegian University of Science and Technology (NTNU), Norway. Program Committee Chairs: * Dieter Gollman, Technische Universität Hamburg-Harburg, Germany * Simon Foley, IMT Atlantique, France Program Committee: Gail-Joon Ahn, Arizona State University, USA Alessandro Armando, University of Genoa, Italy Michael Backes, Saarland University, Germany Giampaolo Bella, Università degli studi di Catania, Italy Elisa Bertino, Purdue University, USA Carlo Blundo, Università degli studi di Salerno, Italy Rainer Böhme, University of Innsbruck, Austria Colin Boyd, Norwegian University of Science and Technology, Norway Stefan Brunthaler, SBA Research, Austria Tom Chothia, University of Birmingham, UK Sherman S. M. Chow, Chinese University of Hong Kong, Hong Kong Mauro Conti, University of Padua, Italy Cas Cremers, University of Oxford, UK Frederic Cuppens, IMT Atlantique, France Nora Cuppens-Boulahia, IMT Atlantique, France Mads Dam, KTH, Sweden Sabrina De Capitani di Vimercati, Università degli studi di Milano, Italy Herve Debar, Telecom SudParis, France Roberto Di Pietro, Nokia Bell Labs, France Josep Domingo-Ferrer, Universitat Rovira i Virgili, Spain Wenliang Du, Syracuse University, USA Pavlos Efraimidis, Democritus University of Thrace, Greece Hannes Federrath, University of Hamburg, Germany Simone Fischer-Hübner, Karlstad University, Sweden Riccardo Focardi, Università Ca’ Foscari di Venezia, Italy Simon Foley, IMT Atlantique, France Sara Foresti, Università degli studi di Milano, Italy Katrin Franke, Norwegian University of Science and Technology, Norway Felix Freiling, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany Joaquin Garcia-Alfaro, Telecom ParisSud, France Dieter Gollmann, Hamburg University of Technology, Germany Dimitris Gritzalis, Athens University of Economics and Business, Greece Stefanos Gritzalis, University of the Aegean, Greece Joshua Guttman, Worcester Polytechnic Institute, USA Gerhard Hancke, City University of Hong Kong, China Marit Hansen, Unabhängiges Landeszentrum für Datenschutz Schleswig-Holstein, Germany Feng Hao, Newcastle University, UK Cormac Herley, Microsoft Research , USA Xinyi Huang, Fujian Normal University, China Michael Huth, Imperial College, UK Aaron D. Jaggard, U.S. Naval Research Laboratory, USA Sushil Jajodia, George Mason University, USA Limin Jia, Carnegie Mellon University, USA Wouter Joosen, KU Leuven, Belgium Vasilis Katos, Bournemouth University, UK Sokratis Katsikas, Norwegian University of Science and Technology, Norway Florian Kerschbaum, University of Waterloo, Canada Dogan Kesdogan, Universität Regensburg, Germany Kwangjo Kim, Korea Advanced Institute of Science and Technology, Korea Steve Kremer, INRIA Nancy-Grand Est, France Marina Krotofil, Honeywell, USA Ralf Küsters, University of Trier, Germany Junzuo Lai, Singapore Management University, Singapore Kwok-yan Lam, Nanyang Technological University, Singapore Costas Lambrinoudakis, University of Piraeus, Greece Peeter Laud, Cybernetica AS, Estonia Adam J. Lee, University of Pittsburgh, USA Gabriele Lenzini, University of Luxembourg, Luxembourg Yingjiu Li, Singapore Management University, Singapore Antonio Lioy, Politecnico di Torino, Italy Peng Liu, The Pennsylvania State University, USA Javier Lopez, University of Malaga, Spain Antonio Maña, University of Malaga, Spain Pratyusa K. Manadhata, Hewlett Packard Labs, USA Luigi V. Mancini, "Universita di Roma ""La Sapienza""", Italy Heiko Mantel, TU Darmstadt, Germany Olivier Markowitch, Université Libre de Bruxelles, Belgium Fabio Martinelli, IIT-CNR, Italy Sjouke Mauw, University of Luxembourg, Luxembourg Catherine Meadows, Naval Research Laboratory, USA John Mitchell, Stanford University, USA Aikaterini Mitrokotsa, Chalmers University of Technology, Sweden Refik Molva, EURECOM, France Charles Morisset, Newcastle University, UK Rolf Oppliger, eSECURITY Technologies, Switzerland Stefano Paraboschi, Università di Bergamo, Italy Dusko Pavlovic, University of Hawaii, USA Günther Pernul, Universität Regensburg, Germany David Pichardie, ENS-IRISA, Rennes Frank Piessens , Katholieke Universiteit Leuven, Belgium Wolter Pieters, Delft University of Technology, The Netherlands Michalis Polychronakis, Stonybrook University, USA Christina Pöpper, NYU Abu Dhabi, UAE Joachim Posegga, University of Passau, Germany Christian Probst, Technical University of Denmark, Denmark Kai Rannenberg, Goeth University, Germany Awais Rashid, Lancaster University, UK Indrajiti Ray, Colorado State University, USA Kui Ren, State University of New York at Buffalo, USA Mark Ryan, University of Birmingham, UK Peter Y.A. Ryan, University of Luxembourg, Luxembourg Rene Rydhof Hansen, Aarhus University, Denmark Andrei Sabelfeld, Chalmers University of Technology, Sweden Rei Safavi-Naini, University of Calgary, Canada Pierangela Samarati, Universitá degli studi di Milano, Italy Ravi Sandhu, University of Texas at San Antonio, USA Ralf Sasse, ETH Zürich, Switzerland Nitesh Saxena, University of Alabama at Birmingham, USA Andreas Schaad, Huawei European Research Center, Germany Steve Schneider, University of Surrey, UK Basit Shafiq, Lahore University of Management Sciences, Pakistan Einar Snekkenes, Norwegian University of Science and Technology, Norway Willy Susilo, University of Wollongong, Australia Krzysztof Szczypiorski, Warsaw University of Technology, Poland Björn Tackmann, IBM Research, Switzerland Qiang Tang, New Jersey Institute of Technology, USA Nils Ole Tippenhauer, Singapore University of Technology and Design, Singapore jaideep Tsochou, Ionion University, Greece Vijay Varadharajan, Macquarie University, Australia Luca Viganò, King's College London, UK Michael Waidner, Fraunhofer SIT & TU Darmstadt, Germany Cong Wang, City University of Hong Kong, China Ben Smyth, Huawei, France Edgar Weippl, SBA Research, Austria Stephen Wolthusen, Royal Holloway university, UK Christos Xenakis, University of Piraeus, Greece Jeff Yan, Lancaster University, UK Meng Yu, University of Texas at San Antonio, USA Ben Zhao, University of California at Santa Barbara, USA Jianying Zhou, Institute for Infocomm Research, Singapore Jörg Schwenk, Ruhr-Universität, Bochum Publicity Chair * Cristina Alcaraz, University of Malaga, Spain

1 0

GECCO 2017 Workshop "Evolutionary Computation in Computational Biology"
by José Santos Reyes 06 Feb '17

06 Feb '17

GECCO 2017 Workshop “ Evolutionary Computation in Computational Biology” http://eccsb2017.irlab.org/ http://gecco-2017.sigevo.org/index.html/HomePage In the last two decades, many computer scientists in Artificial Intelligence have made significant contributions to modeling biological systems as a means of understanding the molecular basis of mechanisms in the healthy and diseased cell. The field of computational biology includes the development and application of data-analytical and theoretical methods, mathematical modeling and computational simulation techniques to the study of biological, behavioral, and social systems . The focus of this workshop is the use of nature-inspired approaches to central problems in computational biology, including optimization methods under the umbrella of evolutionary computation. Areas of interest include (but are not restricted to): * Genome and sequence analysis with nature-inspired approaches. * Computational systems biology. * Biological network modeling and analysis. * Use of artificial life models like cellular automata or Lindenmayer systems in the modeling of biological problems. * Study and analysis of properties of biological systems like self-organization, self-assembled systems, emergent behavior or morphogenesis. * Hybrid approaches and memetic algorithms in the modeling of computational biology problems. * Multi-objective approaches in the modeling of computational biology problems. * Use of natural and evolutionary computation algorithms in protein structure classification and prediction (secondary and tertiary). * Mapping of protein and peptide energy landscapes. * Modeling of temporal folding of proteins. * Protein design. * Protein-ligand and protein-protein docking. * Stability and dynamics of biomolecular systems. * Applications in atomic clusters: Water clusters, Leonard Jones clusters, metal clusters, etc. * Applications in cellular systems: micelle, single organisms, bacterial cells, etc. * Applications in stem cell differentiation and development, lineage programming and cell fates. * Evolutionary search strategies to assist cryo-electron microscopy and other experimental techniques in model building. * Surrogate models and stochastic approximations of computationally expensive fitness functions of biomolecular systems. -- José Santos Reyes Departamento de Computación Facultad de Informática Universidad de A Coruña tf: 981167000 Ext 1257 http://www.dc.fi.udc.es/ai/~santos/santos.html

1 0

LATA 2017: call for participation
by GRLMC 05 Feb '17

05 Feb '17

LATA 2017: call for participation****************************************************************************** 11th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2017 Umeå, Sweden March 6-9, 2017 Organized by: Department of Computing Science Umeå University Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/LATA2017/ ****************************************************************************** PROGRAM Monday, March 6 09:00 - 09:30 Registration 09:30 - 09:40 Opening 09:40 - 10:30 Thomas Wilke: Finite Backward Deterministic Automata on Infinite Words - Invited Lecture 10:30 - 11:00 Coffee Break 11:00 - 12:15 Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann: A Stable Non-interleaving Early Operational Semantics for the Pi-calculus Adam Jardine, Kevin McMullin: Efficient Learning of Tier-based Strictly k-Local Languages Makoto Kanazawa, Ryo Yoshinaka: The Strong, Weak, and Very Weak Finite Context and Kernel Properties 12:15 - 13:45 Lunch 13:45 - 15:00 Benedikt Brütsch, Patrick Landwehr, Wolfgang Thomas: N-Memory Automata Over the Alphabet N Lisa Hutschenreiter, Rafael Peñaloza: An Automata View to Goal-directed Methods Ruggero Lanotte, Massimo Merro: A Calculus of Cyber-Physical Systems 15:00 - 15:15 Break 15:15 - 16:30 Costas S. Iliopoulos, Ritu Kundu, Solon P. Pissis: Efficient Pattern Matching in Elastic-Degenerate Texts Shmuel Tomi Klein, Dana Shapira: Integrated Encryption in Dynamic Arithmetic Compression Manasi S. Kulkarni, Kalpana Mahalingam: Two-Dimensional Palindromes and Their Properties --- Tuesday, March 7 09:00 - 09:50 Georg Gottlob, Christoph Koch, Andreas Pieris: Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data - Invited Lecture 09:50 - 10:20 Coffee Break 10:20 - 11:35 Janusz A. Brzozowski, Corwin Sinnamon: Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek, Heribert Vollmer: On the Complexity of Hard Enumeration Problems Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa: Consensus String Problem for Multiple Regular Languages 11:35 - 13:05 Lunch 13:05 - 14:20 Johannes Schmidt: The Weight in Enumeration Johanna Björklund, Loek Cleophas: Minimization of Finite State Automata Through Partition Aggregation Haiming Chen, Ping Lu: Derivatives and Finite Automata of Expressions in Star Normal Form 14:20 - 14:35 Break and Group Photo 14:35 - 15:50 Henk Don, Hans Zantema: Finding DFAs with Maximal Shortest Synchronizing Word Length Hellis Tamm, Brink Van Der Merwe: Lower Bound Methods for the Size of Nondeterministic Finite Automata Revisited Dusan Knop: Partitioning Graphs into Induced Subgraphs 16:00 - 18:00 Touristic Visit --- Wednesday, March 8 09:00 - 09:50 Franz Baader, Oliver Fernández Gil, Pavlos Marantidis: Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL0 - Invited Lecture 09:50 - 10:20 Coffee Break 10:20 - 11:35 Nariyoshi Chida, Kimio Kuramitsu: Linear Parsing Expression Grammars Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan: On Finite-Index Indexed Grammars and Their Restrictions Mark-Jan Nederhof, Anssi Yli-Jyrä: A Derivational Model of Discontinuous Parsing 11:35 - 13:05 Lunch 13:05 - 14:20 Jirí Síma, Petr Savický: Cut Languages in Rational Bases Giovanni Casu, G. Michele Pinna: Merging Relations: a Way to Compact Petri Nets' Behaviors Uniformly Vidhya Ramaswamy, Jayalal Sarma, K. S. Sunil: Space Complexity of Reachability Testing in Labelled Graphs 14:20 - 14:35 Break 14:35 - 15:50 Dick Grune, Wan Fokkink, Evangelos Chatzikalymnios, Brinio Hond, Peter Rutgers: Detecting Useless Transitions in Pushdown Automata Chunmiao Li, Xiaojuan Cai: Hardness Results for Coverability Problem of Well-Structured Pushdown Systems Adrien Pommellet, Marcio Diaz, Tayssir Touili: Reachability Analysis of Pushdown Systems with an Upper Stack --- Thursday, March 9 09:00 - 09:50 Harald Beck, Minh Dao-Tran, Thomas Eiter: LARS Stream Reasoning and Temporal Logic - Invited Lecture 09:50 - 10:20 Coffee Break 10:20 - 11:10 Davide Bresolin, Ivan Lanese: Most General Property-Preserving Updates Bernd Gärtner, Ahad Noori Zehmakan: Color War: Cellular Automata with Majority Rule 11:10 - 11:25 Break 11:25 - 12:15 Stefan Gerdjikov, Stoyan Mihov: Over which Monoids is the Transducer Determinization Procedure Applicable? Mika Hirvensalo, Etienne Moutot and Abuzer Yakarylmaz: On the Computational Power of Affine Automata 12:15 - 12:25 Closing 12:25 - 13:55 Lunch

1 0

9th International Conference on Computational Collective Intelligence (ICCCI 2017): Fourth Call for Papers
by Announce Announcements 05 Feb '17

05 Feb '17

*** Fourth Call for Papers *** 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… 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. Instructions to Authors Prospective authors of papers are invited to submit contributions for presentations at ICCCI 2017. The submissions should present the results of original research or innovative practical applications relevant to the conference topics. Practical experiences with state-of-the-art in CCI methodologies are also acceptable to reflect lessons of unique value for the conference attendees. Contributions should be original and not published elsewhere or intended to be published during the review process. The conference language is English. The conference proceedings of ICCCI 2017 will be published in the prestigious Lecture Notes in Artificial Intelligence series by Springer and indexed by ISI(CPCI-S), Web of Science, EI, Scopus, DBLP, ACM Digital Library. All submissions should follow the LNCS/LNAI style and not exceed 10 pages. At least one full registration is required for each accepted paper in order to be included in the ICCCI 2017 proceedings. Each paper is to be submitted electronically as a single PDF file through EasyChair at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=Y29tcHV0YXRpb25hbC5zY2llbmNlCQ… . To ensure high quality, all papers will be thoroughly reviewed by the ICCCI 2017 International Program Committee. Referees will be asked to nominate papers for a Best Paper award to be announced at the conference. All accepted papers must be presented by one of the authors who must register for the conference and pay the author registration fee. A selected number of accepted and personally presented papers, will be expanded and revised for possible inclusion in special issues of high quality scientific journals. 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 Important Dates · Submission of Papers: April 1, 2017 · Notification of Acceptance: May 1, 2017 · Camera-ready Submission: May 15, 2017 · Registration and Payment for Authors: June 15, 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 Jedrzejowicz, 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 Jedrzejowicz, 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

[simu-conf] Winter Simulation Conference 2017 - Call for Papers
by vsim-conf＠sce.carleton.ca 03 Feb '17

03 Feb '17

Winter Simulation Conference (WSC) 2017 - Call for Papers December 3-6, 2017 Red Rock Casino Resort & Spa. Las Vegas, NV http://www.wintersim.org WSC TURNS 50: SIMULATION EVERYWHERE! After 50 years, we are now beyond Modeling and Simulation using Grid and Cloud computing, Web-based and distributed simulation and other recent technologies. We need to deal with computing power and storage in heterogeneous environments, resources virtualization; services consumed on demand (with minimal limitation for resource location), power issues, massive datasets. We face new challenges as we have ubiquitous processors that can process applications on demand. PROGRAM WSC 2017 features a comprehensive program ranging from introductory tutorials to state-of-the-art research and practice, a PhD Colloquium, Poster Session, Vendor and Case Studies tracks. WSC 2017 also incorporates MASM, the leading modeling and analysis conference for global semiconductor manufacturing and supply chain. 50TH ANNIVERSARY KEYNOTES Keynote Speaker: Barry L Nelson - Northwestern University Titans Robert G. Sargent - Syracuse University Bernard P. Zeigler - University of Arizona PAPER DEADLINES & REQUIREMENTS All contributed paper submissions will be peer reviewed. Accepted papers will be indexed in IEEE Xplore, ACM DL, and others. Contributed Paper Deadlines - April 7, 2017: submission deadline. - June 2, 2017: Notification of acceptance. - June 30, 2017: Ready Camera Version. - July 15, 2017: Final manuscript. Registration deadline: November 3, 2017. WSC 2017 is sponsored by: ACM/SIGSIM, IISE, INFORMS-SIM and SCS, with Technical Co-Sponsorship from ASA, ASIM, IEEE/SMC and NIST. [problems/issues: contact vsim-conf-owner(a)sce.carleton.ca <mailto:vsim-conf-owner@sce.carleton.ca> - apologies for multiple postings]

1 0

CFP: Second IEEE Workshop on Smart Service Systems (SmartSys), Hong Kong, May 29, 2017
by Sreenivasan Ramasamy Ramamurthy 03 Feb '17

03 Feb '17

[We apologize if you receive multiple copies of this CFP.] ------------------------------------------------------------ ----------------------------------------------------------- CALL FOR PAPERS - IEEE SmartSys 2017 Second IEEE Workshop on Smart Service Systems (SmartSys) Co-located with the IEEE International Conference on Smart Computing (SMARTCOMP 2017) Hong Kong, May 29th, 2017 http://mpsc.umbc.edu/smartsys17/ ------------------------------------------------------------ ----------------------------------------------------------- Technology succeeds when it provides benefits to the society either directly or indirectly. Understanding the societal and economic impact and human-centered aspects of a smart system or technology in advance and designing the system a-priori with potential value-added services help spur the discoveries of new tools, methodologies and innovative services. Smart service systems span across a variety of socio-technical facets comprising of devices, people, organizations, environments, and technologies to sense, actuate, control and assess the physical, cyber and societal artifacts of the human service systems. Besides the systems being self-adaptive and fault-tolerant, need to be designed in such a way that it can continuously increase the quality and productivity, the compliance and sustainability of the smart services it offers. While human-centered perspective and cognitive learning help create multi-facet value added services and catalyze the sustained economic growth of smart service systems, understanding the multi-modal sensing, control, heterogeneity and interdependency between different physical, virtual and logical components of such a complex system will enable the realization of new transformative smarter service systems. If successful, this can help improve the quality-of-service of the customers, quality-of-life of the citizens and quality-of returns of the stakeholders and investors. Nurturing the development of smart service systems seeks for inter- and trans-disciplinary crosscutting research threads from system and operational engineering, computer science and information systems, social and behavioral science, computational modeling and industrial engineering etc. The goal of this workshop is to bring together practitioners and researchers from both academia and industry in order to have a forum for discussion and technical presentations on the fundamental knowledge and principles of smart service systems that enable the value co-creation in sensing, actuating, data analytics, learning, cognition, and control of human centric cyber-physical-social systems. Research contributions are solicited in all areas pertinent to smart human services and systems, including: • Innovative tools, methodologies and solutions for smart service systems; example includes personalized healthcare, smart energy, smart cities, smart manufacturing, intelligent transportation, education, precision medicine and agriculture, national security etc. • Information extraction and interpretation from sensors, actuators, smart phones, smart watch, and human • Context and situational-awareness of smart service systems • Design of people-centric services and technologies for providing better services such as food, transportation and places to live • Novel architectures and interoperable solutions for internet of things • Models and methodologies for designing systems of systems • Big data analytics approaches for providing better customer services, and innovating new types of sustainable services • Modeling, analysis, co-production, and co-evolution of human activity, behavior and interaction for the effective adaptation and percolation of longitudinal smart service systems • Role of machine learning, artificial intelligence, robotics, pervasive computing, control theory, information and communications technologies • Design and developments of intelligent systems, intelligent enterprises and cyber-physical-social-systems • Design of inter-dependent complex global systems such as healthcare, smart gird, computer networks, logistics and supply-chains, financial markets etc. • Smart infrastructure and testbed to support the integration of autonomous systems and innovative applications ------------------------------------------------------------ ----------------------------------------------------------- *Important Dates* Paper submission: March 11th, 2017 Notification: April 8th, 2017 Camera Ready: May 6th, 2017 Workshop Date: May 29th, 2017 ------------------------------------------------------------ ----------------------------------------------------------- *Organizing Committees* *Workshop Co-Organizers* Nirmalya Roy, University of Maryland, Baltimore County Gurdip Singh, Syracuse University Sajal Das, Missouri University of Science and Technology ------------------------------------------------------------ ----------------------------------------------------------- *Publicity Co-Chairs* Sreenivasan Ramasamy Ramamurthy, University of Maryland, Baltimore County ------------------------------------------------------------ ----------------------------------------------------------- *Technical Program Committee* Sheikh Iqbal Ahamed, Marquette University, USA Jiannong Cao, Hong Kong Polytechnic University, Hong Kong Diane Cook, Washington State University Salvatore Distefano, University of Messina, Italy Abhishek Dubey, Vanderbilt University Aryya Gangopadhyay, University of Maryland, Baltimore County Paul P. Maglio, University of California, Merced, USA Enzo Mingozzi, University of Pisa, Italy Arpan Pal, TCS Innovation Lab, India Simone Silvestri, Missouri University of Science and Technology, USA Desheng Zhang, Rutgers University, USA Mi Zhang, Michigan State University ------------------------------------------------------------ -----------------------------------------------------------

1 0

Call for papers - Workshop on Management of Cloud and Smart City Systems (MoCS 2017)
by Dario Russo 03 Feb '17

03 Feb '17

Call for papers Seventh Workshop on Management of Cloud and Smart City Systems (MoCS 2017) http://mocs.disi.unibo.it/ July 3rd, 2017, Heraklion, Crete, Greece Organized by: National Research Council of Italy University of Messina, Italy in association with: The Twenty-Second IEEE Symposium on Computers and Communications (ISCC 2017) Important Dates --------------- Submission: March 27, 2017 Notification: April 17, 2017 Camera-ready: April 24, 2017 Workshop: July 3, 2017 Scope and topics ---------------- The low cost of hardware components and the rapid growth of a business model for Cloud services are two important drivers for the success of the Cloud. Nevertheless, most of the players today require also to analyze data available on the Cloud with a holistic approach provided often by data mining techniques. Under this respect, services designed for complex scenarios like Smart Cities benefit of this new Cloud era. The objective is to track and comprehend the flow of novelty in Cloud systems and to put on the foreground all the features and related issues, with a particular attention to the convergence of Cloud systems together with Smart City systems and on the (re)use of open Cloud platforms for designing services for Smart Cities. Topics of interest include, but are not limited to the following: - Experiences on the use of Cloud systems when applied to services designed for Smart Cities; - Analytical and simulation models and tools to measure systems scalability and to achieve resource saving in socio-technical Smart City systems - Novel adaptive management solutions for scalable, maintainable, cost- effective - Cloud provision, at all software stack layers; - New models and paradigms for the management of Cloud services at the host level, within/between data centres (intra- /inter-domain); - Big Data flows processing for Smart City scenarios; - Relationship between IoT and Cloud systems in Smart City scenarios; - (Re)use of open Cloud-integrated platforms for the design of Smart Cities services. Submission Guidelines --------------------- Papers should be written in English. Manuscripts should not exceed 6 pages in the IEEE proceedings style, including all figures, tables and references. To submit a paper, please follow the instructions on the Workshop web site. The Workshop Proceedings will be part of the ISCC 2017 Proceedings and will submitted for publication to IEEE Xplore (http://ieeexplore.ieee.org) Contacts -------- Michele Girolami: michele.girolami(a)isti.cnr.it Maria Fazio: mfazio(a)unime.it

1 0

Call for Papers - 14th International Conference on Security and Cryptography (SECRYPT 2017)
by SECRYPT 2017 02 Feb '17

02 Feb '17

CALL FOR PAPERS ************************************************************************ 14th International Conference on Security and Cryptography (SECRYPT 2017) Madrid, Spain, 24-26 July 2017 http://secrypt.icete.org ************************************************************************ SECRYPT is an annual international conference covering research in information and communication security. The 14th International Conference on Security and Cryptography (SECRYPT 2017) will be held in Madrid, Spain, July 24-26, 2017. The conference seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of data protection, privacy, security, and cryptography. Papers describing the application of security technology, the implementation of systems, and lessons learned are also encouraged. The conference topics include, but are not limited to: Access Control Applied Cryptography Biometrics Security and Privacy Critical Infrastructure Protection Data Integrity Data Protection Database Security and Privacy Digital Forensics Digital Rights Management Ethical and Legal Implications of Security and Privacy Formal Methods for Security Human Factors and Human Behavior Recognition Techniques Identification, Authentication and Non-repudiation Identity Management Information Hiding Information Systems Auditing Insider Threats and Countermeasures Intellectual Property Protection Intrusion Detection & Prevention Management of Computing Security Network Security Organizational Security Policies Peer-to-Peer Security Personal Data Protection for Information Systems Privacy Privacy Enhancing Technologies Reliability and Dependability Risk Assessment Secure Software Development Methodologies Security and privacy in Complex Systems Security and Privacy in Crowdsourcing Security and Privacy in IT Outsourcing Security and Privacy in Location-based Services Security and Privacy in Mobile Systems Security and Privacy in Pervasive/Ubiquitous Computing Security and Privacy in Smart Grids Security and Privacy in Social Networks Security and Privacy in the Cloud Security and Privacy in Web Services Security and Privacy Policies Security Area Control Security Deployment Security Engineering Security in Distributed Systems Security Information Systems Architecture Security Management Security Metrics and Measurement Security Protocols Security requirements Security Verification and Validation Sensor and Mobile Ad Hoc Network Security Service and Systems Design and QoS Network Security Software Security Trust management and Reputation Systems Ubiquitous Computing Security Wireless Network Security PAPER SUBMISSIONS Submitted papers must be in English and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Submissions are to be made to the submission web site at http://www.insticc.org/primoris/. Papers can be submitted as REGULAR or POSITION papers. - REGULAR Paper: Regular papers present work where research is completed. They can be up to 12 pages. Authors of regular submitted papers will indicate at the time of submission whether they would like their paper to also be considered for publication as a position paper. - POSITION Paper: A position paper presents results that are preliminary or that simply require fewer pages to describe. A position paper may be a short report and discussion of ideas, facts, situations, methods, procedures or results of scientific research (theoretical or experimental) on one of the conference topics. The acceptance of a position paper is restricted to the categories of "short paper". Submitted papers must be formatted according to the SECRYPT format, which is described at http://secrypt.icete.org/Guidelines.aspx Submission page limit is 12 pages for regular paper and 8 pages for position papers. Accepted papers will be subject to the limit of: 12 pages for full papers, 8 pages for short papers with oral presentation, and 6 pages for short papers with poster presentation. Authors of accepted papers must guarantee that their papers will be presented at the conference. All papers presented in the conference will be published in the conference proceedings and in the digital library. IMPORTANT DATES Regular and Position Papers - Paper Submission: March 2, 2017 - Authors Notification: May 3, 2017 - Camera Ready and Registration: May 17, 2017 Second call for Position Papers only: - Paper Submission: April 18, 2017 - Authors Notification: May 24, 2017 - Camera Ready and Registration: June 6, 2017 PROGRAM CHAIR Pierangela Samarati, Universita' degli Studi di Milano, Italy PROGRAM COMMITTEE Luis Antunes, U. Porto, Portugal, Portugal Alessandro Armando, FBK, Italy Prithvi Bisht, Adobe, United States Carlo Blundo, Universita' di Salerno, Italy Francesco Buccafurri, University of Reggio Calabria, Italy Dario Catalano, Universita' di Catania, Italy Frederic Cuppens, TELECOM Bretagne, France Nora Cuppens-Boulahia, TELECOM Bretagne, France Jun Dai, California State University, United States Sabrina De Capitani di Vimercati, Universita' degli Studi di Milano, Italy Roberto Di Pietro, Universita' di Roma Tre, Italy Tassos Dimitriou, Computer Technology Institute, Greece and Kuwait University, Kuwait Josep Domingo-Ferrer, Universitat Rovira i Virgili, Spain Ruggero Donida Labati, Universita' degli Studi di Milano, Italy Alberto Ferrante, Universita' della Svizzera Italiana, Switzerland Josep-Lluis Ferrer-Gomila, Balearic Islands University, Spain William M. Fitzgerald, Johnson Controls (Tyco), Ireland Sara Foresti, Universita' degli Studi di Milano, Italy Steven Furnell, Plymouth University, United Kingdom Joaquin Garcia-Alfaro, Institut Mines-Telecom, TELECOM SudParis, France Angelo Genovese, Universita' degli Studi di Milano, Italy Dimitris Gritzalis, AUEB, Greece Stefanos Gritzalis, University of the Aegean, Greece Murat Kantarcioglu, University of Texas at Dallas, United States Sokratis Katsikas, Norwegian University of Science and Technology, Norway Shinsaku Kiyomoto, KDDI Research Inc., Japan Costas Lambrinoudakis, University of Piraeus, Greece Albert Levi, Sabanci University, Turkey Giovanni Livraga, Universita degli Studi di Milano, Italy Javier Lopez, University of Malaga, Spain Haibing Lu, Santa Clara University, United States Evangelos Markatos, ICS, Forth, Greece Olivier Markowitch, Universite' Libre de Bruxelles, Belgium Fabio Martinelli, Consiglio Nazionale delle Ricerche, Italy Vashek Matyas, Masaryk University, Czech Republic Refik Molva, Eurecom, France Eiji Okamoto, University of Tsukuba, Japan Rolf Oppliger, eSECURITY Technologies, Switzerland Stefano Paraboschi, University of Bergamo, Italy Gerardo Pelosi, Politecnico di Milano, Italy Günther Pernul, University of Regensburg, Germany Silvio Ranise, Fondazione Bruno Kessler, Italy Indrajit Ray, Colorado State University, United States Indrakshi Ray, Colorado State University, United States Nuno Santos, INESC, Portugal Andreas Schaad, Huawei European Research Center, Germany Cristina Serban, AT&T, United States Daniele Sgandurra, Imperial College, London, United Kingdom Juan Tapiador, Universidad Carlos III de Madrid, Spain Vicenc Torra, University of Skovde, Sweden Jaideep Vaidya, Rutgers Business School, United States Corrado Aaron Visaggio, University of Salerno, Italy Ivan Visconti, University of Salerno, Italy Haining Wang, The College of William and Mary, United States Lingyu Wang, Concordia University, Canada Xinyuan (Frank) Wang, George Mason University, United States Edgar Weippl, SBA Research, Austria Qiben Yan, University of Nebraska Lincoln, United States Meng Yu, Virginia Commonwealth University, United States Shui Yu, Deakin University, Australia Jiawei Yuan, Embry-Riddle Aeronautical University, United States Lei Zhang, Thomson Reuters, United States Yongjun Zhao, The Chinese University of Hong Kong, Hong Kong Jianying Zhou, Institute for Infocomm Research, Singapore For any questions, please contact the program chair: secrypt2017(a)unimi.it

1 0