 |
||
| 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 | ||
 |
||
| When: Apr 2, 2022 - Apr 3, 2022 Submission Deadline: Jan 10, 2022 | ||
| MARS 2022 - CALL FOR PAPERS - Munich (Germany) - 2-3 April 2022 • Call for Papers • Models for Formal Analysis of Real Systems • (MARS 2022) • 2-3 April 2022 • Affiliate... | ||
| NETWORKS FORMAL METHODS CYBER-PHYSICAL SYSTEMS MODELING | ||
 VPT 2022 : Verification and Program TransformationMünchen, Germany |
||
| When: Apr 2, 2022 - Apr 2, 2022 Submission Deadline: Jan 17, 2022 | ||
| The aim of the workshop is to bring together researchers working in the fields of Program Verification and Program Transformation. • There is a great potential for beneficial interactions betwe... | ||
| FORMAL METHODS VERIFICATION TEST PROGRAM | ||
 |
||
| When: Apr 3, 2022 - Apr 3, 2022 Submission Deadline: Feb 1, 2022 | ||
| Topic • The success of machine learning has recently motivated researchers in formal methods to adapt the highly scalable learning methods to the verification setting, where correctness guarant... | ||
| FORMAL METHODS VERIFICATION MACHINE LEARNING NEURAL NETWORKS | ||
 |
||
| When: Apr 3, 2022 - Apr 3, 2022 Submission Deadline: Jan 24, 2022 | ||
| Scope of the Workshop • System variants often arise by configuring parameters that have a direct impact on the system’s behavior. Most prominently, in feature-oriented system design, features... | ||
| FORMAL METHODS CYBER-PHYSICAL SYSTEMS DESIGN PERFORMANCE | ||
|
|
||
| When: Jun 16, 2022 - Jun 17, 2022 Submission Deadline: Apr 1, 2022 | ||
| LANMR 2022 is the fourteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning. The aim of LANMR is to bring together researchers interested in... | ||
| LOGIC AUTOMATED REASONING COMPUTER SCIENCE | ||
 |
||
| When: Sep 22, 2021 - Sep 24, 2021 Submission Deadline: Apr 12, 2020 | ||
| The 19th conference on Computational Methods in Systems Biology (CMSB 2020) will take place on the 22nd to 24th September 2020 in Bordeaux, France. Its aim is to bring together researchers ... | ||
| BIOLOGY COMPUTER SCIENCE NETWORK DYNAMICAL SYSTEMS | ||
 |
||
| When: Mar 27, 2021 - Apr 01, 2021 Submission Deadline: Oct 15, 2020 | ||
| ... | ||
| FORMAL METHODS PARALLEL COMPUTING PROGRAMMING VERIFICATION | ||
 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 | ||
 |
||
| When: Jun 22, 2020 - Jun 22, 2020 Submission Deadline: Apr 24, 2020 | ||
| The use of graphical security models to represent and analyse the security of systems has gained an increasing research attention over the last two decades. Formal methods and computer security resear... | ||
| SECURITY FORMAL METHODS VISUALIZATION COMPUTER SCIENCE | ||
|
|
||
| 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: Mar 14, 2020 - Mar 16, 2020 Submission Deadline: Apr 15, 2020 | ||
| Combinatorial optimization problems appear in a wide range of applications in operations research, engineering, biological sciences and computer science. Many combinatorial optimization approaches hav... | ||
| OPTIMIZATION | ||
 WiL 2020 : 4th Women in Logic WorkshopParis, 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, a... | ||
| ARTIFICIAL INTELLIGENCE BIOINFORMATICS FORMAL METHODS | ||
 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: 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 | ||
FVPS 2019 : 2nd Workshop on Formal Verification of Physical SystemsPrague, Czech Republic |
||
| When: Jul 8, 2019 - Jul 12, 2019 Submission Deadline: Apr 25, 2019 | ||
| ... | ||
| FORMAL METHODS CYBER-PHYSICAL SYSTEMS SAFETY FORMAL VERIFICATION | ||
|
|
||
| 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 secur... | ||
| SECURITY COMPUTER SCIENCE FORMAL METHODS | ||
|
|
||
| When: Jan 1, 2000 - Apr 25, 2019 Submission Deadline: Apr 25, 2019 | ||
| Call for Chapters • Proposals Submission Deadline: April 25, 2019 • Full Chapters Due: May 25, 2019 • Submission Date: September 2, 2019 • Introduction • Exploring online... | ||
| ONLINE LEARNING DISTANCE LEARNING SYNCHRONOUS ASYNCHRONOUS | ||
 |
||
| When: Oct 16, 2019 - Oct 19, 2019 Submission Deadline: Apr 25, 2019 | ||
| Dear colleagues, • It is a great pleasure for us to invite you to participate to the joint event: 9th Balkan Region Conference on Engineering and Business Education (BRCEBE) and 11th Internation... | ||
| NEW CURRICULA DEVELOPMENT LIFELONG LEARNING INNOVATIVE NEW METHODS IN ENGI MANAGEMENT OF ENGINEERING AND | ||
|
|
||
| When: Jul 15, 2019 - Jul 19, 2019 Submission Deadline: Apr 21, 2019 | ||
| Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to thei... | ||
| FORMAL METHODS PROGRAMMING LANGUAGES SOFTWARE ENGINEERING LOGIC | ||
|
|
||
| When: Sep 25, 2019 - Sep 27, 2019 Submission Deadline: Apr 10, 2019 | ||
| Call for Paper • ------------------------------------------------------------------------ • Special Session • WELL-BEING FOR FRAGILE PEOPLE (WHELP 2019) • at GOODTECHS 2019 - 5... | ||
| WELL-BEING AGEING ASSISTIVE TECHNOLOGY SMART HEALTH | ||
ICE 2019 : Interaction and Concurrency ExperienceLyngby, Denmark |
||
| When: Jun 20, 2019 - Jun 21, 2019 Submission Deadline: Apr 29, 2019 | ||
| ICE 2019 • 12th Interaction and Concurrency Experience • June 20-21, 2019, Lyngby, Denmark • Satellite workshop of DisCoTec 2019 • Paper submission: https://easychair.org/confe... | ||
| COMPUTER SCIENCE CONCURRENCY FORMAL METHODS PROGRAMMING LANGUAGES | ||
|
|
||
| When: Jul 4, 2019 - Jul 5, 2019 Submission Deadline: Apr 2, 2019 | ||
| CALL FOR PAPERS • Paper Submission Deadline: April 2nd, 2019 • International Workshop on Image Analysis Methods for the Plant Sciences • http://liris.univ-lyon2.fr/IAMPS2019/ •... | ||
| COMPUTER VISION IMAGE PROCESSING PLANTS | ||
 |
||
| When: Aug 19, 2019 - Aug 23, 2019 Submission Deadline: Apr 26, 2019 | ||
| International Symposium on Data & Model-Driven Methods for Trustworthy Systems • (DMTS 2019) • In conjunction with the 19th IEEE International Conference on Scalable Computing and Communic... | ||
| DATA MODEL PETRI TRUSTWORTHY SYSTEM | ||
|
|
||
| When: Jul 13, 2019 - Jul 14, 2019 Submission Deadline: Apr 29, 2019 | ||
| CALL FOR PAPERS • Verified Software: Theories, Tools and Experiments (VSTTE) 2019 • July 13-14, 2019, New York City, USA (co-located with CAV 2019) • ================================... | ||
| VERIFICATION FORMAL METHODS | ||
|
|
||
| When: Jun 24, 2019 - Jun 28, 2019 Submission Deadline: Apr 30, 2019 | ||
| The COMP-MED is a joint program generated by the cooperation between the Department of Informatics and Bicocca's School of Medicine. • Translational medicine (TM) is an interdisciplinary branch ... | ||
| COMPUTATIONAL METHODS TRANSLATIONAL MEDICINE MEDICINE INFORMATICS | ||
|
|
||
| When: Apr 6, 2019 - Apr 7, 2019 Submission Deadline: Feb 10, 2019 | ||
| Quantitative aspects of computation refer to the use of physical quantities (time, bandwidth, etc.) as well as mathematical quantities (for example, probabilities) for the characterisation of the beha... | ||
| COMPUTER SCIENCE FORMAL METHODS SEMANTICS PROGRAMMING LANGUAGES | ||
|
|
||
| When: Oct 7, 2019 - Oct 11, 2019 Submission Deadline: Apr 11, 2019 | ||
| FM 2019 is the 23rd 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... | ||
| FORMAL METHODS | ||
MaxEnt 2019 : Workshop on Bayesian Inference and Maximum Entropy Methods in Science and EngineeringGarching/Munich, GERMANY |
||
| When: Jun 30, 2019 - Jul 5, 2019 Submission Deadline: Apr 30, 2019 | ||
| Main topics of the workshop are the application of Bayesian inference and the maximum entropy principle to inverse problems in science, machine learning, information theory and engineering. • In... | ||
| BAYESIAN INFERENCE MACHINE LEARNING INVERSE PROBLEMS BIG DATA | ||
Find and Compare Upcoming Methods Events in April. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.