|
||
When: Oct 18, 2021 - Oct 22, 2021 Submission Deadline: Apr 09, 2021 | ||
The ATVA series of symposia is intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regi... | ||
SOFTWARE VERIFICATION MACHINE LEARNING | ||
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 | ||
|
||
When: Aug 25, 2021 - Aug 27, 2021 Submission Deadline: Mar 07, 2021 | ||
The 15th Theoretical Aspects of Software Engineering Conference (TASE 2021) will be held in Shanghai, China on August 25-27, 2021. TASE 2021 aims to provide a forum for people from academia and indust... | ||
SOFTWARE ENGINEERING FORMAL METHODS SOFTWARE TESTING | ||
|
||
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 | ||
|
||
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 | ||
|
||
When: Jul 12, 2021 - Jul 16, 2021 Submission Deadline: Jan 29, 2021 | ||
The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers... | ||
DATABASES INFORMATION SYSTEMS SOFTWARE ENGINEERING PROGRAMMING | ||
FM 2021 : Formal Methods 2021Beijing, China |
||
When: Nov 20, 2021 - Nov 26, 2021 Submission Deadline: Apr 30, 2021 | ||
FM 2021 is the 24th international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for s... | ||
SOFTWARE SYSTEMS ENGINEERING | ||
FPGA 2021 : Symposium on Field Programmable Gate ArraysSeaside, United States |
||
When: Feb 28, 2021 - Mar 02, 2021 Submission Deadline: Apr 30, 2021 | ||
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 | ||
UYMS 2020 : 14. Turkish National Software Engineering SymposiumIstanbul, Turkey |
||
When: Oct 07, 2020 - Oct 09, 2020 Submission Deadline: Jun 19, 2020 | ||
National Software Engineering Symposium (UYMS), Turkey software industry is providing a platform bringing together academics working in this field with the latest developments in software engineering ... | ||
SOFTWARE ENGINEERING SOFTWARE TESTING | ||
SBMF 2020 : 23rd Brazilian Symposium on Formal MethodsOuro Preto / Brazil |
||
When: Nov 25, 2020 - Nov 27, 2020 Submission Deadline: Jul 17, 2020 | ||
The 23rd SBMF is the 2020 edition of a series of events devoted to the development, dissemination, and use of formal methods for the construction of high-quality computational systems. It is now a wel... | ||
FORMAL METHODS COMPUTER SCIENCE SOFTWARE TESTING | ||
|
||
When: Nov 06, 2020 - Nov 08, 2020 Submission Deadline: May 20, 2020 | ||
European Symposium on Software Engineering covers a broad spectrum of software-related topics. The conference covers fundamentals on designing, implementing, testing, validating and maintaining variou... | ||
COMPUTER SCIENCE SOFTWARE ENGINEERING ARTIFICIAL INTELLIGENCE CLOUD COMPUTING | ||
|
||
When: Nov 01, 2020 - Nov 04, 2020 Submission Deadline: Jun 29, 2020 | ||
The ACM Symposium on Virtual Reality Software and Technology (VRST) is an international forum for the exchange of experience and knowledge among researchers and developers concerned with VR/... | ||
VIRTUAL REALITY | ||
|
||
When: Aug 19, 2020 - Aug 20, 2020 Submission Deadline: May 15, 2020 | ||
Hot Interconnects Symposium August 19-20, 2020 (Tutorials August 21, 2020) at QCT, San Jose, CA in 2020! Join us for our 27th year of an information packed three day symposium about the latest... | ||
NETWORK SYSTEM SOFTWARE | ||
|
||
When: Sep 25, 2020 - Sep 27, 2020 Submission Deadline: Apr 20, 2020 | ||
We cordially invite the scientific community to participate in what promises to be a memorable conference-The 2nd World Symposium on Software Engineering (WSSE 2020) in Chengdu, China on Sep... | ||
COMPUTER SCIENCE SOFTWARE ENGINEERING SYSTEMS ENGINEERING COMPUTATIONAL INTELLIGENCE | ||
|
||
When: Nov 24, 2020 - Nov 27, 2020 Submission Deadline: Jul 04, 2020 | ||
The Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA) 2020 will be held in Guangzhou China on November 24-27, 2020. SETTA 2020 will be sponsored by Institute of So... | ||
FORMAL METHODS EMBEDDED SYSTEMS SOFTWARE ENGINEERING SAFETY | ||
|
||
When: Oct 07, 2020 - Oct 08, 2020 Submission Deadline: May 11, 2020 | ||
Search-based Software Engineering (SBSE) is a research area focused on the formulation of software engineering problems as search problems, and the subsequent use of complex heuristic techniques to at... | ||
SOFTWARE ENGINEERING | ||
ESSCA 2020 : Second European Symposium on Serverless Computing and ApplicationsCopenhagen, Denmark |
||
When: Jun 12, 2020 - Jun 12, 2020 Submission Deadline: Mar 17, 2020 | ||
Serverless computing, the conjunction of Function-as-a-Service (FaaS) and Backend-as-a-Service (BaaS), has become an attractive polyglot programming and deployment model for developers and a core runt... | ||
SERVERLESS CLOUD MICROSERVICES SOFTWARE ENGINEERING | ||
|
||
When: Oct 12, 2020 - Oct 15, 2020 Submission Deadline: May 25, 2020 | ||
The annual International Symposium on Software Reliability Engineering (ISSRE) is focused on innovative techniques and tools for assessing, predicting, and improving the reliability, safety, and secur... | ||
RELIABILITY SOFTWARE ENGINEERING SECURITY SAFETY | ||
ISSTA 2020 : International Symposium on Software Testing and AnalysisLos Angeles, United States |
||
When: Jul 18, 2020 - Jul 22, 2020 Submission Deadline: Jan 27, 2020 | ||
The ACM SIGSOFT International Symposium on Software Testing and Analysis is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, a... | ||
DATABASES INFORMATION SYSTEMS SOFTWARE ENGINEERING PROGRAMMING COMPUTER SCIENCE | ||
UIST 2020 : ACM Symposium on User Interface Software and TechnologyMinneapolis, Minnesota, USA |
||
When: Oct 20, 2020 - Oct 23, 2020 Submission Deadline: Apr 01, 2020 | ||
The ACM Symposium on User Interface Software and Technology (UIST) is the premier forum for innovations in human-computer interfaces. Sponsored by ACM special interest groups on computer-human interac... | ||
HUMAN COMPUTER INTERACTION SOFTWARE ENGINEERING PROGRAMMING GRAPHICS COMPUTER SCIENCE | ||
|
||
When: Nov 04, 2020 - Nov 06, 2020 Submission Deadline: May 12, 2020 | ||
The 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI '20) will take place November 4–6, 2020, at the Fairmont Banff Springs in Banff, Alberta, Canada... | ||
SOFTWARE ENGINEERING PROGRAMMING COMPUTER SCIENCE | ||
FSE 2020 : ACM SIGSOFT International Symposium on Foundations of Software EngineeringSacramento, California, United States |
||
When: Nov 08, 2020 - Nov 13, 2020 Submission Deadline: Mar 05, 2020 | ||
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) is an internationally renowned forum for researchers, practitioners, and educ... | ||
COMPUTER SCIENCE SOFTWARE ENGINEERING PROGRAMMING | ||
|
||
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 | ||
|
||
When: Oct 08, 2020 - Oct 09, 2020 Submission Deadline: Apr 27, 2020 | ||
The ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) is the premier conference for presenting research results related to empirical software engineering. ESEM ... | ||
SOFTWARE ENGINEERING EMPIRICAL SOFTWARE ENGINEERING EMPIRICAL STUDIES | ||
|
||
When: Jul 06, 2020 - Jul 08, 2020 Submission Deadline: Mar 16, 2020 | ||
BMSD - the INTERNATIONAL SYMPOSIUM ON BUSINESS MODELING AND SOFTWARE DESIGN, is a leading international discussion and knowledge dissemination forum that brings together Researchers and Practitioners ... | ||
BUSINESS MODELING INFORMATION SYSTEMS ENTERPRISE ENGINEERING SOFTWARE ENGINEERING | ||
|
||
When: Aug 12, 2020 - Aug 14, 2020 Submission Deadline: Mar 25, 2020 | ||
2020 2nd Asia Symposium on Image Processing aims to provide a forum for researchers, practitioners, and professionals from the industry, academia and government to discourse on research and devel... | ||
INFORMATICS INFORMATION SCIENCE SOFTWARE ENGINEERING COMPUTER GRAPHICS | ||
|
||
When: May 25, 2020 - May 26, 2020 Submission Deadline: TBD | ||
# SEAMS 2020 - Call for Papers • The 15th International Symposium on Software Engineering for Adaptive and • Self-Managing Systems (SEAMS), Seoul, South Korea, May 25-26, 2020 • http... | ||
SOFTWARE ENGINEERING ADAPTIVES SYSTEMS ARTIFICIAL INTELLIGENCE COMPUTER SCIENCE | ||
|
||
When: Apr 2, 2020 - Apr 5, 2020 Submission Deadline: Oct 15, 2019 | ||
• 2020 Symposium on Pattern Recognition and Applications (SPRA 2020)--EI Compendex, Scopus • April 2-5, 2020 • More details, please visit: http://spra.org/ • SPRA 2020 aims to ... | ||
ARTIFICIAL INTELLIGENCE CLOUD COMPUTING IMAGE PROCESSING SOFTWARE ENGINEERING | ||
|
||
When: Nov 5, 2019 - Nov 9, 2019 Submission Deadline: Jul 12, 2019 | ||
http://csse.szu.edu.cn/icfem2019/symposium.html • Background and Objectives • The ICFEM 2019 Doctoral Symposium is an international forum for PhD students working in all areas related to f... | ||
FORMAL METHODS PROGRAM ANALYSIS SOFTWARE ENGINEERING | ||
Find and Compare Upcoming Software Symposiums. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.