FORMAL METHODS EVENTS
Filter:
formal methods
 Vienna, Austria |
||
| 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 measurements. Performance metrics of interest include response time, reliability, availability, safety, sec... | ||
| FORMAL METHODS SECURITY | ||
 Chetumal, 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 Chetumal), in Chetumal City, State of Quintana Roo, Mexico. November 04th-06th, 2020. The purpose of... | ||
| SOFTWARE ENGINEERING FORMAL METHODS | ||
 Guangzhou, China |
||
| 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 Software Chinese Academy of Sciences and organised by Institute of Intelligent Software, Guangzhou. ... | ||
| FORMAL METHODS EMBEDDED SYSTEMS SOFTWARE ENGINEERING SAFETY | ||
 Paris, France |
||
| When: Jun 30, 2020 - Jun 30, 2020 Submission Deadline: Apr 22, 2020 | ||
| Women in Logic 2020 is part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Université Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events. The Women in Logic workshop (WiL) provides an opportunity to increas... | ||
| ARTIFICIAL INTELLIGENCE BIOINFORMATICS FORMAL METHODS | ||
 Brussels, Belgium |
||
| When: Sep 21, 2020 - Sep 23, 2020 Submission Deadline: Jun 15, 2020 | ||
| The Eleventh International Symposium on Games, Automata, Logics, and Formal Verification will be held in Brussels (Belgium) on September 21-23, 2020. This year, GANDALF will be organised together with a workshop on Stochastic Games organised by the GAMENET network (https://gametheorynetwork.com) whi... | ||
| COMPUTER SCIENCE FORMAL METHODS GAMES THEORETICAL COMPUTER SCIENCE | ||
 |
||
| Submission Deadline: Oct 01, 2020 | ||
| Today, the growing interest in Wireless Sensor Networks has led to their deployment at large scale in several fields ranging from environmental monitoring to smart transportation, industrial systems, health and biomedical systems, intelligent environments, etc. Sensors being a key component of the I... | ||
| DISTRIBUTED COMPUTING WIRELESS NETWORKS FORMAL METHODS NETWORKING | ||
 Singapore |
||
| 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 international forum for researchers and practitioners who have been seriously applying formal methods to p... | ||
| FORMAL METHODS VERIFICATION SOFTWARE ENGINEERING PROGRAM ANALYSIS | ||
|
University 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, and programming primitives for complex interactions. The general scope of the venue includes th... | ||
| COMPUTER SCIENCE CONCURRENCY FORMAL METHODS PROGRAMMING LANGUAGES | ||
 Vienna, Austria |
||
| 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 engineers who are active in the area of formal methods and interested in exchanging their experiences in the... | ||
| FORMAL METHODS | ||
 Vienna, Austria |
||
| When: Aug 31, 2020 - Aug 31, 2020 Submission Deadline: Jun 26, 2020 | ||
| The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has traditionally been on the comparison between programming concepts (such as concurrent, functional, imp... | ||
| FORMAL METHODS SEMANTICS THEORETICAL COMPUTER SCIENCE LOGIC | ||
 Tehran, 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 the European Association for Theoretical Computer Science. • There will be a number of sate... | ||
| COMPUTER SCIENCE MACHINE LEARNING FORMAL METHODS SECURITY | ||
|
Valencia |
||
| When: Nov 24, 2019 - Nov 28, 2019 Submission Deadline: Sep 18, 2019 | ||
| In recent years, software-based systems have experienced a continuous growth in dimensions, complexity, and significance in a very wide range of fields and applications. Unsurprisingly, this central role of software systems has gone hand in hand with an increase of critical errors and failures that ... | ||
| COMPUTER SCIENCE ANALYSIS VERIFICATION FORMAL METHODS | ||
|
Shenzhen, China |
||
| When: Nov 9, 2019 - Nov 9, 2019 Submission Deadline: Sep 3, 2019 | ||
| ------------------------------------------------------------------- • Call for Papers • FTSCS 2019 &bul... | ||
| FORMAL METHODS SOFTWARE ENGINEERING VERIFICATION INDUSTRIAL APPLICATIONS | ||
|
N/A |
||
| Submission Deadline: Sep 15, 2019 | ||
| ---------------------------------------------- • IEEE Communications Magazine Feature Topic • “5G Security: Can 5G Be Verifiably Secure?” • ---------------------------------------------- • 5G heralds the advent of the true convergence of IT and Wireless and Wireline netwo... | ||
| 5G SECURITY FORMAL METHODS VERIFICATION | ||
 Porto |
||
| When: Oct 8, 2019 - Oct 8, 2019 Submission Deadline: Jul 4, 2019 | ||
| Objective : • Abstract domains are a key notion in Abstract Interpretation theory • and practice. The Abstract Interpretation framework provides • constructive and systematic formal methods to design, compose, • compare, study, prove, and apply abstract domains, notably for ... | ||
| ABSTRACT INTERPRETATION VERIFICATION FORMAL METHODS NUMERICAL DOMAINS | ||
 Ulm, Germany |
||
| 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, Answers to case studies, Workshops, Tutorials • ----------------------------------------------... | ||
| COMPUTER SCIENCE FORMAL METHODS FORMAL SPECIFICATION RIGOROUS METHODS | ||
|
Oslo, Norway |
||
| When: Sep 16, 2019 - Sep 17, 2019 Submission Deadline: Jul 1, 2019 | ||
| # CoSim-CPS-19: 3rd Workshop on Formal Co-Simulation of Cyber-Physical Systems • **Oslo, Norway, September 16-17, 2019** • ## Overview • **Conference website:** https://sites.google.com/view/cosimcps19 • **Submission link:** https://easychair.org/conferences/?conf=cosimcps19 ... | ||
| FORMAL METHODS CO-SIMULATION MODELLING SAFETY | ||
|
Shenzhen, China |
||
| 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 formal methods. The technical scope of the symposium including but not limited to the following: &bu... | ||
| FORMAL METHODS PROGRAM ANALYSIS SOFTWARE ENGINEERING | ||
 Porto |
||
| 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 correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness com... | ||
| FORMAL METHODS VERIFICATION TESTING | ||
 Porto, Portugal |
||
| When: Oct 8, 2019 - Oct 8, 2019 Submission Deadline: Jun 16, 2019 | ||
| The 17th Overture Workshop will be held on 08 October 2019 in association with the the 3rd World Congress on Formal Methods (FM2019). • The 17th Overture Workshop is the latest in a series of workshops around the Vienna Development Method (VDM), the open-source project Overture, and related to... | ||
| FORMAL METHODS SOFTWARE MODELLING MBSE | ||
|
Bergen |
||
| When: Dec 4, 2019 - Dec 8, 2019 Submission Deadline: Jul 5, 2019 | ||
| ... | ||
| FORMAL METHODS SOFTWARE ENGINEERING | ||
|
Berlin, Germany |
||
| When: Aug 18, 2019 - Aug 18, 2019 Submission Deadline: May 25, 2019 | ||
| The ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing aims to bring together researchers and practitioners exploring or employing the use of functional or declarative programming languages or techniques in scientific computing, and specifically in the domains ... | ||
| HIGH-PERFORMANCE COMPUTING DECLARATIVE LANGUAGES FORMAL METHODS NUMERICAL PROGRAMMING | ||
|
Prague, Czech Republic |
||
| When: Jul 8, 2019 - Jul 12, 2019 Submission Deadline: Apr 25, 2019 | ||
| ... | ||
| FORMAL METHODS CYBER-PHYSICAL SYSTEMS SAFETY FORMAL VERIFICATION | ||
|
Bertinoro, Italy |
||
| 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 analysis and design to • graduate students and young computer scientists from • academia or ... | ||
| SECURITY COMPUTER SCIENCE FORMAL METHODS INFORMATION TECHNOLOGY | ||
|
Paris, France |
||
| When: Sep 9, 2019 - Sep 10, 2019 Submission Deadline: Jun 8, 2019 | ||
| CFP: Formal Approaches for Advanced Computing Systems - workshop @ ECSA 2019 • ***************************************************************** • 3rd Workshop on Formal Approaches for Advanced Computing Systems FAACS 2019 • http://faacs.di.unimi.it • co-located with the 13th... | ||
| SOFTWARE ARCHITECTURE SOFTWARE ENGINEERING FORMAL METHODS SOFTWARE VERIFICATION | ||
|
Paris |
||
| 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, October 15-17, 2019 • http://ictss2019.centralesupelec.fr • ifipictss2019@easychair.org &b... | ||
| INTERNATIONAL CONFERENCE TESTING FORMAL METHODS VERIFICATION | ||
|
Turku, Finland |
||
| When: Sep 10, 2019 - Sep 10, 2019 Submission Deadline: May 13, 2019 | ||
| ... | ||
| FORMAL VERIFICATION FORMAL METHODS AUTONOMOUS SYSTEMS SAFETY | ||
|
Amsterdam |
||
| When: Oct 23, 2019 - Oct 25, 2019 Submission Deadline: Jul 12, 2019 | ||
| ** • ** Call for Papers: FACS 2019 • ** • ** 16th International Conference on • ** Formal Aspects of Component Software • ** • ** 23-25 October 2019, Amsterdam • ** • ** http://facs2019.org • ** • ## NEWS • * Deadline extension -- abs... | ||
| FORMAL METHODS SOFTWARE ENGINEERING MODELING PROGRAMMING LANGUAGES | ||
|
Hoboken, USA |
||
| When: Jun 24, 2019 - Jun 24, 2019 Submission Deadline: Apr 22, 2019 | ||
| Computer security is an established field of both theoretical and practical significance. In recent years, there has been sustained interest in the formal foundations of methods used in computer security. The aim of the FCS 2019 workshop is to provide a forum for the discussion of continued research... | ||
| SECURITY COMPUTER SCIENCE FORMAL METHODS | ||
|
Eindhoven, The Netherlands |
||
| When: Jul 17, 2019 - Jul 17, 2019 Submission Deadline: May 7, 2019 | ||
| • ----------------------------------------------------------------------- • First CALL FOR PAPERS • GCM 2019 • Tenth International Workshop on • Graph Computation Models • Eindhoven, The Netherlands, July 17th, 2019 • http://gcm2019.imag.fr/ • Part of ... | ||
| THEORETICAL COMPUTER SCIENCE FORMAL METHODS MODEL TRANSFORMATION GRAPH REWRITING | ||
Event Type
EVENTS RECENTLY ADDED |
|
|
|
ACM SPML 2020 : 3rd International Conference on Signal Processing and Machine Learning
Beijing, China Oct 22, 2020 |
 BDAI 2020 : International Conference on Industrial Applications of Big Data and Artificial Intelligence
Shenzhen, China Nov 26, 2020 |
|
SPECOM 2020 : 22nd International Conference on Speech and Computer
St. Petersburg, Russia Oct 06, 2020 |
|
IEEE CiSt 2020 : 6th IEEE Congress on Information Science and Technology
Agadir - Essaouira, Morocco Dec 12, 2020 |
 MNLP 2020 : 4th IEEE Conference on Machine Learning and Natural Language Processing
Agadir, Essaouira, Morocco Dec 12, 2020 |
|
|
|
CCEAI 2021 : 5th International Conference on Control Engineering and Artificial Intelligence
Phuket, Thailand Jan 14, 2021 |
|
|
|
WSPML 2020 : 2nd International Workshop on Signal Processing and Machine Learning
Kuala Lumpur, Malaysia Nov 20, 2020 |
|
|
 KI-KMU 2020 : Workshop on Artificial Intelligence for Small and Medium-Sized Enterprises
Karlsruhe Sep 29, 2020 |
|
NEAT 2020 : ACM SIGCOMM 2020 Workshop on Networking for Emerging Applications and Technologies
New York, NY Aug 10, 2020 |
|
|
|
|
|
|
|
MSA 2020 : Special Issue on Pattern Recognition and Artificial Intelligence based Multimedia Systems and Applications in Multimedia Tools and Applications (Springer)
|
|
SYNASC 2020 : 22th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Timisoara Sep 01, 2020 |
|
ICNCSG 2021 : 3rd International Conference on New Computer Science Generation
Treviso, Italy Mar 20, 2021 |
|
|