 |
||
| When: May 23, 2021 - May 24, 2021 Submission Deadline: Jan 12, 2021 | ||
| The software industry needs tools and methods to deliver high-quality software. Much progress has been achieved from the early days of software development; still, nowadays, even considering the state... | ||
| COMPUTER SCIENCE FORMAL METHODS SOFTWARE DEVELOPMENT | ||
 |
||
| When: Jun 07, 2021 - Jun 11, 2021 Submission Deadline: Feb 22, 2021 | ||
| The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual... | ||
| FORMAL METHODS COMPUTER SCIENCE | ||
|
|
||
| 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 | ||
 |
||
| When: Nov 28, 2020 - Nov 30, 2020 Submission Deadline: Jul 15, 2020 | ||
| The 4th Edition of the International Conference on Advanced Aspects of Software Engineering (ICAASE’20) will be held in November 28-30, 2020. The conference will provide an excellent internation... | ||
| SOFTWARE ENGINEERING FORMAL METHODS ARTIFICIAL INTELLIGENCE EMERGING SYSTEMS | ||
iFM 2020 : 16th International Conference on integrated Formal MethodsLugano, Switzerland |
||
| When: Nov 16, 2020 - Nov 20, 2020 Submission Deadline: Jun 22, 2020 | ||
| The Integrated Formal Methods (iFM) conference series targets research in formal approaches that combine different methods for modeling and analysis. The conference covers a broad spectrum o... | ||
| FORMAL METHODS MODELING SOFTWARE ENGINEERING | ||
 |
||
| When: Aug 31, 2020 - Sep 03, 2020 Submission Deadline: Apr 03, 2020 | ||
| The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on evaluation and verification of computer systems and networks, through stochastic models and measuremen... | ||
| FORMAL METHODS SECURITY | ||
 |
||
| When: Jul 14, 2020 - Jul 20, 2020 Submission Deadline: Mar 19, 2020 | ||
| The Fifth International Conference on Data Mining and Big Data (DMBD’2020) serves as an international forum for researchers and practitioners to exchange latest advantages in theories, algo... | ||
| DATA MINING MACHINE LEARNING STATISTICAL METHODS DATA MINING SYSTEMS | ||
 CONISOFT 2020 : 8th International Conference on Software Engineering Research and InnovationChetumal, Quintana Roo, Mexico |
||
| When: Nov 04, 2020 - Nov 06, 2020 Submission Deadline: May 22, 2020 | ||
| The 8th International Conference in Software Engineering Research and Innovation (CONISOFT’20) will be held at the Instituto Tecnológico de Chetumal (Technological Institute of ... | ||
| SOFTWARE ENGINEERING FORMAL METHODS | ||
|
|
||
| When: Nov 02, 2020 - Nov 06, 2020 Submission Deadline: May 01, 2020 | ||
| International Conference on Formal Engineering Methods (ICFEM) is an international leading conference series in formal methods and software engineering. Since 1997, ICFEM has been serving as an intern... | ||
| FORMAL METHODS VERIFICATION SOFTWARE ENGINEERING PROGRAM ANALYSIS | ||
ICE 2020 : 13th Interaction and Concurrency ExperienceUniversity of Malta, Valletta |
||
| When: Jun 19, 2020 - Jun 20, 2020 Submission Deadline: Apr 22, 2020 | ||
| Interaction and Concurrency Experiences (ICE) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools... | ||
| COMPUTER SCIENCE CONCURRENCY FORMAL METHODS PROGRAMMING LANGUAGES | ||
|
|
||
| When: Sep 02, 2020 - Sep 03, 2020 Submission Deadline: May 15, 2020 | ||
| The aim of FMICS is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineer... | ||
| FORMAL METHODS | ||
A&WMA Measurements 2020 : Air Quality Measurement Methods and TechnologySan Diego, California, USA |
||
| When: Dec 01, 2020 - Dec 03, 2020 Submission Deadline: May 04, 2020 | ||
| One of our most popular specialty conferences, the Air Quality Measurement Methods and Technology Conference, returns in 2020 with its extensive coverage of all aspects of air measurement methodologie... | ||
| ENVIRONMENT ENVIRONMENTAL SCIENCES ENVIRONMENTAL ENGINEERING | ||
 EMNLP 2020 : The 2020 Conference on Empirical Methods in Natural Language ProcessingPunta Cana, Dominican Republic |
||
| When: Nov 08, 2020 - Nov 12, 2020 Submission Deadline: May 11, 2020 | ||
| The 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP 2020) invites the submission of long and short papers on substantial, original, and unpublished research in empirical met... | ||
| NATURAL LANGUAGE PROCESSING | ||
 TTCS 2020 : Topics in Theoretical Computer ScienceTehran, Iran |
||
| When: Jul 01, 2020 - Jul 03, 2020 Submission Deadline: Feb 16, 2020 | ||
| TTCS is a new bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with th... | ||
| COMPUTER SCIENCE MACHINE LEARNING FORMAL METHODS SECURITY | ||
|
|
||
| When: Jun 15, 2020 - Jun 19, 2020 Submission Deadline: Jan 15, 2020 | ||
| The IPMU conference is organized every two years with the focus of bringing together scientists working on methods for the management of uncertainty and aggregation. It also provides a forum for the e... | ||
| UNCERTAINTY BAYESIAN METHODS FUZZY SETS MACHINE LEARNING | ||
|
|
||
| When: Sep 3, 2019 - Sep 5, 2019 Submission Deadline: Aug 29, 2019 | ||
| Research papers related to all areas of Business Economics and Social Science are invited for the above int'l conference offering publication opportunities in peer reviewed, Scopus Indexed journals &... | ||
| BUSINESS ECONOMICS SOCIAL SCIENCE SOCIOLOGY FINANCE | ||
 PEFnet 2019 : 23rd European Scientific Conference of Doctoral StudentsMendel University in Brno |
||
| When: Nov 28, 2019 - Nov 28, 2019 Submission Deadline: Nov 4, 2019 | ||
| Each year, the Faculty of Business and Economics of Mendel University in Brno sponsors and coordinates the PhD Student Conference called PEFnet. The conference provides an opportunity for PhD students... | ||
| COMPUTER SCIENCE ECONOMICS AND FINANCE MARKETING AND MANAGEMENT QUANTITATIVE METHODS | ||
|
|
||
| When: Jun 18, 2020 - Jun 19, 2020 Submission Deadline: Nov 27, 2019 | ||
| The ECRM conference will bring together researchers from a range of disciplines and sectors to share expertise and novel approaches in business and management research methods. • ECRM is interes... | ||
| RESEARCH METHODOLOGY MIXED METHODS | ||
|
|
||
| When: Apr 27, 2020 - Apr 29, 2020 Submission Deadline: Jan 26, 2020 | ||
| USG-United Scientific Group (A non-profit scientific organization) cordially welcomes you to the second edition of “Analytical and Bioanalytical Methods Conference (ANALYTICON-2020)” in San Franci... | ||
| • BIOMEDICAL ANALYSIS • FOOD AND BEVERAGE ANALYSIS • PHARMACEUTICAL ANALYSIS • ENVIRONMENTAL ANALYTICAL ASP | ||
 |
||
| When: Sep 22, 2019 - Sep 26, 2019 Submission Deadline: Jul 26, 2019 | ||
| We invite submissions for this special session concerning all kinds of semantic-based natural language processing approaches.Work in related fields like information retrieval will be considered also.T... | ||
| NLP SEMANTICS | ||
 |
||
| When: Feb 24, 2020 - Feb 26, 2020 Submission Deadline: Nov 15, 2019 | ||
| CALL FOR PAPERS • 11th International Conference on Bioinformatics Models, Methods and Algorithms BIOINFORMATICS • website: http://www.bioinformatics.biostec.org/ • February 24 - 26, ... | ||
| BIOINFORMATICS BIOMEDICAL ENGINEERING COMPUTATIONAL BIOLOGY INFORMATICS | ||
|
|
||
| When: Feb 22, 2020 - Feb 24, 2020 Submission Deadline: Nov 15, 2019 | ||
| CALL FOR PAPERS • 9th International Conference on Pattern Recognition Applications and Methods ICPRAM • website: http://www.icpram.org/ • February 22 - 24, 2020 Valletta, Malta &bul... | ||
| ARTIFICIAL INTELLIGENCE MACHINE LEARNING PATTERN RECOGNITION KNOWLEDGE DISCOVERY | ||
|
|
||
| When: May 27, 2020 - May 29, 2020 Submission Deadline: Jan 20, 2020 | ||
| ABZ 2020: International Conference on Rigorous State Based Methods • ------------------------------------------------------------------------------------------------ • First Call for Papers,... | ||
| COMPUTER SCIENCE FORMAL METHODS FORMAL SPECIFICATION RIGOROUS METHODS | ||
|
|
||
| When: Nov 3, 2019 - Nov 4, 2019 Submission Deadline: Aug 23, 2019 | ||
| Workshop at EMNLP-IJCNLP, Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (November 3–7, 2019) in Hong Kong ... | ||
| NATURAL LANGUAGE PROCESSING GRAPH-BASED METHODS NETWORK SCIENCE SHARED TASK | ||
|
|
||
| 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 | ||
 |
||
| When: Oct 8, 2019 - Oct 11, 2019 Submission Deadline: May 21, 2019 | ||
| Scope • Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system corre... | ||
| FORMAL METHODS VERIFICATION TESTING | ||
|
|
||
| When: Dec 4, 2019 - Dec 8, 2019 Submission Deadline: Jul 5, 2019 | ||
| ... | ||
| FORMAL METHODS SOFTWARE ENGINEERING | ||
|
|
||
| When: Aug 26, 2019 - Aug 30, 2019 Submission Deadline: Jul 5, 2019 | ||
| • *** Application Deadline: July 5, 2019 • FOSAD has been one of the foremost events established • with the goal of disseminating knowledge about • foundations of security anal... | ||
| SECURITY COMPUTER SCIENCE FORMAL METHODS INFORMATION TECHNOLOGY | ||
|
|
||
| When: Oct 15, 2019 - Oct 17, 2019 Submission Deadline: Jun 2, 2019 | ||
| ---------------------------------------------------------------------- • IFIP-ICTSS 2019 • THE 31st IFIP INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS • Paris, France, Oct... | ||
| INTERNATIONAL CONFERENCE TESTING FORMAL METHODS VERIFICATION | ||
|
|
||
| When: May 30, 2019 - Jun 1, 2019 Submission Deadline: May 21, 2019 | ||
| All accepted and presented papers will be published in International Conference Proceedings Series, which will be indexed by Ei Compendex, Scopus, DOAJ, CPCI and Thomson Reuters Conference Proceedings... | ||
| LANGUAGE SOCIAL SCIENCES PSYCHOLOGY CULTURE | ||
Find and Compare Upcoming Methods Conferences. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.