- computational.science - lists.iccsa.org

PGAS Applications Workshop at PPAM 2017
by Piotr Bała 05 May '17

05 May '17

CALL FOR PAPERS PGAS Applications Workshop at PPAM 2017 (http://pcj.icm.edu.pl/pgasapp2017) PGAS APP is a full-day workshop to be held at the PPAM 2017 focusing on PGAS (Partitioned Global Address Space) programming model and its application for large-scale parallel systems and multicore processors. Its goal is to bring together researchers working in the area of PGAS programming paradigm to parallelize large scale applications. The workshop focuses on PGAS programming languages, tools and libraries with the special focus on applications developed within this programming model. The workshop is open to any PGAS languages, with the special focus of new solutions. This workshop will feature papers that explore experiences from application developers in the use of the PGAS programming model for the development of scalable codes. The papers presented practical implementations, scalability and parallelization efficiency are foreseen. Possible topics include, but are not limited to: PGAS Languages and library implementations and their evaluation, Applications development experience with PGAS programming model, PGAS programming model for heterogenous systems, Comparisons between PGAS and other programming models, Benchmark suites and performance studies for PGAS programming model, Optimization techniques. Please submit full papers via the PPAM Conference submission system (formatted according to the PPAM specification), not previously published or submitted for publication elsewhere. Please acknowledge the workshop chair (address below) by sending an email including a cover page with the title, abstract, names and e-mail of the authors. Please submit pdf files. IMPORTANT DATES: Paper due May 31, 2017 Notification of acceptance June 20, 2017 Final version of the paper due Nov. 15, 2017 Workshop Chair: Piotr Bała, ICM, University of Warsaw Email: pgas2017(a)icm.edu.pl Program Committee Piotr Bała ICM University of Warsaw, Poland Costas Bekas IBM Research, Zurich, Switzerland Buğra Gedik Bilkent University, Turkey Dimitrios S. Nikolopoulos Queens University Belfast, UK Marek Nowicki Nicloaus Copernicus University in Toruń, Poland Hans Vandierendonck Queens University Belfast, UK

1 0

Don't Miss Early Registration Rates for SSBSS 2017 + New Keynote Speakers!
by Giuseppe Nicosia 05 May '17

05 May '17

*SSBSS - SYNTHETIC & SYSTEMS BIOLOGY SUMMER SCHOOL* *Bioengineering, Algorithmics & BioDesign Automation* *University of Cambridge, UK* *, July 17-21, 2017 * Early Registration Now Open! The Best Rates Expire on May 10, 2017 <https://www.robinson.cam.ac.uk/conferences/dms/index.php?eid=54> http://www.taosciences.it/ssbss/#application-form https://www.robinson.cam.ac.uk/conferences/dms/index.php?eid=54 For more info contact Alexis Moreau am2500(a)cam.ac.uk *Keynote Speakers:* Antonino Cattaneo, *Scuola Normale Superiore Pisa, Italy* Jasmin Fisher, *Microsoft Research & Cambridge Systems Biology Centre, UK* Carole Goble, *University of Manchester, UK* Jim Haseloff, *University of Cambridge, UK* Jay Keasling, *University of California, Berkeley, USA* Edda Klipp, *Humboldt University, Germany* Natalio Krasnogor, *Newcastle University, UK* Markus Ralser, *University of Cambridge, UK & The Francis Crick Institute, UK* Uwe Sauer, *Institute of Molecular Systems Biology, ETH Zurich, Switzerland* Gill Stephens, *The University of Nottingham, UK * Mike Stubbington, *EMBL-EBI, Cambridge UK* Eriko Takano, *University of Manchester, UK* Sarah Teichmann, *Wellcome Trust Sanger Institute & EMBL, European Bioinformatics Inst., UK* Talks Talks Matteo Barberis, University of Amsterdam, The Netherlands Other speakers will be announced soon. Industrial Panel Jonathan Chesnut, Thermo Fisher Scientific Inc., USA Other speakers will be announced soon. *Call for Talks and Posters:* *Call for Abstracts Deadline: June 17, 2017* Notification: Late Registration will be accepted until June 17, 2017, admission notification will start on May 11, 2017, according to the application time. Those who plan to present talk or a poster must submit the abstract via the EasyChair system *https://easychair.org/conferences/?conf=ssbss2017 <https://easychair.org/conferences/?conf=ssbss2017>* no lather than June 17, 2017. LATE Registration: May 11 - July 21, 2017 For more information about SSBSS 2017 visit us here <http://www.taosciences.it/ssbss/>: http://www.taosciences.it/ssbss/ Organizer: University of Cambridge, UK FB: https://www.facebook.com/ssbss.school/ SSBSS - Synthetic & Systems Biology Summer School Group: https://www.facebook.com/groups/238417586492061/ Computational Synthetic Biology Group: https://www.facebook.com/groups/1014624245288596/

1 0

Euro-EDUPAR 2017 - submission deadline extended
by Rizos Sakellariou 04 May '17

04 May '17

[Apologies for crossposting - please kindly disseminate] ***** CALL FOR PAPERS ***** 3rd European Workshop on Parallel and Distributed Computing Education for Undergraduate Students (Euro-EDUPAR), in conjunction with Euro-Par 2017, Santiago de Compostela, Spain, August 28/29, 2017. http://www.cs.man.ac.uk/~rizos/euroedupar/index.html Submission deadline: May 12, 2017 (extended) Submission web site: https://easychair.org/conferences/?conf=europar2017workshops SCOPE AND OBJECTIVES Parallel and Distributed Computing (PDC) is nowadays omnipresent. It is in all the computational environments, from mobile devices, laptops and desktops to clusters, large-scale data centers and supercomputers, often comprising CPUs and/or coprocessors of different types (GPU, MIC, FPGA). It becomes now vital to train new generations of scientists and engineers in the use of these computational systems: parallelism-related topics must be incorporated in Computer Science (CS) and Computer Engineering (CE) programs. In this context, the 3rd European Workshop on Parallel and Distributed Computing Education for Undergraduate Students (Euro-EDUPAR) invites unpublished manuscripts from individuals or teams from academia, industry, and other educational and/or research institutes on topics pertaining to the teaching of PDC topics in the Computer Science and Engineering curriculum as well as in Computational Science with PDC and/or High Performance Computing (HPC) concepts, with emphasis on European undergraduate teaching. The topics of interest include, but are not limited to: 1. Parallel and Distributed Computing (PDC) teaching in the European space 2. Pedagogical issues in PDC, educational methods and learning mechanisms 3. Novel ways of teaching PDC topics, including informal learning environments 4. Curriculum design, models for incorporating PDC topics in core CS/CE curriculum 5. Experience with incorporating PDC topics into core CS/CE courses 6. Experience with incorporating PDC topics in the context of other applications learning 7. Pedagogical tools, programming environments, and languages for PDC 8. e-Learning, e-Laboratory, online courses related to PDC 9. PDC teaching experiences at non-university levels: secondary school, industry, etc SUBMISSION GUIDELINES The submissions will follow the Euro-Par guidelines, in PDF format, and should not exceed 12 pages in the Springer LNCS style, which can be downloaded from the Springer Web site. Paper submission is handled electronically (EasyChair). The 12-page limit is comprehensive (text, figures, references). Complete LaTeX sources must be provided for accepted papers. Short papers and work-in-progress papers can be submitted and presented at the workshop, but they will not be eligible for the post-conference proceedings. Submissions will be reviewed by at least 3 members of the Program Committee and will be assessed according to impact at European level, the novelty of contributions, impact on broader undergraduate curriculum, relevance to the goals of the workshop, results and methodology. The workshop proceedings will be published in a LNCS Euro-Par 2017 Workshops volume after the conference. Only full papers between 10 and 12 pages presented at the workshop will be included. IMPORTANT DATES May 5, 2017: Paper submission deadline June 16, 2017: Author notification July 21, 2017: Paper due, for informal workshop proceedings October 3, 2017: Camera-ready paper (including LaTeX sources) deadline ORGANIZATION General Co-Chairs: Sushil K. Prasad, Georgia State University, USA Yves Robert, Ecole Normale Superieure de Lyon, France Arnold L. Rosenberg, Northeastern University, USA Program Chair: Rizos Sakellariou, University of Manchester, UK Steering Committee: Henri E. Bal, Vrije Universiteit, the Netherlands Alexey Lastovetsky, Univesity College Dublin, Ireland Christian Lengauer, University of Passau, Germany Pierre Manneback, University of Mons, Belgium Sushil K. Prasad, Georgia State University, USA Yves Robert (Chair), Ecole Normale Superieure de Lyon, France Arnold L. Rosenberg, Northeastern University, USA Rizos Sakellariou, University of Manchester, UK Cristina Silvano, Politecnico di Milano, Italy Paul G. Spirakis, University of Liverpool, UK Denis Trystram, Grenoble Institute of Technology, France Mateo Valero, Barcelona Supercomputing Center, Spain Vladimir Voevodin, Moscow State University, Russia Program Committee: Marco Aldinucci, University of Torino, Italy Jorge G. Barbosa, University of Porto, Portugal Pascal Bouvry, University of Luxembourg, Luxembourg Marian Bubak, AGH Krakow, Poland and University of Amsterdam, the Netherlands Alex Delis, University of Athens, Greece Efstratios Gallopoulos, University of Patras, Greece Chryssis Georgiou, University of Cyprus, Cyprus Domingo Gimenez, University of Murcia, Spain Sergei Gorlatch, University of Muenster, Germany Thilo Kielmann, VU Amsterdam, the Netherlands Alexey Lastovetsky, UCD, Ireland Tomas Margalef, UAB, Spain Svetozar Margenov, Bulgarian Academy of Sciences, Bulgaria Milan Mihajlovic, University of Manchester, UK Marcin Paprzycki, Polish Academy of Sciences, Poland Dana Petcu, West University of Timisoara, Romania Gudula Ruenger, TU Chemnitz, Germany Jesper Larsson Traff, TU Wien, Austria Philippas Tsigas, Chalmers University, Sweden Juan Tourino, University of A Coruna, Spain Vladimir Voevodin, Moscow State University, Russia David Walker, Cardiff University, UK

1 0

CIBB 2017 - Special Session on Modeling and Simulation Methods for Systems Biology and Systems Medicine: Call for papers
by Chiara Damiani 04 May '17

04 May '17

[Apologies for cross-posting. Please kindly disseminate this call to your colleagues and contacts] ***Special Session on Modeling and Simulation Methods for Systems Biology and Systems Medicine*** hosted by CIBB 2017 <http://co2.unica.it/cibb2017/>, 14th International Conference on Computational Intelligence methods for Bioinformatics and Biostatistics 7-9 September 2017, Cagliari, Italy ---------------------------------------------------------------------------------------------------- Paper Submission Deadline: 4 June 2017 ---------------------------------------------------------------------------------------------------- CALL FOR PAPERS Systems Biology deals with the analysis of natural systems at different scales of complexity, requiring completely different modeling frameworks and computational methods. Given that Systems Biology approaches are becoming well established, the challenge is now to apply the developed techniques towards the definition of personalized models in order to identify individually tailored drugs and treatments; i.e. to realize the Personalized Medicine paradigm. The scope of this special session is to bring together researchers involved in the development of methods applied to the fields of Systems Biology and Systems Medicine. Topics of interest include, but are not limited to: analysis of robustness of cellular networks   biomedical model parameterization cancer progression models clinical image analysis emergent properties in complex biological systems   flux balance analysis   metabolic engineering   metabolic pathway analysis   model verification and refinement methods   models of neural activity multiscale modelling and simulation of biological systems   parameter estimation methods personalized models reverse engineering of reaction networks   software tools for systems biology   spatiotemporal modelling and simulation of biological systems IMPORTANT DATES Papers due: 4 June 2017 Acceptance: 22 June 2017 Registration due: 17 July 2017 Camera-ready: 22 July 2017 PROCEEDINGS Authors of accepted short papers (4-6 pages) will be invited to submit an extended version of their work to a post-conference monograph, which is planned to be published in the Springer series of Lecture Notes in Bioinformatics (LNBI). Best papers will be invited to a special issue of an international scientific journal (such as BMC Bioinformatics, as in the latest editions). PAPER SUBMISSION Instructions for submission can be found here <http://co2.unica.it/cibb2017/call.php> SESSION CHAIRS Chiara Damiani, University of Milano-Bicocca, Italy Paolo Cazzaniga, University of Bergamo, Italy Marco S. Nobile, University of Milano-Bicocca, Italy Riccardo Colombo, University of Milano-Bicocca, Italy Giancarlo Mauri, University of Milano-Bicocca, Italy Alex Graudenzi, University of Milano-Bicocca, Italy CONTACT Chiara Damiani, PhD Department of Informatics, Systems and Communication, University of Milan-Bicocca mail: chiara.damiani(a)unimib.it <mailto:chiara.damiani@unimib.it> phone: +39 02 64487918 Chiara Damiani, Ph.D. Department of Informatics, Systems and Communication University of Milan Bicocca Building U14 - Room 1002 - Viale Sarca 336I-20126 - Milan (MI) - phone: +39 02 64487918 mail: chiara.damiani(a)unimib.it <mailto:chiara.damiani@unimib.it> _______________________________________________ bimib-group(a)mailing.disco.unimib.it <mailto:bimib-group@mailing.disco.unimib.it> http://strumenti.didattica.unimib.it/mailman//listinfo/bimib-group <http://strumenti.didattica.unimib.it/mailman//listinfo/bimib-group> Chiara Damiani, Ph.D. Department of Informatics, Systems and Communication University of Milan Bicocca Building U14 - Room 1002 - Viale Sarca 336I-20126 - Milan (MI) - phone: +39 02 64487918 mail: chiara.damiani(a)unimib.it <mailto:chiara.damiani@unimib.it> Chiara Damiani, Ph.D. Department of Informatics, Systems and Communication University of Milan Bicocca Building U14 - Room 1002 - Viale Sarca 336I-20126 - Milan (MI) - phone: +39 02 64487918 mail: chiara.damiani(a)unimib.it <mailto:chiara.damiani@unimib.it>

1 0

Graphical Models for Security (GraMSec 2017) co-located with CSF 2017
by Barbara Kordy 04 May '17

04 May '17

GraMSec 2017 - call for papers The Fourth International Workshop on Graphical Models for Security Santa Barbara, CA, USA - August 21, 2017 http://gramsec.uni.lu Co-located with CSF 2017 LNCS proceedings confirmed SCOPE Graphical security models provide an intuitive but systematic approach to analyze security weaknesses of systems and to evaluate potential protection measures. Cyber security researchers, as well as security professionals from industry and government, have proposed various graphical security modeling schemes. Such models are used to capture different security facets (digital, physical, and social) and address a range of challenges including vulnerability assessment, risk analysis, defense analysis, automated defensing, secure services composition, policy validation and verification. The objective of the GraMSec workshop is to contribute to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage. TOPICS The workshop seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of graphical models for security. The topics of the workshop include, but are not limited to: • Graphical models for threat modeling and analysis • Graphical models for risk analysis and management • Graphical models for requirements analysis and management • Textual and graphical representation for system, organizational, and business security • Visual security modeling and analysis of socio-technical and cyber-physical systems • Graphical security modeling for cyber situational awareness • Graphical models supporting the security by design paradigm • Methods for quantitative and qualitative analysis of graphical security models • Formal semantics and verification of graphical security models • Methods for (semi-)automatic generation of graphical security models • Enhancement and/or optimization of existing graphical security models • Scalable evaluation of graphical security models • Evaluation algorithms for graphical security models • Dynamic update of graphical security models • Game theoretical approaches to graphical security modeling • Attack trees, attack graphs and their variants • Stochastic Petri nets, Markov chains, and Bayesian networks for security • UML-based models and other graphical modeling approaches for security • Software tools for graphical security modeling and analysis • Case studies and experience reports on the use of graphical security modeling paradigm INVITED SPEAKER To be decided. PAPER SUBMISSION We solicit two types of submissions: • Regular papers (up to 15 pages, excluding the bibliography and well-marked appendices) describing original and unpublished work within the scope of the workshop. • Short papers (up to 7 pages, excluding the bibliography and well-marked appendices) describing original and unpublished work in progress. The reviewers are not required to read the appendices, so the papers should be intelligible without them. All submissions must be prepared using the LNCS style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Each paper will undergo a thorough review process. All accepted (regular and short) papers will be included in the workshop's post-proceedings. The GraMSec 2017 post-proceedings will be published in the Lecture Notes in Computer Science (LNCS) series of Springer. Submissions should be made using the GraMSec 2017 EasyChair web site: https://www.easychair.org/conferences/?conf=gramsec17 IMPORTANT DATES • Submission deadline: Sunday, May 21, 2017 • Acceptance notification: Friday, July 7, 2017 • Workshop: Monday, August 21, 2017 GENERAL CHAIR • Sjouke Mauw, University of Luxembourg, Luxembourg PROGRAM CHAIRS • Peng Liu, Pennsylvania State University, USA • Ketil Stølen, SINTEF Digital and University of Oslo, Norway PC MEMBERS Mathieu Acher, University Rennes 1, Inria, France Massimiliano Albanese, George Mason University, USA Ludovic Apvrille, Télécom ParisTech, France Thomas Bauereiss, DFKI, Germany Kristian Beckers, Technical University of Munich, Germany Giampaolo Bella, University of Catania, Italy Stefano Bistarelli, Università di Perugia, Italy Marc Bouissou, EDF RD, France Frédéric Cuppens, Télécom Bretagne, France Nora Cuppens-Boulahia, Télécom Bretagne, France Binbin Chen, Advanced Digital Sciences Center, Singapore Hervé Debar, Télécom SudParis, France Harley Eades, Augusta University, USA Mathias Ekstedt, KTH - Royal Institute of Technology, Sweden Ulrik Franke, Swedish Institute of Computer Science - SICS, Sweden Frank Fransen, TNO, The Netherlands Olga Gadyatskaya, University of Luxembourg, Luxembourg Paolo Giorgini, University of Trento, Italy Dieter Gollmann, Hamburg University of Technology, Germany Joshua Guttman, WPI and MITRE, USA René Rydhof Hansen, Aalborg University, Denmark Maritta Heisel, Universität Duisburg-Essen, Germany Hannes Holm, Swedish Defence Research Agency, Sweden Siv Hilde Houmb, Secure-NOK AS, Norway Sushil Jajodia, George Mason University, USA Ravi Jhawar, University of Luxembourg, Luxembourg Henk Jonkers, BiZZdesign, The Netherlands Cristian Johansen, University of Oslo, Norway Florian Kammueller, Middlesex University London, UK Nima Khakzad, TU Delft, The Netherlands Dong Seong Kim, University of Canterbury, New Zealand Barbara Kordy, INSA Rennes, IRISA, France Pascal Lafourcade, Université Clermont Auvergne, LIMOS, France Jean-Louis Lanet, Inria, France Per Håkon Meland, SINTEF Digital, Norway Jogesh Muppala, HKUST, Hong Kong, SAR China Simin Nadjm-Tehrani, Linköping University, Sweden Andreas L. Opdahl, University of Bergen, Norway Xinming Ou, University of South Florida, USA Stéphane Paul, Thales Research and Technology, France Wolter Pieters, TU Delft, The Netherlands Ludovic Piètre-Cambacédès, EDF, FR Sophie Pinchinat, University Rennes 1, IRISA, France Vincenzo Piuri, University of Milan, Italy Marc Pouly, Lucerne University of Applied Sciences and Arts, Switzerland Nicolas Prigent, Supélec, France Christian W. Probst, Technical University of Denmark, Denmark David Pym, UCL, UK Saša Radomirovic, University of Dundee, UK Indrajit Ray, Colorado State University, USA Arend Rensink, University of Twente, The Netherlands Yves Roudier, Université Côte d'Azur, CNRS, I3S, UNS, France Guttorm Sindre, NUST, Norway Mariëlle Stoelinga, University of Twente, The Netherlands Xiaoyan Sun, California State University, USA Axel Tanner, IBM Research - Zurich, Switzerland Alexandre Vernotte, KTH - Royal Institute of Technology, Sweden Luca Viganò, King's College London, UK Lingyu Wang, Concordia University, Canada Jan Willemson, Cybernetica, Estonia CONTACT For inquiries please send an e-mail to gramsec17(a)easychair.org

1 0

Recruitment - Postdocs on Cyber-Physical Security at SUTD, Singapore
by Jianying Zhou 03 May '17

03 May '17

Singapore University of Technology and Design (SUTD) is a young university established in collaboration with MIT. Cyber security is one of its most important areas and grows very fast with rich research funding. It has the world's best facilities in cyber-physical systems (CPS) including testbeds for Secure Water Treatment (SWaT), Water Distribution (WADI), Electric Power and Intelligent Control (EPIC), and IoT. (See more info at https://itrust.sutd.edu.sg/research/testbeds/) I am looking for postdocs with expertise on cyber-physical system security, especially in the areas of autonomous vehicle and IoT. The candidates should have track record of strong R&D capability, be able to perform deep system-level investigations of security mechanisms, be a good team player, and also have good written/oral communication skills. The position will provide an excellent opportunity to perform both basic and translational research in close collaboration with industry. Successful candidates will be offered internationally competitive remuneration, and enjoy high-quality living and low tax rates in Singapore. Interested candidates please send your CV with a research statement to Prof. Jianying Zhou. Contact: Prof. Jianying Zhou Email: jianying_zhou(a)sutd.edu.sg Home: http://jianying.space/

1 0

Recruitment - PhD Interns on Cyber-Physical Security at SUTD, Singapore
by Jianying Zhou 03 May '17

03 May '17

Singapore University of Technology and Design (SUTD) is a young university established in collaboration with MIT. Cyber security is one of its most important areas and grows very fast with rich research funding. It has the world's best facilities in cyber-physical systems (CPS) including testbeds for Secure Water Treatment (SWaT), Water Distribution (WADI), Electric Power and Intelligent Control (EPIC), and IoT. (See more info at https://itrust.sutd.edu.sg/research/testbeds/) I am looking for PhD interns with interest in cyber-physical system security (IoT, autonomous vehicle, and power grid etc.), especially on the topics such as 1) Lightweight and low-latency crypto algorithms for CPS devices, 2) Resilient authentication of devices and data in CPS, 3) Advanced SCADA firewall to filter more sophisticated attacking packets in CPS, 4) Big data based threat analytics for detection of both known and unknown threats, 5) Attack mitigation to increase the resilience of CPS. The attachment will be at least 3 months. Allowance will be provided for local expenses. Interested candidates please send your CV with a research statement to Prof. Jianying Zhou. Contact: Prof. Jianying Zhou Email: jianying_zhou(a)sutd.edu.sg Home: http://jianying.space/

1 0

AI in Security Workshop at IJCAI - second CFP
by Madden, Michael 03 May '17

03 May '17

1st International Workshop on A.I. in Security. An IJCAI Workshop, Melbourne, Australia, 20th August 2017 . Details and submissions: http://iwaise.it.nuigalway.ie/ Deadline for submissions: 15 May 2017. Artiﬁcial intelligence has an important role to play in improving the resilience of society to both digital and physical threats, and in safeguarding the privacy of individuals, as the world becomes increasingly interconnected. Relevant AI techniques include: knowledge representation; probabilistic reasoning; machine learning; anomaly detection; image recognition; speech recognition; social network analysis; and many others. For example, anomaly detection and temporal data mining can enable the automated detection of physical and/or digital threats; while advances in AI for autonomous vehicles can allow robotic vehicles to be used to secure remote locations that are hazardous to humans, and for search and rescue. AI for physical security is also being successfully used in homeland security applications. To date the physical and digital security communities have limited opportunities to share their research ﬁndings and to engage with the wider AI community. This workshop will to bring together academic researchers and industry practitioners in a single location, to present and discuss their new research. It will also provide an opportunity for attendees to highlight current challenges in AI for digital and physical security, propose multi-disciplinary solutions, and showcase the application of AI in this domain. This workshop seeks novel research, case studies and survey papers in topics that include, but are not limited to, the following: Security Analytics: Machine Learning; Security Threat Detection and Visualization; Future Threat Inference; Situational Awareness Monitoring; Automated Message Monitoring; Security Decision Support; Network Event Detection Finance: Applications of AI to: Digital Currencies; Secure Payments; Detection of Tax Evasion or Money Laundering; etc Forensics: Automated Physical Evidence Gathering; Data and Network Analysis; Digital Forensic Tools; Decision Support for Rare Events Images, Text & Networks: Automated Crowd Scanning; Video Analytics; Damage Assessment; Automatic Detection of Hate Speech and Radicalisation on Social Media; Security Sentiment Analysis Physical Security: Automated Monitoring of Secure Locations; Automated Threat Detection; Crisis Management; Sensor Data Analytics; Spatio-Temporal Reasoning; Reasoning from Distributed, Dissimilar and Noisy Data Stream Digital Security: AI for Detection and Mitigation of Threats Such as: Spear Phishing; Social Engineering; Botnets; Intrusion, as well as AI methods for improving Penetration Testing Software Engineering: AI Applied to: Design for Security; Program Analysis; Fault Detection; Compiler and Language Design; Veriﬁcation of Privacy and Security Compliance; Adaptive Security/Privacy Robotics: Securing Remote or Restricted Locations; Operations in Remote or Dangerous locations; Roboguards; Search and Rescue Privacy and Identity Biometrics: Face Recognition; Innovative Cryptography; Anonymization and De-anonymization; Ethics of AI for Security Organizing Committee: • Michael Madden (National University of Ireland Galway, Ireland) • Barry O’Sullivan (University College Cork, Ireland) • Jo Ueyama (University of Sao Paulo, Brazil) • Brett Drury (National University of Ireland Galway, Ireland) -- Dr Michael Madden Head of Data Mining & Machine Learning Group National University of Ireland, Galway +353-91-493797 / +353-86-7952802 http://datamining.it.nuigalway.ie/

1 0

CFP: Special Issue on "Security and Privacy in Cloud-Assisted Cyber-Physical Systems" in Computer Networks Journal (Elsevier)
by Cristina Alcaraz 01 May '17

01 May '17

*** Apologies for multiple copies *** ================================================================================ C a l l F o r P a p e r s COMPUTER NETWORKS JOURNAL - Elsevier Special Issue: Security and Privacy in Cloud-Assisted Cyber-Physical Systems ================================================================================ Cloud-assisted Cyber-Physical Systems (CPS) feature a tight coupling between embedded computing devices and their physical environment. CPSes can be viewed as the bridge between physical components/processes and the cyber space. Specifically, the notion of CPSes is to use computing (e.g. sensing, analyzing and predicting), communication (e.g. interaction, intervene and interface management), and controlling (e.g. inter-operation, evolving and evidence-based certification) to make intelligent and autonomous systems. Recent years have seen a dramatic rise in the development of CPSes services, including ubiquitous health care, smart electricity grid, and smart buildings. However, the fast-growing data volume is hard to process. The present CPSes cannot support ultra-fast computing, and thus it cannot provide real-time and reliable services to meet the requirements, which are essential for mission-critical systems. Fortunately, cloud infrastructures and platforms can provide flexible and on-demand processing power and high-capacity storage for data streams, as well as provisioning of a variety of services using telecommunication and networking technologies. Thus, the large-scale nature of CPSes can be effectively and efficiently supported and assisted by cloud systems, which is referred to as cloud-assisted CPSes (Cloud-CPS). The coupling of cloud systems and CPSes, though advantageous, is subject to new forms of risks that have not been considered adequately in the traditional computing domain. CPSes often collect sensitive and private information about the physical environment. A loss of security for a CPS can therefore have significant negative impact including loss of privacy, potential physical harm, discrimination, and abuse. Though numerous security primitives have been developed in the cyber domain to address the very same problems, their applicability to the Cloud-CPSes domain is still questionable due to the reason that they are usually complex to implement and oblivious to cyber-physical interactions. The goal of this special issue is to unveil and address the security and privacy aspects associated to the Cloud-CPeSs. Suggested topics include, but are not limited to the following. * Secure data sharing in Cloud-CPSes * Big data security and privacy in Cloud-CPSes * Secure computation in Cloud-CPSes * Location privacy in Cloud-CPSes * Lightweight block ciphers for low-resource devices in Cloud-CPSes * Searchable encryption in Cloud-CPSes * End to end secure communications in Cloud-CPSes * Access control in Cloud-CPSes * Key management in Cloud-CPSes These topics remark the differences between the classical CPSes and Cloud-CPSes, and particularly when designing security and privacy solutions for specific Cloud-assisted CPSes applied in restricted environments with rigorous performance requirements and criticality in mind. ----------------------------------------- Important Dates ----------------------------------------- * Submission deadline: June 30, 2017 * Notification of acceptance: August 31, 2017 * Final manuscript due: October 15, 2017 ----------------------------------------- Paper Submission Guidelines ----------------------------------------- All submitted papers to this special issue must be well written in English, and must be original and not be under review in any other journal or conference proceedings. When submitting their papers authors must select “Security in Cloud CPS” as the article type. Submitted papers should be presented according to the journal style. For more detailed information regarding the requirements for submission, please refer to: https://www.elsevier.com/journals/computer-networks/1389-1286/guide-for-aut…. Requests for additional information should be addressed to the guest editors. ----------------------------------------- Guest Editors ----------------------------------------- Cristina Alcaraz, University of Malaga, alcaraz(a)lcc.uma.es Xinyi Huang, Fujian Normal University, xyhuang81(a)gmail.com Eric Rome, Fraunhofer, erich.rome(a)iais.fraunhofer.de

1 0

[CfP] ICCST-2017 Abstract Submission Extension: 12th May 2017
by riccardo.lazzeretti＠math.unipd.it 30 Apr '17

30 Apr '17

[apologies if you received multiple copies] Abstract Submission Extension: 12th May 2017 ICCST-2017: 51st International Carnahan Conference on Security Technology Madrid, Spain, October 23 - 26, 2017 http://atvs.ii.uam.es/iccst2017/ The International Carnahan Conference on Security Technology, technically sponsored by IEEE is one of the longest-running international technical symposia. This conference has a broad scope and invites papers that advance security technologies including physical, cyber and electronic security research, development, systems engineering, testing, evaluation, case studies and new research lines to face current and future challenges. All papers will be carefully subjected to a blind review process. Conference proceedings will appear in IEEE Xplore. As well as this top ranking technical event, Madrid also offers you the amazing features of a major, modern and historical European city, its legendary social activity, and the appeal of its Mediterranean gastronomy and lifestyle. The main social event at ICCST-2017 will include a display of flamenco dancing. Important Dates: Abstract Submission: May 12, 2017 Decision to Authors: June 9, 2017 Final Manuscript: July 20, 2017 Early Registration: August 15, 2017 Technically Sponsored by: IEEE AESS Best Regards, ICCST-2017 Organizing Committee ICCST-2017 Executive Committee http://atvs.ii.uam.es/iccst2017/

1 0

DeepLearn 2017: early registration May 19
by GRLMC 30 Apr '17

30 Apr '17

DeepLearn 2017: early registration May 19*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************ INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING DeepLearn 2017 Bilbao, Spain July 17-21, 2017 Organized by: University of Deusto Rovira i Virgili University http://grammars.grlmc.com/DeepLearn2017/ ************************************************************ --- Early registration deadline: May 19, 2017 --- ******************************************************** SCOPE: DeepLearn 2017 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neuroscience, computer vision, speech recognition, language processing, drug discovery, biomedical informatics, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience. Most deep learning subareas will be displayed, and main challenges identified through 4 keynote lectures, 30 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. ADDRESSED TO: In principle, graduate students, doctoral students and postdocs will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. DeepLearn 2017 is also appropriate for more senior academics and practitioners who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 3-4 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another. VENUE: DeepLearn 2017 will take place in Bilbao, the largest city in the Basque Country, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be: DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao, Spain KEYNOTE SPEAKERS: (to be completed) Richard Socher (Salesforce), Tackling the Limits of Deep Learning PROFESSORS AND COURSES: Narendra Ahuja (University of Illinois, Urbana-Champaign), [introductory/intermediate] Basics of Deep Learning with Applications to Image Processing, Pattern Recognition and Computer Vision Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory and Applications to the Natural Sciences Sven Behnke (University of Bonn), [intermediate] Visual Perception using Deep Convolutional Neural Networks Mohammed Bennamoun (University of Western Australia), [introductory/intermediate] Deep Learning for Computer Vision Hervé Bourlard (Idiap Research Institute), [intermediate/advanced] Deep Sequence Modeling: Historical Perspective and Current Trends Thomas Breuel (NVIDIA Corporation), [intermediate] Segmentation, Processing, and Tracking, with Applications to Video, Gaming, VR, and Self-driving Cars George Cybenko (Dartmouth College), [intermediate] Deep Learning of Behaviors Rina Dechter (University of California, Irvine), [introductory] Algorithms for Reasoning with Probabilistic Graphical Models Li Deng (Microsoft Research), tba Jianfeng Gao (Microsoft Research), [introductory/intermediate] An Introduction to Deep Learning for Natural Language Processing Michael Gschwind (IBM T.J. Watson Research Center), [introductory/intermediate] Deploying Deep Learning Applications at the Enterprise Scale Yufei Huang (University of Texas, San Antonio), [intermediate/advanced] Deep Learning for Precision Medicine and Biomedical informatics Soo-Young Lee (Korea Advanced Institute of Science and Technology), [intermediate/advanced] Multi-modal Deep Learning for the Recognition of Human Emotions in the Wild Li Erran Li (Columbia University), [intermediate/advanced] Deep Reinforcement Learning: Recent Advances and Frontiers Michael C. Mozer (University of Colorado, Boulder), [introductory/intermediate] Incorporating Domain Bias into Neural Networks Roderick Murray-Smith (University of Glasgow), [intermediate] Applications of Deep Learning Models in Human-Computer Interaction Research Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video Marc’Aurelio Ranzato (Facebook AI Research), [introductory/intermediate] Learning Representations for Vision, Speech and Text Processing Applications Maximilian Riesenhuber (Georgetown University), [introductory/intermediate] Deep Learning in the Brain Ruslan Salakhutdinov (Carnegie Mellon University), [intermediate/advanced] Foundations of Deep Learning and its Recent Advances Alessandro Sperduti (University of Padua), [intermediate/advanced] Deep Learning for Sequences Jimeng Sun (Georgia Institute of Technology), [introductory] Interpretable Deep Learning Models for Healthcare Applications Julian Togelius (New York University), [intermediate] (Deep) Learning for (Video) Games Joos Vandewalle (KU Leuven), [introductory/intermediate] Data Processing Methods, and Applications of Least Squares Support Vector Machines Ying Nian Wu (University of California, Los Angeles), [introductory/intermediate] Generative Modeling and Unsupervised Learning Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] Statistical Machine Learning Perspectives of Extending Deep Neural Networks: Kernels, Logics, Regularizers, Priors, and Distributed Algorithms Georgios N. Yannakakis (University of Malta), [introductory/intermediate] Deep Learning for Games - But Not for Playing them Scott Wen-tau Yih (Microsoft Research), [introductory/intermediate] Continuous Representations for Natural Language Understanding Richard Zemel (University of Toronto), [introductory/intermediate] Learning to Understand Images and Text OPEN SESSION: An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by July 9, 2017. INDUSTRIAL SESSION: A specific session will be devoted to demonstrations of practical uses of deep learning in industrial processes. Companies/people interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 2, 2017. EMPLOYERS SESSION: Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 2, 2017. ORGANIZING COMMITTEE: Pablo García Bringas (co-chair) José Gaviria Carlos Martín (co-chair) Manuel Jesús Parra Iker Pastor Borja Sanz (co-chair) David Silva REGISTRATION: It has to be done at http://grammars.grlmc.com/DeepLearn2017/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions for accommodation are available on the website. CERTIFICATE: Participants will be delivered a certificate of attendance indicating the number of hours of lectures. QUESTIONS AND FURTHER INFORMATION: david.silva409 (at) yahoo.com ACKNOWLEDGMENTS: Universidad de Deusto Universitat Rovira i Virgili

1 0

Call for papers & participation. Pre-located to IWQoS2017: Free Open Workshop on Elastic Network Design
by David Larrabeiti 28 Apr '17

28 Apr '17

Call For Papers, Tutorials & Participation 2nd International Workshop on Elastic Networks Design and Optimisation (ELASTICNETS 2017) June 13-14, 2017 Vilanova, Spain https://elasticnetworks.org/2nd-workshop <https://elasticnetworks.org/2nd-workshop> pre-located to IWQoS2017 (http://iwqos2017.ieee-iwqos.org/ <http://iwqos2017.ieee-iwqos.org/>) SCOPE The focus of this edition is set on network elasticity and QoS. Two main phenomena are driving the way the network of the future is evolving: the trend towards a network-based elastic form of computing, like Cloud or Fog Computing, where sharing of resources and latency are essential, and the trend towards a mobile Internet for People and Things where network dependability is critical. Immersive VR gaming, autonomous driving or augmented reality systems are examples of applications extremely demanding in terms of latency, resilience and bandwidth which are not viable without a new backhaul network concept. This network evolution from a static to a smart elastic network is expected to affect end systems, hybrid fog-cloud designs, and all the underlying network, spanning radio/optical access, metro and transport segments. The purpose of this workshop is to gather international experts in an informal forum to discuss the latest research advances and trends in smart elastic networking enabling a hyper-connected hyper-computing-based world. Topics of relevance include but are not limited to: · QoS issues of Elastic Networking · Wireless and wired Network Dependability · Tactile Internet · IoT, Fog and Cloud Computing Orchestration and Planning · Qos in Mobile Edge Computing · Mathematical Techniques for Network Planning and Optimisation Accounting for Latency and Reliability · Elastic Optical Networks (EON): New Technologies, Scheduling and Planning · SDN Control Plane SubNet Planning and Optimisation · Dynamically Reconfigurable Access and Metro Networks · Fog Networking · 5G and beyond-5G technologies enabling fog2cloud · HetNets: Small Cell Planning and Optimisation · Opportunistic resource sharing · Network Orchestration and Management · Energy Efficiency in Network Design · Complex Fog Networks · Cybersecurity in hyper-connected networking Two types of contributions are welcome: · WORKING PAPERS: Contributions of original unpublished work should be submitted in IEEE format (max. 4 pages in both MS Word and PDF format) to papers(a)elasticnetworks.org <mailto:papers@elasticnetworks.org>. Please write ELASTICNETWORKS in the subject line when submitting your contribution. Accepted papers will be printed and distributed to the audience as notes (no formal publication). Each author will have 20 minutes to present her/his work. There will be no official conference proceedings in order to facilitate the presentation on-going work and foster collaboration on ideas. · TUTORIALS: Didactic tutorials on mathematical methods and tools for QoS, network planning and optimisation are welcome. The tutorial proposal should be submitted in a presentation style (PDF format) to papers(a)elasticnetworks.org <mailto:papers@elasticnetworks.org>. Please write ELASTICNETWORKS TUTORIAL in the subject line when submitting your contribution. Accepted tutorials will be given 45 minutes of class. Important Dates: Authors are cordially encouraged to submit before May 20, 2017. Authors will be notified of acceptance/rejection by May 22, 2017. Participants and authors must register at http://elasticnetworks.org/2nd-workshop <http://elasticnetworks.org/2nd-workshop> before June 5, 2017. Registration is free (no material or food is supplied). Program Schedule: June 13, 14:30-19:00: Keynote & Tutorials - June 14: 9:00-15:00: Research Papers Organisers: The workshop is organised by the Elastic Network consortium, a thematic network focused on the technological challenge of enabling a hyperconnected world. Co-Chairs: D. Larrabeiti, J.A. Hernandez, U. Carlos III de Madrid X. Masip, U. Politécnica de Catalunya Sponsors: · ELASTIC NEWORKS project (TEC2015-71932-REDT) · Telefónica

1 0

Deadline Extension: ROME@Euro-Par 2017 - Papers due May 12
by Lankes, Stefan 28 Apr '17

28 Apr '17

======================================================================= CALL FOR PAPERS The 5th Workshop on Runtime and Operating Systems for the Many-core Era (ROME 2017) August 28, 2017, Santiago de Compostela, Spain held in conjunction with Euro-Par 2017, August 28 - September 1, 2017 Santiago de Compostela, Spain http://www.rome.eonerc.rwth-aachen.de ======================================================================= Background ---------- Since the beginning of the multicore era, parallel processing has become prevalent across the board. However, in order to continue a performance increase according to Moore's Law, a next step needs to be taken: away from common multicores towards innovative many-core architectures. Such systems, equipped with a significant higher amount of cores per chip than multicores, pose challenges in both hardware and software design. On the hardware side, complex on-chip networks, scratchpads, hybrid memory cubes, non-volatile memory and stacked memory, as well as deep cache-hierarchies and novel cache-coherence strategies will enrich the current research areas in the future. However, the ROME workshop focuses on the software side because without complying system software, runtime and operating system support, all these new hardware facilities cannot be exploited. Hence, the new challenges in hardware/software co-design are to step beyond traditional approaches and to wage new programming models and operating system designs in order to exploit the theoretically available performance of future hardware as effectively and power-aware as possible. Topics ------ This year, too, authors from all related disciplines are invited to submit unpublished papers regarding software for novel many-core hardware architectures. The call for papers especially emphasizes on the challenges and research questions arising from the upcoming generation of heterogeneous and/or massive parallel systems stepping towards a many-core dominated exascale era. The topics of interest include, but are not limited to: * New approaches for operating systems on novel many-core architectures * Operating system extensions for addressing many-core related issues * Many-core aware runtime support for large-scale applications * Bare-metal programming and system software for many-cores * Dealing with legacy software on novel many-core architectures * Virtualization to deal with hardware limitations on many-cores * Support for interactivity with and between many-core applications * Message-passing interfaces and middleware for many-core systems * Heterogeneity- and/or hierarchy-aware many-core middleware * Concepts and methods for exploiting deep memory hierarchies * Operating system extensions for non-volatile memory support * Software stacks for new concepts of compute acceleration on many-cores * Interfaces for performance and power analysis on many-core systems * Runtime support for power-aware many-core computing Paper Submission ---------------- Submissions in PDF format should be between 10–12 pages in the Springer LNCS style, which can be downloaded from the Springer Web site ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip. The 12 pages limit is a hard limit. It includes everything (text, figures, references). On acceptance of the submission, at least one author is required to register for workshop attendance at Euro-Par 2017 and present the paper in the workshop session. Upload your submission to our submission server (https://www.easychair.org/conferences/?conf=europar2017workshops) in PDF format. It must not be simultaneously submitted to the main conference or any other publication outlet. For the workshop, we will prepare hand-outs with the accepted papers. The revised versions will be published after the conference in the workshop proceedings of Euro-Par 2017, part of the LNCS series of Springer. Further Information ------------------- See the ROME'17 website at http://www.rome.eonerc.rwth-aachen.de Important Dates --------------- * May 12, 2017: Submission deadline * June 16, 2017: Notification of acceptance * July 21, 2017: Workshop paper (for informal workshop proceedings) * October 3, 2017: Workshop camera-ready papers due Workshop Organizers ------------------- * Stefan Lankes, Institute for Automation of Complex Power Systems, E.ON Energy Research Center, RWTH Aachen University, Germany * Carsten Clauss, ParTec Cluster Competence Center GmbH, Germany Program Committee: ------------------ * Jens Breitbart, Robert Bosch GmbH * Carsten Clauss, ParTec Cluster Competence Center * Florian Kluge, Universität Augsburg * Stefan Lankes, RWTH Aachen University * Timothy G. Mattson, Intel Labs * Jörg Nolte, BTU Cottbus * Lena Oden, Jülich Supercomputing Centre * Antonio J. Peña, Barcelona Supercomputing Center * Swann Perarnau, Argonne National Laboratory * Andreas Polze, Hasso-Plattner-Institute * Pablo Reble, Intel Corporation * Bettina Schnor, University of Potsdam * Oliver Sinnen, University of Auckland * Christian Terboven, RWTH Aachen University * Josef Weidendorfer, TU München * Carsten Weinhold, TU Dresden -- Dr. rer. nat. Stefan Lankes Institute for Automation of Complex Power Systems E.ON Energy Research Center, RWTH Aachen University Mathieustraße 10 52074 Aachen, Germany Phone: +49-241-80-49740 E-Mail: slankes(a)eonerc.rwth-aachen.de

1 0

Llamada de Articulos: JITEL 2017, 27-29 de Sept, 2017. Valencia (Espa�a)
by Sandra Sendra 27 Apr '17

27 Apr '17

================================================ XIII Jornadas de Ingenieria Telematica (JITEL 2017), 27-29 de septiembre de 2017. http://jlloret.webs.upv.es/jitel2017/index.html FECHA DE ENVIO DE TRABAJOS: 12 de mayo de 2017 (Extendido) ENLACE DE ENVIO: http://ocs.editorial.upv.es/index.php/JITEL/JITEL2017/author/submit?require… =============================================== CONVOCATORIA DE PONENCIAS =============================================== Las XIII Jornadas de Ingenieria Telematica (JITEL 2017), se celebraran en la ciudad de Valencia durante los dias 27 al 29 de Septiembre de 2017. Las Jornadas de Ingenieria Telematica (JITEL), organizadas por la Asociacion de Telematica (ATEL), constituyen un foro propicio de reunion, debate y divulgacion para los grupos que imparten docencia e investigan en temas relacionados con las redes y los servicios telematicos. Con la organizacion de este evento se pretende fomentar, por un lado el intercambio de experiencias y resultados, ademas de la comunicacion y cooperacion entre los grupos de investigacion que trabajan en temas relacionados con la telematica. TOPICOS =============================================== Las contribuciones enviadas a JITEL 2017, asi como a los workshops propuestos, deberan ser originales no previamente publicadas o propuestas para tal fin en otra revista o conferencia con actas. En general, se aceptaran comunicaciones relacionadas con todos los ambitos de la telematica, incluyendo los que se relacionan a continuacion: -- Arquitectura de redes e Internet de proxima generacion -- Redes 5G -- Gestion de redes y servicios -- Protocolos y servicios en la nube -- Dise�o multicapa en redes fijas y moviles -- Eficiencia energetica en las redes de comunicaciones -- Gestion de recursos en redes moviles -- Internet de los objetos -- Redes vehiculares -- Modelos, analisis y control de trafico -- Plataformas de experimentacion -- Algoritmos y protocolos de comunicacion -- Tarificacion y costes en las redes de comunicaciones -- Redes y tecnicas cognitivas -- Redes inalambricas de area local y metropolitana -- Redes opticas activas y pasivas. Transmision y conmutacion. Redes superpuestas. Servicios soportados -- Seguridad, criptografia, privacidad y anonimato en las redes de comunicaciones -- Tecnologias y protocolos en las redes de sensores -- Software Defined Networking -- Virtualizacion en la red -- Web semantica y datos enlazados -- Big Data -- Web 2.0 y redes sociales -- Servicios multimedia interactivos: VoIP, VoD, etc -- Servicios telematicos para la sociedad de la informacion -- Tecnicas de cooperacion en la red y en los servicios En aquellos casos en los que las contribuciones se encuentren dentro de las areas incluidas en alguno de los workshops, se recomienda a los autores que las presenten a dichos workshops. La seleccion de las contribuciones se realizara de forma que aquellas que no puedan ser incluidas en los workshops seran consideradas para las sesiones ordinarias. INSTRUCCIONES PARA LOS AUTORES =============================================== Se pueden enviar contribuciones en espa�ol o ingles a JITEL 2017, asi como a los workshops propuestos. Estas deberan ser originales no previamente publicadas o propuestas para tal fin en otra revista o conferencia con actas. Las contribuciones que se envien a la conferencia principal pueden tener una longitud de entre 6 y 8 paginas (considerado como FULL PAPER) en el formato indicado, o entre 3 y 4 paginas (considerado como SHORT PAPER), siendo aceptable solo la recepcion de ficheros en formato PDF. Las contribuciones que no cumplan estas recomendaciones podran ser rechazadas independientemente de otras consideraciones. Aquellos grupos de investigacion interesados en participar en las sesiones Fast Track deberan enviar un resumen de 1 pagina, a traves de la plataforma de envio y subirlo a la seccion "Fast Track". Durante el proceso de envio de los articulos, los autores podran indicar la seccion apropiada. Solo las contribuciones enviadas como FULL PAPER, en la conferencia! principal o en los workshops, sera n consideradas a la hora de seleccionar los mejores articulos para los numeros especiales que se han organizado El enlace de envio para Jitel 2017 es el siguiente: http://ocs.editorial.upv.es/index.php/JITEL/JITEL2017/author/submit?require… Al menos un autor de cada contribucion aceptada debera registrarse en la conferencia y asistir a la misma, asi como realizar la presentacion de su trabajo. Todos los articulos aceptados como FULL PAPER o SHORT PAPER tanto en la conferencia principal como en los workshops, excepto los resumenes de las presentaciones de las sesiones Fast track, se publicaran en las actas del congreso, con ISBN. INVITACION DE LAS MEJORES CONTRIBUCIONES A NUMEROS ESPECIALES =============================================== Los mejores articulos presentados en las JITEL 2017 podran ser seleccionados para participar en varios numeros especiales de revistas internacionales de reconocido prestigio como: Sensors Link: http://www.mdpi.com/journal/sensors/special_issues/Smart_Communication_Prot… Factor de calidad: Con JCR, situada en Q1 Information Link: http://www.mdpi.com/journal/information Factor de calidad: ESCI - Web of Science, Citescore 0.94 SCOPUS Network Protocols and Algorithms Link: http://www.macrothink.org/journal/index.php/npa Factor de calidad: Indexada en varias listas con indice de impacto, incluida en DBLP FECHAS IMPORTANTES =============================================== -- Envio de trabajos: 12 de mayo de 2017 (Extendido) -- Comunicacion aceptacion: 30 de junio de 2017 -- Envio version final: 16 de julio de 2017 -- Fecha Celebracion de la conferencia: 27-29 de Septiembre de 2017 COMITE EJECUTIVO Y DE ORGANIZACION =============================================== Comite Ejecutivo: -- Jaime Lloret Mauri, Universidad Politecnica de Valencia, Espa�a (JITEL 2017) -- Vicente Casares-Giner, Universidad Politecnica de Valencia, Espa�a (JITEL 2017) -- Magdalena Payeras Capella, Universitat de les Illes Balears, Espa�a (JITEL 2015) -- Julian Fernandez Navajas, Universidad de Zaragoza, Espa�a (JITEL 2019) -- Alvaro Suarez Sarmiento, Universidad de las Palmas de Gran Canaria, Espa�a (ATEL) Logistica Local: -- Oscar Romero Martinez, Universidad Politecnica de Valencia, Espa�a -- Jose Miguel Jimenez Herranz, Universidad Politecnica de Valencia, Espa�a Sitio web: -- Alejandro Canovas Solbes, Universidad Politecnica de Valencia, Espa�a Difusion y publicidad de la llamada a ponencias: -- Sandra Sendra Compte, Universidad de Granada, Espa�a Redes sociales: -- Miguel Garcia Pineda, Universidad de Valencia, Espa�a Soporte envio de articulos: -- Lorena Parra Boronat, Universidad Politecnica de Valencia, Espa�a -- Laura Garcia Garcia, Universidad Politecnica de Valencia, Espa�a Para mas informacion, visite la web de la conferencia: http://jlloret.webs.upv.es/jitel2017/index.html =================================================

1 0

[Deadline Extended] CFP - PBio 2017, ICA3PP Workshop (Springer LNCS proceedings) + Special Issues in Journal of Computational Biology (IF: 1.537, Q1) and Int. Journal of Parallel Programming (IF: 0.680, Q3)
by Miguel A. Vega-Rodriguez 27 Apr '17

27 Apr '17

Call for Papers - PBio 2017 --- 5th International Workshop on Parallelism in Bioinformatics (proceedings published by Springer LNCS), ICA3PP Workshop + Special Issue in the Journal of Computational Biology (Impact Factor: 1.537, Quartile Q1, ISSN: 1066-5277) + Special Issue in the International Journal of Parallel Programming (Impact Factor: 0.680, Quartile Q3, ISSN: 0885-7458) --- SUBMISSION DEADLINE: MAY 10, 2017 (EXTENDED) http://arco.unex.es/mavega/pbio/2017/ https://research.comnet.aalto.fi/ICA3PP2017/workshops.html We seek original, high-quality research papers, clearly focused on the application of Parallelism to any possible Bioinformatics problem. In particular, contributions are solicited on, but are not limited to, the following topics: - Parallel and distributed algorithms in Bioinformatics. - Workload partitioning strategies in Bioinformatics. - Memory-efficient algorithms in Bioinformatics. - Parallel tools and applications in Bioinformatics. - Data-intensive Bioinformatics (including Big Data storage and processing). - Multicore computing in Bioinformatics. - Multithreaded computing in Bioinformatics. - Cluster computing in Bioinformatics. - Supercomputing in Bioinformatics. - Cloud/Grid/P2P computing in Bioinformatics. - Volunteer computing in Bioinformatics. - Hardware accelerators (GPUs, FPGAs, etc.) in Bioinformatics. - Heterogeneous computing in Bioinformatics. - Green computing in Bioinformatics. - Mobile computing in Bioinformatics. - Emerging parallel programming models in Bioinformatics. - Parallel performance evaluation, analysis, and optimization in Bioinformatics. - Parallel visualization, modelling, simulation, and exploration in Bioinformatics. With regard to the Bioinformatics problems, many different alternatives exist: bioinformatics applied to biomedicine and drug design; biological sequence analysis, comparison and alignment; motif, gene and signal recognition/discovery; molecular evolution; phylogenetics and phylogenomics; determination or prediction of the structure of RNA and protein; DNA twisting and folding; gene expression and gene regulatory networks; deduction of metabolic pathways; microarray design and analysis; proteomics; functional genomics; molecular docking; design of DNA sequences for molecular computing; etc. All the details (paper format, submission system, important dates, etc.) at: http://arco.unex.es/mavega/pbio/2017/ https://research.comnet.aalto.fi/ICA3PP2017/workshops.html --- Kind regards. -- ------------------------------------------------- Dr. Miguel A. Vega-Rodriguez <mavega(a)unex.es> http://arco.unex.es/mavega ARCO Research Group University of Extremadura Dept. Technologies of Computers & Communications Escuela Politecnica. Campus Universitario, s/n 10003 Caceres. SPAIN Tel: +34-927-257263 Fax: +34-927-257187 -------------------------------------------------

1 0

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