|
||
When: Apr 3, 2022 - Apr 3, 2022 Submission Deadline: Feb 15, 2022 | ||
Scope of Workshop • Cooperative software verification aims at increasing the effectiveness of verification by having different verifiers cooperate on a verification task. Cooperation might take... | ||
VERIFICATION FORMAL METHODS SOFTWARE TESTING | ||
|
||
When: May 3, 2022 - May 4, 2022 Submission Deadline: Feb 1, 2022 | ||
• The International Research Conference Aims and Objectives • The International Research Conference is a federated organization dedicated to bringing together a significant number of diver... | ||
FORMAL METHODS VERIFICATION SECURITY SOFTWARE TESTING | ||
SEIM 2022 : Seventh Conference on Software Engineering and Information ManagementSaint Petersburg, Russia |
||
When: Apr 23, 2022 - Apr 23, 2022 Submission Deadline: Feb 9, 2022 | ||
The Seventh Conference on Software Engineering and Information Management (SEIM-2022) opens its doors to young researchers and practitioners in various areas of computer science and software engineer... | ||
SOFTWARE ENGINEERING DISTRIBUTED SYSTEMS INTERNET OF THINGS FORMAL METHODS | ||
TASE 2022 : Theoretical Aspects of Software EngineeringCluj-Napoca, Romania |
||
When: Jul 8, 2022 - Jul 10, 2022 Submission Deadline: Feb 13, 2022 | ||
Overview • TASE is an international symposium that aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering.... | ||
FORMAL METHODS VERIFICATION CYBER-PHYSICAL SYSTEMS SOFTWARE ENGINEERING | ||
|
||
When: Apr 2, 2022 - Apr 2, 2022 Submission Deadline: Feb 1, 2022 | ||
The First Workshop on Reproducibility and Replication of Research Results (RRRR 2022) is part of ETAPS 2022 in Munich, Germany. It provides a forum to present novel approaches to foster reproducibili... | ||
FORMAL METHODS VERIFICATION TEST SOFTWARE | ||
iFM 2022 : International Conference on integrated Formal MethodsLugano, Switzerland |
||
When: Jun 7, 2022 - Jun 10, 2022 Submission Deadline: Feb 11, 2022 | ||
Objectives and scope • In recent years, we have witnessed a proliferation of approaches that integrate several modelling, verification and simulation techniques, facilitating more versatile and... | ||
FORMAL METHODS VERIFICATION TESTING SOFTWARE ENGINEERING | ||
|
||
When: Apr 3, 2022 - Apr 3, 2022 Submission Deadline: Feb 4, 2022 | ||
The increasingly concurrent and parallel landscape of hardware and software infrastructures demands the exploration and understanding of a wide variety of foundational and practical ideas. The Intern... | ||
PROGRAMMING LANGUAGES DISTRIBUTION AND CONCURRENCY TYPE SYSTEMS VERIFICATION | ||
ICACDS 2022 : Sixth International Conference on Advances in Computing and Data Sciences (Springer CCIS)GPCET, Kurnool, Andhra Pradesh, I |
||
When: Apr 22, 2022 - Apr 23, 2022 Submission Deadline: Feb 15, 2022 | ||
2022 Sixth ICACDS – International Conference on Advances in Computing and Data Sciences (Proceeding by Springer CCIS) • https://www.icacds.com • 22– 23 APRIL 2022 • GPCET & RCEW... | ||
ADVANCED COMPUTING DATA SCIENCES COMPUTER SCIENCE SOFTWARE ENGINEERING | ||
COOL Chips 24 2021 : IEEE Symposium on Low-Power and High-Speed Chips and SystemsBunkyo-ku, Tokyo, Japan |
||
When: Apr 14, 2021 - Apr 16, 2021 Submission Deadline: Feb 05, 2021 | ||
IEEE COOL Chips is an International Symposium initiated in 1998 to present advancement of low-power and high-speed chips and systems. The symposium covers leading-edge technologies in all areas of mic... | ||
COMPUTER ARCHITECTURE MICROARCHITECTURE SOFTWARE VLSI | ||
PRML 2021 : 2nd International Conference on Pattern Recognition and Machine LearningSichuan University, Chengdu, China |
||
When: Jul 16, 2021 - Jul 18, 2021 Submission Deadline: Feb 25, 2021 | ||
PRML 2021 will be held during July 16-18, 2021 in Sichuan University, Chengdu, China. It features keynote speech, invited speech as well as paper presentation with oral or poster. It is... | ||
CLOUD COMPUTING INTELLIGENT SYSTEMS SOFTWARE ENGINEERING SYSTEMS ENGINEERING | ||
|
||
When: Feb 20, 2021 - Feb 21, 2021 Submission Deadline: Jan 03, 2021 | ||
10th International Conference on Software Engineering and Applications (SEAS 2021) will provide an excellent international forum for sharing knowledge and results in theory, methodology and ... | ||
SOFTWARE ENGINEERING INFORMATION RETRIEVAL SOFTWARE TESTING COMPUTER SCIENCE | ||
|
||
When: Aug 23, 2021 - Aug 27, 2021 Submission Deadline: Feb 25, 2021 | ||
We invite high-quality submissions, from both industry and academia, describing original and unpublished results of theoretical, empirical, conceptual, and experimental software engineering research. ... | ||
ARTIFICIAL INTELLIGENCE SOFTWARE ENGINEERING COMPUTING | ||
|
||
Submission Deadline: Feb 28, 2021 | ||
Journal of Software: Evolution and Process publishes special issues on hot topics in programming and software development, papers from key conferences, and more. Click on the links below to view ... | ||
SOFTWARE ENGINEERING AUTONOMIC COMPUTING SELF-HEALING SYSTEMS | ||
|
||
When: Jun 08, 2021 - Jun 08, 2021 Submission Deadline: Feb 05, 2021 | ||
With the development of new software technologies and Application Programming Interfaces (APIs), software and system development becomes more complicated and requires for more advanced skill set. Such... | ||
SECURITY AND PRIVACY SOFTWARE SYSTEM | ||
ISEC 2021 : 14th Innovations in Software Engineering ConferenceBhubaneswar, Orissa, India |
||
When: Feb 25, 2021 - Feb 27, 2021 Submission Deadline: Oct 11, 2020 | ||
Innovations in Software Engineering Conference, ISEC (Formerly known as India Software Engineering Conference) is the annual conference of iSOFT, the India chapter of ACM SIGSOFT (isoft.acm.org) under... | ||
CLOUD SOFTWARE ENGINEERING | ||
FPGA 2021 : Symposium on Field Programmable Gate ArraysSeaside, United States |
||
When: Feb 28, 2021 - Mar 02, 2021 Submission Deadline: Oct 11, 2020 | ||
The ACM/SIGDA International Symposium on Field-Programmable Gate Arrays is the premier conference for presentation of advances in all areas related to FPGA technology. For FPGA conferences, we solicit... | ||
SOFTWARE ENGINEERING PROGRAMMING HARDWARE ELECTRONICS SIGNAL PROCESSING | ||
CGO 2021 : International Symposium on Code Generation and OptimizationSeoul, South Korea |
||
When: Feb 27, 2021 - Feb 27, 2021 Submission Deadline: Sep 01, 2020 | ||
The International Symposium on Code Generation and Optimization (CGO) is a premier venue to bring together researchers and practitioners working at the interface of hardware and software on a wide ran... | ||
COMPUTATIONAL THEORY MATHEMATICS SOFTWARE ENGINEERING PROGRAMMING | ||
|
||
When: May 26, 2021 - May 27, 2021 Submission Deadline: Feb 01, 2021 | ||
The theme of ECBS 2021 will be “Engineering for Trustworthy World” that stresses the importance of computer and software engineering to produce reliable and secure systems for new domains ... | ||
AUTOMOTIVE SOFTWARE CYBER PHYSICAL SYSTEMS INTERNET OF THINGS DIGITAL MANUFACTURING | ||
ICSCA 2021 : 10th International Conference on Software and Computer ApplicationsKuala Lumpur, Malaysia |
||
When: Feb 23, 2021 - Feb 26, 2021 Submission Deadline: Oct 05, 2020 | ||
ICSCA 2021 is where you will meet and network with leaders, business innovators, researchers, academics and policy makers from across the globe. It's an annual event over the past 9 years and it p... | ||
SOFTWARE ENGINEERING COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE COMPUTING | ||
|
||
When: Feb 08, 2021 - Feb 10, 2021 Submission Deadline: Sep 14, 2020 | ||
The purpose of the International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021, is to provide a platform for researchers, engineers, academics as well as industrial ... | ||
SOFTWARE ENGINEERING MODELING COMPUTER SCIENCE | ||
|
||
When: Feb 11, 2021 - Feb 13, 2021 Submission Deadline: Sep 14, 2020 | ||
The purpose of the International Conference on Biomedical Electronics and Devices is to bring together researchers and practitioners from electronics, mechanical engineering, physics and related areas... | ||
SECURITY SOFTWARE ENGINEERING MULTIMEDIA WIRELESS | ||
|
||
When: Jun 19, 2020 - Jun 21, 2020 Submission Deadline: Feb 10, 2020 | ||
2020 5th International Conference on Machine Learning Technologies (ICMLT 2020) is going to take place at Beijing, China during June 19-21, 2020 which will offer an ideal platform for p... | ||
INTELLIGENT SYSTEMS SOFTWARE ENGINEERING COMPUTER SCIENCE COMPUTATIONAL INTELLIGENCE | ||
|
||
When: Jun 19, 2020 - Jun 21, 2020 Submission Deadline: Feb 10, 2020 | ||
Welcome to the official website of the 2020 5th International Conference on Computational Intelligence and Applications (ICCIA 2020), which will be held in Beijing, China, during ... | ||
COMPUTER SCIENCE SOFTWARE ENGINEERING ARTIFICIAL INTELLIGENCE COMPUTING | ||
|
||
When: Jul 08, 2020 - Jul 12, 2020 Submission Deadline: Feb 12, 2020 | ||
The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), the main European conference in Theoretical Computer Science and annual meeting of the European Association for T... | ||
SOFTWARE ENGINEERING PROGRAMMING COMPUTER SCIENCE | ||
|
||
When: Jul 17, 2020 - Jul 19, 2020 Submission Deadline: Feb 25, 2020 | ||
4th International Conference on Computer, Software and Modeling will be held in Rome, Italy, July 17-19, 2020. It aims to provide a forum for researchers, practitioners, and professionals from t... | ||
COMPUTER SCIENCE SOFTWARE ENGINEERING MODELING SIMULATION | ||
|
||
When: May 29, 2020 - May 31, 2020 Submission Deadline: Feb 15, 2020 | ||
Human–computer interaction (HCI) researches the design and use of computer technology, focused on the interfaces between people (users) and computers. Researchers in the field of HCI observe the... | ||
ARTIFICIAL INTELLIGENCE SOFTWARE ENGINEERING COMPUTER SCIENCE COMPUTER VISION | ||
AIPR 2020 : 3rd International Conference on Artificial Intelligence and Pattern Recognition - Ei Compendex, ScopusHuaqiao University, Xiamen, China |
||
When: Jun 26, 2020 - Jun 28, 2020 Submission Deadline: Feb 15, 2020 | ||
On behalf of the Organizing Committees, it is with great pleasure that we welcome you to the 2020 3rd International Conference on Artificial Intelligence and Pattern Recognition (AIPR 2020). It will b... | ||
ARTIFICIAL INTELLIGENCE PATTERN RECOGNITION COMPUTER SCIENCE SOFTWARE ENGINEERING | ||
ICSOFT 2020 : 15th International Conference on Software TechnologiesLieusaint - Paris, France |
||
When: Jul 07, 2020 - Jul 09, 2020 Submission Deadline: Feb 14, 2020 | ||
The purpose of ICSOFT 2020, the 15th International Conference on Software Technologies, is to bring together researchers, engineers and practitioners interested on software technologies. The conferenc... | ||
SOFTWARE ENGINEERING INFORMATION TECHNOLOGY SOFTWARE ARCHITECTURE COMPUTER SCIENCE | ||
|
||
Submission Deadline: Feb 14, 2020 | ||
Video games continue to open new frontiers in entertainment as well as more serious computing. The academic and industrial interest in the design, development, and education of video games has been wi... | ||
COMMUNICATIONS NETWORKS VLSI SOFTWARE ENGINEERING | ||
CF 2020 : ACM International Conference on Computing Frontiers 2020Catania, Sicily, Italy |
||
When: May 11, 2020 - May 13, 2020 Submission Deadline: Feb 11, 2020 | ||
The next ACM International Conference on Computing Frontiers will be held May 11th - 13th in Sicily, Italy, in the town of Catania. Computing Frontiers is an eclectic, interdisciplinary, collaborative... | ||
COMPUTER SCIENCE COMPUTING SOFTWARE COMPUTER ARCHITECTURE | ||
Find and Compare Upcoming Software Events in February. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.