- computational.science - lists.iccsa.org

Extended Deadline: SASO 2017 - IEEE International Conference on Self-Adaptive and Self-Organizing Systems, September 18-22, Tucson, Arizona
by Markus Esch 27 Apr '17

27 Apr '17

************************************************************************* CALL FOR PAPERS The Eleventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2017) EXTENDED DEADLINES: Extended abstract submission: May 8, 2017 Extended paper submission: May 24, 2017 University of Arizona, Tucson, AZ; 18-22 September 2017 https://saso2017.telecom-paristech.fr/ ************************************************************************* Part of FAS* - Foundation and Applications of Self-* Computing Conferences Collocated with: The International Conference on Cloud and Autonomic Computing (ICCAC 2017) ------------------- Aims and Scope ------------------- The aim of the Self-Adaptive and Self-Organizing Systems conference series (SASO) is to provide a forum for the presentation and discussion of research on the foundations of engineered systems that self-adapt and self-organize. The complexity of current and emerging networks, software, and services can be characterized by issues such as scale, heterogeneity, openness, and dynamics in the environment. This has led the software engineering, distributed systems, and management communities to look for inspiration in diverse fields (e.g., complex systems, control theory, artificial intelligence, chemistry, psychology, sociology, and biology) to find new ways of designing and managing such computing systems in a principled way. In this endeavor, self-organization and self-adaptation have emerged as two promising interrelated approaches. They form the basis for many other so-called self-* properties, such as self-configuration, self-healing, or self-optimization. SASO aims to be an interdisciplinary meeting, where contributions from participants with different backgrounds leads to the fostering of a cross-pollination of ideas, and where innovative theories, frameworks, methodologies, tools, and applications can emerge. The eleventh edition of the SASO conference embraces this inter-disciplinary nature, and welcomes novel contributions to both the foundational and application-focused dimensions of self-adaptive and self-organizing systems research. The topics of interest include, but are not limited to: - Systems theory: nature-inspired and socially-inspired paradigms and heuristics; inter-operation of self-* mechanisms; theoretical frameworks and models; control theory; - System properties: robustness; resilience; stability; anti-fragility; diversity; self-reference and reflection; emergent behavior; computational awareness and self-awareness; - Systems engineering: reusable mechanisms and algorithms; design patterns; architectures; methodologies; software and middleware development frameworks and methods; platforms and toolkits; multi-agent systems; - Theory and practice of organization: self-governance, change management, electronic institutions, distributed consensus, commons, knowledge management, and the general use of rules, policies, etc. in self-* systems - Theory and practice of adaptation: mechanisms for adaptation, including evolution, logic, learning; adaptability, plasticity, flexibility - Socio-technical systems: human and social factors; visualization; crowdsourcing and collective awareness; humans-in-the-loop; ethics and humanities in self-* systems; - Data-driven approaches: data mining; machine learning; data science and other statistical techniques to analyze, understand, and manage behavior of complex systems; - Self-adaptive and self-organizing hardware: self-* materials; self-construction; reconfigurable hardware; - Education: experience reports; curricula; innovative course concepts; methodological aspects of self-* systems education; Applications and experiences with self-* systems in any of the following domains are of particular interest: + Smart systems: smart grids, smart cities, smart environments, smart homes, etc. + Industrial automation: embedded self-* systems, adaptive industrial plants, Industry 4.0, cyber physical systems + Transportation: autonomous vehicles, traffic optimization + Autonomous systems: aerial vehicles, undersea vehicles, autonomous robotics + Internet of Things: self-* for network management, self-* applied to cyber security We are looking for contributions that present new fundamental understanding of self-adaptive and self-organizing systems and how they can be engineered and used, including: novel theoretical or experimental results, novel design patterns, mechanisms, system architectures, frameworks, tools, and practical experiences in building or deploying systems and applications. Contributions contrasting different approaches for engineering a given family of systems, or demonstrating the applicability of a certain approach for different systems, are equally encouraged. Likewise, papers describing substantial innovation or insights in the use and communication of self-* systems in the classroom are welcome. Where relevant and appropriate, accepted papers will also be encouraged to participate in the Demo or Poster Sessions. -------------------- Important Dates -------------------- Abstract submission: May 8, 2017 Paper submission: May 24, 2017 Notification: June 30, 2017 Camera ready copy due: July 12, 2017 Conference: September 18-22, 2017 ---------------------------- Submission Instructions ---------------------------- Submissions can be up to 10 pages, formatted according to the standard IEEE Computer Society Press proceedings style guide, and submitted electronically in PDF format. Please submit your papers using the SASO 2017 conference management system https://easychair.org/conferences/?conf=saso2017. The proceedings will be published by the IEEE Computer Society Press, and made available as a part of the IEEE Digital Library. Note that a separate Call for Poster and Demo Submissions will also be issued. As per the standard IEEE policies, all submissions should be original, i.e., they must not have been previously published in any conference proceedings, book, or journal and must not currently be under review for another archival conference. We also highlight the IEEE policies regarding plagiarism and self-plagiarism (http://www.ieee.org/publications_standards/publications/rights/ID_Plagiaris…) --------------------- Review Criteria --------------------- Papers should present novel ideas in the cross-disciplinary research context described in this call, motivated by problems from current practice or applied research. Both theoretical and empirical contributions should be highlighted, substantiated by formal analysis, simulation, experimental evaluations, or comparative studies, etc. Appropriate references must be made to related work. Because SASO is a cross-disciplinary conference, we encourage papers to be intelligible and relevant to researchers who are not members of the same specialized sub-field. Authors are also encouraged to submit papers describing applications. Application papers should provide an indication of the real-world relevance of the problem that is solved, including a description of the domain, and an evaluation of performance, usability, or comparison to alternative approaches. Experience papers are also welcome, especially if they highlight insights into any aspect of design, implementation or management of self-* systems that would be of benefit to practitioners and the SASO community. All submissions will be rigorously peer reviewed and evaluated based on the quality of their technical contribution, originality, soundness, significance, presentation, understanding of the state of the art, and overall quality. ------------------------------- Conference General Chair ------------------------------- Ada Diaconescu Telecom Paris-Tech, Paris, FR -------------------- Program Chairs -------------------- Peter Lewis, Aston University, Birmingham, UK Sam Malek, University of California, Irvine, USA Hella Seebach, Augsburg University, Augsburg, DE

1 0

PhD Student Position on 'Agent-based modeling of drones and their environment in smart cities'
by stephane.galland＠utbm.fr 26 Apr '17

26 Apr '17

1 0

[Deadline Approaching] BI'17 - Call for Papers
by Yang 26 Apr '17

26 Apr '17

[Apologies if you receive this more than once] CALL FOR PAPERS The 2017 International Conference on Brain Informatics (BI'17) THE 10TH ANNIVERSARY OF BRAIN INFORMATICS November 16-18, 2017, Beijing, China Homepage: http://bii.ia.ac.cn/bi-2017/ --------------------------------------------------------------------------------- [EXTENDED!!] FULL PAPER SUBMISSION DEADLINE: May 1, 2017 --------------------------------------------------------------------------------- *** KEYNOTE SPEAKERS *** Alan Evans (McGill University, Canada) Tom Mitchell (Carnegie Mellon University, US) Yanchao Bi (Beijing Normal University, China) Adam Ferguson (University of California San Francisco, US) Bin Hu (Lanzhou University, China) Michael Hawrylycz (Allen Institute for Brain Science, US) Dinggang Shen (University of North Carolina at Chapel Hill, US) ================================================== Brain Informatics (BI) conference series provides a premier forum to bring together researchers and practitioners in the fields of neuroscience, cognitive science, computer science, data science, artificial intelligence, information communication technologies, and neuroimaging technologies. BI'17 addresses the computational, cognitive, physiological, biological, physical, ecological and social perspectives of brain informatics, as well as topics relating to mental health and well-being. It also welcomes emerging information technologies, including but not limited to Internet/Web of Things (IoT/WoT), cloud computing, big data analytics and interactive knowledge discovery related to brain research. BI'17 also encourages submissions that explore how advanced computing technologies are applied to and make a difference in various large-scale brain studies and their applications. BI'17 welcomes paper submissions (full paper and abstract submissions). Both research and application papers are solicited. All submitted papers will be reviewed on the basis of technical quality, relevance, significance and clarity. Accepted full papers will be included in the proceedings by Springer LNCS/LNAI. Workshop, Special-Session and Tutorial proposals, and Industry/Demo-Track papers are also welcome. The organizers of Workshops and Special-Sessions are invited to prepare a book proposal based on the topics of the workshop/special session for possible book publication in the Springer-Nature Brain Informatics & Health book series (http://www.springer.com/series/15148) *** Topics and Areas *** Track 1: Cognitive and Computational Foundations of Brain Science Track 2: Investigations of Human Information Processing Systems Track 3: Brain Big Data Analytics, Curation and Management Track 4: Informatics Paradigms for Brain and Mental Health Track 5: Brain-Inspired Intelligence and Computing IMPORTANT DATES (Extended): =========================== May 1, 2017: Submission deadline for full papers May 20, 2017: Submission deadline for workshop/special-session papers June 10, 2017: Notification of full paper acceptance June 20, 2017: Notification of workshop/special-session paper acceptance June 20, 2017: Submission deadline for abstracts July 10, 2017: Notification of abstract acceptance November 16, 2017: Tutorials, workshops and special-sessions November 17-18, 2017: Main conference PAPER SUBMISSIONS & PUBLICATIONS: ================================= TYPE-I (Full Paper Submissions; Submission Deadline: May 1, 2017): Papers need to have up to 10 pages in LNCS format: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 All full length papers accepted (and all special sessions' full length papers) will be published by Springer as a volume of the series of LNCS/LNAI. TYPE-II (Abstract Submissions; Submission Deadline: June 20, 2017): Abstracts have a word limit of 500 words. Experimental research is particularly welcome. Accepted abstract submissions will be included in the conference program, and will be published as a single, collective proceedings volume. Title: Include in the title of the abstract all words critical for a subject index. Write your title in sentence case (first letter is capitalized; remaining letters are lower case). Do not bold or italicize your full title. Author: List all authors who contributed to the work discussed in the abstract. The presenting author must be listed in the first author slot of the list. Be prepared to submit contact information as well as conflict of interest information for each author listed. Abstract: Enter the body of the abstract and attach any applicable graphic files or tables here. Do not re-enter the title, author, support, or other information that is collected in other steps of the submission form. Presentation Preference: Authors may select from three presentation formats when submitting an abstract: "poster only", "talk preferred" or "no preference." The "talk preferred" selection indicates that you would like to give a talk, but will accept a poster format if necessary. Marking "poster only" indicates that you would not like to be considered for an oral-presentation session. Selecting "no preference" indicates the author's willingness to be placed in the best format for the program. Each paper or abstract requires one sponsoring attendee (i.e. someone who registered and is attending the conference). A single attendee can not sponsor more than two abstracts or papers. Oral presentations will be selected from both full length papers and abstracts. *** Post-Conference Journal Publication *** The Brain Informatics conferences have the formal ties with Brain Informatics journal (Springer-Nature, http://www.springer.com/40708) Accepted papers from the conference, including their Best Paper Award papers, will be expended and revised for possible inclusion in the Brain Informatics journal each year. It is fully sponsored and no any article-processing fee charged for authors of Brain Informatics conference. *** Awards *** Best Paper awards will be conferred at the conference on the authors of (1) the best research paper and (2) the best student paper. ORGANIZERS ========== General Chairs Bo Xu (Chinese Academy of Sciences, China) Hanchuan Peng (Allen Institute for Brain Sciences, USA) Qingming Luo (Huazhong University of Science and Technology, China) Program Committee Chairs Yi Zeng (Chinese Academy of Sciences, China) Yong He (Beijing Normal University, China) Jeanette Kotaleski (Karolinska Institute, Sweden) Maryann Martone (University of California, San Diego, USA) Organizing Chairs Ning Zhong (Maebashi Institute of Technology, Japan, and Beijing Advanced Innovation Center for Future Internet Technology, Beijing University of Technology, China Jianzhou Yan (Beijing Advanced Innovation Center for Future Internet Technology, Beijing University of Technology, China) Shengfu Lu (Beijing Advanced Innovation Center for Future Internet Technology, Beijing University of Technology, China) Workshop/Special-Session Chairs An'an Li (Huazhong University of Science and Technology, China) Sen Song (Tsinghua University, China) Tutorial Chair Wenming Zheng (South East University, China) Publicity Chairs Tielin Zhang (Chinese Academy of Sciences, China) Shouyi Wang (University of Texas at Arlington, USA) Yang Yang (Maebashi Institute of Technology, Japan, and Beijing Advanced Innovation Center for Future Internet Technology, Beijing University of Technology, China) Steering Committee Chairs Ning Zhong (Maebashi Institute of Technology, Japan) Hanchuan Peng (Allen Institute for Brain Science, USA) *** Contact Information *** tielin.zhang(a)ia.ac.cn shouyiw(a)uta.edu yang(a)maebashi-it.org

1 0

IWOMP 2017 - 13th International Workshop on OpenMP - Extended submission deadline
by OpenMP ARB 26 Apr '17

26 Apr '17

CALL FOR PAPERS: IWOMP 2017 - 13th International Workshop on OpenMP September 20-22, 2017 Stony Brook University, Stony Brook, NY, USA http://www.iwomp.org == Background For many years, the OpenMP API has provided a very rich and flexible programming model for shared memory architectures. OpenMP 4.0 is a major advance that adds new forms of parallelism: device constructs for accelerators, SIMD constructs for vector units, and several significant extensions for work-sharing, affinity, and task-based parallelism. OpenMP 4.5 further enhances OpenMP support for todayâ€™s complex heterogeneous architectures. To the benefit of applications using the API, a strong ecosystem of compilers, runtime systems, and tools from various vendors and community partners has also emerged. The International Workshop on OpenMP (IWOMP) is an annual workshop dedicated to the promotion and advancement of all aspects of parallel programming with OpenMP. It is the premier forum to present and to discuss issues, trends, recent research ideas, and results related to parallel programming with OpenMP. We solicit quality submissions of unpublished technical papers detailing innovative, original research and development related to OpenMP. == Topics All topics related to OpenMP are of interest, including OpenMP performance analysis and modeling, OpenMP performance and correctness tools, proposed OpenMP extensions, and OpenMP applications in any domain (e.g., scientific and numerical computation, video games, computer graphics, multimedia, information retrieval, optimization, text processing, data mining, finance, signal and image processing and machine learning). Advances in technologies, such as multi-core processors and OpenMP devices (accelerators such as GPGPUs, DSPs or FPGAs), Multiprocessor Systems on a Chip (MPSoCs), and recent developments in OpenMP itself (e.g., devices) present new opportunities and challenges for software and hardware developers. Recent advances in the C, C++ and Fortran base languages also offer interesting opportunities and challenges to the OpenMP programming model. IWOMP 2017 particularly solicits submissions in these areas as well as ones that discuss how to apply OpenMP to additional models of parallelism such as event loops. == Paper Submission and Registration Submitted papers for review should be limited to 12 pages and follow LNCS guidelines. Submission deadline is April 28, 2017. Submit your paper to: https://www.easychair.org/conferences/?conf=iwomp2017. Authors of accepted papers will be asked to prepare a final paper of up to 15 pages. As in previous years, IWOMP 2017 will publish formal proceedings of the accepted papers in Springer Verlag's LNCS series. == Important Dates Paper Submission [Extended]: May 5, 2017 (AOE) Notification of acceptance: May 25, 2017 Deadline for final version: June 8, 2017 == Organizers General Chair: - Abid Malik, Brookhaven National Laboratory Program Committee Co-chairs: - Bronis R. de Supinski, Lawrence Livermore National Laboratory - Stephen L. Olivier, Sandia National Laboratories

1 0

FROM 2017: 1st Call for Papers
by Dorel Lucanu 25 Apr '17

25 Apr '17

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

1 0

SLSP 2017: 2nd call for papers
by GRLMC 24 Apr '17

24 Apr '17

SLSP 2017: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 5th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2017 Le Mans, France October 23-25, 2017 Organized by: Computer Science Lab (LIUM) University of Le Mans Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/SLSP2017/ ********************************************************************************** AIMS: SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2017, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology. VENUE: SLSP 2017 will take place in Le Mans, in the region Pays de la Loire, a city with well-preserved Gallo-Roman remnants. The venue will be: Claude Chappe Informatics Institute University of Le Mans Avenue Laënnec 72085 Le Mans Cedex 9 SCOPE: The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to: anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling STRUCTURE: SLSP 2017 will consist of: invited talks peer-reviewed contributions posters INVITED SPEAKERS: tba PROGRAMME COMMITTEE: Jon Barker (University of Sheffield, UK) Laurent Besacier (Grenoble Informatics Laboratory, FR) Paul Buitelaar (National University of Ireland, Galway, IE) Felix Burkhardt (Telekom Innovation Laboratories, DE) Xavier Carreras (Xerox Research Centre Europe, FR) Francisco Casacuberta (Technical University of Valencia, ES) Ciprian Chelba (Google, US) Eng Siong Chng (Nanyang Technological University, SG) Jennifer Chu-Carroll (Elemental Cognition, US) Doug Downey (Northwestern University, US) Robert Gaizauskas (University of Sheffield, UK) Julio Gonzalo (National University of Distance Education, ES) Keikichi Hirose (University of Tokyo, JP) Gerhard Jäger (University of Tübingen, DE) Gareth Jones (Dublin City University, IE) Joseph Keshet (Bar-Ilan University, IL) Tomi Kinnunen (University of Eastern Finland, FI) Lun-Wei Ku (Academia Sinica, TW) Kong Aik Lee (Institute for Infocomm Research, SG) Elizabeth D. Liddy (Syracuse University, US) Xunying Liu (Chinese University of Hong Kong, HK) Suresh Manandhar (University of York, UK) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Yuji Matsumoto (Nara Institute of Science and Technology, JP) Ruslan Mitkov (University of Wolverhampton, UK) Marie-Francine Moens (KU Leuven, BE) Seiichi Nakagawa (Toyohashi University of Technology, JP) Preslav Nakov (Qatar Computing Research Institute, QA) Hermann Ney (RWTH Aachen University, DE) Cécile Paris (CSIRO, AU) Fuchun Peng (AISense Inc., US) Pascal Perrier (Grenoble Institute of Technology, FR) Leon Rothkrantz (Delft University of Technology, NL) Horacio Saggion (Pompeu Fabra University, ES) Murat Saraçlar (Boğaziçi University, TR) Holger Schwenk (Facebook, FR) Brad Story (University of Arizona, US) Karin Verspoor (University of Melbourne, AU) Xiaojun Wan (Peking University, CN) Phil Woodland (University of Cambridge, UK) Chuck Wooters (Semantic Machines, US) François Yvon (LIMSI-CNRS, FR) ORGANIZING COMMITTEE: Walid Aransa (Le Mans) Adrien Bardet (Le Mans) Abdessalam Bouchekif (Le Mans) Fethi Bougares (Le Mans) Nathalie Camelin (Le Mans) Yannick Estève (Le Mans, co-chair) Mercedes García Martínez (Le Mans) Sahar Ghannay (Le Mans) Anthony Larcher (Le Mans) Antoine Laurent (Le Mans) Carlos Martín-Vide (Tarragona, co-chair) Salima Mdhaffar (Le Mans) Manuel J. Parra Royón (Granada) Simon Petitrenaud (Le Mans) David Silva (London) Natalia Tomashenko (Le Mans) Kévin Vythelingum (Le Mans) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, graphics, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) Submissions have to be uploaded to: https://easychair.org/conferences/?conf=slsp2017 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/SLSP2017/Registration.php DEADLINES (all at 23:59 CET): Paper submission: June 11, 2017 Notification of paper acceptance or rejection: July 11, 2017 Final version of the paper for the LNCS/LNAI proceedings: July 21, 2017 Early registration: July 21, 2017 Late registration: October 9, 2017 Submission to the journal special issue: January 25, 2018 QUESTIONS AND FURTHER INFORMATION: david.silva409(a)yahoo.com POSTAL ADDRESS: SLSP 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain ACKNOWLEDGMENTS: Université du Maine Universitat Rovira i Virgili

2 1

Call for Workshop Paper: ARES 2017
by res.mb.conference 24 Apr '17

24 Apr '17

ARES 2017 - CALL FOR WORKSHOP PAPER ****************************************************************************************** The 12th International Conference on Availability, Reliability and Security (ARES 2017) August 29 - September 1, 2017, Reggio Calabria, Italy http://www.ares-conference.eu<http://www.ares-conference.eu/> ****************************************************************************************** *********** Workshops @ ARES CONFERENCE ************ The 12th International Conference on Availability, Reliability and Security ("ARES") will bring together researchers and practitioners in the area of dependability. ARES will highlight the various aspects of security - with special focus on the crucial linkage between availability, reliability and security. ARES aims at a full and detailed discussion of the research issues of security as an integrative concept that covers amongst others availability, safety, confidentiality, integrity, maintainability and security in the different fields of applications. The workshops are central events for ARES as they provide an essential platform for researchers of various domains to present and discuss their current work and discuss work in progress. This year we can offer the conference attendees 9 workshops which range from "start-ups" to well-established ones. Workshops @ ARES 2017 and their submission deadlines: *12th International Workshop on Frontiers in Availability, Reliability and Security (FARES 2017) / 01.05.2017 *10th International Workshop on Digital Forensics (WSDF 2017) / 01.05.2017 *6th International Workshop on Security of Mobile Applications (IWSMA 2017) / 01.05.2017 *6th International Workshop on Cyber Crime (IWCC 2017) / 01.05.2017 *4th International Workshop on Security in Air Traffic Management and other Critical Infrastructures (SecATM 2017) / 22.05.2017 *4th International Workshop on Software Assurance (SAW 2017) / 07.05.2017 *3rd International Workshop on Secure Software Engineering (SSE 2017) / 01.05.2017 *2nd International Workshop on Malware Analysis (WMA 2017) / 07.05.2017 *1st International Workshop on Criminal Use of Information Hiding (CUING 2017) / 01.05.2017 These workshops are organized each on specific topics and thus offer researchers the opportunity to learn from a rich multi-disciplinary experience. *********** EU Projects Symposium @ ARES CONFERENCE ************ Based on the success of the workshops in conjunction with ARES 2016, in Salzburg, the ARES EU Projects Symposium will be held for the third time in conjunction with ARES 2017. The goal is to disseminate the results of EU research projects, meet potential project partners and exchange ideas within the scientific community. This year, 5 workshops will be held within the ARES EU Project Symposium (/ submission deadline): *3rd International Workshop on Security Testing And Monitoring (STAM 2017) / 30.04.2017 *2nd Workshop on Security, Privacy, and Identity Management in the Cloud (SECPID 2017) / 03.05.2017 *1st International Workshop on Securing Critical Infrastructures (S-CI 2017) / 01.05.2017 *1st International Workshop on Supply Chain Security, Resilience and Accountability (SC-SRA 2017) / no paper submissions *1st International Workshop on Creating Identity - Trustworthy Ecosystems (CITE 2017) / no paper submissions ************ CONFERENCE OFFICERS ************ General Chair Francesco Buccafurri, Università degli Studi Mediterranea di Reggio Calabria, Italy Program Committee Chairs Mathias Fischer, Universität Hamburg, Germany Max Mühlhäuser, TU Darmstadt, Germany ************ KEYNOTE SPEAKERS ************ Dimitris Gritzalis, Athens University of Economics & Business, Greece Andrea Servida, European Commission, Belgium Neil D. Lawrence, University of Sheffield and Amazon, UK Marta Milo, University of Sheffield, UK ************ IMPORTANT DATES ************ Submission Deadline: see each workshop Proceedings Version: June 20, 2017 Conference: August 29 - September 1, 2017 ************ SUBMISSION ************ ARES 2017 proceedings (including workshops) will be published by the International Conference Proceedings Series published by ACM (ACM ICPS). Authors of selected papers that are accepted by and presented at the ARES Conference (including workshops) will be invited to submit an extended version to special issues of international journals. Authors are invited to submit research and application papers according the following guidelines: two columns, single-spaced, including figures and references, using 10 pt fonts and number each page. For the workshops submission papers are have to be representing original, previously unpublished work: 8 pages, a maximum of 10 pages is tolerated Submitted papers will be carefully evaluated based on originality, significance, technical soundness, presentation and clarity of exposition. Simultaneous submission of the same work to multiple venues, submission of previously published work, or plagiarism constitutes dishonesty or fraud. ARES, like other scientific and technical conferences and journals, prohibits these practices and may take action against authors who have committed them. Double blind review: ARES requires anonymized submissions - please make sure that submitted papers contain no author names or obvious self-references. The ARES submission system (EasyChair) is available here: https://easychair.org/conferences/?conf=ares2017

1 0

Three PhD Scholarships available in Big Data Security and Privacy
by Jinjun Chen 24 Apr '17

24 Apr '17

We are now offering three PhD scholarships in Big Data Security and Privacy. Students who are interested in research of differential privacy, big data security, searchable encryption, data auditing and integrity, big data privacy protection, as well as challenging and world-changing application areas such as healthcare, are strongly encouraged to apply. These positions will be based in recently established Swinburne Data Science Research Institute, Swinburne University of Technology, Melbourne, Australia. Melbourne is a top ranked most livable city in our world. The PhD research will be performed under the supervision of Professor Jinjun Chen - http://www.swinflow.org/~jchen/ Scholarship information: · Annual stipend $26,682 (2017 rate) for three years · Tuition fees for up to four years · Thesis allowance · Annual travel fund available We are looking for highly-motivated, dedicated candidate. Preference will be given to those students who have: - An excellent track record on Bachelor or Master degree, - Very good programming and math skills, - Very good communicative skills in English, both in speaking and writing, - Background in the fields of security, encryption, privacy protection, and etc. - Meet Swinburne University's PhD entry requirements ( http://www.swinburne.edu.au/research/research-degrees/degre es-programs/phd-doctor-of-philosophy/) Application: Interested candidates are invited to send their applications to Professor Jinjun Chen (jchen(a)swin.edu.au) by 10 May 2017, including: 1. A cover letter describing your detailed research interest 2. Soft copy of your publications if any (e.g., master’s thesis, conference/journal papers) 3. Your CV 4. Your transcripts of undergraduate and honors/master degrees 5. Proof of proficiency in English (e.g., TOEFL or IELTS) if English is not your first language

1 0

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

24 Apr '17

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

1 0

FROM 2017: 1st Call for Papers
by Dorel Lucanu 23 Apr '17

23 Apr '17

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

1 0