computational.science February 2017

computational.science@lists.iccsa.org

43 participants
65 discussions

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

session in track "Metaheuristics and Machine Learning"
by talbi 02 Feb '17

02 Feb '17

Special Session on "*Synergy between optimization and simulation*" in track "*Metaheuristics and Machine Learning"* In conjunction with *Metaheuristics International Conference (MIC 2017)* Barcelona, Spain, July 4th-7th 2017 Submission deadline: February 15, 2017 *SCOPE AND OBJECTIVES* Most real-world problems are complex and stochastic and, thus, hard to approach. Such problems originate from a wide range of areas including manufacturing and production, logistics and supply chain management, healthcare, and many more. Simulation and optimization have traditionally been considered separately as alternative approaches to deal with such problems. The recent advances in computational power have promoted the proliferation of hybrid techniques that combine both approaches. This special session seeks to provide an opportunity for researchers to present their original contributions on the joint use of advanced single- and multi-objective metaheuristics and simulation based for instance on surrogate models, their applications in different fields including the above ones, their integration in simulation software, their parallelization on various hardware platforms (multi-core processors, coprocessors such as GPU and Xeon Phi, clusters, etc.), and any related issues. *INSTRUCTIONS FOR PAPER SUBMISSIONS* Authors are encouraged to submit unpublished and outstanding original contributions.Submissions are only electronic, in PDF format, using the EasyChair system. They are welcome in any of the three categories S1-S3: ** S1) Original research contributions for publication in the conference proceedings of a maximum of 10 pages. S2) Extended abstracts of work-in-progress of a maximum of 3 pages. S3) High-quality manuscripts that have recently, within the last six months, been submitted or accepted for journal publication. All submitted papers will be peer reviewed. They must follow the submission guidelines below. Accepted papers will be published in the online proceedings that will be available at the conference. Accepted contributions of categories S1 and S2 will be published in the MIC 2017 conference proceedings. Accepted contributions of category S3 will be orally presented at the conference, but not be included into the conference proceedings. *Submission Guidelines* Authors are invited to submit papers to both the general and the special sessions. During submission, authors will be required to specify which track they are submitting their paper to. Submitted papers (both regular and special sessions) must be formatted according to MIC/MAEB 2017 guidelines. Full instructions including formatting guidelines and electronic templates (both LaTeX and Microsoft Word) are available below. Submission is only electronic, in PDF format, using the *EasyChair system link*: https://easychair.org/conferences/?conf=mic2017 At least one author of each accepted paper and poster is required to attend the conference to present the work. Authors will be required to agree to this requirement at the time of submission. Only one paper or poster per registered author will be accepted (one author cannot present a paper and a poster at the conference, only one type of presentation). All papers are due electronically by the deadline reported below. Submissions that do not meet the length or formatting requirements will not be accepted for review. No email or fax submissions will be accepted. Notification of receipt of an electronically submitted paper will be emailed to the designated contact author soon after receipt. If there are problems with the electronic submission, the program chairs will contact the designated author by email. *Final version submission* The final version in PDF format should be upload via EASY CHAIR. There is no copyright. *Electronic templates* The electronic templates for formatting the papers are available in the following formats. Please follow the formatting guidelines for correctly typesetting the paper. ** ·File mic2017Latex.zip <http://mic2017.upf.edu/wp-content/uploads/2016/09/mic2017Latex.zip> contains all the necessary files to generate the pdf manuscript with Latex. Specifically, oClass file (mic2017.cls): This file requires also additional files (graphicx.sty, geometry.sty, times.sty, babel.sty, fancyhdr.sty), which are usually included in the most common LaTeX distributions. oExample LaTeX template (example.tex). oExample BibTeX file (example.bib). oExample graphics (mic.eps / mic.pdf). ·File mic2017Word.zip <http://mic2017.upf.edu/wp-content/uploads/2016/09/mic2017Word.zip> contains all the necessary files to generate the pdf manuscript with Microsoft Word. Specifically: oTemplate (mic2015.dot). oDocument (mic2015.doc) oExample graphics (mic.eps / mic.pdf) *Poster Session and Ph.D Colloquium*** A Poster Session will be held during the conference where posters will exhibited for informal browsing with opportunities for individual discussion with their authors. The Ph.D. Colloquium addresses Ph.D. students that are within one year of their graduation (planning to graduate around July 2018). Students close to graduation will be given an opportunity to showcase their work during a short presentation session in the Colloquium, and in this way obtain valuable feedback and introduce yourself to a network that can be of important relevance in your career. The submission for the *Poster Session and the Ph.D Colloquium *should be of format S2) Extended abstracts of work-in-progress of a maximum of 3 pages. *IMPORTANT DATES* *Submission deadline*: February 15, 2017 *Notification of acceptance*: February 27, 2017 *Camera-ready papers*: March 6, 2017 *Early registration due date*: March 31, 2017 *Conference*: July 4-7 2017 *SPECIAL SESSION ORGANIZERS* *Nouredine Melab* Université Lille 1/INRIA Lille - Nord Europe/CNRS CRIStAL Lille, France Email: nouredine.melab(a)univ-lille1.fr <mailto:nouredine.melab@univ-lille1.fr> * El-Ghazali Talbi *Université Lille 1/INRIA Lille - Nord Europe/CNRS CRIStAL Lille, France Email: el-ghazali.talbi(a)univ-lille1.fr <mailto:%C2%A0el-ghazali.talbi@univ-lille1.fr> __ *Peter Korošec* Jožef Stefan Institute <http://www.ijs.si/> Ljubljana, Slovenia Email: peter.korosec(a)ijs.si <mailto:peter.korosec@ijs.si> *Boris Naujoks* TH Köln, University of Applied Sciences, Faculty of Computer Science and Engineering Science Gummersbach, Germany Email: boris.naujoks(a)th-koeln.de

1 0

CALL FOR PAPERS: MSIAAS@SCSC’17
by Marco Lützenberger 02 Feb '17

02 Feb '17

CALL FOR PAPERS: MSIAAS@SCSC’17 ===== Modeling and Simulation of Intelligent, Adaptive and Autonomous Systems Track (MSIAAS’17) ===== - held at the 49th Summer Computer Simulation Conference (SCSC 2017) - July 9-12, 2017 - Bellevue, Washington, US - http://scs.org/wp-content/uploads/2016/01/CFP_MSIAAS-v2.pdf === TRACK DESCRIPTION === The increasing popularity of the Internet of Things, or IoT metaphor emphasizes that heterogeneous systems are the norm today. A system deployed in a netcentric environment eventually becomes a part of a system of systems (SoS). This SoS also incorporates adaptive and autonomous elements (such as systems that have different levels of autonomy and situated behavior). This makes design, analysis and testing for the system-at-hand a complex endeavor in itself. Testing in isolation is not the same as a real-system operation, since the system’s behavior is also determined by the input, which evolves from the environment. This exact factor is difficult to predict, due to an ever-increasing level of autonomy. Advanced Modeling and Simulation (M&S) frameworks are required in order to facilitate SoS design, development, testing, and integration. In more particular, these frameworks have to provide methods to deal with intelligent, emergent, and adaptive behavior as well as autonomy. The subject of emergent behavior and M&S of emergent behaviors takes the center stage in such systems as it is unknown how a particular system responds in the face of emergent behavior arising out of interactions with other complex systems. Intelligent behavior is also defined as an emergent property in some complex systems. Consequently, systems that respond and adapt to such behaviors may be called intelligent systems as well. This track has two objectives. The first objective aims to focus on M&S of the following aspects of complex SoS engineering and brings researchers, developers and industry practitioners working in the areas of complex, adaptive and autonomous SoS engineering that may incorporate human as an integral part of SoS operations. This objective covers the following topics: - Theory for adaptive and autonomous systems - Intelligence-based systems - Computational intelligence and cognitive systems - Human-in-the-loop systems - M&S Frameworks for intelligent behavior - Methodologies, tools, and architectures for adaptive control systems - Knowledge engineering, generation and management in IAAS - Weak and Strong emergent behavior, Emergent Engineering - Complex adaptive systems engineering - Self-* (organization, explanation, configuration) capability and collaborative behavior in IAAS - Applications to robotics, unmanned vehicles systems, swarm technology, semantic web technology, and multi-agent systems - Netcentric IAAS - Live, Virtual and Constructive (LVC) environments - Simulator design for IAAS systems - Modeling tools for IAAS design - Modeling, engineering, testing and verification of complex behavior - Development and testing of complex and distributedsystems - Modeling, simulating, and testing IoT environments and applications The second objective is to advance the science of complexity as applicable in M&S discipline. Complexity is a multi-level phenomenon that exists at structural, behavioral and knowledge levels in such SoS. Emergent behavior is an outcome of this complexity. Understanding emergent behavior as an outcome of this complexity will provide foundation for resilient intelligent systems. Following are some of the topics related to this objective, but not limited to: - Complexity in Structure: network, hierarchical, small-world, flat, etc. - Complexity in Behavior: Micro and macro behaviors, local and global behaviors, teleologic and epistemological behaviors - Complexity in Knowledge: ontology design, ontology-driven modeling, ontology-evaluation, ontology transformation, etc. - Complexity in Human-in-the-loop: artificial agents, cognitive agents, multi-agents, man-in-loop, human-computer-interaction - Complexity in intelligence-based systems: Situated behavior, knowledge-based behavior, memoic behavior, resource-constrained systems, energy-aware systems - Complexity in adaptation and autonomy - Complexity in architecture: Flat, full-mesh, hierarchical, adaptive, swarm, transformative - Complexity in awareness: Self-* (organization, explanation, configuration) - Complexity in interactions: collaboration, negotiation, greedy, rule-based, environment-based, etc. - Complexity in Live, Virtual and Constructive environment - Complexity in Artificial Systems, Social systems, techno-economic-social systems - Complexity in Model Engineering of complex SoS - Complexity in Model Specification using modeling languages and architecture frameworks such as UML, PetriNets, SysML, DoDAF, MoDAF, etc. - Complexity in Simulation environment engineering: distributed simulation, parallel simulation, cloud simulation, netcentric parallel distributed environments - Complexity in Testing and Evaluation tools for SoS engineering - Complexity in Heterogeneity: Hardware/Software Co-design, Hardware in the Loop, Cyber Physical Systems, the Internet of Things - Metrics for Complexity design and evaluation - Verification, validation and accreditation of Complexity in SoS - Application of Complexity aspects in domain engineering: Financial, Power, Robotics, Swarm, Economic, Policy, etc. - SoS Failure due to Complexity === Important Dates === Paper Submission: February 20, 2017 Author Notification: May 1, 2017 Submission of Work in Progress (SCSC-WIP) Papers: May 5, 2017 Notification of Work in Progress: May 10, 2017 Camera-ready Paper: May 14, 2017 === Track Chair(s) === Saurabh Mittal, MITRE Corporation (smittal(a)mitre.org) Jose L. Risco Martin, Universidad Complutense de Madrid (jlrisco(a)ucm.es) Marco Lützenberger, DAI-Lab, TU Berlin, Germany (marco.luetzenberger(a)dai-labor.de) Claudia Szabo, University of Adelaide, Australia (claudia.szabo(a)adelaide.edu.au) === Submission Guidelines === Original and high-quality technical papers are solicited for review, possible presentation and subsequent publication in the conference proceedings. For further instructions, please refer to the Submission Instructions in the SCS Conference Proceedings Management System web site. Contributed papers should be 5 to 12 pages long. They will be peer reviewed and – if accepted and presented at the conference submitted to the ACM Digital Library. Papers must not have appeared before (or be pending) in a journal or conference with published proceedings, nor may they be under review or submitted to another forum during SummerSim’17 review process. At least one author of an accepted paper must register for the symposium and must present the paper at the symposium. For author guidelines on how to submit a paper, see: http://scs.org/authorskit/

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science February 2017