![]() 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: Oct 22, 2022 - Oct 23, 2022 Submission Deadline: Jun 4, 2022 | ||
International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2022)October 22 ~ 23, 2022, Sydney, AustraliaTopics of interest include, but are not limited to, the followingDevop... | ||
SOFTWARE ENGINEERING MACHINE LEARNING SOFTWARE ARCHITECTURE SOFTWARE TESTING | ||
![]() |
||
Submission Deadline: Jun 11, 2022 | ||
International Journal of Electronic Design and Test(JEDT)Scope and TopicsInternational Journal of Electronic Design and Test(JEDT) is a peer-reviewed, open access journal which invites original works... | ||
ELECTRONIC SIMULATION MODULE DESIGN SIP TESTING | ||
![]() NFM 2022 : NASA Formal Methods 2022Pasadena, California, USA |
||
When: May 24, 2022 - May 27, 2022 Submission Deadline: Jan 10, 2022 | ||
NFM 2022 - CALL FOR PAPERS • The 14th NASA Formal Methods Symposium • https://nfm2022.caltech.edu • May 24-27, 2022 • Pasadena, California, USA • *** EXTENDED SUBMISSION... | ||
FORMAL METHODS TESTING VERIFICATION SOFTWARE ENGINEERING | ||
![]() SOENG 2021 : 7th International Conference on Software EngineeringCopenhagen, Denmark |
||
When: Apr 24, 2021 - Apr 25, 2021 Submission Deadline: Mar 13, 2021 | ||
7th International Conference on Software Engineering (SOENG 2021) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of S... | ||
SOFTWARE ENGINEERING SOFTWARE TESTING SECURITY COMPUTER SCIENCE | ||
![]() ADCOM 2021 : 7th International conference on Advanced ComputingVienna, Austria |
||
When: Mar 20, 2021 - Mar 21, 2021 Submission Deadline: Jan 16, 2021 | ||
7th International conference on Advanced Computing (ADCOM 2021) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of Com... | ||
CLOUD COMPUTING KNOWLEDGE MANAGEMENT TESTING SOFT COMPUTING | ||
![]() |
||
When: Jun 14, 2021 - Jun 17, 2021 Submission Deadline: Feb 16, 2021 | ||
The 13th International Conference on Quality of Multimedia Experience will be held virtually from June 14th to 17th, 2021. QoMEX 2021 will provide a warm welcome to leading experts from academia ... | ||
CROWDSOURCING TESTING | ||
![]() |
||
When: Oct 03, 2021 - Oct 07, 2021 Submission Deadline: Jul 05, 2021 | ||
ICSEA 2021 conference tracks: Trends and achievements Advanced agile software development; Machine learning-oriented software; Fast data-pressing algorithms; Special software for Industry 4.0 ap... | ||
SOFTWARE ENGINEERING SOFTWARE TESTING | ||
![]() |
||
When: Oct 03, 2021 - Oct 07, 2021 Submission Deadline: Jul 05, 2021 | ||
VALID 2021 conference tracks: Trends and achievements Testing and validating Industry 4.0 applications; Testing and validating Internet of Things (IoT) systems; Big Datasets validation; Validate... | ||
TESTING VALIDATION DESIGN | ||
![]() |
||
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 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 | ||
![]() |
||
Submission Deadline: Mar 31, 2021 | ||
This special issue welcomes contributions regarding approaches, techniques, tools and experience reports about adopting and improving test automation cost/effectiveness, as well as empirical studies a... | ||
SOFTWARE TESTING SOFTWARE ENGINEERING | ||
![]() |
||
When: Oct 24, 2020 - Oct 25, 2020 Submission Deadline: Oct 03, 2020 | ||
International Conference on Advances in Software Engineering (ASOFT 2020) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications o... | ||
SOFTWARE ENGINEERING SOFTWARE TESTING SOFTWARE ARCHITECTURE | ||
![]() JSE 2020 : 9th International Conference on Software Engineering and ApplicationsZurich, Switzerland |
||
When: Nov 21, 2020 - Nov 22, 2020 Submission Deadline: Sep 05, 2020 | ||
9th International Conference on Software Engineering and Applications (JSE 2020) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applica... | ||
SOFTWARE ENGINEERING SOFTWARE TESTING COMPUTER SCIENCE INFORMATION TECHNOLOGY | ||
![]() |
||
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 | ||
![]() |
||
When: Oct 17, 2020 - Oct 17, 2020 Submission Deadline: Sep 18, 2020 | ||
Due to the global situation with COVID-19 the conference will be held online. • Early Bird Registration: 11 September 2020 • Abstract Submission: 18 September 2020 • Registration Deadli... | ||
LANGUAGE SEMANTICS PSYCHOLINGUISTICS TEACHING | ||
![]() |
||
When: May 19, 2021 - May 21, 2021 Submission Deadline: Nov 01, 2020 | ||
FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry to present and discuss their research work in t... | ||
SOFTWARE ENGINEERING FORMAL METHODS SOFTWARE TESTING COMPUTER SCIENCE | ||
![]() A-Mobile 2020 : The 3rd International Workshop on Advances in Mobile App AnalysisMelbourne, Australia |
||
When: Sep 21, 2020 - Sep 21, 2020 Submission Deadline: Aug 07, 2020 | ||
The international workshop on advances in mobile app analysis (A-Mobile) aims at bringing together international researchers and practitioners in the field of mobile app analysis to present and discus... | ||
MOBILE APP ANALYSIS SOFTWARE ENGINEERING SECURITY PRIVACY TESTING | ||
![]() 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: Dec 02, 2020 - Dec 04, 2020 Submission Deadline: Jun 26, 2020 | ||
Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST), the ICTAC conference series aims at bringing together researchers and practition... | ||
FORMAL METHODS COMPUTER SCIENCE SOFTWARE TESTING EMBEDDED SYSTEMS | ||
![]() SEA 2020 : 9th International Conference on Software Engineering and ApplicationsLondon, United Kingdom |
||
When: Jul 25, 2020 - Jul 26, 2020 Submission Deadline: May 30, 2020 | ||
9th International Conference on Software Engineering and Applications (SEA 2020) will provide an excellent international forum for sharing knowledge and results in theory, methodology and ap... | ||
SOFTWARE ENGINEERING INFORMATION RETRIEVAL SOFTWARE TESTING MULTIMEDIA | ||
![]() SOFT 2020 : 6th International Conference on Software EngineeringToronto, Canada |
||
When: Jul 11, 2020 - Jul 12, 2020 Submission Deadline: May 23, 2020 | ||
6th International Conference on Software Engineering (SOFT 2020) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of So... | ||
SOFTWARE ENGINEERING SOFTWARE TESTING SOFTWARE ARCHITECTURE COMPUTER SCIENCE | ||
![]() |
||
When: Oct 18, 2020 - Oct 22, 2020 Submission Deadline: Jun 27, 2020 | ||
VALID 2020 conference tracks: Trends and achievements Testing and validating Industry 4.0 applications; Testing and validating Internet of Things (IoT) systems; Big Datasets validation; Validate... | ||
SYSTEMS TESTING VALIDATION DESIGN | ||
![]() |
||
When: Oct 18, 2020 - Oct 22, 2020 Submission Deadline: Jun 27, 2020 | ||
ICSEA 2020 conference tracks: Trends and achievements Advanced agile software development; Machine learning-oriented software; Fast data-pressing algorithms; Special software for Industry 4.0 ap... | ||
SOFTWARE ENGINEERING SOA CLOUD SOFTWARE TESTING | ||
![]() |
||
When: Nov 15, 2020 - Nov 19, 2020 Submission Deadline: Jul 05, 2020 | ||
FASSI 2020 conference tracks: Hot research/industrial areas Integration-centric design; Maintenance and (safe) evolution; Software quality assurance; Variability modeling; Empirical studies chal... | ||
SOFTWARE TESTING MODELING | ||
![]() |
||
When: Oct 06, 2020 - Oct 08, 2020 Submission Deadline: May 15, 2020 | ||
IFIP-ICTSS is a well established conference where researchers, developers, testers, and users from industry get together to present and discuss the most recent innovations, experiences and open ... | ||
COMPUTER SCIENCE SECURITY SOFTWARE ENGINEERING TESTING | ||
![]() |
||
When: Aug 22, 2020 - Aug 23, 2020 Submission Deadline: Apr 25, 2020 | ||
9th International Conference on Software Engineering and Applications (SEAS 2020) will provide an excellent international forum for sharing knowledge and results in theory, methodology and a... | ||
SOFTWARE ENGINEERING MULTIMEDIA INFORMATION RETRIEVAL TESTING | ||
![]() |
||
Submission Deadline: Mar 14, 2020 | ||
The International Journal of Software Engineering & Applications (IJSEA) is a bi-monthly open access peer-reviewed journal that publishes articles which contribute new results in all areas of the Soft... | ||
SOFTWARE ENGINEERING SOFTWARE TESTING INFORMATION RETRIEVAL MULTIMEDIA | ||
![]() |
||
When: Jul 13, 2020 - Jul 15, 2020 Submission Deadline: Mar 02, 2020 | ||
Issues related to On-line testing techniques, and more generally to design for robustness, are increasingly important in modern electronic systems. In particular, the huge complexity of electronic sys... | ||
SYSTEMS | ||
Find and Compare Upcoming Testing Events. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.