- computational.science - lists.iccsa.org

CFP: 3rd International Workshop on Algorithmic Aspects of Cloud Computing (ALGOCLOUD 2017)
by George Pallis 13 May '17

13 May '17

[Please accept our apologies if you received multiple copies of this call] Submission Deadline: June 23, 2017 ---------------------------------------------------------------------------------- 3rd International Workshop on Algorithmic Aspects of Cloud Computing (ALGOCLOUD 2017) co-located with ALGO 2017 September 4th - 5th, 2017 – Vienna, Austria ---------------------------------------------------------------------------------- ALGOCLOUD (https://algo2017.ac.tuwien.ac.at/algocloud/ <https://algo2017.ac.tuwien.ac.at/algocloud/>) is the international forum bringing together international researchers, students, and practitioners to present research activities and results on topics related to algorithmic, design, and development aspects of modern cloud-based systems. ALGOCLOUD is co-located with the ALGO conference (https://algo2017.ac.tuwien.ac.at/ <https://algo2017.ac.tuwien.ac.at/>), a leading international meeting of researchers working in algorithms and their engineering. ALGOCLOUD welcomes submissions on all theoretical, design, and implementation aspects of modern cloud-based systems. ALGOCLOUD is particularly interested in novel algorithms in the context of cloud computing, cloud architectures, as well as experimental work that evaluates contemporary cloud approaches and pertinent applications. ALGOCLOUD also welcomes demonstration manuscripts, which discuss successful elastic system developments, as well as experience/use-case articles. Contributions may span a wide range of algorithms for modeling, practices for constructing and techniques for evaluating operations and services in a variety of systems, including but not limited to, virtualized infrastructures, cloud platforms, datacenters, cloud-storage options, cloud data management, non-traditional key-value stores on the cloud, HPC architectures, etc. ***Keynote Speaker: Prof. Babak Falsafi (EPFL, Switzerland) *** TOPICS Suggested topics include, but are not limited to: - Algorithmic aspects of elasticity - Search and retrieval algorithms for cloud infrastructures - Scale-up and -out for NoSQL and columnar databases - Resource provisioning and management - Monitoring and analysis of elasticity for virtualized environments - Analysis of containerized applications - Cloud deployment tools and their analysis - Query languages and novel programming models - Content delivery through cloud infrastructures - Load-sharing and caching for cloud systems - Data structures and algorithms for eventually-consistent stores - Scalable access structures and indexing for cloud data-stores - Algorithmic aspects for cloud applications - Machine learning, analytics and data science - Resource availability, reliability and fail-over - NoSQL and schema-less data modeling and integration - Consistency, replication and partitioning CAP - Transactional models and algorithms for cloud data-stores PROCEEDINGS Accepted papers will be included in the post-proceedings in the Lecture Notes in Computer Science by Springer-Verlag (http://www.springer.com/gp/computer-science/lncs <http://www.springer.com/gp/computer-science/lncs>). SUBMISSION GUIDELINES Submissions must have a length of up to 12 pages in LNCS format (excluding references and an optional appendix to be read at the discretion of the Program Committee). Papers should be submitted electronically via the Easy Chair Submission system (https://easychair.org/conferences/?conf=algocloud17 <https://easychair.org/conferences/?conf=algocloud17>). By submitting a paper the authors acknowledge that in case of acceptance at least one of the authors must register and attend ALGO 2017 or ALGOCLOUD 2017, and present the paper. PC members are strongly encouraged to submit papers. IMPORTANT DATES - Paper submission: June 23, 2017 - Author notification: July 25, 2017 - Workshop: September 4-5, 2017 COMMITTEES Workshop Chairs  - Dan Alistarh (IST, Austria) - Alex Delis (University of Athens, Greece) Proceedings and Publicity Chair - George Pallis (University of Cyprus, Cyprus) PC Members  - Stergios Anastasiadis (University of Ioannina, Greece) - Athman Bouguettaya (University of Sydney, Australia) - Marco Canini (KAUST, Saudi Arabia) - Aleksandar Dragojevic (Microsoft Research, UK) - Schahram Dustdar (TUW, Austria) - Rachid Guerraoui (EPFL, Switzerland) - Gabriel Istrate (University of Timişoara & e-Austria RI, Romania) - Thomas Karagiannis (Microsoft Research, UK) - Nectarios Koziris (NTUA, Greece) - Fernando Pedone (University of Lugano, Switzerland) - Florin Pop (University Politehnica of Bucharest, Romania) - Raj Ranjan (Newcastle University, UK) - Luis Rodrigues (Universidade Técnica de Lisboa, Portugal) - Rizos Sakellariou (University of Manchester, UK) - Stefan Schmid (Aalborg University, Denmark) - Zahir Tari (RMIT, Australia) - Vasileios Trigonakis (Oracle Labs, Switzerland) - Dimitris Tsoumakos (Ionian University, Greece) Steering Committee - Spyros Sioutas (Ionian University, Greece) - Peter Triantafillou (University of Glasgow, UK) - Christos D. Zaroliagis (University of Patras, Greece)

1 0

Symposium on Foundations & Practice of Security (FPS 2017): Call for Papers (Springer-LNCS Proceedings)
by Abdessamad Imine 12 May '17

12 May '17

(Apologies for multiple copies) ********************************************************************************** The 10th International Symposium on Foundations & Practice of Security (FPS 2017) October 23-24-25, 2017 Nancy, France Website: http://fps2017.loria.fr/ ********************************************************************************** Invited speakers: ----------------- 1) Véronique Cortier (CNRS-LORIA, France) Title: "Electronic voting: how logic can help" 2) Krishna Gummadi (Max Planck Institute, Germany) Title: "Privacy and Fairness Concerns with PII-based Targeted Advertising on Social Media" 3) Florian Kerschbaum (University of Waterloo, Canada) Title: to be announced later Important Dates: ---------------- - Deadline for Short / Position Papers : July 9, 2017 (anywhere in the world) - Deadline for Full Papers : July 9, 2017 (anywhere in the world) - Acceptance Notification : September 15, 2017 Scope: ------ Protecting the communication and data infrastructure of an increasingly inter-connected world has become vital to the normal functioning of all aspects of our world. Security has emerged as an important scientific discipline whose many multifaceted complexities deserve the attention and synergy of the mathematical, computer science and engineering communities. After the previous meetings held in La Rochelle, Montreal, Grenoble, Toronto, Paris, Clermont-Ferrand and Quebec city, this 10th edition of the FPS symposium will be held in Nancy, France. The aim of FPS is to discuss and exchange theoretical and practical ideas that address security issues in inter-connected systems. It aims to provide scientific presentations as well as to establish links, promote scientific collaboration, joint research programs, and student exchanges between institutions involved in this important and fast moving research field. We also invite papers from researchers and practitioners working in security, privacy, trustworthy data systems and related areas to submit their original papers. The main topics, but not limited to, include: * Computer and Network Security * Formal foundations in Information or Operational Security * Security of Service Oriented Architectures * Information Theoretic Security * Security of Cloud Computing * Security Management and Security Policies * Policy-based Security Architectures * Security of P2P systems * Security & Privacy on Social Networks * Access Control Languages * Data Mining & Watermarking * Cryptography & Cryptanalysis * Threat Analysis and Trust Management * Privacy & Sensitive Data Management * Policy-based Distributed Information Systems * Security in Sensor Networks and RFIDs * Security of Cloud Computing, Grid Computing * Security of Distributed Embedded Middleware * Distributed Security Protocols & Policies * Security and Privacy in Digital Currencies * Malware, Botnet and Advanced Persistent Threats * Code Reverse Engineering and Vulnerability Exploitation * Side Channel & Physical Attacks * Social Engineering * Security of Big-Data Submissions Guidelines: ----------------------- Full papers should be at most 16 pages, including the bibliography and appendices. Short and Position papers should be up to 8 pages. Authors should indicate whether their paper is a "position paper" to differentiate them from regular ones (you mention "Position paper" in the title). Committee members are not required to read the appendices, so the paper should be intelligible without them. All submissions must be written in English. Authors must submit their papers by the deadline indicated below, using the EasyChair web site (using the link https://easychair.org/conferences/?conf=fps2017) and following the requirements stated there. All papers will be refereed. The submitted contribution should be formatted according to Springer’s LNCS style. Submissions by PhD students as well as surveys and controversial ideas are encouraged. Case studies (successful or not) are also encouraged. Publication: ------------ As in previous editions, proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series. At least one author of each accepted paper must register to the symposium, by the date indicated by the organizers, and present the paper. Committees: ------------ General Chairs: - Luigi Logrippo (Université du Québec en Outaouais, Canada) - Jean-Yves Marion (Mines de Nancy, France) PC Chairs: - José M. Fernandez (Polytechnique Montréal, Canada) - Abdessamad Imine (Université de Lorraine, Nancy, France) Publications Chair: - Joaquin Garcia-Alfaro (Telecom SudParis, France) Publicity Chairs: - Pascal Lafourcade (Université d’Auvergne, France) - Nur Zincir-Heywood (Dalhousie University, Canada) Program Committee: - Esma Aimeur (University of Montreal, Canada) - Jeremy Clark (Concordia University, Canada) - Frédéric Cuppens (IMT Atlantique, France) - Nora Cuppens (IMT Atlantique, France) - Jean-Luc Danger (Télécom Paris-Tech, France) - Mourad Debbabi (Concordia University, Canada) - Josée Desharnais (Laval University, Canada) - Josep Domingo-Ferrer (Universitat Rovira i Virgili, Spain) - Samuel Dubus (NOKIA Bell Labs, France) - Sébastien Gambs (Université du Québec à Montréal, Canada) - Joaquin Garcia-Alfaro (Telecom SudParis, France) - Dieter Gollmann (Hamburg University of Technology, Germany) - Sushil Jajodia (George Mason University, USA) - Martin Johns (SAP Research, Germany) - Bruce Kapron (University of Victoria, Canada) - Nizar Kheir (THALES, France) - Raphaël Khoury (Université du Québec à Chicoutimi, Canada) - Hyoungshick Kim (Sungkyunkwan University, Republic of Korea) - Igor Kotenko (SPIIRAS, Russia) - Evangelos Kranakis (Carleton University Computer Science, Canada) - Pascal Lafourcade (Université d'Auvergne, France) - Luigi Logrippo (Université du Québec en Outaouais, Canada) - Javier Lopez (University of Malaga, Spain) - Jean-Yves Marion (Mines de Nancy, France) - Fabio Martinelli (National Research Council of Italy (CNR), Italy) - Paliath Narendran (University at Albany, USA) - Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona, Spain) - Jun Pang (University of Luxembourg, Luxembourg) - Milan Petkovic (Philips Research Laboratories, The Netherlands) - Marie-Laure Potet (VERIMAG, France) - Silvio Ranise (FBK, Security and Trust Unit, Italy) - Indrakshi Ray (Colorado State University, USA) - Michaël Rusinowitch (LORIA-INRIA Nancy, France) - Basit Shafiq (Lahore University of Management Sciences, Pakistan) - Anna Squicciarini (Pennsylvania State University, USA) - Natalia Stakhanova (University of New Brunswick, Canada) - Chamseddine Talhi (École de Technologie Supérieure, Canada) - Nadia Tawbi (Université Laval, Canada) - Rakesh Verma (University of Houston, USA) - Lingyu Wang (Concordia University, Canada) - Edgar Weippl (SBA Research, Austria) - Lena Wiese (Georg-August Universität Göttingen, Germany) - Xun Yi (RMIT University, Australia) - Nur Zincir-Heywood (Dalhousie University, Canada) - Mohammad Zulkernine (Queen's University, Canada) @@@@@@@@@@@@@@@@@@@@@@@@@@@@@ Dr Abdessamad IMINE Université de Lorraine & LORIA-INRIA Nancy Grand-Est 615 rue du Jardin Botanique 54506, Vandoeuvre-lès-Nancy Tel: +33 (0)3 54 95 85 35 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@

1 0

CFP SPIFEC 2017 (ESORICS workshop): 1st European Workshop on Security and Privacy in Fog and Edge Computing
by roman 12 May '17

12 May '17

*** Apologies for multiple copies *** ============================================================================== C a l l F o r P a p e r s SPIFEC 2017: 1st European Workshop on Security and Privacy in Fog and Edge Computing (In conjunction with ESORICS 2017) Oslo, Norway, September 14, 2017 Website: https://www.nics.uma.es/pub/spifec ============================================================================== Overview The main goal of Fog Computing and other related Edge paradigms, such as Multi-Access Edge Computing, is to decentralize the Cloud and bring some of its services closer to the edge of the network, where data are generated and decisions are made. Cloud-enabled edge platforms will be able to cooperate not only with each other but with the cloud, effectively creating a collaborative and federated environment. This paradigm shift will fulfill the needs of novel services, such as augmented reality, that have particularly stringent requirements like extremely low latency. It will also help improve the vision of the Internet of Things by improving its scalability and overall functionality, among other benefits. To enable this vision, a number of platforms and technologies need to securely coexist, including sensors and actuators, edge-deployed systems, software-defined networks, hardware virtualization, data mining mechanisms, etc. However, this paradigm shift calls for new security challenges and opportunities to leverage services for new scenarios and applications. The field of edge computing security is almost unexplored, and demands further attention from the research community and industry in order to unleash the full potential of this paradigm. Topics This workshop expects original research papers on, but not limited to, the topics described below: • Edge devices security • Attacks and Countermeasures to Edge computing platforms • Authentication and Access control in Edge computing • Accountability and Accounting in Edge computing • Identity management systems in Edge computing • Secure federation of Edge computing devices • Secure Orchestration and Management of Edge devices • Secure Software-Defined Networking for Edge computing • Secure Virtualization in Edge Computing • Secure Migration of resources in Edge Computing • Data and Computation integrity in Edge Computing • Trust and Reputation Management in Edge computing • Privacy in Edge Computing • Intrusion Detection and Prevention systems for Edge computing • Digital Forensics in Edge Computing • Risk Analysis in Edge Computing • Incident Management in Edge Computing Important dates: - Submission deadline: 30th June 2017 - Authors’ notification: 30th July 2017 - Camera ready version: 27th August 2017 Paper Submission Guidelines: Submissions must be made through EasyChair at: https://easychair.org/conferences/?conf=spifec2017 Submitted papers must not substantially overlap with papers that have been published or submitted to another conference or journal. Papers must be written in English and they must adhere to the LNCS template from the time they are submitted. Submitted papers should be at most 16 pages (using 10-point font), excluding the bibliography and well-marked appendices, and at most 18 pages total. Only PDF format is accepted. Revised accepted papers will be published as a joint post-proceedings by Springer in the Lecture Notes in Computer Science (LNCS) series with other ESORICS Workshops (confirmed). Authors of accepted papers must guarantee that their papers will be presented at the conference. Papers must be received by the aforementioned dates, 11:59 p.m. American Samoa time (UTC-11) Organisation Committee PC Chairs - Rodrigo Roman University of Malaga, Spain - Chunming Rong University of Stavanger, Norway General Chair - Ruben Rios University of Málaga, Spain Program Committee (More to be added) - Ketan Bhardwaj Georgia Tech, USA - Egemen K. Çetinkaya Missouri University of Science and Technology, USA - Xiaofeng Chen Xidian University, China - Nathan Clarke Plymouth University, UK - Mauro Conti University of Padova, Italy - Jose M. De Fuentes University Carlos III Madrid, Spain - Roberto Di Pietro Nokia Bell Labs, France - Martin G. Jaatun SINTEF, Norway - Donghyun Kim Kennesaw State University, USA - Costas Lambrinoudakis University of Piraeus, Greece - Qun Li College of William and Mary, USA - Kaitai Liang Manchester Metropolitan University, UK - Flavio Lombardi Roma Tre University of Rome, Italy - Javier López University of Malaga, Spain - Masahiro Mambo Kanazawa University, Japan - Haralambos Mouratidis University of Brighton, UK - Abderrahmen Mtibaa New Mexico State University, USA - Jose A. Onieva University of Malaga, Spain - Fernando M.V. Ramos University of Lisbon, Portugal - Pierangela Samarati Università degli Studi di Milano, Italy - Juan E. Tapiador University Carlos III Madrid, Spain For any inquiries please contact the PC Chairs at: spifec2017(a)nics.uma.es

1 0

IEEE Big Data 2017 Call for Workshop Proposals
by CFP Conference 11 May '17

11 May '17

*IEEE Big Data 2017 Call for Workshop Proposals* 2017 IEEE International Conference on Big Data (IEEE Big Data 2017) http://cci.drexel.edu/bigdata/bigdata2017/ December 11-14, 2017, Boston, MA, USA ================================================================= The Program Committees of the 2017 IEEE International Conference on Big Data (IEEE Big Data 2017) invite proposals for Workshops. Selected workshops will hold a central position within the larger conference, which will bring together top academic and industrial researchers from all over the world to exchange cutting edge research ideas in Big Data research, development and practice. Within these fields, workshops at Big Data form crucial focal points for emerging communities and forums for the examination of new ideas. Here are a summary of the conferences in the previous years: The IEEE Big Data conference series started in 2013 has established itself as the top tier research conference in Big Data. 1. The first conference IEEE Big Data 2013 ( http://cci.drexel.edu/bigdata/bigdata2013/ regular paper acceptance rate: 17.0%) was held in Santa Clara, CA from Oct 6-9, 2013 with more than 400 registered participants from 40 countries. 2. The IEEE Big Data 2014 ( http://cci.drexel.edu/bigdata/bigdata2014/index.htm, regular paper acceptance rate: 18.5.0%) was held in Washington DC, Oct 27-30, 2014 with more than 600 registered participants from 45 countries. 3. The IEEE Big Data 2015 ( http://cci.drexel.edu/bigdata/bigdata2015/ , regular paper acceptance rate: 16.8%) was held in Santa Clara, Oct 29-Nov 1, 2015 with more than 780 registered participants from 49 countries. 4. The IEEE Big Data 2016 ( http://cci.drexel.edu/bigdata/bigdata2016/ , regular paper acceptance rate: 18.7%) was held in Washington DC, Dec 5-8, 2016 with close to 900 registered participants from 43 countries. The 2017 IEEE International Conference on Big Data (IEEE Big Data 2017) will continue the success of the previous IEEE Big Data conferences. It will provide a leading forum for disseminating the latest research in Big Data Research, Development, and Applications. Workshop organizers will be responsible for advertising the workshop, forming the program committees, reviewing and selecting the papers, and guaranteeing a high quality worthy of the prestige and breadth of the Conference. All papers accepted for workshops will be included in the Workshop Proceedings published by the IEEE Computer Society Press, made available at the Conference. The workshop organizers will also have the discretion of editing selected papers (after their expansion and revision) into books or special journal issues. Workshops should cover at least a single session (6 regular papers). The workshop organizers should ensure registration and presence of authors of accepted papers. *Workshop Topics* Each workshop subject will focus on new research challenges and initiatives in Big Data. The workshops should provide an informal and vibrant forum for researchers and industry practitioners to share their research results and practical development experiences in Big Data research, development and practice. Workshop topics may be narrow, e.g., Clouding Computing/Grid Computing/Stream Computing for Big Data; Big Data stream Mining, Big Graph Data Mining, or broad, e.g., Big Data Foundations , Big Data management, Big Data Mining and Searching, Big Data Privacy and Security, Big Data Application, etc (Pls refer to the IEEE Big Data 2017 http://cci.drexel.edu/bigdata/bigdata2017/ for more possible workshop topics). Prospective workshop organizers are encouraged to contact workshop chairs for feedback. *Important Dates* May 20, 2017 Workshop proposal submission due: a proposed workshop announcement is sent by e-mail to any of the Workshop Chairs June 5, 2017: Notification to workshop proposers June 20 , 2017: Each workshop organizer sends out Call for Workshops Papers *Guidelines for Workshop Proposals* Proposals for 2017 IEEE Big Data Workshops should contain the following components. 1. Workshop Title (e.g., Visualization and Analytics for Big Data) 2. Introduction to workshop (a few sentences about the background, importance, purpose, interests, etc. of workshop) 3. Research topics included in the workshop (list a number of interesting topics or areas covered by workshop) 4. Important dates (These dates are for your reference except the Camera-ready submission date, Please do not change the camera-ready date) *Oct 10, 2017:* Due date for full workshop papers submission *Nov 1, 2017:* Notification of paper acceptance to authors *Nov 15, 2017:* Camera-ready of accepted papers *Dec 11-14 2017:* Workshops 5. Program Chairs or co-chairs: (1-3 experts in the research areas of workshop) 6. Program Committee Members: (at least 5 experts in the research areas) 7. Invited keynote speakers (optional) *Workshop Proposal Submission:* https://wi-lab.com/cyberchair/2017/bigdata17/scripts/submit.php?subarea=ProW *Workshop Chairs:* Prof. Alfredo Cuzzocrea, University of Trieste, Italy Email: cuzzocrea(a)si.dimes.unical.it Prof. Jian Tang, Syracuse University, USA Email: jtang02(a)syr.edu Prof. Masashi Toyoda, University of Tokyo, Japan Email: toyoda(a)tkl.iis.u-tokyo.ac.jp ######################################################################## To unsubscribe from the BIGDATA list, click the following link: http://lists.drexel.edu/cgi-bin/wa?TICKET=NzM2NDkwIGNvbXB1dGF0aW9uYWwuc2NpZ…

1 0

22 PhD student positions in Autonomous Systems and Software
by Karlerik 11 May '17

11 May '17

Dear all, We currently have 22 PhD positions open in autonomous systems and software within WASP - Wallenberg Autonomous Systems and Software Program. I would appreciate your help in spreading this information, see below. Sincerely Karl-Erik Arzen ---------------------------------------------------------------------------------------------------------------------------------------------------------- SWEDEN’S LARGEST RESEARCH PROGRAM OFFERS 22 PHD POSITIONS Wallenberg Autonomous Systems and Software Program (WASP) is Sweden's largest individual research program ever, and provides a platform for academic research and education, fostering interaction with Sweden's leading technology companies. The program addresses research on autonomous systems acting in collaboration with humans, adapting to their environment through sensors, information and knowledge, and forming intelligent systems-of-systems. WASP's key value is research excellence in autonomous systems and software for the benefit of Swedish industry. The graduate school within WASP is dedicated to provide the skills needed to analyze, develop, and contribute to the interdisciplinary area of autonomous systems and software. Through an ambitious program with research visits, partner universities, and visiting lecturers, the graduate school actively supports forming a strong multi-disciplinary and international professional network between PhD-students, researchers and industry. The graduate school provides added value on top of the existing PhD programs at the partner universities, providing unique opportunities for students who are dedicated to achieving international research excellence with industrial relevance. We are now offering up to 22 PhD positions. For this there are 31 tentative projects with associated supervisors. You may apply for a maximum of two of these. For the 31 tentative projects, seven are announced by each of Chalmers, KTH, Linköping University, and Lund University, and three are announced by Umeå University. More information and links to the coordinating universities is found at WASP-Sweden.se Link to announcement: wasp-sweden.se/wasp-announces-22-phd-student-positions Last date for application: 2017-05-31

1 0

Ada-Europe 2017 - early registration until May 22
by Dirk Craeynest 10 May '17

10 May '17

----------------------------------------------------------------------- 2nd Call for Participation *** UPDATED Program Summary *** 22nd International Conference on Reliable Software Technologies - Ada-Europe 2017 12-16 June 2017, Vienna, Austria http://www.ada-europe.org/conference2017 Organized by TU Vienna on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGPLAN and the Ada Resource Association (ARA) *** Download conference poster to promote event *** http://www.ada-europe.org/conference2017/picts/AE2017_poster.png *** Early registration discount until May 22 *** *** Tutorial fees reduced when taken together with conference *** http://www.ada-europe.org/conference2017/tutorials.html ----------------------------------------------------------------------- The 22nd International Conference on Reliable Software Technologies - Ada-Europe 2017 takes place in Vienna, Austria, from June 12 to 16, 2017. It is an exciting event with an outstanding technical program, keynote talks, exhibition and networking from Tuesday to Thursday, and a rich program of workshops and tutorials on Monday and Friday. The conference is hosted by TU Vienna at Palais Eschenbach, which is located near the center of Vienna and can easily be accessed by metro. The Ada-Europe series of conferences has over the years become a leading international forum for providers, practitioners and researchers in reliable software technologies. These events highlight the increased relevance of Ada in general and in safety- and security-critical systems in particular, and provide a unique opportunity for interaction and collaboration between academics and industrial practitioners. Extensive information is available on the conference web site, such as an overview of the program, the list of accepted papers and industrial presentations, and descriptions of workshops, tutorials, keynote presentations, and social events. Also check the conference web site for registration, accommodation and travel information, as well as promotional material such as the ready-to-print conference poster. Quick overview - Mon 12 & Fri 16: tutorials + workshops - Tue 13 - Thu 15: core program Proceedings - published by Springer - volume 10300 in Lecture Notes in Computer Science series - will be available at conference Program co-Chairs - Johann Blieberger, TU Vienna, Austria blieb(a)auto.tuwien.ac.at - Tullio Vardanega, Università di Padova, Italy tullio.vardanega(a)math.unipd.it Keynote speakers - Giovanni Battista Gallus, Array, Italy, on "The laws of robotics and autonomous vehicles may be much more than three, but don't panic... yet" - Thomas Henzinger, IST, Austria, on "Behavioral Software Metrics" - Kay Römer, TU Graz, Austria, on "Dependable Internet of Things" Workshops (full day) - 4th International Workshop on "Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering" (DeCPS 2017), focus on "Transportation of the Future" Tutorials (full day) - "Introduction to SPARK 2014" Peter Chapin, Vermont Technical College, USA Tutorials (half day) - "Ada on ARM Cortex-M, a Zero-Run-Time Approach" Maciej Sobczak, GE Aviation and Inspirel, Poland - "Software Measurement for Dependable Software Systems" William Bail, The MITRE Corporation, USA - "Real-Time Parallel Programming with the UpScale SDK" Luis Miguel Pinho, ISEP, Portugal, and Eduardo Quinones, BSC, Spain - "Using Gnoga for Desktop/Mobile GUI and Web development in Ada" Jean-Pierre Rosen, Adalog, France - "Frama-C, a Collaborative Framework for C Code Verification" Julien Signoles, CEA LIST, France - "On beyond ASCII: Characters, Strings, and Ada 2012" Jean-Pierre Rosen, Adalog, France - "Modular Open System Architecture for Critical Systems" William Bail, The MITRE Corporation, USA Papers and Presentations - 14 refereed technical papers in sessions on Runtimes, Programming Models, Safety & Security, Timing Verification, Mixed Criticality - 9 industrial presentations and experience reports in sessions on Exploratory Uses of Ada, Verification, Large Industrial Applications - 4 presentations and discussion in special panel session on "The Future of Safety-Minded Languages" - submissions by authors from 24 countries, and accepted contributions from Australia, Austria, Denmark, France, Italy, Portugal, South Korea, Spain, Sweden, Switzerland, UK, and USA Vendor exhibition and networking area - area features exhibitor booths, project posters, reserved vendor tables, and general networking options - 4 companies already committed: AdaCore, PTC, Rapita Systems, VectorCAST; others expected to confirm soon - vendor presentation sessions in core program Social events - each day: coffee breaks in the exhibition space and sit-down lunches offer ample time for interaction and networking - Tuesday evening: Ada-Europe General Assembly, followed by Welcome Reception incl. Robotics Presentations at "TU the Sky"; its terraces at the top of TU Vienna's buildings offer a terrific view on the city - Wednesday evening: Vienna bus tour, followed by the traditional Ada-Europe Conference Banquet, held at a very famous "Heuriger" - Best Paper and Best Presentation awards will be handed out Registration highlights this year - single day registration cost has been reduced - Wednesday is Meet Ada-Europe day! registration is discounted - tutorial fees reduced when taken together with 3-day conference Registration - online registration is open: select "Registration" at <http://www.ada-europe.org/conference2017> - early registration discount up to Monday May 22, 2017 - additional discount for academia, Ada-Europe, ACM SIGAda, and ACM SIGPLAN members - a limited number of student discounts is available - registration includes copy of printed proceedings at event - includes coffee breaks and lunches - three day conference registration includes all social events - payment possible by credit card, check, or bank transfer - see registration page for info on novel student waiver program! Promotion - recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2017 - 16-page Advance Program brochure available online at <http://www.ada-europe.org/conference2017/AE2017_advance_program.pdf> - support Ada-Europe 2017 with promotional material available at <http://www.ada-europe.org/conference2017/promotion.html> - use the ready-to-print poster available at <http://www.ada-europe.org/conference2017/picts/AE2017_poster.png> Please make sure you book accommodation as soon as possible. Vienna will be very busy in that week. For more info and latest updates see the conference web site at <http://www.ada-europe.org/conference2017>. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, Ada-Europe'2017 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be *** 22nd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2017 *** June 12-16, 2017 *** Vienna, Austria *** http://www.ada-europe.org

1 0

PhD student position on agent-based modeling of drones in France
by Stéphane Galland 10 May '17

10 May '17

Dear all, You could find in attachment a PhD thesis position proposal on the subject: "Agent-based modeling of drones and their environment in smart cities". These PhD works will be co-supervised by Dr. Stéphane Galland and Pr. Christophe Nicolle. And they will take place in the LE2I Laboratory (Laboratoire d'Électronique, Informatique et Image), of the Burgundy Franche-Comté University (http://www.ubfc.fr), located inside the buildings of the Belfort-Montbéliard University of Technology (http://www.utbm.fr), at Belfort, France. The PhD student position is subject to be funding by the Regional Council of Burgundy Franche-Comté, under the umbrella of the SPIM Doctoral School. Due date for the application: May, 31th 2017. Date of the PhD work start at Belfort: October, 1st 2017 Keywords Control model of drones, agent-based simulation, semantic model of the environment. Expected Applicant Profile and Background Knowledge The candidate should have a strong knowledge in agent-based modeling or semantic modeling, in software engineering (simulation, performance evaluation) and in computer programming (SARL and Java programing languages). Contact In order to be included in the selection and interview process, please send before May 31th at Midnight the following documents in PDF format to : Stéphane Galland - stephane.galland(a)utbm.fr (http://www.multiagent.fr/People:Galland_stephane) and Christophe Nicolle - cnicolle(a)u-bourgogne.fr Documents to send: * your CV, * a letter which explain your motivations to be applied to the PhD student position, * recommendation letters, * official documents describing your scholar scores during the 3 past years (including the current one). You could find details on the PhD subject in the attached document. Yours sincerely, Stéphane Galland and Christophe Nicolle -- Dr.habil. Stéphane GALLAND Associate Professor Maître de conférences HDR Scientific co-Manager of LE2I Axis #3 "Smart Environments"/ French Head of ARFITEC "Energy, Transport, Industry, Challenges for tomorrow"/ Member of the Multiagent Group Laboratoire Électronique, Informatique, Image Université de Bourgogne Franche-Comté Postal Address: Université de Technologie de Belfort-Montbéliard, 13, rue Ernest Thierry-Mieg, 90010 Belfort Cedex, FRANCE Web: http://www.multiagent.fr/People:Galland_stephane Phone: +33 384 583 418 Cell: +33 662 274 442 Fax: +33 384 583 342 Skype: sgalland LinkedIn: sgalland ResearchGate: Stephane_Galland

1 0

Third IEEE International Workshop on Security in NFV-SDN (SN-2017)
by Shao Ying Zhu 09 May '17

09 May '17

Call for Papers The Third International Workshop on Security in NFV-SDN in conjunction with the 3rd IEEE NFV-SDN conference, 6-8 November, Berlin, Germany Workshop website: http://www.sn-2017.info/ Scope Network Function Virtualization (NFV) and Software Defined Network (SDN) have changed the networking industry dramatically. NFV virtualizes network services by utilizing virtualization technologies to reduce the dependency on underlying hardware. NFV provides many benefits such as faster service enablement, ease of resource management and lower OPEX and CAPEX. SDN separates the control functions from the underlying physical network by decoupling the control and data planes. SDN provides many benefits such as reduced costs, ease of deployment and management, better scalability, availability, flexibility and fine-grain control of traffic and security. Like traditional networks, they are subject to various security threats and attacks. In this workshop, we invite high-quality submissions in the areas of NFV and SDN security and other related areas. Submitted papers should highlight methods and approaches that can be used to analyse the security risks and requirements, threats and techniques related to NFV and SDN and to provide novel methods and approaches to assure security in NFV and SDN. Topics of interest Topics of interest include but are not limited to the following areas: · Security, reliability and privacy through SDN and NFV in 5G networks · Management and orchestration of NFV and SDN elements for security · Secure design of NFV and SDN solutions, security enablers · Security threats and vulnerabilities introduced by NFV and SDN technologies · Threat detection and mitigation through SDN and NFV · Security policy specification and management in SDN and NFV systems · Security related monitoring and analytics in SDN and NFV solutions · 5G security architecture, trust and confidence · Authentication, authorization and Accounting in SDN · Security of applying SDN to wireless and mobile network · Security of applying NFV and SDN to IoT · Security of applying NFV and SDN to cloud computing · Security of SDN API · Risk and compliance issues in SDN · Securing SDN infrastructure · Security architecture for SDN · Security standard of SDN · Security of SDN data plane · Security of SDN control plane · Security of SDN application plane · Security of Routing in SDN · Security of network slicing · Security as a service for SDN The workshop deadlines: · Paper Submission: June 30, 2017 · Notification of Acceptance: July 15, 2017 · Camera Ready Submission: September 15, 2017  Submission Paper submissions will be handled on-line through the EDAS system. All submitted papers will be peer-reviewed. The manuscripts must be prepared in English, following IEEE two-column Manuscript Templates for Conference Proceedings with a maximum length of six (6) printed pages (10-point font), including figures. You can find the IEEE Computer Society Proceedings Author Guidelines at http://www.computer.org/web/cs-cps/. To be published in the Workshop Proceedings and to be eligible for publication in IEEE Xplore, at least one author of an accepted paper is required to register and present the paper at the workshop. The IEEE reserves the right to exclude a paper from distribution after the conference (including its removal from IEEE Explore) if the paper is not presented at the conference. Papers are reviewed on the basis that they do not contain plagiarized material and have not been submitted to any other conference at the same time (double submission). These matters are taken very seriously and the IEEE Communications Society will take action against any author who engages in either practice. Workshop Chairs · Eleni Trouva, NCSR Demokritos, Greece · Shao Ying Zhu, University of Derby,UK · George Gardikis, Space Hellas, Greece · Collin Allison, University of St Andrews,UK · Linas Maknavicius, Nokia Bell Labs, France Technical Program Committee (TPC) · Harilaos Koumaras - NCSR Demokritos, Greece · Muhammad Shuaib Siddiqui - i2CAT, Spain · Ludovic Jacquin – Hewlett Packard Labs, UK · Nicolae Paladi, Swedish Institute of Computer Science, Sweden · Augusto Ciuffoletti – University of Pisa, Italy · Carolina Canales - Ericsson, Spain · Michail-Alexandros Kourtis - NCSR Demokritos, Greece · Marco Anisetti - University of Milan, ItalyMarco Anisetti - University of Milan, Italy · Sandra Scott-Hayward – Queen’s University Belfast, UK · Miguel Angel Garcia – Ericsson, Spain · Dr. Antonios Litke - Infili, Greece · Prof. Nikolaos Papadakis - Infili, Greece · Dimitris Katsianis, Incites, Luxemburg · Antonio Agustin Partor Perales – Telefonica I&D, Spain Contacts Eleni Trouva - trouva(a)iit.demokritos.gr<mailto:trouva@iit.demokritos.gr> Dr. Shao Ying Zhu - s.y.zhu(a)derby.ac.uk<mailto:s.y.zhu@derby.ac.uk> Dr. George Gardikis - ggar(a)space.gr<mailto:ggar@space.gr> Linas Maknavicius - linas.maknavicius(a)nokia-bell-labs.com<mailto:linas.maknavicius@nokia-bell-labs.com> Dr. Colin Allison - ca(a)st-andrews.ac.uk<mailto:ca@st-andrews.ac.uk> The University of Derby has a published policy regarding email and reserves the right to monitor email traffic. If you believe this was sent to you in error, please reply to the sender and let them know. Key University contacts: http://www.derby.ac.uk/its/contacts/

1 0

Call For Papers - IEEE SC2 2017 in Kanazawa, Japan, November 22-25, 2017
by Robert Hsu 09 May '17

09 May '17

The 7th IEEE International Symposium on Cloud and Service Computing（IEEE SC2 2017） http://grid.chu.edu.tw/sc2-2017 Kanazawa, Japan, November 22-25, 2017 --------------------------- CALL FOR PAPERS --------------------------- The “Cloud” is a natural evolution of distributed computing and the widespread adaption of virtualization and SOA. Services computing is a new cross-discipline subject that covers the science and technology needed to bridge the gap between business services and IT services. In cloud computing, IT-related capabilities and resources are provided as services, via the Internet and on-demand, accessible without requiring detailed knowledge of the underlying technology. SC2 2017 is an important forum for researchers and industry practitioners to exchange information regarding advancements in the state of art and practice of IT-driven cloud computing technologies and services, as well as to identify emerging research topics and define the future directions of cloud and services computing. IEEE SC2 2017 will be held on Nov. 22-25, 2017 in Kanazawa, Japan. Topics of interest include, but are not limited to: - Cloud architecture - Cloud OS, middleware, and toolkits - Storage architecture - Big data infrastructure, systems, methodologies, and applications - Virtualization techniques - Resource provision, monitoring, and scheduling - Privacy and access control for cloud computing - Performance evaluation and modeling measurement for cloud computing - Programming models for building cloud applications - Networking in cloud computing - Security, privacy and trustworthy in clouds - Security, privacy and trustworthy for service oriented architectures and systems - Energy efficient hardware and software solutions - High availability and reliability - Large scale cloud applications - Internet/web computing and data mining - Volunteer and utility computing - Green and pervasive computing - Service oriented architecture - Discovery of services and data in cloud computing infrastructures - Foundations of services computing - Services-centric business models - Business process integration and management --------------------------------------- PUBLICATION HIGHLIGHTS --------------------------------------- IEEE CS proceedings, indexed by - IEEE Xplore - Scopus - Compendex EI - ACM Digital Library - DBLP - Google Scholar Extended version of the selected papers will be invited for publication in prestigious international journals. -Cluster Computing (Springer) -Journal of Supercomputing (Springer) -Vehicular Communications Journal (Elsevier) -Journal of Foundations of Computing and Decision Sciences -International Journal of Applied Mathematics and Computer Science -Future Generation Computer Systems (Elsevier) -International Journal of Grid and High Performance Computing (ESCI, EI, Scopus) -International Journal of Big Data Intelligence -Sustainability -Journal of Parallel and Distributed Computing -China Communication ---------------------------- IMPORTANT DATES ---------------------------- Tutorial / Workshop / Special Session Proposal Due: May 29, 2017 Paper Submission (Research Track): July 15, 2017 Paper Submission (Works-in-Progress/workshop): Aug 10, 2017 Author Notification (Research/workshop/WIP): Aug 30, 2017 Paper Submission (Demo /Poster /Special session): Stpt 5th, 2017 Author Notification (Research/workshop/WIP/Poster): Sept 20, 2017 Camera ready / registration deadline: October 1, 2017 --------------------------------------------- SUBMISSION and PUBLICATION --------------------------------------------- Papers need to be prepared according to the IEEE format, and submitted in PDF format via the IEEE SC2 2017 submission site: https://easychair.org/conferences/?conf=sc22017 IEEE formatting information: http://www.ieee.org/conferences_events/conferences/publishing/templates.html ------------------------------- Organizing Committees ------------------------------- General Chairs Keqin Li, State University of New York at New Paltz, USA Ren-Hung Hwang, National Chung Cheng University, Taiwan Christophe Cerin, Université Paris 13, France General Executive Chairs Tokuro Matsuo, Advanced Institute of Industrial Technology, Japan Robert Hsu, Chung Hua University, Taiwan Program Chairs Amir H. Alavi, Michigan State University, USA Yue-Shan Chang, National Taipei University, Taiwan Workshop Chairs Chia-Hung Yeh, National Sun Yat-sen University, Taiwan Alex Kuo, University of Victoria, Canada Demo/Poster Chair Carson Leung, University of Manitoba, Canada Special Session Chair Kuan-Chou Lai, National Taichung University, Taiwan Award Chair Ce-Kuen Shieh, National Cheng Kung University, Taiwan International Liaison & Publicity Chair Yu Chen, Binghamton University, USA Bingsheng He, National University of Singapore, Singapore Jun Li, University of Sydney, Australia Bingwei Liu, Aetna Inc., USA Koji Nakano, Hiroshima University, Japan Yan Zhang, University of Oslo, Norway Li-Hsin Yen, National Chiao Tung Univ. Taiwan Rynson Lau, City Univ. of Hong Kong, Hong Kong Publication Chair Wen-Hwa Liao, Tatung University, Taiwan Saeid Abolfazli, YTL Communications and Xchanging, Malaysia Steering Committee Robert Hsu, Chung Hua University, Taiwan Rajkumar Buyya, University of Melbourne, Australia H.J. Siegel, Colorado State University, USA Chung-Ta King, National Tsing Hua University, Taiwan Hamid R. Arabnia, The University of Georgia, USA Lizhe Wang, Chinese Academy of Sciences, China Hung-Chang Hsiao, National Tsing Hua University, Taiwan Anna Kobusinska, Poznan University of Technology, Poland Hui Lei, IBM, USA Kwei-Jay Lin, University of California Irvine, USA Philip Yu, University of Illinois at Chicago, USA Please visit the IEEE SC2 2016 website http://grid.chu.edu.tw/sc2-2017/tpc.php for the complete listing of organizing committee and TPC members.

1 0

IEEE DataCom 2017 - Orlando, Florida, USA, November 6-10, 2017
by Robert Hsu 09 May '17

09 May '17

The 3rd IEEE International Conference on Big Data Intelligence and Computing（IEEE DataCom 2017） https://grid.chu.edu.tw/datacom2017/ Orlando, Florida, USA, November 6-10, 2017 --------------------------- CALL FOR PAPERS --------------------------- Big data is a rapidly expanding research area spanning the fields of computer science and information management, and has become a ubiquitous term in understanding and solving complex problems in different disciplinary fields such as engineering, applied mathematics, medicine, computational biology, healthcare, social networks, finance, business, government, education, transportation and telecommunications. The goal of the 3rd IEEE International Conference on Big Data Intelligence and Computing (IEEE DataCom 2017) is to establish an international forum for engineers and scientists to present their ideas and experiences in the fields of Big Data intelligence and computing. IEEE DataCom 2016 welcomes paper submissions on innovative work from researchers in academia, industry and government describing original research work in Big Data. Authors of selected papers will be invited to submit an extended version (with at least 30% new material) for review and publication in special issues of international journals. IEEE DataCom 2017 will be held on Nov. 6-10, 2017 in Orlando, Florida, USA. Topics of interest include, but are not limited to: - The 5Vs of the data landscape: volume, variety, velocity, veracity, value - Big data science and foundations, analytics, visualization and semantics - Software and tools for big data management. - Security, privacy and legal issues specific to big data - Big data economy, QoS and business models - Scientific discovery and business intelligence - Software, hardware and algorithm co-design, high-performance computing - Large-scale recommendation systems and graph analysis - Infrastructures and systems for big data analytics and managements - Middleware and tools for big data analytics and managements - Algorithmic, experimental, prototyping and implementation - Data quality issues: such as validation, metrics, optimizations and consistency - Data-driven innovation, computational modelling and data integration - Data intensive computing theorems and technologies - Big data for advanced manufacturing and productivity - Modeling, simulation and performance evaluation - Green data centers / environmental-friendly perspectives - Computing, scheduling and resource management for sustainability - Complex applications in areas where massive data is generated ---------------------------------------- PUBLICATION HIGHLIGHTS ---------------------------------------- IEEE CS proceedings, indexed by - IEEE Xplore - Scopus - EI Engineering Index - ACM Digital Library - dblp - Google Scholar Extended version of the selected papers will be invited for publication in prestigious international journals. - Future Generation Computer Systems - Journal of Parallel and Distributed Computing - International Journal of Big Data Intelligence - International Journal of Grid and High Performance Computing - Sustainable Computing: Informatics and Systems - Applied Computational Intelligence and Soft Computing - International Journal of Applied Mathematics and Computer Science - Journal of Supercomputing - Wireless Communication and Mobile Computing ---------------------------- IMPORTANT DATES ---------------------------- Workshop/Special Session notification: (ongoing as received) Paper Submission (Research Track): June 15, 2017 Paper Submission (Works-in-Progress/workshop): July 10, 2017 Author Notification (Research/workshop/WIP): July 30, 2017 Paper Submission (Demo /Poster /Special session): August 5th, 2017 Author Notification (Research/workshop/WIP/Poster): August 20, 2017 Camera ready / registration deadline: August 31, 2017 —----------------- SUBMISSION —----------------- Authors are invited to submit their original research work that has not previously been submitted or published in any other venue. Papers should be prepared in IEEE CS format and submitted via the IEEE DataCom 2017 web site, https://easychair.org/conferences/?conf=ieeedatacom2017 IEEE formatting information: http://www.ieee.org/conferences_events/conferences/publishing/templates.html - Proposals for organizing tutorials, workshops and special sessions need to be submitted to the Tutorials, Workshops and Special Sessions Chairs, respectively. A proposal should include title, theme, scope and main presenters/organizers. - Research paper (8 pages) should explore a specific technology problem and propose a complete solution to it, with experimental results. - Works-in-Progess (WIP) (6 pages) papers are expected to present either work currently in progress or less developed but highly innovative ideas. - Demo/Poster papers (4 pages) must describe working systems and be related to DataCom. These systems may be innovative prototype implementations or mature systems that use related technology. Papers/proposals need to be submitted to the Demo/Poster Chair. - Workshop and Special Session papers need to be submitted to the corresponding workshops and special sessions. All accepted papers in the main tracks, workshops, special sessions and demos/posters will be published in an IEEE Computer Society proceedings (EI indexed). Extended versions of selected excellent papers will be considered for publication in special issues of prestige journals (SCI/EI indexed). ------------------------------- Organizing Committees ------------------------------- General Chairs Sanjay Ranka, University of Florida, USA Hai Jin, HUST, China Manu Malek, Stevens Inst. of Tech., USA General Executive Chairs Jun Wang, University of Central Florida, USA Tao Li, NSF/UFL, USA Program Chairs Anna Kobusinska, Poznan University of Technology, Poland Xiaolin Li, University of Florida, USA Wenguang Chen, Tsinghua University, China Workshop Chairs I-Hsin Chung, IBM Thomas J. Watson Research Center, USA Wuu Yang, National Chiao Tung University, Taiwan Demo/Poster Chair Che-Rung Lee, Tsing Hua University, Taiwan Special Session Chair Hai Jiang, Arkansas State University, USA Award Chair Weisong Shi, Wayne State University, USA International Liaison & Publicity Chair Bingsheng He, Nanyang Technological University, Singapore Jun Huang, Chongqing University of Posts and Telecommunications, China Bahman Javadi, Western Sydney University, Australia William Liu, Auckland University of Technology, New Zealand Bhekisipho Twala, Univ. Johannesburg, South Africa Hao Wang, Aalesund University College, Norway Sheng-De Wang, National Taiwan University, Taiwan Publication Chair Hui-Huang Hsu, Tamkang University, Taiwan Advisory Committee Christophe Cérin, University of Paris XIII, France Yeh-Ching Chung, National Tsing Hua University, Taiwan Jie Li, University of Tsukuba, Japan Beniamino Di Martino, Second University of Naples, Italy Domenico Talia, Università della Calabria, Italy Vincent S. Tseng, National Chiao Tung Univ. Taiwan Cho-Li Wang, The Univ. of Hong Kong, Hong Kong Jinsong Wu, University de Chile, Chile Jinjun Chen, Swinburne University of Technology, Australia Steering Committee Robert Hsu, Chung Hua University, Taiwan Geoffrey Fox, Indiana University, USA Yuanyuan Yang, Stony Brook University, USA Please visit the IEEE DataCom 2017 website http://grid.chu.edu.tw/datacom2017/tpc.php for the complete listing of organizing committee and TPC members.

1 0

CFP - PhD Forum and Posters Track - ASONAM 2017
by Eric Pardede 08 May '17

08 May '17

--- APOLOGIZE FOR CROSS-POSTINGS --- Call for PhD Forum and Posters Track ----------------------------------------- After successful event as a part of ASONAM 2016, the PhD forum and posters track will again take place as part of 2017(ASONAM 201731 July - 03 August, 2017 Sydney, Australia) This forum will provide graduate students (e.g., PhD students, pre-doctoral students and Master leading to PhD students) and researchers with an opportunity to share, present, explore, develop their research ideas, and to receive feedback from the research community that will help them in further developing and progressing in their PhD studies. This will help students as prospective candidates to connect up with senior researchers participating in the conference. It will also stimulate collaborations between students with similar research interests. This forum is intended for students at any stage of their PhD work. All submissions will be thoroughly reviewed by experts in the field and will be selected based on their originality, timeliness, significance, relevance, and clarity of presentation. Further, authors should certify that their submissions contain substantially new and previously unpublished research. Students will be given an opportunity to present their proposals and get feedback and advice on how to improve their research plan. Submission ----------- We welcome submissions of research ideas that are mature enough to be presented and whose content can evolve to become the substantial part of a PhD dissertation. Reports on PhD dissertations and work in progress towards their dissertation should address research issues, challenges, and originality. Submissions should clearly describe the problem, explain its importance, detail why existing solutions are not sufficient, and give an outline of proposed solutions and preliminary experimental evaluation. Submissions should be written in English and pertaining to the topics mentioned in the Call for Paper page for the ASONAM 2017 conference. Two categories of submissions will be accepted: Full papers up to 8 pages Short communications up to 4 pages Extended abstracts for posters up to 2 pages For full papers, submissions should be based on more mature research proposals. For extended abstracts, submissions can be about preliminary research ideas or works in progress. All papers must be in IEEE two-columns format. Submissions should include the title, student author highlighted, affiliation, e-mail address, postal address and abstract on the first page. Authors should mention supervisor(s) name (if not listed as coauthor(s)) and affiliation as well as any funding source(s) in acknowledgements section. Papers should be submitted online using the PhD forum's Online Submission System (URL to be announced). Paper submission implies the main author of the paper is a graduate students and one of the authors must pay full registration fee and attend the PhD forum to present the paper. The PhD forum participants will also enjoy free access to the full program of ASONAM 2017 and all the accompanying symposia, tutorials and workshops. The submission link: https://easychair.org/conferences/?conf=asonampfp2017 Publication ----------- Accepted and presented papers will be included in the Conference Proceedings and forwarded for inclusion in IEEE Computer Society Digital Library (CSDL), IEEE Xplore and the ACM Digital Library. The conference proceedings will be submitted for EI indexing through INSPEC by IEEE. The proceedings will be also covered by several other indexes, including DBLP, SCOPUS, etc. A selection of accepted papers will also be invited to submit an extended version of their work to an edited book, that will be published by Springer in the LNSN format. Contact -------- For general inquiries about the PhD forum and posters track, please contact the PhD forum and posters organizers. Key Dates ---------- Paper submission deadline May 20, 2017 11:59 PM American Samoa Zone (UTC-11) Acceptance Notification June 20, 2017 Camera-ready paper due June 30, 2017 11:59 PM American Samoa Zone (UTC-11) Conference events July 31, 2017 --------------------------------------------------------------------------------------------------------

1 0

First CFP - Fifth Special Session on High Performance Computing in Modelling and Simulation
by William Spataro 08 May '17

08 May '17

(sorry for cross postings) ************************************************************************** CALL FOR PAPERS: Fifth Special Session on High Performance Computing in Modelling and Simulation (HPCMS) Within PDP 2018 The 26th Euromicro International Conference on Parallel, and Network-Based Computing Cambridge, UK 21-23 March 2018 http://www.pdp2018.org Deadline: September 15th, 2017 Contact: William Spataro - spataro(a)unical.it ************************************************************************* AIMS AND SCOPE The development of models through which computers can simulate the evolution of artificial and natural systems is fundamental for the advancement of Science. In the last decades, the increasing power of computers has allowed to considerably extend the application of computing methodologies in research and industry, but also to the quantitative study of complex phenomena. This has permitted a broad application of numerical methods for differential equation systems (e.g., FEM, FDM, etc.) on one hand, and the application of alternative computational paradigms, such as Cellular Automata, Genetic Algorithms, Neural networks, Swarm Intelligence, etc., on the other. These latter have demonstrated their effectiveness for modelling purposes when traditional simulation methodologies have proven to be impracticable. Following the success of our past HPCMS workshops which were held in Turin, Turku and Crete, we are glad to invite you to our fourth edition which will take place in St. Petersburg (Russia). An important mission of the HPCMS Workshop is to provide a platform for a multidisciplinary community composed of scholars, researchers, developers, educators, practitioners and experts from world leading Universities, Institutions, Agencies and Companies in Computational Science, and thus in the High Performance Computing for Modelling and Simulation field. HPCMS intent is to offer an opportunity to express and confront views on trends, challenges, and state-of-the art in diverse application fields, such as engineering, physics, chemistry, biology, geology, medicine, ecology, sociology, traffic control, economy, etc. Topics of interest include, but are not limited to, the following: - High-performance computing in computational science: intra-disciplinary and multi-disciplinary research applications - Complex systems modelling and simulation - Cellular Automata, Genetic Algorithms, Neural networks, Swarm Intelligence implementations - Integrated approach to optimization and simulation - MPI, OpenMP, GPGPU applications in Computational Science - Optimization algorithms, modelling techniques related to optimization in Computational Science - High-performance Software developed to solve science (e.g., biological, physical, and social), engineering, medicine, and humanities problems - Hardware approaches of high performance computing in modeling and simulation IMPORTANT DATES Paper submission: 15th Sep 2017 Acceptance notification: 13th Oct 2017 Camera ready due: 17nd Nov 2017 Conference: 21th - 23th Mar 2018 Submission guidelines Prospective authors should submit a full paper not exceeding 8 pages in the IEEE Conference proceedings format (IEEEtran, double-column, 10pt). Double-bind review: the first page of the paper should contain only the title and abstract; in the reference list, references to the authors’ own work should appear as "omitted for blind review" entries. For submission, please use the follwoing link: http://www.easychair.org/conferences/?conf=pdp2018 Manuscript submission Publication All accepted papers will be included in the same volume, published by the Conference Publishing Services (CPS). The Final Paper Preparation and Submission Instructions will be published after the notification of acceptance. Authors of accepted papers are expected to register and present their papers at the Conference. Conference proceedings will be submitted for inclusion in Xplore and the CSDL, and for indexing, among others, to DBLP, Scopus ScienceDirect, and ISI Web of Knowledge. Special Issue As for previous editions, organizers of the HPCMS session are planning a Special Issue of an important international ISI Journal, based on distinguished papers that will be accepted for the session. For instance, a selected number of papers of the past workshop editions have been published on the ISI Journal “International Journal of High Performance Computing Applications” and “Concurrency and Computation: Practice and Experience”. Organizers William Spataro – University of Calabria, Italy Georgios Sirakoulis - Democritus University of Thrace, Greece Giuseppe A. Trunfio – University of Sassari, Italy Program Committee Gihan R. Mudalige, University of Warwick, UK Angelos Amanatiadis, Democritus University of Thrace, Greece Donato D’Ambrosio, University of Calabria, Italy Pawel Topa, AGH University of Science and Technology, Poland Gianluigi Folino, ICAR-CNR, Italy Lou D’Alotto, York College/CUNY, New York, USA Antonios Gasteratos, Democritus University of Thrace, Greece Ioakeim Georgoudas, Democritus University of Thrace, Greece Marco Beccutti, University of Torino, Italy Rolf Hoffmann, Darmstadt University, Germany Ioannis Karafyllidis, Democritus University of Thrace, Greece Yaroslav Sergeyev, University of Calabria, Italy Antisthenis Tsompanas, University of the West of England, UK Rocco Rongo, University of Calabria, Italy Georgios Sirakoulis, Democritus University of Thrace, Greece William Spataro, University of Calabria, Italy Giuseppe A. Trunfio, University of Sassari, Italy Marco Villani, University of Modena and Reggio Emilia, Italy Jaroslaw Was, AGH University of Science and Technology, Poland Davide Spataro, University of Calabria, Italy Massimo Cafaro, University of Salento, Italy Mario Cannataro, University Magna Graecia of Catanzaro, Italy

1 0

Abstract submission deadline TODAY: SASO 2017 - IEEE International Conference on Self-Adaptive and Self-Organizing Systems, September 18-22, Tucson, Arizona
by Markus Esch 08 May '17

08 May '17

************************************************************************* SASO 2017: Abstract submission deadline TODAY ************************************************************************* CALL FOR PAPERS The Eleventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 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

CFP: The 3rd IEEE International Conference on Data Science and Systems (DSS 2017)
by UK Conference CFP 08 May '17

08 May '17

[Please accept our apologies if you receive multiple copies of this CFP] <> ******************************** IEEE DSS-2017 CFP ******************************* The 3rd IEEE International Conference on Data Science and Systems (DSS 2017) Bangkok, Thailand December 18 - 20, 2017 http://hpcl.seas.gwu.edu/dss2017/ <http://hpcl.seas.gwu.edu/dss2017/> INTRODUCTION ============= In parallel with Petrol as a driving resource in this world, Data is becoming an increasingly decisive resource in modern societies, economies, and governmental organizations. Gradually and steadily, it is being world-wide recognized that data and talents are playing key roles in modern businesses. As an interdisciplinary area, Data Science draws scientific inquiry from a broad range of subject areas such as statistics, mathematics, computer science, machine learning, optimization, signal processing, information retrieval, databases, cloud computing, computer vision, natural language processing and etc. Data Science is on the essence of deriving valuable insights from data. It is emerging to meet the challenges of processing very large datasets, i.e. Big Data, with the explosion of new data continuously generated from various channels such as smart devices, web, mobile and social media. Data Systems are posing many challenges in exploiting parallelism of current and upcoming computer architectures. Data volumes of applications in the fields of sciences and engineering, finance, media, online information resources, etc. are expected to double every two years over the next decade and further. With this continuing data explosion, it is necessary to store and process data efficiently by utilizing enormous computing power. The importance of data intensive systems has been raising and will continue to be the foremost fields of research. This raise brings up many research issues, in forms of capturing and accessing data effectively and fast, processing it while still achieving high performance and high throughput, and storing it efficiently for future use. Innovative programming models, high performance scalable computing platforms, efficient storage systems and expression of data requirements are at immediate need. DSS (Data Science and Systems) was created to provide a prime international forum for researchers, industry practitioners and domain experts to exchange the latest advances in Data Science and Data Systems as well as their synergy. 2017 is the 3rd event following the success in 2015 (DSDIS 2015) and 2016 (DSS 2016). SCOPE AND TOPICS ================ A. Data Science • Foundational theories and models of data science • Foundational algorithms and methods for big data • Data classification and taxonomy • Data metrics and metrology • Machine learning and deep learning • Data analytics • Data provenance • Fault tolerance, reliability, and availability • Security, privacy and trust in Data B. Data Processing Technology • Data sensing, fusion and mining • Data representation, dimensionality reduction, processing and proactive service layers • Data capturing, management, and scheduling techniques • Stream data processing and integration • Knowledge discovery from multiple information sources • Statistical, mathematical and probabilistic modeling and theories • Information visualization and visual data analytics • Information retrieval and personalized recommendation • Parallel and distributed data storage and processing infrastructure • MapReduce, Hadoop, Spark, scalable computing and storage platforms • Security, privacy and data integrity in data sharing, publishing and analysis • Replication, archiving, preservation strategies • Stream data computing • Meta-data management • Remote data access C. Data Systems • Storage and file systems • High performance data access toolkits • Programming models, abstractions for data intensive computing • Compiler and runtime support • Future research challenges of data intensive systems • Real-time data intensive systems • Network support for data intensive systems • Challenges and solutions in the era of multi/many-core platforms • Green (power efficient) data intensive systems • Data intensive computing on accelerators and GPUs • Productivity tools, performance measuring and benchmark for data intensive systems • Big Data, cloud computing and data intensive systems D. Data Applications • HPC system architecture, programming models and run-time systems for data intensive applications • Innovative applications in business, finance, industry and government cases • Data-intensive applications and their challenges • Innovative data intensive applications such as health, energy, cybersecurity, transport, food, soil and water, resources, advanced manufacturing, environmental Change, and etc. IMPORTANT DATES ================ · Paper Submission Deadline: June 15, 2017 · Authors Notification: August 15, 2017 · Camera-Ready Paper Due: September 15, 2017 · Early Registration Due: September 15, 2017 · Conference Date: December 18 - 20, 2017 PAPER SUBMISSION GUIDELINE ========================== Submissions must include an abstract, keywords, the e-mail address of the corresponding author and should not exceed 8 pages for main conference, including tables and figures in IEEE CS format. The template files for LATEX or WORD can be downloaded here. All paper submissions must represent original and unpublished work. Each submission will be peer reviewed by at least three program committee members. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will register for the conference and present the work. Submit your paper(s) in PDF file at the submission site. PUBLICATIONS ========================== Accepted and presented papers will be included into the IEEE Conference Proceedings published by IEEE CS Press. Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference, otherwise their papers may be removed from the digital libraries of IEEE CS after the conference. Distinguished papers presented at the conference, after further revision, will be published in special issues of Journal of Network and Computer Applications, Future Generation Computer Systems, Journal of Computer and System Sciences and IEEE Transactions on Emerging Topics in Computing.

1 0

CFP: RePara 2017 Workshop. Reengineering for Parallelism.
by JOSE DANIEL GARCIA SANCHEZ 08 May '17

08 May '17

[Apologies if you got multiple copies of this email] ________________________________________________________________________ *The 3rd International Workshop on Reengineering for Parallelism in Heterogeneous Parallel Platforms (REPARA 2017)* https://www.arcos.inf.uc3m.es/repara2017/ Held in conjunction with the International Conference of Parallel Computing (ParCo 2017) http://www.hpc.cineca.it/content/parco-2017 Bologna, Italy September, 12-15, 2017 ATTENTION: New Dates =================================== Submission deadline: June, 30, 2017 Notifications: July, 28, 2017 Abstract =================================== In recent years, traditional processors have not been able to directly translate chip fabrication technology advances intro performance gains. To keep satisfying the demand for computing power, there is a shift from homogeneous machines to heterogeneous architectures combining different kinds of processors (CPUs, GPUs, DSPs, FPGAs, and other accelerators). While this approach has allowed significant performance and energy efficiency benefits, heterogeneous systems are often highly difficult to program with existing tools. To reduce the cost of system development, reengineering techniques emerge as a solution which may help to balance ease-of-development with better performance, better reliability, and lower maintenance costs. The RePara2017 workshop it aims to join experts from related disciplines to share recent advances in different areas contributing to better transformation of new and legacy applications to different programming models for diverse computing devices in the context of parallel heterogeneous architectures. Scope and Interest =================================== Topics of interest include, but are not limited to: + High-level parallel programming models, libraries and languages for Heterogeneous Parallel Platforms. + Compiler support for Heterogeneous Parallel Systems. + Description languages for Heterogeneous Parallel Platforms. + Parallel patterns for Heterogeneous Platforms. + Autonomic management of Power/Performance trade-offs. + Automated kernel identification and assessment. + Software refactoring approaches for parallel programming models. + Transformations from source code to reconfigurable hardware. + Integration of FPGA accelerators into refactored software. + Runtimes for software coordination and task mapping in Heterogeneous Parallel Platforms. + Scheduling for Heterogeneous Parallel Platforms. + Performance modeling and prediction in Heterogeneous Parallel Platforms. + Energy efficiency monitoring and prediction in Heterogeneous Parallel Platforms. + Software quality assessment in parallel programming models with special attention to maintainability. + Applying partitioning and mapping for parallel Heterogeneous computing architectures. + Application experiences of refactoring to software in industrial domains. Workshop publication =================================== Accepted paper will be published in the proceedings of the ParCo 2017 Conference. Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference. Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference, otherwise their papers will be removed from the proceedings book prior to its publication. Journal Publication =================================== Extended version of selected papers from the workshop will be invited by the RePara2017 program committee for publication, after further revision, in an special issue of an International Journal (to be announced). Submission Instructions =================================== Papers submitted to the workshop should be written in English conforming to the IOS Press Book format (see templates at IOS Press site at http://www.iospress.nl/service/authors/latex-and-word- tools-for-book-authors/). The paper should be submitted through the workshop submission system at EasyChair (https://easychair.org/confere nces/?conf=repara2017). The length of the papers should not exceed 10 pages. Contact =================================== Please email inquiries concerning the workshop to J. Daniel Garcia ( josedaniel.garcia(a)uc3m.es). -- Prof. J. Daniel Garcia Associate Professor - Profesor Titular de Universidad Computer Architecture Group University Carlos III of Madrid Avenida de la Universidad, 30 28911 Leganés, Madrid. Spain Tel: +34 91 624 6044 Fax: +34 91 624 9129 e-mail: josedaniel.garcia(a)uc3m.es Web: http://www.arcos.inf.uc3m.es/~jdaniel Linked-In: http://es.linkedin.com/in/jdanielgarcia Twitter: http://www.twitter.com/jdgarciauc3m -- Prof. J. Daniel Garcia Associate Professor - Profesor Titular de Universidad Computer Architecture Group University Carlos III of Madrid Avenida de la Universidad, 30 28911 Leganés, Madrid. Spain Tel: +34 91 624 6044 Fax: +34 91 624 9129 e-mail: josedaniel.garcia(a)uc3m.es Web: http://www.arcos.inf.uc3m.es/~jdaniel Linked-In: http://es.linkedin.com/in/jdanielgarcia Twitter: http://www.twitter.com/jdgarciauc3m -- Prof. J. Daniel Garcia Associate Professor - Profesor Titular de Universidad Computer Architecture Group University Carlos III of Madrid Avenida de la Universidad, 30 28911 Leganés, Madrid. Spain Tel: +34 91 624 6044 Fax: +34 91 624 9129 e-mail: josedaniel.garcia(a)uc3m.es Web: http://www.arcos.inf.uc3m.es/~jdaniel Linked-In: http://es.linkedin.com/in/jdanielgarcia Twitter: http://www.twitter.com/jdgarciauc3m

1 0

IEEE BIBM 2017 Call for Workshop Proposals
by CFP Conference 07 May '17

07 May '17

*Call for Workshop Proposals* 2017 IEEE International Conference on Bioinformatics and Biomedicine http://muii.missouri.edu/bibm2017/ Nov 13-16, 2017, Kansas City, MO, USA ================================================================= The Program Committees of the 2017 IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM 2017) invite proposals for Workshops. Selected workshops will hold a central position within the larger Conference, which will bring together top academic and industrial researchers from all over the world to exchange cutting edge research ideas in bioinformatics and biomedicine. Within these fields, workshops at BIBM form crucial focal points for emerging communities and forums for the examination of new ideas. Workshop organizers will be responsible for advertising the workshop, forming the program committees, reviewing and selecting the papers, and guaranteeing a high quality worthy of the prestige and breadth of the Conference. All papers accepted for workshops will be included in the Workshop Proceedings published by the IEEE Computer Society Press, made available at the Conference. The workshop organizers will also have the discretion of editing selected papers (after their expansion and revision) into books or special journal issues. Workshops should cover at least a single session (6 regular papers). The workshop organizers should ensure registration and presence of authors of accepted papers. *Workshop Topics* Each workshop subject will focus on new research challenges and initiatives in Bioinformatics, Biomedicine and Healthcare Informatics. The workshops should provide an informal and vibrant forum for researchers and industry practitioners to share their research results and practical development experiences in these three fields. Workshop topics may be narrow, e.g., “reverse-engineering” of gene regulatory networks from experimental data, computational approaches to drug discovery, mathematical modeling of signaling pathways, analysis of the next-generation sequencing data, oscillations and synchronization of biological rhythms, wireless sensor networks, patient health records, medical signal processing; or broad, e.g., computational proteomics, *in-silico* diagnosis and prognosis, data mining and machine learning algorithms for biomedical applications, application of network research to biology, emerging technology in healthcare, aging research etc. Prospective workshop organizers are encouraged to contact workshop chairs for feedback. *Important Dates* *May *10, 2017: Workshop proposal submission due: a proposed workshop announcement is sent by e-mail to any of the Workshop Chairs May 20, 2017: Notification to workshop proposers June 25, 2017: Each workshop organizer sends out Call for Workshops Papers *Guidelines for Workshop Proposals* Proposals for 2017 IEEE BIBM Workshops should contain the following components. 1. Workshop Title (e.g., mathematical modeling of signaling pathways) 2. Introduction to workshop (a few sentences about the background, importance, purpose, interests, etc. of workshop) 3. Research topics included in the workshop (list a number of interesting topics or areas covered by workshop) 4. Important dates (Please do not change the final camera-ready submission date, feel free to adjust other dates) *Sept 20, 2017:* Due date for full workshop papers submission *Oct 10, 2017:* Notification of paper acceptance to authors * Oct 25, 2017:* Camera-ready of accepted papers * Nov 13-16, 2017:* Workshops 5. Program Chairs or co-chairs: (1-3 experts in the research areas of workshop) 6. Program Committee Members: (at least 5 experts in the research areas) 7. Invited keynote speakers (optional) *Workshop Proposal Submission:* Pls submit your workshop proposal at: *https://wi-lab.com/cyberchair/2017/bibm17/scripts/submit.php?subarea=ProW <https://wi-lab.com/cyberchair/2017/bibm17/scripts/submit.php?subarea=ProW> * *Workshop Chairs:* Prof. Illhoi Yoo, University of Missouri, USA Email: yooil(a)health.missouri.edu Prof. Jane Huiru Zheng, Ulster University, UK Email: h.zheng(a)ulster.ac.uk ######################################################################## To unsubscribe from the DMB-LIST list, click the following link: http://lists.drexel.edu/cgi-bin/wa?TICKET=NzM2NDg2IGNvbXB1dGF0aW9uYWwuc2NpZ…

1 0

AlCoB 2017: call for participation
by GRLMC 07 May '17

07 May '17

AlCoB 2017: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 4th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2017 Aveiro, Portugal June 5-6, 2017 Organized by: Center for Research & Development in Mathematics and Applications (CIDMA) Institute of Electronics and Informatics Engineering of Aveiro (IEETA) University of Aveiro Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/AlCoB2017/ ********************************************************************************** PROGRAM Monday, June 5 09:00 - 09:30 Registration 09:30 - 09:40 Opening 09:40 - 10:30 Michael Biehl: Biomedical Applications of Prototype Based Classifiers and Relevance Learning - Invited lecture 10:30 - 11:00 Coffee break 11:00 - 11:50 Stefano Beretta, Paola Bonizzoni, Luca Denti, Marco Previtali and Raffaella Rizzi: Mapping RNA-seq Data to a Transcript Graph via Approximate Pattern Matching to a Hypertext Alessio Conte, Roberto Grossi, Andrea Marino, Lorenzo Tattini and Luca Versari: A Fast Algorithm for Large Common Connected Induced Subgraphs 11:50 - 12:05 Break 12:05 - 12:55 Javlon E. Isomurodov, Alexander A. Loboda and Alexey A. Sergushichev: Ranking Vertices for Active Module Recovery Problem John L. Pfaltz: Computational Processes that Appear to Model Human Memory 12:55 - 14:25 Lunch 14:25 - 15:15 Philip J. Gerrish and Nick Hengartner: Inferring the Distribution of Fitness Effects (DFE) of Newly-arising Mutations Using Samples Taken from Evolving Populations in Real Time Jesper Jansson, Ramesh Rajaby and Wing-Kin Sung: An Efficient Algorithm for the Rooted Triplet Distance between Galled Trees 15:15 - 15:30 Break and Group photo 15:30 - 16:20 Benedict Paten: Describing the Local Structure of Sequence Graphs - Invited lecture 16:20 - 16:35 Break 16:35 - 18:05 Poster presentations Martin Ayling and Richard Leggett. MetaCortex: Assembling Variation in Metagenomics Gregory Farrant, Hoebeke Mark, Frédéric Partensky, Gwendoline Andrès, Erwan Corre and Laurence Garczarek. WiseScaffolder: An Algorithm for the Semi-automatic Scaffolding of Next Generation Sequencing Data Daniel Figueiredo and Eugénio Rocha. sDL: A Prover for Hybrid Systems César González, Mariano Pérez-Martínez, Juan M. Orduña, Javier Chaves-Martinez and Ana Barbara Garcia-Garcia. On the Use of Bit Arrays in the Detection of DNA Regions with Methylated Cytosines Morteza Hosseini, Diogo Pratas and Armando J. Pinho. Quantifying Inverted Repeats in DNA Sequences Haneen Najjar, Nagam Khoury and Alexander Bolshoy. Quasi-omnipresent N-grams in M Prokaryotic Genomes John Santerre, James Davis, Fangfang Xia and Rick Stevens. Machine Learning for the Phenotype to Genotype Problem Antonio J. Tallón-Ballesteros and María Rodríguez-Romero. Multilayer Perceptron Based on Hyperbolic Tangent Hidden Nodes. An Experimental Study Antonio J. Tallón-Ballesteros, Luis Rus-Pegalajar, María Rodríguez-Romero and Jonathan E. Benavides-Vallejo. Ranking-based Feature Selection in Microarray Problems 18:15 - 19:15 Touristic visit --- Tuesday, June 6 09:00 - 09:50 Marie-France Sagot: Algorithmically Exploring and Exploiting Interspecific Interactions - Invited lecture 09:50 - 10:20 Coffee break 10:20 - 11:10 Alex Ozdemir, Michael Sheely, Daniel Bork, Ricson Cheng, Reyna Hulett, Jean Sung, Jincheng Wang and Ran Libeskind-Hadas: Clustering the Space of Maximum Parsimony Reconciliations in the Duplication-Transfer-Loss Model T.M. Rezwanul Islam and Ian McQuillan: CSA-X: Modularized Constrained Multiple Sequence Alignment 11:10 - 11:25 Break 11:25 - 12:15 Ozan Kahramanogullari: Quantifying Information Flow in Chemical Reaction Networks Gabriel H.G. Silva, Edans F.O. Sandes, George Teodoro and Alba C.M A. Melo: Parallel Biological Sequence Comparison in Linear Space with Multiple Adjustable Bands 12:15 - 12:25 Closing 12:25 - Lunch

1 0

Call for Papers: 8th International Green and Sustainable Computing Conference (IGSC’17)
by Ishan Thakkar 06 May '17

06 May '17

CALL FOR PAPERS: THE Eighth International Green and Sustainable Computing Conference (IGSC’17) ================================================================================================ www.green-conf.org October 23-25 2017, Orlando, Florida IGSC’17 will provide a forum for presenting and discussing innovative research on a broad range of topics in the fields of sustainable and energy-efficient computing and computing for a more sustainable planet. The conference will consist of technical papers, panels, workshops, PhD Forum, and tutorials on these topics. IGSC’17 will be technically co-sponsored by the IEEE. Topics of interest include, but are not limited to: Green Computing ----------------- - Power- and thermal-aware algorithms, software and hardware - Low-power electronics and systems - Power-efficient multi/many-core chip design - Application-specific ASICs and FPGAs - Sensing and monitoring - Power and thermal behavior and control - Data centers optimization - Smart grid and microgrids - Power-efficient delivery and cooling - Reliability, life-cycle analysis of IT equipment Computing for Sustainability ----------------------------- - Renewable energy models and prediction - Matching energy supply and demand - Smart transportation and electric vehicles - Smart buildings and urban computing - Energy harvesting, storage, and recycling - Climate and ecosystem monitoring - IT solutions for water quality, air pollution, and sustainable agriculture - Computational models for epidemics, infectious diseases, and human well-being - Computational methods for sustainable economy and society Paper submission guidelines ---------------------------------- IGSC’17 welcomes submissions that have not been published and that are not under review by other conferences or journals. All submissions will be evaluated on their originality, technical soundness, significance, presentation, and interest to the conference attendees. Please refer to the IGSC website (www.green-conf.org) for specific instructions related to paper submission. Best paper award and journal publication ------------------------------------------ The Technical Committee will select the best contributions to be extended and considered by the Elsevier Journal on Sustainable Computing. Workshops and special sessions --------------------------------- Proposals are solicited for workshops and special sessions to be held in conjunction with the conference. Proposals should be submitted to the Workshops and Special Sessions Chair (iahmad(a)cse.uta.edu). Ph.D. forum ------------ Submissions are solicited for a Ph.D. forum, from doctoral students engaged in research on sustainable and energy-efficient computing. Please refer to the IGSC website for specific instructions for extended abstract submission. Important dates ----------------- Deadline for submitting Workshop and Special Session proposals: May 15, 2017 Deadline for submitting Ph.D. forum extended abstracts: June 16, 2017 Paper submission: June 16, 2017 Notifications sent to authors: July 17, 2017 Camera-ready papers due: Aug 5, 2017 Organization -------------- Steering Committee Chairs: Ishfaq Ahmad (University of Texas, Arlington, USA), iahmad(a)cse.uta.edu Behrooz Shirazi (Washington State University, USA), shirazi(a)wsu.edu General Chair: Weisong Shi (Wayne State University, USA), weisong(a)wayne.edu Tech. Program Chair: Sudeep Pasricha (Colorado State University, USA), sudeep(a)colostate.edu Workshop Chair: Ishfaq Ahmad (University of Texas, Arlington, USA), iahmad(a)cse.uta.edu PhD Forum Chair: Mahdi Nikdast (Polytechnique Montréal, Canada), mahdi.nikdast(a)polymtl.ca Publicity Chair: Ishan Thakkar (Colorado State University, USA), ishan9it(a)rams.colostate.edu

1 0

MOD2017: Paper submission deadline: May 15, 2017
by Giuseppe Nicosia 06 May '17

06 May '17

*Our apologies if you receive multiple copies of this announcement.* MOD 2017: The 3rd International Conference on Machine learning, Optimization & big Data An Interdisciplinary Conference: Machine Learning, Optimization and Data Science without Borders ======================================================= September 14 - 17, 2017, Volterra (Pisa) Tuscany, Italy http://www.taosciences.it/mod/ Important dates =============== * Full Paper Submissions: May 15, 2017 * Full Paper Notifications: June 30, 2017 * Conference: September 14 - 17, 2017 Best Paper Awards =============== Springer sponsors the MOD 2017 Best Paper Award with a cash prize of EUR 1,000. The Award will be conferred at the conference on the authors of the best paper award. Keynote Speakers =============== + Yi-Ke Guo, Department of Computing, Faculty of Engineering, Imperial College London, UK Founding Director of Data Science Institute. + Ruslan Salakhutdinov, Machine Learning Department, School of Computer Science at Carnegie Mellon University, USA. Director of AI Research at Apple. + Jun Pei, Hefei University of Technology, China + Georgios Giannakis, Department of Electrical and Computer Engineering, University of Minnesota, Director of Digital Technology Center, USA (TBC) Special Sessions =============== + "Metaheuristics and Multi-Objective optimization for Big Data" Clarisse Dhaenens, University of Lille, France Laetitia Jourdan, University of Lille, France https://sites.google.com/view/mmo-bd2017/ + “Industrial Session on Machine Learning, Optimization and Data Science for Real-World Applications” Ilaria Bordino, Marco Firrincieli, Fabio Fumarola, and Francesco Gullo, UniCredit R&D, Italy Tutorial =============== + “Tutorial on Scalable Data Mining on Cloud Computing Systems” Domenico Talia, University of Calabria, Italy The International Conference on Machine learning, Optimization, and big Data (MOD) has established itself as a premier interdisciplinary conference in machine learning, computational optimization, knowledge discovery and data science. It provides an international forum for presentation of original multidisciplinary research results, as well as exchange and dissemination of innovative and practical development experiences. The conference will consist of four days of conference sessions. We invite submissions of papers on all topics related to Machine learning, Optimization, Knowledge Discovery and Data Science including real-world applications for the Conference Proceedings (Springer - Lecture Notes in Computer Science - LNCS). Topics of Interest The last five-year period has seen a impressive revolution in the theory and application of machine learning, optimization and big data. Topics of interest include, but are not limited to: * Foundations, algorithms, models and theory of data science, including big data mining. * Machine learning and statistical methods for big data. * Machine Learning algorithms and models. Neural Networks and Learning Systems. Convolutional neural networks. * Unsupervised, semi-supervised, and supervised Learning. * Knowledge Discovery. Learning Representations. Representation learning for planning and reinforcement learning. * Metric learning and kernel learning. Sparse coding and dimensionality expansion. Hierarchical models. Learning representations of outputs or states. * Multi-objective optimization. Optimization and Game Theory. Surrogate-assisted Optimization. Derivative-free Optimization. * Big data Mining from heterogeneous data sources, including text, semi-structured, spatio-temporal, streaming, graph, web, and multimedia data. * Big Data mining systems and platforms, and their efficiency, scalability, security and privacy. * Computational optimization. Optimization for representation learning. Optimization under Uncertainty * Optimization algorithms for Real World Applications. Optimization for Big Data. Optimization and Machine Learning. * Implementation issues, parallelization, software platforms, hardware * Big Data mining for modeling, visualization, personalization, and recommendation. * Big Data mining for cyber-physical systems and complex, time-evolving networks. * Applications in social sciences, physical sciences, engineering, life sciences, web, marketing, finance, precision medicine, health informatics, medicine and other domains. We particularly encourage submissions in emerging topics of high importance such as data quality, advanced deep learning, time-evolving networks, large multi-objective optimization, quantum discrete optimization, learning representations, big data mining and analytics, cyber-physical systems, heterogeneous data integration and mining, autonomous decision and adaptive control. Submission Guidelines =============== Paper submissions should be limited to a maximum of 12 pages, in the Springer LNCS format: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 including the bibliography and any possible appendices. All submissions will be 6-blind reviewed by the Program Committee on the basis of technical quality, significance, multidisciplinary, relevance to scope of the conference, originality and clarity. https://easychair.org/conferences/?conf=mod2017 Types of Submissions =============== When submitting a paper to MOD 2017, authors are required to select one of the following four types of papers: + Long paper: original novel and unpublished work (max. 12 pages in Springer LNCS format); + Short paper: an extended abstract of novel work (max. 4 pages); + Work for oral presentation only (no page restriction; any format). For example, work already published elsewhere, which is relevant and which may solicit fruitful discussion at the conference; + Abstract for poster presentation only (max. 2 pages). The poster format for the presentation is A0 (118.9 cm high and 84.1 cm wide, respectively 46.8 x 33.1 inch). For research work which is relevant and which may solicit fruitful discussion at the conference. Post-Proceedings =============== All accepted long papers will be published in a volume of the series 'Lecture Notes in Computer Science' from Springer *after* the conference. Instructions for preparing and submitting the final versions (camera-ready papers) of all accepted papers will be available later on. All the other papers (short papers, abstracts of the oral presentations, abstracts for the poster presentations) will be published on the MOD 2017 web site. Presentation =============== MOD uses the single session formula of 30 minutes presentations for fruitful exchanges between authors and participants. Attendance =============== MOD is a premier forum for presenting and discussing current research in machine learning, optimization and big data. Therefore, at least one author of each accepted paper must complete the conference registration and present the paper at the conference, in order for the paper to be included in the proceedings and conference program. Organization =============== General Chair: Renato Umeton, Harvard University, USA Program Co-Chairs: Giovanni Giuffrida, University of Catania, Italy & Neodata Group Giuseppe Nicosia, University of Catania, Italy Panos Pardalos, University of Florida, USA Special Session Co-Chairs: Giuseppe Narzisi, New York University Tandon School of Engineering & New York Genome Center, New York, USA Workshop Co-Chair: Piero Conca, CNR, Italy Industrial Panel Chairs: Ilaria Bordino, Marco Firrincieli, Fabio Fumarola, and Francesco Gullo, UniCredit R&D W: http://www.taosciences.it/mod/ E: modworkshop2017(a)gmail.com -- Giuseppe Nicosia, Ph.D. Associate Professor of Computer Science Dept. of Mathematics & Computer Science University of Catania Viale A. Doria, 6 - 95125 Catania, Italy P +39 095 7383048 nicosia(a)dmi.unict.it http://www.dmi.unict.it/nicosia ================================================================== 4th International Synthetic & Systems Biology Summer School - SSBSS 2017 * Biology meets Computer Science & Engineering * July 17-21, 2017 - University of Cambridge, Robinson College, UK http://www.taosciences.it/ssbss/ Contact Email: ssbss.school(a)gmail.com 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/ ================================================================== 3rd International Conference on Machine learning, Optimization & big Data - MOD 2017 An Interdisciplinary Conference: Machine Learning, Optimization and Data Science without Borders September 14-17, 2017 - Volterra (Pisa), Tuscany, Italy modworkshop2017(a)gmail.com http://www.taosciences.it/mod/ ==================================================================

1 0

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

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

22 Apr '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. 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 1

[CfP] ICCST-2017: 51st IEEE International Carnahan Conference on Security Technologies
by riccardo.lazzeretti＠math.unipd.it 20 Apr '17

20 Apr '17

Madrid, Spain, October 23 - 26, 2017 http://atvs.ii.uam.es/iccst2017/ The IEEE International Carnahan Conference on Security Technologies 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 be submitted for posting to 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 Date: April 28, 2017 Decision to Authors: May 26, 2017 Final Manuscript Due: July 20, 2017 Early Registration: August 15, 2017 Best Regards, ICCST-2017 Organizing Committee ICCST-2017 Executive Committee http://atvs.ii.uam.es/iccst2017/

1 0

[CfP] Last days: Workshop on Trusted Computing in Distributed and Hybrid Systems
by riccardo.lazzeretti＠math.unipd.it 20 Apr '17

20 Apr '17

We apologize if you receive multiple copies of this CFP Workshop on Trusted Computing in Distributed and Hybrid Systems Co-located with the IEEE International Conference on Advanced and Trusted Computing (ATC 2017) http://www.wnlabs.com/news/ATC_2017_workshop.php The two fundamental components of Trusted Computing, the asymmetric PKI framework and RSA IFC cryptography, are operating beyond their limitations and are no longer sufficient. "In August, 2015, NSA announced that it planned to transition in the not distant future to a new cipher suite that is resistant to quantum attacks." wikipedia Dynamic distributed key and hybrid systems overcome these limitations. THE TOPICS OF THIS WORKSHOP INCLUDE BUT ARE NOT LIMITED TO THE FOLLOWING · distributed frameworks for trusted computing and trusted cyber · PKI and distributed combined hybrid frameworks and security controls · security, identity and data provenance in distributed and hybrid systems · secure handshakes for distributed trusted computing · secure cryptographic key distribution and scalability for trusted computing and trusted cyber · side channel resistance in trusted computing and trusted cyber · next generation cryptography for trusted computing and trusted cyber · secure cryptographic key distribution and scalability for trusted computing and trusted cyber · trusted computing key creation for restricted resource environments i.e. IoT COMMITTEE · Chair: Andre Brisson - Whitenoise Laboratories Canada Inc. · Co-Chair: Dr. Mihai Sima - University of Victoria, British Columbia ECE Labs · Program Committee Chair: Layton Perrin - Sequor Systems Inc. · Program Committee member: Dr. Issa Traore - University of Victoria, British Columbia ECE Labs · Program Committee member: Laurie Perrin - Sequor Systems Inc. · Program Committee member: Albert Meyburgh - British Columbia Institute of Technology · Program Committee member: Edouard Kujawski - MIT, Lawrence Berkeley National Labs · Program Committee member: Sam Greenblatt, former CTO HP, Dell SUBMISSION Workshop papers are limited to 6 pages following the IEEE proceedings format, and are to be submitted as PDF via the ATC 2017 submission site: ATC 2017 submission Select CyberTrust track after logging in. Deadlines · Paper Submission - Extended to April 25, 2017 · Acceptance Notification - May 10, 2017 · Camera-Ready Submission - June 10, 2017

1 0

22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017
by Dirk Craeynest 20 Apr '17

20 Apr '17

----------------------------------------------------------------------- Call for Participation *** PROGRAM SUMMARY *** 22nd International Conference on Reliable Software Technologies - Ada-Europe 2017 12-16 June 2017, Vienna, Austria http://www.ada-europe.org/conference2017 Organized by TU Vienna on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED, SIGPLAN and the Ada Resource Association (ARA) *** Online registration open *** *** Early registration discount until May 22 *** *** Extensive info available on conference web site *** *** Highly recommended to book your hotel ASAP *** ----------------------------------------------------------------------- The 22nd International Conference on Reliable Software Technologies - Ada-Europe 2017 takes place in Vienna, Austria, from June 12 to 16, 2017. It is an exciting event with an outstanding technical program, keynote talks, exhibition and networking from Tuesday to Thursday, and a rich program of workshops and tutorials on Monday and Friday. The conference is hosted by TU Vienna at Palais Eschenbach, which is located near the center of Vienna and can easily be accessed by metro. The Ada-Europe series of conferences has over the years become a leading international forum for providers, practitioners and researchers in reliable software technologies. These events highlight the increased relevance of Ada in general and in safety- and security-critical systems in particular, and provide a unique opportunity for interaction and collaboration between academics and industrial practitioners. Extensive information is available on the conference web site, such as an overview of the program, the list of accepted papers and industrial presentations, and descriptions of workshops, tutorials, keynote presentations, and social events. Also check the conference web site for registration, accommodation and travel information. Quick overview - Mon 12 & Fri 16: tutorials + workshops - Tue 13 - Thu 15: core program Proceedings - published by Springer - volume 10300 in Lecture Notes in Computer Science series - will be available at conference Program co-Chairs - Johann Blieberger, TU Vienna, Austria blieb(a)auto.tuwien.ac.at - Tullio Vardanega, Università di Padova, Italy tullio.vardanega(a)math.unipd.it Keynote speakers - Giovanni Battista Gallus, Array, Italy, on "The laws of robotics and autonomous vehicles may be much more than three, but don't panic... yet" - Thomas Henzinger, IST, Austria, on "Behavioral Software Metrics" - Kay Römer, TU Graz, Austria, on "Dependable Internet of Things" Workshops (full day) - 4th International Workshop on "Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering" (DeCPS 2017), focus on "Transportation of the Future" Tutorials (full day) - "Introduction to SPARK 2014" Peter Chapin, Vermont Technical College, USA Tutorials (half day) - "Ada on ARM Cortex-M, a Zero-Run-Time Approach" Maciej Sobczak, GE Aviation and Inspirel, Poland - "Software Measurement for Dependable Software Systems" William Bail, The MITRE Corporation, USA - "Real-Time Parallel Programming with the UpScale SDK" Luis Miguel Pinho, ISEP, Portugal, and Eduardo Quinones, BSC, Spain - "Using Gnoga for Desktop/Mobile GUI and Web development in Ada" Jean-Pierre Rosen, Adalog, France - "Frama-C, a Collaborative Framework for C Code Verification" Julien Signoles, CEA LIST, France - "On beyond ASCII: Characters, Strings, and Ada 2012" Jean-Pierre Rosen, Adalog, France - "Modular Open System Architecture for Critical Systems" William Bail, The MITRE Corporation, USA Papers and Presentations - 14 refereed technical papers in sessions on Runtimes, Programming Models, Safety & Security, Timing Verification, Mixed Criticality - 9 industrial presentations and experience reports in sessions on Exploratory Uses of Ada, Verification, Large Industrial Applications - 4 presentations and discussion in special panel session on "The Future of Safety-Minded Languages" - submissions by authors from 24 countries, and accepted contributions from Australia, Austria, Denmark, France, Italy, Portugal, South Korea, Spain, Sweden, Switzerland, UK, and USA Vendor exhibition and networking area - area features exhibitor booths, project posters, reserved vendor tables, and general networking options - 4 companies already committed: AdaCore, PTC, Rapita Systems, VectorCAST; others expected to confirm soon - vendor presentation sessions in core program Social events - each day: coffee breaks in the exhibition space and sit-down lunches offer ample time for interaction and networking - Tuesday evening: Ada-Europe General Assembly, followed by Welcome Reception incl. Robotics Presentations at "TU the Sky"; its terraces at the top of TU Vienna's buildings offer a terrific view on the city - Wednesday evening: Vienna bus tour, followed by the traditional Ada-Europe Conference Banquet, held at a very famous "Heuriger" - Best Paper and Best Presentation awards will be handed out Registration highlights this year - single day registration cost has been reduced - Wednesday is Meet Ada-Europe day! registration is discounted - tutorial fees reduced when taken together with 3-day conference Registration - online registration is open: select "Registration" at <http://www.ada-europe.org/conference2017/> - early registration discount up to Monday May 22, 2017 - additional discount for academia, Ada-Europe, ACM SIGAda, and ACM SIGPLAN members - a limited number of student discounts is available - registration includes copy of printed proceedings at event - includes coffee breaks and lunches - three day conference registration includes all social events - payment possible by credit card, check, or bank transfer - see registration page for info on novel student waiver program! Promotion - recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2017 - 16-page Advance Program brochure available online at <http://www.ada-europe.org/conference2017/AE2017_advance_program.pdf> - support Ada-Europe 2017 with promotional material available at <http://www.ada-europe.org/conference2017/promotion.html> - soon also available there: call for participation, ready-to-print posters for use in your office, university, etc. Please make sure you book accommodation as soon as possible. Vienna will be very busy in that week. For more info and latest updates see the conference web site at <http://www.ada-europe.org/conference2017>. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, Ada-Europe'2017 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be *** 22nd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2017 *** June 12-16, 2017 *** Vienna, Austria *** http://www.ada-europe.org

1 0

[CFP] 7th Int. Symposium on Data-driven Process Discovery and Analysis (SIMPDA2017)
by Fulvio Frati 20 Apr '17

20 Apr '17

** SIMPDA 2017 ** [Apologies if you recive multiple copies of this cfp] **************************************************************************** *** SIMPDA 2017 SEVENTH INTERNATIONAL SYMPOSIUM ON DATA-DRIVEN PROCESS DISCOVERY AND ANALYSIS 6-8 DECEMBER, 2017 - NEUCHATEL, SWITZERLAND http://simpda2017.di.unimi.it **************************************************************************** *** ## About SIMPDA With the increasing automation of business processes, growing amounts of process data become available. This opens new research opportunities for business process data analysis, mining and modeling. The aim of the IFIP 2.6 International Symposium on Data-Driven Process Discovery and Analysis is to offer a forum where researchers from different communities and the industry can share their insight in this hot new field. The Symposium will feature a number of keynotes illustrating advanced approaches, shorter presentations on recent research, a competitive PhD seminar and selected research and industrial demonstrations. This year the symposium will be held in Neuchatel. ###Call for Papers The IFIP International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA 2017) offers a unique opportunity to present new approaches and research results to researchers and practitioners working in business process data modelling, representation and privacy-aware analysis. The symposium will bring together leading researchers, engineers and scientists from around the world. Full papers must not exceed 15 pages. Short papers are limited to at most 4 pages. All papers must be original contributions, not previously published or under review for publication elsewhere. All contributions must be written in English and must follow the LNCS Springer Verlag format. Templates can be downloaded from: http://www.springer.de/comp/lncs/authors.html Accepted papers will be published in a pre-proceeding volume of CEUR workshop series. The authors of the accepted papers will be invited to submit extended articles to a post-symposium proceedings volume which will be published in the LNBIP series (Lecture Notes in Business Information Processing, http://www.springer.com/series/7911), scheduled for late 2018 (extended papers length will be between 7000 and 9000 words). Around 10-15 papers will be selected for publication after a second round of review. ### Topics Topics of interest for submission include, but are not limited to: - Business Process Modeling languages, notations and methods - Lightweight Process Model - Data-aware and data-centric approaches - Process Mining with Big Data - Variability and configuration of process models - Process simulation and static analyses - Process data query languages - Process data mining - Privacy-aware process data mining - Process metadata and semantic reasoning - Process patterns and standards - Foundations of business process models - Resource management in business process execution - Process tracing and monitoring - Process change management and evolution - Business process lifecycle - Case studies and experience reports - Social process discovery - Crowdsourced process definition and discovery ### Workshop Format: In accordance to our historical tradition of proposing SIMPDA as a symposium, we propose an innovative format for this workshop: The number of sessions depend on the number of submissions but, considering the previous editions, we envisage to have four sessions, with 4-5 related papers assigned to each session. A special session (with a specific review process) will be dedicated to discuss research plan from PhD students. Papers are pre-circulated to the authors that will be expected to read all papers in advance but to avoid exceptional overhead, two are assigned to be prepared with particular care, making ready comments and suggestions. The bulk of the time during each session will be dedicated to open conversations about all of the papers in a given session, along with any linkages to the papers and discussions within an earlier session. The closing session (30 minutes), will include a panel about open challenges during which every participant will be asked to assemble their thoughts/project ideas/goals/etc that they got out of the workshop. ### Call for PhD Research Plans The SIMPDA PhD Seminar is a workshop for Ph.D. students from all over the world. The goal of the Seminar is to help students with their thesis and research plans by providing feedback and general advice on how to use their research results. Students interested in participating in the Seminar should submit an extended abstract describing their research. Submissions can relate to any aspect of Process Data: technical advances, usage and impact studies, policy analyses, social and institutional implications, theoretical contributions, interaction and design advances, innovative applications, and social implications. Research plans should be at most of 5 page long and should be organised following the following structure: - Abstract: summarises, in 5 line, the research aims and significance. - Research Question: defines what will be accomplished by eliciting the relevant the research questions. - Background: defines the background knowledge providing the 5 most relevant references (papers or books). - Significance: explains the relevance of the general topic and of the specific contribution. - Research design and methods: describes and motivates the method adopted focusing on: assumptions, solutions, data sources, validation of results, limitations of the approach. - Research stage: describes what the student has done so far. ### SIMPDA PhD award A doctoral award will be given by the SIMPDA PhD Jury to the best research plan submitted. Student Scholarships An application for a limited number of scholarships aimed at students coming from emerging countries has been submitted to IFIP. In order to apply, please contact paolo.ceravolo(a)unimi.it ### CALL for Demonstrations and Posters Demonstrations showcase innovative technology and applications, allowing for sharing research work directly with colleagues in a high-visibility setting. Demonstration proposals should consist of a title, an extended abstract, and contact information for the authors, and should not exceed 10 pages. Posters allow the presentation of late-breaking results in an informal, interactive manner. Poster proposals should consist of a title, an extended abstract, contact information for the authors, and should not exceed 2 pages. Accepted demonstrations and posters will be presented at the symposium. Abstracts will appear in the proceedings. ### Important Dates - Paper Submission: 4 October 2017 - Submission of PhD Presentations: 4 October 2017 - Notification of Acceptance: 14 November 2017 - Submission of Camera Ready Papers: 28 November 2017 - Second International Symposium on Process Data: 6-8 December 2017 - Post-proceeding submissions: 30 March 2018 ## Keynote Speakers TBA ## Organizers ### CHAIRS - Paolo Ceravolo, Università degli Studi di Milano, Italy - Maurice van Keulen, University of Twente, The Netherlands - Kilan Stoffel, University of Neuchatel, Switzerland ### ADVISORY BOARD - Ernesto Damiani, Università degli Studi di Milano, Italy - Erich Neuhold, University of Vienna, Austria - Philippe Cudré-Mauroux , University of Fribourg, Switzerland - Robert Meersman, Graz University of Technology, Austria - Wilfried Grossmann, University of Vienna, Austria ### Program Committee - Akhil Kumar, Penn State University, USA - Benoit Depaire, University of Hasselt, Belgium - Chintan Mrit, University of Twente, The Netherlands - Christophe Debruyne, Trinity College Dublin, Ireland - Ebrahim Bagheri, Ryerson University, Canada - Edgar Weippl, TU Vienna, Austria - Fabrizio Maria Maggi, University of Tartu, Estonia - George Spanoudakis, City University London, UK - Haris Mouratidis, University of Brighton, UK - Isabella Seeber, University of Innsbruck, Austria - Jan Mendling, Vienna University of Economics and Business, Austria - Josep Carmona, UPC - Barcelona, Spain - Kristof Boehmer, University of Vienna, Austria - Manfred Reichert, Ulm University, Germany - Marcello Leida, TAIGER, Spain - Mark Strembeck, WU Vienna, Austria - Massimiliano De Leoni, Eindhoven TU, Netherlands - Matthias Weidlich, Imperial College, UK - Mazak Alexandra, University of Vienna, Austria - Mohamed Mosbah, University of Bordeaux - Mustafa Jarrar, Birzeit University, Palestine - Robert Singer, FH JOANNEUM, Austria - Roland Rieke, Fraunhofer SIT, Germany - Schahram Dustdar, Vienna University of Technology, Austria - Thomas Vogelgesang, University of Oldenburg, Germany - Valentina Emilia Balas, University of Arad, Romania - Wil Van der Aalst, Technische Universiteit Eindhoven, The Netherlands

1 0

Santiago de Compostela: 5-th Workshop on Large Scale Distributed Virtual Environments, LSDVE 2017
by LAURA RICCI 20 Apr '17

20 Apr '17

[Apologies for multiple copies of this message] Call for Papers: Fifth Workshop on Large Scale Distributed Virtual Environments, LSDVE 2017, <http://pages.di.unipi.it/ricci/LSDVE17/LSDVE17.html> in conjunction of EUROPAR 2017 <http://europar2017.usc.es/> August 2017, Santiago de Compostela, (Spain) Proceedings will be published by Springer Lecture Notes in Computer Science. Extended versions of the accepted papers will be published in a special issue (pending). IMPORTANT DATES Paper submission deadline: 5 May 2017 Notification of Acceptance: 16 June 2017 Workshop Date: August 2017 Submission of Camera Ready papers: 3 October 2017 Objectives of the Workshop: The recent advances in networking have determined an increasing use of information technology to support distributed networked cooperative applications. Several novel applications have emerged in this area: social networks, distributed payment systems, connected devices, collaboration systems, and many other ones. These applications may greatly benefit from the support of different kinds of platforms, both cloud and peer to peer. An interesting technology recently adopted to handle cryptocurrencies (such as bitcoin) is the block-chain technology, that has now taken the more general role to handle several distributed applications. Furthermore, the analysis and validation of the huge amount of content generated by these applications asks for big data analysis and processing techniques. This workshop aims to provide a venue for researchers to present and discuss important aspects of large scale networked collaborative applications and of the platforms supporting them. The definition of these applications requires to afford several challenges, like the design of user interfaces, coordination protocols, and proper middle-ware and architectures. The track's aim is to investigate open challenges for such applications, related to both the applications design and to the definition of proper supports. Some important challenges are, for instance, adaptation of the classical block-chain technology to support collaborative applications, protocols design, distributed consensus algorithms, privacy and security issues. The workshop will both present assessment of current state and introduce further directions. Topics of interest include but are not limited to: - Distributed Large Scale Collaborative Environments (LSCE) and applications - Online Social Networks - Distributed financial transactions systems - Connected devices tracking in distributed systems - Distributed Virtual Environments - Platforms for collaborative applications - Block-chain technology to support LSCE - Distributed Consensus - General purpose distributed auditing through block-chains - Cloud platforms for LSCE - P2P platforms - Distributed cloud storage systems - Big Data processing for LSCE - Security and Privacy in LSCE Program Commettee (to be completed) Michele Amoretti, University of Parma, Italy Emanuele Carlini, ISTI CNR, Pisa, Italy Giuseppe Di Battista, University of Roma 3, Italy Kalman Graffi, Univerity of Dusseldorf, Germany Barbara Guidi, University of Pisa, Italy Alexandru Iosup, TU Delft, Holland Jose Antonio Fernandes de Macedo, Federal University of Cearà, Brasil Andrea Marino, University of Pisa, Italy Fabrizio Marozzo, University of Calabria, Italy Pietro Michiardi, EURECOM, France Alberto Montresor, University of Trento, Italy Dana Petcu, West University of Timisoara, Romania Radu Prodan, Institute of Computer Science, Innsbruck, Austria Laura Ricci, University of Pisa, Pisa, Italy We invite original papers previously unpublished. Full papers should not exceed 12 pages and follow the Springer LNCS Style. Workshop Organizers - Laura Ricci, Department of Computer Science, University of Pisa - Alexandru Iosup, TU Delft, Delft, Netherlands - Radu Prodan, Institute of Computer Science, Innsbruck, Austria Full papers should not exceed 12 pages and follow Springer LNCS Style. Submission of the paper implies that should the paper be accepted, at least one of the authors must register and present the paper at the workshop. All accepted and presented papers will be included in the Workshop proceedings that will be published in a separate LNCS Euro-Par 2017 Workshop, after the conference. Contact information - Laura Ricci: laura.ricci(a)unipi.it

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science