computational.science

computational.science@lists.iccsa.org

1 participants
1982 discussions

FOSDEM 2019 Ada Developer Room - presentations & videos online
by Dirk.Craeynest＠cs.kuleuven.be 25 Feb '19

25 Feb '19

----------------------------------------------------------------------- *** Presentations, videos, pictures available online *** 9th Ada Developer Room at FOSDEM 2019 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 ----------------------------------------------------------------------- All presentations and video recordings as well as some pictures from the 9th Ada Developer Room, held at FOSDEM 2019 in Brussels recently, are available via the Ada-Belgium and FOSDEM web sites now. - "Welcome to the Ada DevRoom" by Dirk Craeynest - Ada-Belgium - "An Introduction to Ada for Beginning and Experienced Programmers" by Jean-Pierre Rosen - Adalog - "Sequential Programming in Ada: Lessons Learned" by Joakim Strandberg - Mequinox - "Autonomous Train Control Systems: a First Approach" by Julia Teissl - FH Campus Wien - "Controlling the Execution of Parallel Algorithms in Ada" by Jan Verschelde - University of Illinois at Chicago - "Persistence with Ada Database Objects" by Stephane Carrez - Twinlife - "Shrink your Data to (almost) Nothing with Trained Compression" by Gautier de Montmollin - Ada-Switzerland - "GSH: an Ada POSIX Shell to Speed Up GNU Builds on Windows" by Nicolas Roche - AdaCore - "What is Safety-Critical Software, and How Can Ada and SPARK Help?" by Jean-Pierre Rosen - Adalog - "Secure Web Applications with AWA" by Stephane Carrez - Twinlife - "Distributed Computing with Ada and CORBA using PolyORB" by Frédéric Praca - Ada-France - "Cappulada: Smooth Ada Bindings for C++" by Johannes Kliemann - Componolit - "AZip Archive Manager: a full-Ada Open-Source Portable Application" by Gautier de Montmollin - Ada-Switzerland - "Proof of Pointer Programs with Ownership in SPARK" by Yannick Moy - AdaCore - "Alternative Languages for Safe and Secure RISC-V Programming" by Fabien Chouteau - AdaCore, in RISC-V DevRoom on Sat 2 Feb - "RecordFlux: Facilitating Verification of Communication Protocols" by Tobias Reiher - Componolit, in Security DevRoom on Sun 3 Feb Presentation abstracts, speaker bios, pointers to relevant information, copies of slides, links to corresponding pages and video recordings, are available via the Ada-Belgium and FOSDEM sites at the URLs above. Some pictures are posted as well. If you have more pictures or other material you would like to share, or know someone who does, then please contact me. Finally, thanks once more to all presenters and helpers for their work and collaboration, thanks to all the FOSDEM organizers and volunteers, thanks to the many participants for their interest, and thanks to everyone for another nice experience! Dirk Craeynest, FOSDEM Ada DevRoom coordinator Dirk.Craeynest(a)cs.kuleuven.be (for Ada-Belgium/Ada-Europe/SIGAda/WG9) #AdaFOSDEM #AdaProgramming #AdaBelgium #AdaEurope -----------------------------------------------------------------------

1 0

Final Call for Paper: IEEE IDS 2019
by Han Qiu 24 Feb '19

24 Feb '19

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ IEEE IDS 2019 - The 4th IEEE International Conference on Intelligent Data and Security - May 27–29, 2019 Washington DC, USA http://www.cloud-conf.net/datasec/2019/IDS/index.html +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ INTRODUCTION Intelligent data and security (IDS) is getting more and more attention due to the rapid development of computing and communication techniques. From national governments and industry players to consumer level demand, interest in high performance and smart computing has emerged from many different stakeholders. As a promising technology, high performance computing is playing an important role not only in traditional computer science domain but also in new branches such as Internet of Things, unmanned vehicles, and topics in artificial intelligent. Smart computing, as another significant aspect, provides solutions for complicated computing problems. TOPIC Topics of particular interest include, but are not limited to: - Security in new paradigms of intelligent data - Cyber hacking, next generation fire wall of intelligent data - Cyber monitoring and incident response in intelligent data - Digital forensics in intelligent data - Big data security, Database security - Intelligent database and security - Intelligent data mining in security, optimization, and cloud computing - Social engineering, insider threats, advance spear phishing - Cyber threat intelligence and implementations - Security and fault tolerance for embedded or ubiquitous systems - Cloud-based intelligent data and security issues - Tele-health security in intelligent data - Sensor network security and solutions - Embedded networks and sensor network optimizations - Cloud computing and networking models - Heterogeneous architecture for cloud-based intelligent data - Dynamic resource sharing algorithm for cloud-based intelligent data - Load balance for cloud-based intelligent data - Cloud-based audio/video streaming techniques - MapReduce techniques in intelligent data - Visualization and optimization in intelligent data - Cloud-based real-time multimedia techniques in intelligent data - Mobile cloud computing and advanced applications - Green cloud computing model, implementation, and framework - Quality of Service (QoS) improvements techniques - Case studies for various applications - Cyber Security in emergent technologies, infrastructures and applications PAPER SUBMISSION Prospective authors are invited to submit papers via Easychair (https://easychair.org/conferences/?conf=ieeeids2019). The submissions should be formatted with the IEEE 8.5 x 11 inches two-column format with 10-12 point font. Detailed formatting and submission instructions are available at the conference website (http://www.cloud-conf.net/datasec/2019/IDS/submission.html). IMPORTANT DATES Paper submission: February 28, 2019 (Firm) Notification of acceptance: March 15, 2019 Final manuscript submission: April 5, 2019 For further information, please contact: han.qiu(a)telecom-paristech.fr.

1 0

Final Call for Paper: IEEE HPSC 2019
by Han Qiu 24 Feb '19

24 Feb '19

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ IEEE HPSC 2019 - The 5th IEEE International Conference on High Performance and Smart Computing - May 27–29, 2019 Washington DC, USA http://www.cloud-conf.net/datasec/2019/hpsc/index.html +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ INTRODUCTION High performance and smart computing (HPSC) is getting more and more attention due to the rapid development of computing and communication techniques. From national governments and industry players to consumer level demand, interest in high performance and smart computing has emerged from many different stakeholders. As a promising technology, high performance computing is playing an important role not only in traditional computer science domain but also in new branches such as Internet of Things, unmanned vehicles, and topics in artificial intelligent. Smart computing, as another significant aspect, provides solutions for complicated computing problems. The 5th IEEE International Conference on High Performance and Smart Computing (IEEE HPSC 2019) is a research event cooperated with a number of conferences, such as IEEE BigDataSecurity 2019 and IEEE IDS 2019. This conference provides engineers and scientists in computing domain with an academic forum in which the new research achievements, ideas, and results are shared. The state-of-the-art smart computing applications and experiences in cloud computing and smart computing will be represented in this academic event. IEEE HPSC 2019 is the next edition of a series of successful academic events, including HPSC 2015 (New York, USA), HPSC 2016 (New York, USA), HPSC 2017 (Beijing, China), and HPSC 2018 (Omaha, USA). TOPIC Topics of particular interest include, but are not limited to: - High performance smart computing - High performance distributed computing - Smart digital forensics - Smart Big data security, Database security - Smart social engineering, insider threats, advance spear phishing - Cyber threat intelligence - Security and fault tolerance for embedded or ubiquitous systems - Smart cloud security - Tele-health security - Sensor network security - Embedded networks and sensor network optimizations - Cloud computing and networking models - Heterogeneous architecture for cloud computing - Dynamic resource sharing algorithm for cloud computing - Load balance for cloud computing - Cloud-based audio/video streaming techniques - MapReduce - Visualization - Cloud-based real-time multimedia techniques - Mobile cloud computing - Green cloud computing - Quality of Service (QoS) improvements techniques - Case studies for various applications - Cyber Security in emergent technologies, infrastructures and applications PAPER SUBMISSION Prospective authors are invited to submit papers via Easychair (https://easychair.org/conferences/?conf=ieeehpsc2019). The submissions should be formatted with the IEEE 8.5 x 11 inches two-column format with 10-12 point font. Detailed formatting and submission instructions are available at the conference website (http://www.cloud-conf.net/datasec/2019/hpsc/submission.html). IMPORTANT DATES Paper submission: February 28, 2019 (Firm) Notification of acceptance: March 15, 2019 Final manuscript submission: April 5, 2019 For further information, please contact: han.qiu(a)telecom-paristech.fr.

1 0

Final Call for Paper: IEEE BigDataSecurity 2019
by Han Qiu 24 Feb '19

24 Feb '19

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ IEEE BigDataSecurity 2019 - The 5th IEEE International Conference on Big Data Security on Cloud - May 27–29, 2019 Washington DC, USA http://www.cloud-conf.net/datasec/2019/index.html ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ INTRODUCTION With rapid development of digital devices and communication techniques, we are in the big data era. Many aspects for both scientific research and people’s daily life have been influenced by big data based technology such as artificial intelligence, cloud computing, and Internet of Things. Providing security and privacy for big data storage, transmission, and processing have been attracting much attention in all big data related areas. IEEE BigDataSecurity 2019 addresses this domain and aims to gather recent academic achievements in this field. Internet of Things is the second concentration of IEEE BigDataSecurity 2019. The emerging needs for transmission, storage, and processing data in IoT environment with security and privacy guaranteed have attracted attention from a number of different perspectives. The new methods deployed in IoT environment have covered distinct dimensions, such as edge/fog computing, energy consumptions, high performance, and heterogeneous resources, cloud models, heterogeneous architecture, tele-health, resource allocation, load balance, multimedia, and QoS, etc. TOPIC Topics of particular interest include, but are not limited to: - Big data security issues and cyber crime - Novel big data model - Big data security issues in IoT - Big data privacy issues in IoT - Big data security issues in cloud computing - Big data privacy in cloud computing - Big data storage, integration, service, mining - Big data security applications - Cyber hacking, next generation fire wall - Cyber monitoring, incident response - Database security, data center security - Social engineering, insider threats, advance spear phishing - Cyber threat intelligence - Security and fault tolerance for embedded or ubiquitous systems - Tele-health security in cloud computing - Sensor network security in cloud computing - Security policy and legal considerations - Cloud and networking security - Cloud computing and networking models - Virtualization for big data on cloud - MapReduce with cloud for big data processing - Heterogeneous architecture for cloud computing - Dynamic resource sharing algorithm for cloud computing - Load balance for cloud computing - Mobile cloud computing - Mobile commerce security and privacy - Green cloud computing - Embedded networks and sensor network optimizations - Cyber Security in emergent technologies PAPER SUBMISSION Prospective authors are invited to submit papers via Easychair (https://easychair.org/conferences/?conf=ieeebigdatasecurity2). The submissions should be formatted with the IEEE 8.5 x 11 inches two-column format with 10-12 point font. Detailed formatting and submission instructions are available at the conference website (http://www.cloud-conf.net/datasec/2019/submission.html). IMPORTANT DATES Paper submission: February 28, 2019 (Firm) Notification of acceptance: March 15, 2019 Final manuscript submission: April 5, 2019 For further information, please contact: han.qiu(a)telecom-paristech.fr.

1 0

Post-Doc in Performance and Safety Analysis of Train-to-Train communications / IRT Railenium
by Abderrahim AITWAKRIME 22 Feb '19

22 Feb '19

(Apologies if you have received multiple copies of this announcement) We are looking for a highly motivated Post-Doc researcher to work in Performance and Safety Analysis of Train-to-Train communications. The ideal candidate should have: PhD degree in computer science and/or automatic, safety assessment, Petri Nets, formal methods, fluent English, experience in writing journal papers, knowledge of Railway domain will be a plus. Gross annual salary: 35 k€ Type of contract: Fixed-term contract 18 months Working hours: full time Please send applications (containing CV and motivation letter) mentioning VN-2019/01 by email to : recrutement(a)railenium.eu Position will be open until filled and details of the position are described in the attachments. Best regards, Abderrahim Ait Wakrime

1 0

ICCSA 2019: COA Workshop - Deadline Extension March 15
by Ana Rocha 21 Feb '19

21 Feb '19

Dear colleague, This is an invitation to submit a contribution for the: Computational Optimization and Applications (COA 2019) Workshop of the 19th International Conference on Computational Science and Applications (ICCSA 2019, http://www.iccsa.org/) will be held on July 1 - 4, 2019 in Saint Petersburg, Russia. TOPICS ====== The scope of the Workshop is to bring together scientists working in Computational Optimization and its applications in science and engineering. Topics of interest include (but are not limited to): * Computational Optimization: new issues in computational algorithms for continuous and discrete optimization; deterministic and stochastic algorithms, nature-inspired algorithms and other metaheuristic algorithms for solving optimization problems. * Applications: case studies in all areas of sciences, engineering and industry, including economics, medicine, biology, earth sciences and social sciences. IMPORTANT DATES ================ March 15, 2019: Deadline for abstract and paper submission to the COA Workshop (extended deadline) April 7, 2019: Notification of Acceptance. May 8, 2019: Early-bird Registration ends. May 8, 2019: Submission deadline for the final version of the Proceeding Papers July 1-4, 2019: ICCSA 2019 Conference PROCEEDINGS ============ The proceedings of the COA 2019 Workshop will appear in the Springer-Verlag, Lecture Notes in Computer Science (LNCS) series. The paper must be camera-ready, between 10 and 16 pages long and formatted according to the LNCS rules SUBMISSION DETAILS ================== All accepted papers will be included in the Springer Lecture Notes in Computer Science (LNCS, http://www.springer.com/gp/computer-science/lncs ) series and indexed by Scopus, EI Engineering Index, Thomson Reuters Conference Proceedings Citation Index (included in ISI Web of Science), and several other indexing services. The papers will contain linked references, XML versions and citable DOI numbers. Submitted papers will be subject to stringent peer review by at least three experts and carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. The authors can submit abstracts and papers to your session accessing the electronic submission site: http://ess.iccsa.org/ You can find the instructions to prepare and submit papers on the web site (http://www.iccsa.org/instructions-for-authors ) If you are not registered, you must to register before the submission. From the personal page the author is able to submit first an abstract (phase 1), then a full paper (phase 2), selecting the session from the list of sessions in the submission forms. The author will be able to update the paper until the submission deadline. ORGANIZERS =========== * Ana Maria A. C. Rocha (arocha(a)dps.uminho.pt <mailto:arocha@dps.uminho.pt> ), Dep. of Production and Systems <http://www.dps.uminho.pt/> (University of Minho), Algoritmi Research Centre <http://algoritmi.uminho.pt/> (University of Minho), Portugal * Humberto Rocha (hrocha(a)mat.uc.pt <mailto:hrocha@mat.uc.pt> ), Inesc Coimbra <http://www.inescc.pt/> (University of Coimbra), Portugal If you have some doubts or problems so not hesitate to contact the organizers. Best regards, Ana Maria A.C. Rocha and Humberto Rocha (COA 2019 organizers)

1 0

ICCSA 2019: 2nd Call for Papers, Short papers, PHD Showcase Papers
by Osvaldo Gervasi 20 Feb '19

20 Feb '19

1 0

CFP: The 13th IEEE International Conference on Big Data Science and Engineering (IEEE BigDataSE-19) - Rotorua, New Zealand, 5-8 August 2019
by zhou 20 Feb '19

20 Feb '19

[Our apologies if you receive multiple copies of this CFP] ------------------------------------------------------------------------------------------------------------------------------------ The 13th IEEE International Conference on Big Data Science and Engineering (IEEE BigDataSE-19) Rotorua, New Zealand,5-8 August 2019 INTRODUCTION ---------------------------------------- Big data is an emerging paradigm applied to datasets whose size is beyond the ability of commonly used software tools to capture, manage, and process the data within a tolerable elapsed time. Such datasets are often from various sources (Variety) yet unstructured such as social media, sensors, scientific applications, surveillance, video and image archives, Internet texts and documents, Internet search indexing, medical records, business transactions and web logs; and are of large size (Volume) with fast data in/out (Velocity). More importantly, big data has to be of high value (Value) and establish trust in it for business decision making (Veracity). Various technologies have been proposed to support the handling of big data such as massively parallel processing databases, scalable storage systems, cloud computing platforms, and MapReduce. Big data is more than simply a matter of size. It is an opportunity to find insights in new and emerging types of data and content, to make business more agile, and to answer questions that were previously considered beyond our reach. SCOPE ---------------------------------------- The 13th IEEE International Conference on Big Data Science and Engineering (IEEE BigDataSE-19) will be held in Rotorua, New Zealand during August 5th - August 8th, 2019. IEEE BigDataSE aims to provide an international forum for presenting and discussing emerging ideas and trends in Big Data from both of the academia and industry. Topics of interest include, but are not limited to: Systems, models, standards, algorithms and applications for Big Data Big Data mining and analytics Big Data Infrastructure, MapReduce and Cloud Computing Big Data visualization Big Data semantics, scientific discovery and intelligence Security, privacy, trust, and legal issues to big data Large data stream processing and incremental datasets on cloud Distributed and federated datasets NoSQL data stores and DB scalability Big Data placement, scheduling, and optimization Distributed file systems for Big Data MapReduce for Big Data processing, resource scheduling and SLA Performance characterization, evaluation and optimization Simulation and debugging systems and tools for Big Data Storage and computation management of Big Data Large-scale big data workflow management Sensor network and social network for Big Data Edge processing and intelligence for Big Data SUBMISSION GUIDELINES ---------------------------------------- Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. All papers need to be submitted electronically through the conference submission website (https://edas.info/N25994) with PDF format. The materials presented in the papers should not be published or under submission elsewhere. Each paper is limited to 8 pages 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…. ORGANIZING COMMITTEE ---------------------------------------- General Chairs: Sherman Shen, University of Waterloo, Canada Yaoxue Zhang, Central South University, China TPC Chairs: Ju Ren, Central South University, China Xiaokang Zhou, Shiga University, Japan Steering Committee Chairs: Laurance T. Yang, St. Francis Xavier University, Canada Jinjun Chen, Swinburne University of Technology, Australia IMPORTANT DATES ---------------------------------------- Paper Submission Deadline: 1 April, 2019 Authors Notification: 30 April, 2019 Camera-Ready Paper Due: 20 May, 2019 Early Registration Due: 20 May, 2019 Conference Date: 5-8 August, 2019 -- Xiaokang Zhou (周暁康), Ph.D. Faculty of Data Science, The Center for Data Science Education and Research, Shiga University 1-1-1 Banba, Hikone, Shiga 522-8522, Japan Email: zhou(a)biwako.shiga-u.ac.jp<mailto:zhou@biwako.shiga-u.ac.jp> Phone: +81-749-27-1290

1 0

CFP Societal Automation Conference - SAC2019 Krakow, 4-6 September 2019
by Martin Gilje Jaatun 20 Feb '19

20 Feb '19

Call for Papers Societal Automation - Technological & Architectural Frameworks First international conference - Krakow, 4-6 September 2019 https://sac2019.org/ *Regular and special sessions papers* Submission deadline April 14, 2019 Acceptance notification June 3, 2019 Deadline for final manuscripts June 30, 2019 *Work-in-progress/ Industry practice papers* Submission deadline: May 19, 2019 Acceptance notification: June 16, 2019 Deadline for final manuscripts: July 30, 2019 Background: The 4th Industrial Revolution and emerging Societal Automation initiatives deeply rooted in advances in Electronics, Communication, and Computer Science has been heralded by numerous visionary initiatives sponsored and advanced by industry, private consortia, and governments alike, all over the industrialized world – to mention smart factories, smart grid, smart homes, smart buildings, smart highways, smart transportation systems, urban automation, ... . The household names of the Internet of Things and Cyber-Physical Systems provide conceptual and architectural frameworks as well as a technical infrastructure for those initiatives. Societal Automation is a human endeavor to make human-made engineering systems human-centered, safe in their usage and energy efficient, without degrading the surrounding natural environment. Societal Automation is not limited to integration of existing technologies in larger systems such as building automation, smart grid, or urban automation. Actually, some of the most remarkable advances have been achieved in automating personal space/life. Human companion is a good example; not only providing a day-to-day psychological support for elderly, but some with, though, still limited, “abilities” to assist in the body maintenance and feeding infirm. The functional and technical scope of those initiatives is broad. Various application domains intersect at the crossroads of the initiatives. Vision is necessary to carve the image of the initiatives. But insufficient for their realization. At the root of the success in implementing and deploying visions is technology. Technology is a tangible “realization” of solutions, which arise from innovative thinking. Specific technological solutions and devices to be blended within the adopted architectural framework representing developed system need sophisticated software tools underpinned by solid formal methodologies to assist in and guide through the design, validation, testing, deployment, and monitoring phases of the system life-cycle. The challenge laid for the broad automation of human activities and societies is vast, and requires visionary innovative thinking. Requires revolution in innovative thinking and the way we think of innovation. Nothing short of the 4th revolution in innovative thinking: Innovation 4.0. The first in the series conference on Societal Automation will attempt to take a stock of where the area id now; of the expectations and concrete plans of decision makers; of existing technologies and technologies still to be invented to support further and planned developments; of the supporting design & development software tools to make systems eventuate. The most crucial, however, are the expectations of us, individuals without major say in the Societal Automation evolution to ensure the developments serve our interest and do not threaten our privacy, body and psychological integrity, and safety in general. Paper submissions The SAC2019 conference is seeking submissions of up to 8 double-column pages reporting on novel and significant contributions to the field of industrial communication systems. Prospective authors are encouraged to submit a pdf version of their papers through the SAC2019 submission system. The submitted material (in English language) must be unpublished and not under review elsewhere. Submissions must include e-mail addresses and fax/phone numbers of the corresponding author. Work-in-Progress (WIP) sessions These sessions are intended for presentation of recent ideas and on-going works up to 4 double-column pages, describing research that has not yet produced the results required for a regular paper, but that due to its novelty and potential impact deserves to be shared with the community at an early stage. WIP submissions should be prepared according to the same guidelines as regular papers, and should be submitted through their own WIP electronic submission system. Accepted WIP papers will be published in the conference proceedings. Authors of accepted WiP paper will give a 5 minute oral presentation at the WiP sessions, and will also present an A0 poster during the poster sessions. Style guides for SAC2019 papers Please see here:http://www.ieee.org/conferences_events/conferences/publishing/template… Tracks/Topics T1: Electronic Systems in Societal Automation Track Chair: Adam Kostrzewa, TU Braunschweig, Germany - kostrzewa at ida.ing.tu-bs.de System-level Design - methodologies & tools for reconfigurable platforms (programmable logic, partial reconfiguration); FPGA architectures, design, and CAD; robust & power aware computing and systems; energy management; data integration and fusion; communication modes; compensation mechanisms for aging and temperature; methodologies & tools for fault-tolerant designs; hardware attacks detection, threat modeling & defense; hardware-based security design; trusted design automation & tools; adaptive and compositional architectures. Networked Embedded Systems - design, dependability and tooling for networked systems including real-time, safety, security, maintainability aspects; middleware solutions for distributed and networked systems; network protocols for distributed systems including resource control, admission control, self-aware adjustments, time synchronization, routing and energy consumption. Cognitive Computing in Cyber-Physical Systems - hardware and architectures, software and algorithmic approaches for artificial intelligence, hardware accelerators for machine/deep learning algorithms; algorithmic optimizations for general purpose computing; modeling, design and analysis of networked control, switched control, and distributed control systems. Embedded Systems and Architectures - design methodologies and tools; parallel and distributed embedded systems; multi/many-core embedded systems; timing and schedulability analysis; quality of service control; distributed and system-on-chip architectures; real-time and dependable mechanisms and architectures; static and dynamic reconfigurable systems; embedded systems case studies. T2: Communication Systems in Societal Automation Track Chair: Stig Petersen, SINTEF, Norway - Stig.Petersen at sintef.no IP-based and web-based communication - protocols and technologies Wireless Networks - WLAN; WPAN; 6LoWPAN, CoAP; Wireless coexistence and spectrum-sharing; Radio resource management in noisy environments; Internetworking and interoperability; Wireless Instrumentation and Wireless Sensor Network; Mesh, Relay, and Multi-hop Wireless Sensor Network; Software-defined and cognitive radio networks Design Issues - Event-driven and Time-Triggered communications; Security and safety; Dependability and fault tolerance; Remote configuration and network management; Real-time communication and precise synchronization; Quality of Service (QoS) and performance indexes; Message schedulability analysis Specialized Communication Networks in Diverse Application Domains - Home & Building Automation; Automotive Networks; Rail Transportation Networks; Avionics Networks Networks; Industrial Automation –Industrial Ethernet,, Wireless Industrial Networks; Power Systems – Protocols for Automatic Meter Reading, Protocols for Power System Automation. T3: Computing in Societal Automation Track Chair: Krzysztof Zielinski, AGH University of Science & Technology, Poland - kz at agh.edu.pl Algorithms and Models of Computing - Approximate and inexact computing Quantum computing, Probabilistic computing; Cloud and fog computing; Pervasive computing Biological Computing Models - Brain computing; Neural computing; Computational neuroscience; Biologically-inspired architectures Big Data Analytics - High performance data analytics; Data search and representation; Architecture and system design Fault tolerance and resilience - Solutions for ultra-large and safety-critical systems; Hardware and software approaches to cope with adverse environments Compiler Technologies - Advanced/novel analyses; Hardware/software integrated solutions; Domain-specific languages; High-level synthesis T4: AI, Machine & Deep Learning in Societal Automation Track Chair: Krystian Jobczyk, AGH University of Science & Technology, Poland - krystian_jobczyk at op.pl Algorithms; Natural Language Processing; Computer Vision and Speech Understanding; Pattern Recognition; Data Mining and Information Retrieval; Soft Computing and tools - Fuzzy Logic, Neural Networks, Heuristic and AI Planning Strategies, Knowledge-based Systems; Automated Decision Systems; Computational Theories of Learning; Knowledge Representation; Reasoning and Evolution; Machine Learning – Supervised Learning, Unsupervised Learning, Neural Networks & Deep Learning, Reinforcement Learning; Ambient intelligence – contextual awareness, natural interaction, adaptability, robustness, fault-tolerance, security; Ambient intelligence and IoT – case studies; Semantic Web ; Hybrid Intelligent Systems; Software & Hardware Architectures & Accelerators; AI Systems in Societal Automation – Cars & Automotive and Service Industries; Home & Building automation; Transportation Systems; Smart Cities & Urban Automation; Energy Systems: Case Studies – experience emerging trends. T5: Sensors in Societal Automation Track Chair: Joerg Gebhardt, ABB Corporate Research, Germany - joerg.gebhardt at de.abb.com Novel components, devices and architectures for networked sensing; Network and system architectures and protocols; Network health monitoring and management; Detection, classification, tracking, reasoning, and decision making; Sensor data processing, mining, and machine learning; (distributed) signal processing; Energy harvested systems; Sensor tasking, control, and actuation; Innovative applications and deployment experiences; System modeling, simulation, measurements, and analysis. T6: Human Companion Human companion to provide day-to-day interaction with humans – computer systems, robotic pets, robotic humanoids; Emotions recognition and replication; Intuition; Day-to-day assistance with emotional challenges; Body construction – skeleton, muscle, skin; Making human companion robots self protecting; AI, Computing and Signal Processing; Dedicated communication networking; Novel research results. Prototypes & deployments – experience and emerging trends. T7: Merging Humans and Machines Track Chair: Valentina Emilia Balas, „Aurel Vlaicu” University of Arad, Romania - valentina.balas at uav.ro Brain-computer interfaces – Novel research and Technology; Noninvasive electromagnetic methods for brain monitoring; Algorithms & translation techniques; Wireless technology in communication; Implant technology; Bio-tech hybrids; Human enhancement; Cyborgs; Turing test; Virtual reality; Non-verbal and extra-sensory communication; Humans as biological machines; Spiritual machines; T8: Architectural Frameworks for Societal Automation – IoT and Cyber-Physical Systems Track Chair: Marcel Baunach, TU Graz, Austria - baunach at tugraz.at IOT & Cyber-Physical Systems Design and Technology; IoT and Sensor systems; Industrial IoT Systems; Distributed Architectures for Adaptive Systems; Autonomous Cyber-Physical Systems; Self-Adaption and Self-Organization; Learning and Self-Optimizing Cyber-Physical Systems. Novel Protocols and Network Technology; Data Streaming Architectures; Application areas of IoT & CPS; Case Studies, deployment, arising experience and emerging trends. T9: Cyber-Security in Societal Automation Track Chair: Martin Jaatun, SINTEF, Norway - Martin.G.Jaatun at sintef.no Access control; Authentication; Trust management; Accountability; Anonymity and privacy; Formal methods and verification; Hardware-based security; Language-based security; Software security; Data and system integrity; Database security; Distributed systems security; Network security; Intrusion detection; Mobile security; Web security; Security metrics; Security protocols; Real-time implementations of security algorithms and protocols; Security issues specific to application domain: wearable automation, home and building automation, vehicles and transportation systems, smart city & urban automation, smart metering and power systems. T10: Development of Ultra Complex Man-Made Engineering Systems Track Chair: Athanasios Kalogeras, ISI, Greece - kalogeras at isi.gr Large Scale and Ultra Large Scale System Design: Requirement Determination and Management; Design at All Levels; Design Representation; Methodologies and Tools; Component-Integration; Legacy Systems. Human Interaction: Context-Aware Computing; User-Centered Specification; User Modeling; Non-Competitive Social Collaboration; Longevity. Use of Computational Resources to Solve Complex Systems Challenges: Computational Complexity; Metaheuristics. Large and Ultra Scale System Engineering: Representation Languages and Semantics; Specification, Verification, and Certification; Model Based Validation; Systems of Systems; Simulation; Modularity & Composability. Adaptive Systems: Integrated operation; Distribution and decentralization; Interoperability; Security,Trust and Resilience; Robustness and Adaptation, Applications of Systems Engineering to Diverse Industrial and Societal Application Areas. T11: Socio-Technological Aspects of Societal Automation HMI; Technology and solutions for assisting elderly and disadvantaged; Smart Systems to assist kids in learning; Easing access to technology and assisting with an efficient usage; Social acceptance of technology and technological changes; Novel research results, deployment, case studies, experience and emerging trends T12: Application Areas of Societal Automation Track Chair: Thomas Strasser, AIT Austrian Institute of Technology GmbH, Austria - thomas.strasser at ait.ac.at Novel research results, deployment, case studies, experience and emerging trends. Areas – Digital Arts & Entertainment, Digital Lifestyle, Digital Education; Wearable Automation; Social Robotics: applications of robotics to human tasks and activity areas to assist or replace humans in diverse application areas: home, school, hospital, employment place, city – for instance in feeding infirm and elderly, exoskeletons; Smart and self driving cars; Smart Vehicles – ground, air and water based; Transportation Systems; Urban Automation and Systems; Smart Cities; Energy Systems; Health delivery and systems – consultations, patient's monitoring, tele-surgery, etc; Military Logistic Systems, Space Station, Space Cities, Space Urban Automation, etc.

1 0

Call for papers extended for IEEE Vehicular Technology Conference Fall-2019 in Hawaii - deadline March 25, 2019
by Alvin Chin 20 Feb '19

20 Feb '19

Dear colleague, Please consider submitting a paper to the IEEE Vehicular Technology Conference Fall-2019 in Hawaii. Details of the CFP are below and can be found at http://www.ieeevtc.org/vtc2019fall/cfp.php. VTC2019-Fall in Honolulu, Hawaii will feature world-class technical sessions, workshops, and tutorials on, but not limited to, the following technical tracks <http://www.ieeevtc.org/vtc2019fall/tracks.php>. Prospective authors are invited to submit 5-page, original, and unpublished full papers: 1. Antenna Systems, Propagation, and RF Design <http://www.ieeevtc.org/vtc2019fall/tracks.php#TK_1> 2. Signal Transmission and Reception <http://www.ieeevtc.org/vtc2019fall/tracks.php#TK_2> 3. Spectrum Sharing, Spectrum Management, and Cognitive Radio <http://www.ieeevtc.org/vtc2019fall/tracks.php#TK_3> 4. Multiple Antenna Systems and Cooperative Communications <http://www.ieeevtc.org/vtc2019fall/tracks.php#TK_4> 5. Radio Access Technology and Heterogeneous Networks <http://www.ieeevtc.org/vtc2019fall/tracks.php#TK_5> 6. Green Communications and Networks <http://www.ieeevtc.org/vtc2019fall/tracks.php#TK_6> 7. IoT, M2M, Sensor Networks, and Ad-Hoc Networking <http://www.ieeevtc.org/vtc2019fall/tracks.php#TK_7> 8. Wireless Networks: Protocols, Security and Services <http://www.ieeevtc.org/vtc2019fall/tracks.php#TK_8> 9. Positioning, Navigation and Mobile Satellite System <http://www.ieeevtc.org/vtc2019fall/tracks.php#TK_9> 10. Unmanned Aerial Vehicle Communications, Vehicular Networks, and Telematics <http://www.ieeevtc.org/vtc2019fall/tracks.php#TK_10> 11. Electric Vehicles, Vehicular Electronics, and Intelligent Transportation <http://www.ieeevtc.org/vtc2019fall/tracks.php#TK_11> 12. Future Trends and Emerging Technologies <http://www.ieeevtc.org/vtc2019fall/tracks.php#TK_12> Submission Deadline: 25 March 2019 Submission requirements: 5-page paper ONLY Up to 2 additional pages are allowed with the purchase of additional page charges in the amount of $100 USD per additional page at the time of registration and final paper submission *Acceptance notification: 3 May 2019* Final paper submission deadline: 1 July 2019 Regards, Alvin -- Alvin Chin Industry Sessions Co-Chair IEEE Vehicular Technology Conference Fall-2019

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science