computational.science January 2019

computational.science@lists.iccsa.org

51 participants
84 discussions

HPCC 2019 CFP: Zhangjiajie, China, Aug. 10-12 2019 (with co-locatd SmartCity 2019 & DSS 2019
by Qin Liu 14 Jan '19

14 Jan '19

[Please accept our apologies if you receive multiple copies of this email] *******************IEEE (HPCC-2019, SmartCity-2019, DSS-2019 International Conferences ********************* To be held in Zhangjiajie, Hunan, China, 10-12 August 2019. The 21th IEEE International Conference on High Performance Computing and Communications (HPCC-2019) http://csee.hnu.edu.cn/hpcc2019/ The 17th IEEE International Conference on Smart City (SmartCity-2019) http://csee.hnu.edu.cn/smartcity2019/ The 5th IEEE International Conference on Data Science and Systems (DSS-2019) http://csee.hnu.edu.cn/dss2019/ Sponsored by IEEE, IEEE Computer Society, and IEEE Technical Committee of Scalable Computing (TCSC) IMPORTANT DATES ============================================================ Workshop/Special Session Proposal Due: 10 January 2019 Paper Submission Deadline: 10 February 2019 Authors Notification: 22 April 2019 Camera-Ready Paper Due: 25 May 2019 Early Registration Due: 25 May 2019 Conference Date: 10-12 August 2019 PAPER SUBMISSION GUIDELINE ============================================================ All papers need to be submitted electronically through the conference websites with PDF format. The materials presented in the papers should not be published or under submission elsewhere. Each paper is limited to 8 pages (or 10 pages with over length charge) including figures and references using IEEE Computer Society Proceedings Manuscripts style (two columns, single-spaced, 10 fonts). You can confirm the IEEE Computer Society Proceedings Author Guidelines at the following web page: http://www.computer.org/web/cs-cps/ Manuscript Templates for Conference Proceedings can be found at https://www.ieee.org/conferences_events/conferences/publishing/templates.ht… Once accepted, the paper will be included into the IEEE conference proceedings published by IEEE Computer Society Press (indexed by EI). The authors of selected papers will be invited to extend their contributions for special issues of prestigious journals. -- Dr. Qin Liu College of Computer Science and Electronic Engineering Hunan University Changsha, Hunan Province,P.R. China, 410082 Mobile: +86-13548577157 Email: gracelq628(a)hnu.edu.cn; gracelq628(a)126.com Homepage: http://res.hnu.edu.cn/hbs/lq/

1 0

The 5th IEEE International Conference on Cloud and Big Data Computing (IEEE CBDCom 2019)
by Naercio Magaia 13 Jan '19

13 Jan '19

======================CALL FOR PAPERS============================== The 5th IEEE International Conference on Cloud and Big Data Computing (IEEE CBDCom 2019) http://cyber-science.org/2019/cbdcom/ Fukuoka, Japan, August 5-8, 2019 =================================================================== INTRODUCTION ============= The IEEE International Conference on Cloud and Big Data Computing is a premier forum for researchers, practitioners and developers who are interested in cloud computing and big data to explore new ideas, techniques and tools, as well as to exchange experience. Besides the latest research achievements, the conference covers also innovative commercial data management systems, innovative commercial applications of cloud computing and big data technology, and experience in applying recent research advances to real-world problems. IEEE CBDCom 2019 will be the fifth edition of the conference after the success of CBDCom 2015 in Beijing, CBDCom 2016 in Toulouse, CBDCom 2017 in San Francisco, and CBDCom 2018 in Guangzhou. It will continuously offer a platform for researchers to exchange novel studies, discuss important issues and explore key challenges in innovative cloud and big data for smarter world. IEEE CBDCom 2019 will be held on August 5-8, 2019, co-located with IEEE CyberSciTech 2019, IEEE DASC 2019 and IEEE PICom 2019, in Fukuoka, Japan. ================ IMPORTANT DATES ================ Workshop/SS Proposal Due: January 20th, 2019 Regular Paper Submission Due: March 20th, 2019 Wksp/SS/Poster Paper Due: April 20th, 2019 Authors Notification: May 25th, 2019 Camera-ready Submission: June 20th, 2019 Conference: August 5th-8th, 2019 ================ RESEARCH TRACKS ================ The 2019 edition of IEEE CBDCom will be organized in research tracks. Topics of interest include, but are not limited to: *Track 1 - Data Science & Analytics* - Big Data Fundamentals & Novel Paradigms - Big Data Algorithms, Applications & Services - Big Data Mining & Analytics - Big data Processing & Querying - Big Data Visualization - Big Data Computing & Recommendations *Track 2 - Big Data Infrastructure & Management* - Big Data Cloud, Grid, Stream Computing - High Performance Platforms for Big Data - NoSQL Data Stores & DB scalability - Energy-Efficient Computing for Big Data - Recommendation & Social Media Systems - Big Data Availability & Reliability *Track 3 - Big Data Tools & Applications* - Complex Big Data Processing - BD in Networks & Communications - Big Data as a Service - Data Warehousing over Big Data - BD Machine & Deep Learning - Innovative Applications & Experiences *Track 4 - Cloud Management & Virtualization* - Virtualization Technologies - Cloud Computing Platforms - Public, Private & Hybrid Clouds - Green & Energy Management - Cloudlet and Serverless Computing - Resource Management, Storage & QoS *Track 5 - Cloud/Big Data Security, Privacy & Trust* - Security, Privacy & Reliability in Cloud & BD - Dependable/Trustworthy Big Data Processing - Security/Privacy/Trust as a Service - Blockchain in Cloud and Big Data Application - Cloud Attacks Detection and Prevention - Ethic Issues in Cloud & Big Data *Track 6 - Cloud/Big Data for IoT & Smart City* - Smart Data & Smart Environments - CBD for IoT & Cyber-Physical Systems - RFID & Related Technologies for IoT - M2M Communications and IoT - IoT and Smart City Infrastructures - Green Computing for Big Data & Smart City ============ 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 Proceedings format. 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 (6-8 pages) should explore a specific technology problem and propose a complete solution to it, with experimental results. - Works-in-Progess (WIP) (4-6 pages) papers are expected to present either work currently in progress or less developed but highly innovative ideas. - Demo/Poster papers (2-4 pages) must describe working systems and be related to CBDCom. These systems may be innovative prototype implementations or mature systems that use related technology. Some papers originally submitted as full papers can be accepted as short papers or posters during the review process. In such cases, the authors will need to reduce the paper accordingly when preparing the camera-ready version. At least one of the authors of any accepted paper is requested to register and present the paper at the conference. All accepted papers in the main tracks and workshops will be published in an IEEE Computer Society proceedings (EI indexed). ======================== PUBLICATION HIGHLIGHTS ======================== All accepted papers in the main tracks, workshops, special sessions and demos/posters will be published in an IEEE Computer Society proceedings, indexed by - IEEE Xplore - Scopus - EI Engineering Index - ACM Digital Library - dblp - Google Scholar Extended version of the selected papers will be considered for publication in special issues of prestige journals (SCI/EI indexed). ------------------------------- Organizing Committees ------------------------------- Honorary Chairs Hamido Fujita, University, Japan Frank Hsu, Fordam University, USA General Chairs Anna Kobusińska, Poznań University of Technology, Poland Peng Li, The University of Aizu, Japan General Executive Chairs Bernady O. Apduhan, Kyushu Sangyo University, Japan Paulo Pires, Federal University of Rio de Janeiro, Brazil Rachid Benlamri, Lakehead University, Canada Program Chairs Shu Tao, IBM T. J. Watson Research Center, USA Xiaoyan Wang, Ibaraki University, Japan Track 1. Big Data Science and Analytics Burak Kantarci, University of Ottawa, Canada Track 2. Big Data Infrastructure and Management Hao Wang, Norwegian University of Science & Technology, Norway Track 3. Big Data Tools and Applications Dionisis Margaris, University of Athens, Greece Track 4. Cloud Management, Virtualization and Service Tsozen Yeh, Fu Jen Catholic University, Taiwan Track 5. Cloud/Big Data Security, Privacy and Trust Haiying (Helen) Shen, University of Virginia, USA Track 6. Cloud/Big Data for IoT and Smart City Zhi Liu, Shizuoka University, Japan Workshop Chairs Yue-Shan Chang, National Taipei University, Taiwan Shengli Pan, China University of Geoscience, China International Liaison & Publicity Chairs Naercio Magaia, University of Lisbon, Portugal Carlos Westphall, Federal University of Santa Catarina, Brazil Samia Bouzefrance, CNAM, France Michał Boroń, Poznań University of Technology, Poland Kai Cheng, Kyushu Sangyo University, Japan Advisory Committee Georges Da Costa, lRIT, France Christophe Cerin, University of Paris XIII, France Jerry Gao, San Jose State University, USA Andrzej Gościński, Deakin University, Australia Carson K. Leung, University of Manitoba, Canada Jie Li, Shanghai Jiaotong University, China Kuan-Ching Li, Providence University, Taiwan Fuhua Oscar Lin, Athabasca University, Canada Yinglong Xia, Huawei Research America, USA Weishan Zhang, China Univ. of Petroleum, China Hong Zhu, Oxford Brookes University, UK Steering Committee Jianhua Ma, Hosei University, Japan Laurence T. Yang, SFX University, Canada Huansheng Ning, Univ. Sci and Tech Beijing, China Julien Bourgeois, UBFC, France Mazin Yousif, T-Systems International, USA Albert Zomaya, University of Sydney, Australia Please visit the IEEE CDBCom 2019 website http://cyber-science.org/2019/cbdcom/ for the complete listing of organizing committee and TPC members.

1 0

CFP for 10th International Workshop on Modeling Social Media (MSM 2019): Mining, Modeling and Learning in Social Media (Deadline: January 10, 2019)
by Alvin Chin 13 Jan '19

13 Jan '19

** Please forward to anyone who might be interested ** -------------------------------------------------------------- CALL FOR PAPERS 10th International Workshop on Modeling Social Media (MSM'2019) Mining, Modeling and Learning from Social Media to be held on May 14-17, 2019, San Francisco, USA co-located with TheWebConf 2019 https://msmworkshop.github.io/ -------------------------------------------------------------- Important Dates: ================ ** Submission Deadline: Jan 10, 2019 ** Notification of Acceptance: Feb 14, 2019 ** Camera-Ready Versions Due: Mar 3, 2019 ** Workshop date: May 13-14, 2019 Workshop Organizers: ==================== Martin Atzmueller, Tilburg University, Netherlands; m.atzmueller(a)uvt.nl Alvin Chin, BMW Technology Corporation, USA; alvin.chin(a)bmwna.com Christoph Trattner, University of Bergen, Norway; trattner.christoph(a)gmail.com Program Committee: ================== Alejandro Bellogin, Universidad Autonoma de Madrid, Spain Javier Luis Canovas Izquierdo, IN3 - UOC, Spain Michelangelo Ceci, Universita degli Studi di Bari, Italy Michael Granitzer, University of Passau, Germany Bin Guo, Institut Telecom Sud Paris, France Eelco Herder, Radboud University, Netherlands Geert-Jan Houben, Delft University of Technology, Netherlands Ralf Klamma, RWTH Aachen University, Germany Bart Knijnenburg, Clemson University, USA Dominik Kowald, Know-Center, Austria Florian Lemmerich, RWTH Aachen, Germany Nico Piatkowski, AI Group, TU Dortmund, Germany Haggai Roitman, IBM Research Haifa, Israel Giancarlo Ruffo, Universita di Torino, Italy Marc Smith, Connected Action Consulting Group, USA Longqi Yang, Cornell University, USA Arkaitz Zubiaga, The University of Warwick, UK We aim to attract researchers from all over the world working on data mining, modeling and using machine learning and AI for social media, big and small data, sensor data and the web. Social networks such as Facebook, Twitter, and LinkedIn have paved the way for generating huge amount of diverse, streaming bit data in a short period of time. Such social media data require the application of big data analytics to produce meaningful information to both information consumers and data generators. Machine learning and AI techniques are particularly effective in situations where deep and predictive insights need to be uncovered from such social media data sets that are large, diverse and fast changing. Following the discussion at our workshop at TheWebConf 2018, we aim to focus on how to apply data mining, recommendation, machine learning and AI models, algorithms and systems for analytic and predictive modeling on social media, big data, small data, web and sensor data. Contrary to last year’s workshop, we would like to particularly invite researchers that are interested in going beyond standard analytics approaches and try to discover the intelligent information hidden in the large and fast-changing social media data. Overall, we are interested in receiving papers related to the following topics which include but are not limited to: * predictive analytics methods or frameworks for social media, big data, small data, sensor data and the web * AI, machine learning, deep learning and NLP models, algorithms and systems for social media, big data, small data, sensor data and the web * deep learning approaches and models for social media, big data, small data, sensor data and data from/on the web * data mining techniques and algorithms for social media, big data, small data, sensor data and data from/on the web * methods for learning social activities and behavioral analytic metrics * evaluation of machine learning and AI frameworks and metrics * explainability and transparency of the machine learning/deep learning/AI methods * applications of machine learning, deep learning and AI * applications of any of the above methods and technologies The goal of this workshop is to use data mining, machine learning and AI approaches and algorithms on social media, big data, small data, sensor data and data from/on the web. Submissions: We solicit full research papers (4-8 pages), and short papers (1-4 pages) both in the ACM conference paper style. Papers should be submitted in EasyChair tohttps://easychair.org/my/conference.cgi?conf=msm2019 Proceedings: ============ Contributions will be included in the Companion volume of TheWebConf 2019 conference, which will be published by ACM and included in the ACM Digital Library. However, to make that happen at least one author of the accepted paper has to register. At the time of submission of the final camera-ready copy, authors will have to indicate the already registered person for that publication. Any paper published by the ACM, IEEE, etc. which can be properly cited constitutes research which must be considered in judging the novelty of a TheWebConf submission, whether the published paper was in a conference, journal, or workshop. Therefore, any paper previously published as part of a WWW or TheWebConf workshop must be referenced and suitably extended with new content to qualify as a new submission to the Research Track at TheWebConf conference. Submission guidelines: ====================== All submitted papers must * be written in English; * contain author names, affiliations, and email addresses; * be formatted according to the ACM SIG Proceedings template (http://www.acm.org/sigs/publications/proceedings-templates) with a font size no smaller than 9pt; * be in PDF (make sure that the PDF can be viewed on any platform), and formatted for US Letter size; * occupy no more than six pages, including the abstract, references, and appendices. It is the authors’ responsibility to ensure that their submissions adhere strictly to the required format. Submissions that do not comply with the above guidelines may be rejected without review. All submissions must be entered into the reviewing system:https://easychair.org/conferences/?conf=msm2019 Contact: ======== Martin Atzmueller, Tilburg University, Netherlands; m.atzmueller(a)uvt.nl Alvin Chin, BMW Technology Corporation, USA; alvin.chin(a)bmwna.com Christoph Trattner, University of Bergen, Norway; trattner.christoph(a)gmail.com Follow us on: ============= Facebook https://www.facebook.com/groups/527164050627185/ Twitter https://twitter.com/msm_workshop

1 1

CFP of the International Workshop on Wireless Technology in Smart Grid 2019
by Conference assistant 12 Jan '19

12 Jan '19

Dear researchers, We are pleased to recommend the 5th International Workshop on Wireless Technology Innovations in Smart Grid (WTISG) to you! WTISG-2019 is part of the 9th International conference on Sustainable Energy Information Technology. The CFP information is provided below and relevant files are attached herewith. Welcome to submmit your manuscript to our conference. Thanks for your attention and support! Best regards, Conference assistant 2019-01-11 CALL FOR PAPER OF THE WORKSHOP INTERNATIONAL WORKSHOP ON WIRELESS TECHNOLOGY INNOVATIONS IN SMART GRID (Part of the SEIT-2019) The 5th International Workshop on Wireless Technology Innovations in Smart Grid (WTISG) aims to foster innovative research and discussion about smart grid wireless technology challenges, issues, approaches, and solutions. WTISG-2019 is a part of Sustainable Energy Information Technology 2019 (SEIT-2019) conference. It will take place on August 19-21, 2019 in Halifax Nova Scotia, Canada. WTISG-2019 seeks paper submissions from academia, industry, and government institutions presenting novel research on all theoretical and practical aspects of wireless technology in smart grid, including design, analysis, test, experimentation, and fielded test systems. The scope of the workshop encompasses all aspects of the wireless technology applications in smart grid, including generation, transmission, distribution, metering, e-mobility, and integration of distributed energy resources. Suggested topics include, but are not limited to: l Wireless communication technology in smart grid; l Wireless sensor network (WSN) in smart grid application; l Wireless application in smart city (such as smart home, electric vehicle, etc); l Wireless application in Advanced Metering Infrastructure (AMI); l Wireless application in power grid emergency management; l Information and communication technology (ICT) application in smart grid; l Risk and reliability analysis of wireless technology in smart grid ; l Cyber security and privacy of wireless technology in smart grid; l Cyber physical system (CPS) related issue; l Testbeds and field trials; l Standard wireless protocols for application in smart grid; l Wireless technology standards, testing, and certification in smart grid; l Usability and legal issues on wireless grid security; l Cloud computing and smart grids; l Other smart grid related issue discussion. All SEIT-2019 accepted papers will be published by Elsevier in the pen-access Procedia Computer Science series on-line. All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (EI). This includes EI Compendex. Moreover, all accepted papers will be indexed in DBLP. The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. The number of pages for workshop papers is limited to 8 pages. The submission site: https://www.easychair.org/conferences?conf=seit2019. The submitted paper must be formatted according to the guidelines of Procedia Computer Science, MS Word Template, Latex, Template Generic, Elsevier. The template can be found on the conference website. More information can be found on the workshop website: http://wirelesssmartgrid2019.sxl.cn Workshop Chairs: Dr. Hui Hou, Wuhan University of Technology, China. Email: husthou(a)126.com Tel: +86-15342223360 Dr. Haroon Malik, Marshall University, USA. Email: Malikh(a)marshall.edu

1 0

ESORICS 2019 - Call for Workshop Proposals [24th European Symposium on Research in Computer Security, Luxembourg, 2019]
by Publicity Chair ESORICS 2019 11 Jan '19

11 Jan '19

[apologies for cross-posting] ====================================================================== CALL for WORKSHOP PROPOSALS: ESORICS 2019 24th European Symposium on Research in Computer Security University of Luxembourg, Luxembourg, September 23-27, 2019 Website: https://esorics2019.uni.lu/workshops/ ====================================================================== Overview ------------------------------------ ESORICS is the annual European research event in Computer Security. The Symposium started in 1990 and has been held in several European countries, attracting a wide international audience from both the academic and industrial communities. Proposals are solicited for Workshops to be held in conjunction with ESORICS 2019. A Workshop should aim at providing a forum on emerging topics of high interest to the security and privacy community. In the Workshop selection, particular consideration will be paid to: * Its potential interest for the security and privacy community * Its novelty with respect to other forums, especially with respect to other ESORICS workshops. * Its likely impact on the target community, including likely high participation. A workshop can be either one day or two days in length. Important Dates ------------------------------------ * Workshop proposals due: February 8, 2019 * Notification of decision: March 15, 2019 Submitting a Workshop Proposal ------------------------------------ To submit a proposal send an email to the Workshop Chair with with the information requested in the application form: * Joaquin Garcia-Alfaro (jgalfaro(a)ieee.org) The following application form should be used. (also available in Word format at http://j.mp/ESORICS19wsh) ====================================================================== ESORICS 2019 - WORKSHOP APPLICATION FORM: - Title of the Workshop: - Duration (maximum 2 days): - Draft "Call for Papers", articulating the workshop's scope and topics: - Brief summary and justification for the workshop, including anticipated benefits to the ESORICS community: - Planned activities: - Expected number of participants: - Workshop organizers: * PC Chair(s): * General Chair(s): - Workshop deadlines: * Submission deadline: * Notification to authors: * Camera-ready versions: - Planned publication of Workshop proceedings: - Data of last three years for the workshop (if applicable): * Number of submissions: * Number of accepted papers: * Number of participants: * Publication of proceedings: * Venue (co-location): ======================================================================

1 0

ESORICS 2019 - Call for Workshop Proposals [24th European Symposium on Research in Computer Security, Luxembourg, 2019]
by Publicity Chair ESORICS 2019 11 Jan '19

11 Jan '19

1 0

CPF International Workshop on Wireless Technology in Smart Grid 2019
by 于士文 11 Jan '19

11 Jan '19

Dear researchers, We are pleased to recommend the 5th International Workshop on Wireless Technology Innovations in Smart Grid (WTISG) to you! The CFP information is provided below and relevant files are attached herewith. Welcome to submmit your manuscript to our conference. Thanks for your attention and support! Best regards, Conference assistant 2019-01-11 CALL FOR PAPER OF THE WORKSHOP INTERNATIONAL WORKSHOP ON WIRELESS TECHNOLOGY INNOVATIONS IN SMART GRID (Part of the SEIT-2019) The 5th International Workshop on Wireless Technology Innovations in Smart Grid (WTISG) aims to foster innovative research and discussion about smart grid wireless technology challenges, issues, approaches, and solutions. WTISG-2019 is a part of Sustainable Energy Information Technology 2019 (SEIT-2019) conference. It will take place on August 19-21, 2019 in Halifax Nova Scotia, Canada. WTISG-2019 seeks paper submissions from academia, industry, and government institutions presenting novel research on all theoretical and practical aspects of wireless technology in smart grid, including design, analysis, test, experimentation, and fielded test systems. The scope of the workshop encompasses all aspects of the wireless technology applications in smart grid, including generation, transmission, distribution, metering, e-mobility, and integration of distributed energy resources. Suggested topics include, but are not limited to: l Wireless communication technology in smart grid; l Wireless sensor network (WSN) in smart grid application; l Wireless application in smart city (such as smart home, electric vehicle, etc); l Wireless application in Advanced Metering Infrastructure (AMI); l Wireless application in power grid emergency management; l Information and communication technology (ICT) application in smart grid; l Risk and reliability analysis of wireless technology in smart grid ; l Cyber security and privacy of wireless technology in smart grid; l Cyber physical system (CPS) related issue; l Testbeds and field trials; l Standard wireless protocols for application in smart grid; l Wireless technology standards, testing, and certification in smart grid; l Usability and legal issues on wireless grid security; l Cloud computing and smart grids; l Other smart grid related issue discussion. All SEIT-2019 accepted papers will be published by Elsevier in the pen-access Procedia Computer Science series on-line. All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (EI). This includes EI Compendex. Moreover, all accepted papers will be indexed in DBLP. The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. The number of pages for workshop papers is limited to 8 pages. The submission site: https://www.easychair.org/conferences?conf=seit2019. The submitted paper must be formatted according to the guidelines of Procedia Computer Science, MS Word Template, Latex, Template Generic, Elsevier. The template can be found on the conference website. More information can be found on the workshop website: http://wirelesssmartgrid2019.sxl.cn Workshop Chairs: Dr. Hui Hou, Wuhan University of Technology, China. Email: husthou(a)126.com Tel: +86-15342223360 Dr. Haroon Malik, Marshall University, USA. Email: Malikh(a)marshall.edu 2019-01-11 于士文

1 0

The 5th IEEE International Conference on Cloud and Big Data Computing (IEEE CBDCom 2019)
by Naercio Magaia 11 Jan '19

11 Jan '19

1 0

CFP: IEEE ISORC - Int. Symp. on Real-Time Distributed Computing - Deadline Extension
by Tommaso Cucinotta 11 Jan '19

11 Jan '19

[please, accept our apologies should you receive this message multiple times] *** IEEE ISORC 2019 - CALL FOR PAPERS - https://isorc2019.github.io/ *** 22nd IEEE International Symposium on Real-Time Distributed Computing *** Valencia, Spain, May 7-9, 2019 *** *** Submission deadline extended to: January 25, 2019 The IEEE International Symposium on Real-Time Distributed Computing (ISORC) has become established as the leading event devoted to state-of-the-art research in the field of object/component/service-oriented real-time distributed computing (ORC) technology. In addition to the main conference, for the first time, ISORC 2019 will organize a special session dedicated to posters and demos, where the objective is to allow participants to show prototypes, tools, simulators and systems, which demonstrate the applicability of real-time computing to different applications. Best papers from ISORC 2019 will be invited for submission to a Special Issue of Journal of Systems Architecture. More information including submission guidelines can be found at: https://isorc2019.github.io/. IEEE ISORC 2019 welcomes contributions on topics that include, but are not limited, to: * Programming and system engineering: real-time programming challenges, ORC paradigms, object/component models, languages, synchronous languages. * Embedded distribution middleware, model maintenance, system of systems, time-predictable systems and hardware. * Distributed computing and communication infrastructures: real-time communication, networked platforms, protocols, Internet QoS, peer-to-peer computing, sensor networks, VANETS and V2V and V2I communication, trusted and dependable systems. * Algorithms for Real Time Analytics: clustering and classification approaches, stream processing algorithms, real time decision tree generation and update, real time machine learning, statistical approaches; stream correlation and sampling approaches. * System software: real-time kernel/OS, middleware support for ORC, QoS management, extensibility, synchronization, resource allocation, scheduling, fault tolerance, security. * Real-time algorithms and infrastructure support for decentralized architectures including distributed ledgers with a focus on scalability and resilience. * Applications: Medical devices, intelligent transportation systems, Industrial automation systems and Industry 4.0, Internet of Things and Smart Grids, Embedded systems (automotive, avionics, consumer electronics, building systems, sensors, etc), multimedia processing, RT Web-based applications. * System evaluation: performance analysis, monitoring & timing, dependability, end-to-end QoS, overhead, fault detection and recovery time. * Cyber-physical and cyber-social systems (e.g. social media analytics). * Time-sensitive social dispersed computing. ORGANIZING COMMITTEE General Chairs * Arvind Easwaran, NTU, Singapore * Abhishek Dubey, Vanderbilt Univ., USA * Marisol Garcia-Valls, Universidad Carlos III de Madrid, Spain Program Chairs * Aniruddha Gokhale Vanderbilt Univ., USA * Mathias Pacher, Goethe University Frankfurt, Germany * Weichen Liu, NTU, Singapore Organization Chair * Marisol Garcia-Valls, Universidad Carlos III de Madrid, Spain * Poster/Demo Chairs * Di Liu, Yunnan University, China * Luis Lino Ferreira CISTER/ISEP, Portugal Web and Publicity Chair * Tommaso Cucinotta, Scuola Superiore Sant'Anna, Italy * Zhenkai Zhang, Vanderbilt Univ., USA Steering Committee Chairs * Uwe Brinkschulte, Goethe University Frankfurt, Germany * Rob Pettit, The Aerospace Corp., USA IMPORTANT DATES Main Track * Submission deadline extended to January 25, 2019 * Acceptance notification March 1, 2019 * Camera-ready papers March 8, 2019 Poster/Demo Session * Submission deadline March 7, 2019 * Acceptance notification March 21, 2019 * Camera-ready papers March 28, 2019 For further information, please, refer to the official conference website: https://isorc2019.github.io/ The IEEE ISORC 2019 Organizers -- Tommaso Cucinotta, Computer Engineering PhD Associate Professor at the Real-Time Systems Laboratory (ReTiS) Scuola Superiore Sant'Anna, Pisa, Italy http://retis.sssup.it/people/tommaso

1 0

FOSDEM 2019 - Ada Developer Room - Sat 2 Feb 2019 - Brussels
by Dirk.Craeynest＠cs.kuleuven.be 10 Jan '19

10 Jan '19

----------------------------------------------------------------------- Ada-Belgium is pleased to announce the program for its 9th Ada Developer Room at FOSDEM 2019 (Ada at the Free and Open source Software Developers' European Meeting) on Saturday 2 February 2019 Université Libre de Bruxelles (ULB), Solbosch Campus, Room AW1.125 Avenue Franklin D. Roosevelt Laan 50, B-1050 Brussels, Belgium Organized in cooperation with Ada-Europe www.cs.kuleuven.be/~dirk/ada-belgium/events/19/190202-fosdem.html fosdem.org/2019/schedule/track/ada ----------------------------------------------------------------------- *** General Information FOSDEM, the Free and Open source Software Developers' European Meeting, is a free and non-commercial two-day weekend event organized early each year in Brussels, Belgium. It is highly developer-oriented and brings together 8000+ participants from all over the world. The goal is to provide open source developers and communities a place to meet with other developers and projects, to be informed about the latest developments in the open source world, to attend interesting talks and presentations on various topics by open source project leaders and committers, and to promote the development and the benefits of open source solutions. The 2019 edition takes place on Saturday 2 and Sunday 3 February. It is free to attend and no registration is necessary. In this edition, Ada-Belgium organizes once more a series of presentations related to the Ada Programming Language and Free or Open Software in a s.c. Developer Room. The "Ada DevRoom" at FOSDEM 2019 is held on the first day of the event, Saturday 2 February 2019. This year FOSDEM has a total of 15 Ada-related presentations by 12 authors from 7 countries! A mini-poster about the Ada DevRoom [1], as well as a one-page Call for Participation for the Ada DevRoom [2] is available; they can be used to help announce the event, and to give an idea about its scope. [1] www.cs.kuleuven.be/~dirk/ada-belgium/events/19/190202-fosdem-cfpart-poster.… [2] www.cs.kuleuven.be/~dirk/ada-belgium/events/19/190202-fosdem-cfpart-a4.pdf *** Ada Programming Language and Technology Ada is a general-purpose programming language originally designed for safety- and mission-critical software engineering. It is used extensively in air traffic control, rail transportation, aerospace, nuclear, financial services, medical devices, etc. It is also perfectly suited for open source development. Awareness of safety and security issues in software systems is increasing. Multi-core platforms are now abundant. These are some of the reasons that the Ada programming language and technology attracts more and more attention, among others due to Ada's support for programming by contract and for multi-core targets. The latest Ada language definition was updated early 2016. Work on new features is ongoing, such as improved support for fine-grained parallelism, and will result in a new Ada standard scheduled for 2020. Ada-related technology such as SPARK provides a solution for the safety and security aspects stated above. More and more tools are available, many are open source, including for small and recent platforms. Interest in Ada keeps increasing, also in the open source community, and many exciting projects have been started. The Ada DevRoom aims to present the facilities offered by the Ada language (such as for object-oriented, multicore, or embedded programming) as well as some of the many exciting tools and projects using Ada. FOSDEM is an ideal fit for an Ada Developer Room. On the one hand, it gives the general open source community an opportunity to see what is happening in the Ada community and how Ada technology can help to produce reliable and efficient open source software. On the other hand, it gives open source Ada projects an opportunity to present themselves, get feedback and ideas, and attract participants to their project and collaboration between projects. *** Ada Developer Room Presentations (room: AW1.125, 76 seats) The presentations in the Ada DevRoom start after the opening FOSDEM keynote. The program runs from 10:30 to 19:00. 10:00-10:30 - Arrival & Informal Discussions Feel free to arrive early, to start the day with some informal discussions while the set-up of the DevRoom is finished. 10:30-10:35 - Welcome to the Ada DevRoom by Dirk Craeynest - Ada-Belgium Welcome to the Ada Developer Room at FOSDEM 2019, which is organized by Ada-Belgium in cooperation with Ada-Europe. Ada-Belgium and Ada-Europe are non-profit organizations set up to promote the use of the Ada programming language and related technology, and to disseminate knowledge and experience into academia, research and industry in Belgium and Europe, resp. Ada-Europe has member-organizations, such as Ada-Belgium, in various countries, and direct members in many other countries. 10:35-11:20 - An Introduction to Ada for Beginning and Experienced Programmers - by Jean-Pierre Rosen - Adalog An overview of the main features of the Ada language, with special emphasis on those features that make it especially attractive for free software development. Ada is a feature-rich language, but what really makes Ada stand-out is that the features are nicely integrated towards serving the goals of software engineering. If you prefer to spend your time on designing elegant solutions rather than on low-level debugging, if you think that software should not fail, if you like to build programs from readily available components that you can trust, you should really consider Ada! 11:30-11:50 - Sequential Programming in Ada: Lessons Learned by Joakim Strandberg - Mequinox What's hot right now in the proposal for Ada 2020 is increased support of safe parallelism. However, the support for sequential programming in Ada 2012 is absolutely great and probably underestimated. This presentation will demonstrate lessons learned from making an Ada binding to the Wayland Client API: how to leverage nested subprograms, pragma Unmodified, subpools, Gnatcheck and GPS to provide a flexible/enjoyable way of working and at the same time maximize compile-time error checking when developing sequential algorithms. 12:00-12:50 - Autonomous Train Control Systems: a First Approach by Julia Teissl - FH Campus Wien Numerous small villages in Austria have lost their connections to the railway network because it was no longer cost-effective to operate under a regular schedule. To re-establish these connections, FH Campus Wien started the project "autonome, schienengebundene, on-Demand, open-Track Systeme" AuSoDoTS (Autonomous rail bound on-Demand Open Track systems). The project's objective is to develop a concept for how to safely operate small autonomous trains, without a fixed schedule. Trains are only approaching to stations when a passenger explicitly requests them by pressing a button at the station or using a mobile app. A short track from Liesing at the edge of Vienna to Kaltenleutgeben, a small town in Lower Austria, could be one of the first test locations. As a first approach a small model railway has been built. The model has two purposes. One is to find the optimal placement for passing loops where trains can pass each other, since the connection is mostly single track. The other is to test different scheduling algorithms for on-Demand service. To fulfill the strict safety aspects of a passenger transportation system, the programming language Ada is used and in following versions SPARK will be used as it can be formally verified to be correct then. 13:00-13:20 - Controlling the Execution of Parallel Algorithms in Ada by Jan Verschelde - University of Illinois at Chicago Tasking in Ada provides an effective tool for shared memory parallelism. An "any time" algorithm is an algorithm that, given some more resources, will improve the accuracy of an estimate. For example, consider the estimation of Pi by a Monte Carlo method. With multitasking, the status of the running of an "any time" algorithm can be monitored without interrupts. The programming concepts will be illustrated with examples of algorithms in polyhedral geometry. The demonstrated code belongs to the free and open source PHCpack. 13:30-13:50 - Persistence with Ada Database Objects by Stephane Carrez - Twinlife The presentation describes how Ada Database Objects helps in connecting to an SQLite/MySQL/PostgreSQL database from Ada. It explains how by mapping SQL tables in Ada records, it simplifies saving and updating database records and makes the application more safe and reliable. The presentation will briefly describe the Ada code generator (Dynamo) that is behind this. 14:00-14:50 - Shrink your Data to (almost) Nothing with Trained Compression - by Gautier de Montmollin - Ada-Switzerland We will show a new Trained Compression generic plug-in, which can leverage prior information about the data to be transmitted for reducing further raw compressed streams. We will also present a pick-and-choose technique feature called "Preselection" for improving the Zip archiving process. The Zip-Ada library has met over the years the needs of several professional users who need the file archiving features, or the data compression features to reduce storage and shorten transmission times. We will show the evolution of this full-Ada portable library and the advantages of using it. 15:00-15:20 - GSH: an Ada POSIX Shell to Speed Up GNU Builds on Windows by Nicolas Roche - AdaCore GSH is an implementation of a POSIX shell developed for the Windows platform. The aim of the project is to speed up builds of GNU projects on Windows in a large automated build infrastructures. GSH can be used to compile projects depending on autotools, UNIX make, ... It is up to 2-3 times faster than Cygwin shells for GCC builds. In this talk I will present: - what makes GSH faster than other Windows shells for building GNU projects; - how GSH was developed; - how you can use it to speed up your builds; - the limitations; - what features of Ada we benefit from in this project. 15:30-15:50 - What is Safety-Critical Software, and How Can Ada and SPARK Help? - by Jean-Pierre Rosen - Adalog We are (too much) used to software having bugs as an unavoidable fate. But for safety-critical software, like the code that's driving planes or trains, "Failure is Not an Option". This presentation exposes the constraints of such software, and how they require a special state of mind, special methods, and special tools - like Ada and SPARK. And these can be useful for more casual programming - zero bug software is nice, even when not safety-critical! 16:00-16:50 - Secure Web Applications with AWA by Stephane Carrez - Twinlife Web application security is often underestimated, and using a secure framework can help reduce application vulnerabilities. Ada Web Application (AWA) is a web framework that leverages Ada's safety features to provide a secure environment on top of which safe applications are built. AWA is based on several Java-like technologies such as Java Beans, Java Servlet, Java Server Faces, other standards such as OAuth2, REST and OpenAPI, all implemented in Ada. This presentation briefly describes the AWA architecture and how applications are built with it. The presentation highlights some of the Ada functionalities that contribute to the safety and make applications secure and reliable. 17:00-17:20 - Distributed Computing with Ada and CORBA using PolyORB by Frédéric Praca - Ada-France Imagine you have a fantastic Ada program or library but you want more! You want it to be scalable and used by other developers with other languages. The goal of this presentation is to show you the way to achieve it without bending to fashion. :) As of today, we see distributed computing as Web services, mainly RESTful stuff. Some technologies exist since years and are working successfully in many systems. One of these is CORBA which allows Object-Oriented communication between applications in languages such as Ada or C++. In this presentation, the chosen middleware providing CORBA infrastructure is PolyORB. We will use it to make a distributed version of an existing piece of software, the Corporate Bullshit Generator (CBSG), and create client applications in C++ and Ada. This will allow us to put the power of Ada and PolyORB into a distributed system. 17:30-17:50 - Cappulada: Smooth Ada Bindings for C++ by Johannes Kliemann - Componolit Writing Ada bindings for C and especially for C++ is a tedious but not necessarily sophisticated task. There are several approaches to both C and C++ but many of them lack desired language features, generate non-compilable code or are project specific. With Cappulada (a coinage of coupling, CPP and Ada made pronounceable) we try a more general approach that aims to support complex language features such as templates or inheritance while providing a semantically appropriate mapping of object structures and types. The talk will also cover which features can be mapped and what is not feasible or possible. 18:00-18:20 - The AZip Archive Manager: a full-Ada Open-Source Portable Application - by Gautier de Montmollin - Ada-Switzerland If you open the AZip application with a can opener, it will look like an Ada programmer's paradise: you'll find Ada on all levels: - the AZip user interface (UI framework specific); - the AZip abstract application layer (platform-independent); - the archive and data compression library (Zip-Ada); - the user interface framework (GWindows); - the run-time library (GNAT's). We will quantify this. Portability is matched on three different definitions of the word: - platform-independence for the abstracted part and the Zip-Ada library - no porting effort at all there; - you can easily port the user interface layer since most of the job is done in the abstracted part; - no installation needed: the version built on GWindows is contained in a single executable file and can be run from a USB stick; it can be even run in a stealth mode, without writing settings to the registry of the host system. 18:30-18:50 - Proof of Pointer Programs with Ownership in SPARK by Yannick Moy - AdaCore Pointers are a notorious "defect attractor", in particular when dynamic memory management is involved. Ada mitigates these issues by having much less need for pointers overall (thanks to first-class arrays, parameter modes, generics) and stricter rules for pointer manipulations that limit access to dangling memory. Still, dynamic memory management in Ada may lead to use-after-free, double-free and memory leaks, and dangling memory issues may lead to runtime exceptions. The SPARK subset of Ada is focused on making it possible to guarantee properties of the program statically, in particular the absence of programming language errors, with a mostly automatic analysis. For that reason, and because static analysis of pointers is notoriously hard to automate, pointers have been forbidden in SPARK until now. We are working at AdaCore since 2017 on including pointer support in SPARK by restricting the use of pointers in programs so that they respect "ownership" constraints, like what is found in Rust. In this talk, I will present the current state of the ownership rules for pointer support in SPARK, and the current state of the implementation in the GNAT compiler and GNATprove prover, as well as our roadmap for the future. 18:50-19:00 - Informal Discussions & Closing Informal discussion on ideas and proposals for future events. *** RISC-V Developer Room Presentation (room: AW1.126, 82 seats) In addition to the above presentations in the Ada DevRoom, there's also an Ada-related presentation scheduled in the RISC-V Developer Room. 13:30-14:45 - Alternative Languages for Safe and Secure RISC-V Programming - by Fabien Chouteau - AdaCore In this talk I want to open a window into the wonderful world of "alternative" programming languages for RISC-V. What can you get by looking beyond C/C++. So I will start with a quick introduction to the Ada and SPARK languages, the benefits, the hurdles. I will also present an overview of the applications and domains where they shine, when failure is not an option. I will then do a short getting started session and provide all the details for you to start RISC-V programming with Ada/SPARK on different platforms (QEMU, HiFive1, FPGAs with PicoRV32). At the end of the talk, I will give my view of the RISC-V architecture and community from the perspective of an alternative languages developer. I will cover the good points, the risks, and provide some ideas on how the RISC-V can keep the door open. *** More information on Ada Developer Room Speakers bios, pointers to relevant information, links to corresponding FOSDEM pages, etc., are available on the Ada-Belgium site at www.cs.kuleuven.be/~dirk/ada-belgium/events/19/190202-fosdem.html We invite you to attend some or all of the presentations: they will be given in English. Everybody interested can attend FOSDEM 2019; no registration is necessary. We hope to see many of you there! Dirk Craeynest, FOSDEM Ada DevRoom coordinator Dirk.Craeynest(a)cs.kuleuven.be (for Ada-Belgium/Ada-Europe/SIGAda/WG9)

1 0

← Newer
1
2
3
4
5
6
7
8
9
Older →

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science January 2019