Formal methods (FM) have a rich history spanning a half-century. Mathematical proof of properties of programs have been sought since the early days of computing. Despite these aspirations, FM has not taken hold due to barriers of scale, usability, engineering realism, and mission incentives. Indeed, for decades, FM tools and ecosystems could only operate on […]
IEEE Micro will publish its annual “Top Picks from the Computer Architecture Conferences” issue in May/June 2022. This issue collects some of the most significant research papers in computer architecture based on novelty and potential for long-term impact. Any computer architecture paper published in the top conferences of 2021 (including MICRO-54) is eligible. Each Top […]
From its onset, real-time systems have been increasingly essential in many domains, and currently they have an extremely important role in everyday life. For example, state-of-the-art real-time systems exist in transportation systems (such as autonomous vehicles, smart roads, avionics, and space systems), telecommunications, robotics, datacenters, cyber-physical systems, the Internet of Things, e-health, environment monitoring, and […]
The confluence of the end of Dennard scaling and the demand for machine learning (ML) processing has given rise to an arms race for achieving the highest throughput, minimal latency, and lowest power consumption. In this environment, special-purpose ML hardware accelerators have skyrocketed in popularity. This special issue aims to describe the state of the […]
Analysis of information and computing networks (ICNs), like social networks (such as Facebook and Twitter), protein interaction networks, and human brain networks, helps us to understand various real-world systems. It also benefits real-world domains such as data analytics, process analytics, service computing, and knowledge discovery. Networks derived from real-world systems always evolve with changing network […]
The response to major epidemics and pandemics known in recent history, such as plague and cholera, has been mostly focused on minimizing human contact, especially between infected and healthy individuals. The same public health strategies have been deployed to contain the spread of the COVID-19 disease and maintain social structures in this pandemic that the […]
Submission deadline: 31 July 2022 Publication: April 2023 Artificial intelligence (AI) continues demonstrating its positive impact on society and successful adoptions in data-rich domains. The global AI market was valued at USD $62.35 billion in 2020 and is expected to grow with an annual growth rate of 40.2% from 2021 to 2028. Although AI is […]
Title and abstract due: 18 December 2021 (email to pvc4-2022@computer.org) Full manuscript due: 15 January 2022 (via submission site) Publication: October–December 2022 Pervasive computing is flourishing; smart sensors and actuators have found their way into every corner of our daily lives. They are deftly interwoven with each other and their context, making environments ever more […]
Submissions due: 28 April 2022 Publication: November/December 2022 When pandemics strike societies, they can destroy critical infrastructures, such as healthcare and economic systems. When COVID-19 struck the planet, many technological research developments were proposed, some of them even leading to tools for citizens or governments, with the objective of supporting this complicated period for the […]
Transformer models have recently demonstrated exemplary performance on a broad range of language tasks such as text classification, machine translation, and question answering. These breakthroughs in the natural language processing (NLP) domain have sparked great interest in the computer vision community to investigate these models for vision and multi-modal learning tasks. However, visual data follows […]
Submissions due: 30 September 2022 Publication: October-December 2023 The region of Oceania includes Australasia, New Zealand, Papua New Guinea, Micronesia, Fiji, Kiribati, the Marshall Islands, Nauru, Palau, Samoa, the Solomon Islands, Tonga, Tuvalu, and Vanuatu. To date, the history of computing in this vast and relatively lowly populated region is underrepresented, notwithstanding recent efforts to […]
The management and processing of inconsistent, incomplete, and uncertain knowledge is a crucial issue in the development of intelligent systems. Nowadays, such systems have to efficiently manage large amounts of information of different kinds, often represented in different formats and coming from different sources, such as databases, knowledge bases, sensor networks, and various data-driven applications. […]
Many detection systems based on AI approaches have been proposed to defend against cybersecurity threats, such as malware and complex malicious behaviors. However, towards the capability of detection, even though these cybersecurity systems have achieved excellent results in a large-scale dataset, there is still a significant gap in their reliability and robustness. Recent studies have […]
IEEE Micro seeks articles on the intersection of computer system design and environmental sustainability. Digital technologies have profound influence on the societal wellbeing of humans, transforming all aspects of our lives, from creating education opportunities to enabling access to a wide breadth of information. The proliferation of digital technologies has fueled significant economic growth. As […]
Artificial intelligence (AI) algorithms require powerful and efficient computer architectures for two distinct tasks: training and inference. The first is extremely compute- and memory-intensive, and in some cases can take days or weeks to complete. The latter usually implies real-time performance. As an increasing number of smart devices come online, performing more AI inference at […]
Submission deadline: 13 December 2021 Publication: September/October 2022 Bots (short for software robots) are software applications that perform often repetitive or simple tasks. As an interface to integrate humans and services, the ability of providing output on the humans’ communication channel is the core characteristic that distinguishes bots from other tools. In particular, social and chat […]
In recent years, the development of biomedical imaging techniques, integrative sensors, and artificial intelligence has brought many benefits to the protection of health. We can collect, measure, and analyze vast volumes of health-related data using the technologies of computing and networking, leading to tremendous opportunities for the health and biomedical community. Biomedical intelligence, especially precision […]
Data sharing and collaborative model training are promising ways to improve the quality of deep-learning models. However, it is usually difficult to implement such settings in practice due to data privacy concerns and relative regulations such as the GDPR and HIPAA. Federated learning aims to train collaboratively on distributed data sources without disclosing private data […]
In November 1971, the microprocessor was born. IEEE Micro is celebrating the 50th anniversary of the microprocessor in November 2021. We invite writers of all kinds–novices to experts, designers to users, undergraduate students to experienced researchers–to submit short pieces (one paragraph to two pages) on one or more of the following topics: My favorite microprocessor […]
Deadline for the Submission of Research Papers/ Tutorial Proposals: 18th July 2021 The tenth edition of the IEEE International Conference on Cloud Computing in Emerging Markets (CCEM) offers an ideal platform for innovators, researchers and students on Cloud computing and its associated technology areas and applications – these have emerged as a dominant and transformational […]
Computers and cryptographic hardware eventually are no Turing machines living in a Platonic world, but real, physical objects that can be touched and accessed, and which consume power, dissipate radiation, or are susceptible to faults and invasive manipulation. This simple observation has had a massive impact both for codemakers and codebreakers over the last decades. […]
Technological advancement and innovation are helping to enhance emergency management through improved risk reduction and mitigation and better post-disaster recovery and restoration. The Internet of Things, cyber-physical systems, geo-technologies, cloud and edge computing, and the various forms of big data and machine learning are key drivers behind current digital transformations and will play an increasingly […]
This Call for Proposals is distributed on behalf of the Steering Committee for the IEEE International Conference on Multimedia and Expo (ICME). IEEE International Conference on Multimedia & Expo (ICME) has been the flagship multimedia conference sponsored by four IEEE societies since 2000. It serves as a forum to promote the exchange of the latest […]
Submissions due: 27 May 2022 Publication: October-December 2022 Immersive multimedia has been becoming a reality due to the recent development of extended reality (XR), which is an umbrella term for emulating a physical world in a virtual world, leveraging various human senses. One driving force of such development is the appearance of consumer-grade head-mounted displays […]
Submission deadline: 30 March 2022 Publication: December 2022 Smart cities are emerging worldwide, addressing the need for sustainable urban development as population grows and cities attract increasingly larger population. The growth of mega-cities around the world is astonishing in terms of the number of cities as well as in terms of population. In order to […]
Recent advances in artificial intelligence (AI) and data science have provided an exciting opportunity to improve numerous spheres of economic activities with large sets of data, such as healthcare, finance, and emergency preparedness. Machine learning (ML) in general, and using formal knowledge as part of ML in particular, affects how data is managed, used, and […]
Submissions due: 15 November 2021 Publication: April-June 2022 With the development of Internet technologies, large volumes of multimedia and, more generally, multimodal data, can easily be shared among different users or entities for the purpose of diagnosis, analysis, and prediction in a variety of critical application contexts with no hard-copy backups being kept. This has […]
Submission deadline: 15 February 2022 Publication: October 2022 A software supply chain (SSC) is the sequence of events required to analyze, design, and deliver a software service or product. Although there are similar challenges with SSCs as there are in traditional supply chains–such as outsourcing, risk analysis, and managing relationships–SSCs come with unique challenges that […]
During the last decade, advances in areas such as convolutional neural networks, deep learning, and hardware accelerators have enabled the widespread and ubiquitous adoption of machine learning (ML) in real-world systems. This trend is expected to continue and expand in the coming years, leading to a world that depends heavily on ML-based systems. To be […]
Submissions due: 8 November 2021 Publication: July/August 2022 As complex software systems have become increasingly entwined in a wide variety of systems such as critical infrastructure, industrial control systems, medical devices, automobiles, airplanes, and spacecraft, assuring the security and safety, as well as other dependability aspects such as availability, robustness, and reliability of software-intensive systems remains […]
Submission deadline: 19 November 2021 Publication: May/June 2022 With the rapid developments and proliferations of the IoT, cyber-physical systems, AI, and autonomous and mobility technologies, cyber (virtual) space and physical (real) space are converging. Such advancements in information and communication technology (ICT) have brought progress in industrial automations and economic growth. As things, people, and […]
Inspired by biological neural systems, neuromorphic computing has drawn much attention for its great potential of achieving machine intelligence at extremely low energy dissipation. Bio-inspired computing models have been investigated for information encoding, sparse representation, event-driven communication/computation, and online learning. This new computing paradigm triggered a recent wave of innovations in software and hardware architecture […]
Submissions due: 25 February 2022 Publication: September/October 2022 The rapid increase in applications of artificial intelligence (AI) and machine-learning (ML) algorithms exacerbates the need for explainable data visualization methods that make algorithmic guidance transparent and understandable. The availability of explainable AI/ML methods is important to a wide range of domains, especially in highly regulated applications […]
Social media has quickly become not just ubiquitous, but also integral to modern society. A large portion of social media’s quick ascent was due to its modeling of real-world relationships, meaning the offline world informed the development and adoption of the online world. Recently, however, it has become apparent that this effect is not a […]
Deep learning and big data analysis are among the most important research topics in the fields of biomedical applications and digital healthcare. With the fast development of AI and IoT technologies, deep learning for big data analytics, including affective learning, reinforcement learning, and transfer learning, are widely applied to sense, learn, and interact with human […]
IEEE INTERNATIONAL SYMPOSIUM ON MIXED AND AUGMENTED REALITY Bari, Italy October 4 to 8, 2021 OVERVIEW This email contains several Calls for Participation. Please review this email carefully, and check the ISMAR 2021 website links provided below for additional details. IMPORTANT DEADLINES: ● April 23rd, 2021: WORKSHOP proposals due ● April […]
Submission deadline: 24 September 2021 Publication: March/April 2022 Nowadays, misinformation spreads more rapidly and more broadly than reliable information does, creating an “info-demic.” This has a serious impact globally. Though the main originators may be malicious entities exploiting social media, “fake news,” and conspiracy-theory generators, it is ourselves and our own network of people that […]
For centuries, cartographic maps have guided human exploration. While being rather imperfect initially, they helped explorers find promised lands and return home safely. Recent advances in data, algorithms, and computing infrastructures make it possible to map humankind’s collective scholarly knowledge and technology expertise by using topic maps on which “continents” represent major areas of science […]
Data visualization is now one of the cornerstones of data science, turning the abundance of big data being produced through modern systems into actionable knowledge. Data visualization in the big data era raises the need to co-design and more closely align the underlying data management systems with the user-oriented techniques that state-of-the-art visualization systems now […]
Hardware accelerators are rapidly becoming a central architectural feature to improve computation power performance. CPU ISA extensions, custom-designed engines, and FPGA-based systems have been proposed as acceleration architectures to improve program execution in scientific, machine-learning, database, and other application domains. Although much effort has been devoted to the design of accelerators, there is still a […]
In many ways, computing and demography—the social science of human population dynamics—emerged in tandem. The US government’s need to count every individual living in its borders and tabulate the results every ten years inspired the development of information technologies, from the Seaton and Hollerith devices used to tabulate the US census in the 19th century […]
Health systems worldwide are challenged on multiple fronts. Demographic change, the increase of both communicable and non-communicable and chronic diseases, and economic sustainability are some examples. On the other hand, medical and technical progress have dramatically improved the possibilities for not just disease prevention, early recognition, and therapy, but also living well beyond traditional expectations. […]
Submissions due: 16 September 2021 Publication: March/April 2022 Industrial production is a manifold and complex process holding several sub-steps from conceptual design over prototyping to fabrication and quality management. Here, visual visualization approaches can be applied in nearly each step in order to increase the quality of decision making processes. In this context, each step […]
Submissions due: 1 December 2021 Publication issue: July 2022 Technology predictions have always been hard to make, yet they attract wide audiences because of their speculative nature and potential impact. Accurate predictions could have substantial impact on business. Degree of speculation as well as potential impact is dramatically amplified with radical changes introduced by pandemics. […]
The COVID-19 pandemic has brought the world to a historic turning point. While the pandemic is transforming our normal lives in unprecedented ways, the computing and information services ecosystems have provided much-needed support to the continuity of social interactions and organizational functions. As COVID-19 continues to expose the weaknesses of current services ecosystems, it inspires […]
IEEE Transactions on Computers (TC), the flagship journal for the IEEE Computer Society, is a monthly publication with a wide distribution to researchers, developers, technical managers, and educators in the computer field. It publishes papers on research in areas of current interest to the readers, including but not limited to the following: Computer organizations and […]
IEEE Transactions on Affective Computing is a cross-disciplinary and international archive journal aimed at disseminating results of research on the design of systems that can recognize, interpret, and simulate human emotions and related affective phenomena. The journal publishes original research on the principles and theories explaining why and how affective factors condition interaction between humans […]
IEEE Transactions on Emerging Topics in Computing (TETC) seeks original manuscripts for submission under Technical Tracks. In a track, the technical contents of a submitted manuscript must be both of research type and of an emerging nature, and must fall within the scope and competencies of the Computer Society. Purely theoretical, technological, or lacking methodological-and-generality papers […]
CiSE accepts submissions on an ongoing basis for the following three tracks: Data* Reproducible Research Software Engineering Please see the individual calls for papers below for details. Data* Track – Call for Papers Submission and publication: Ongoing Track editors: Ilkay Altintas (San Diego Supercomputer Center) and Nicola Ferrier (Argonne National Laboratory) The data-centric era is […]
