 |
||
| When: Dec 9, 2019 - Dec 9, 2019 Submission Deadline: Oct 7, 2019 | ||
| ... | ||
| BIG DATA HUMAN-COMPUTER INTERACTION CROWDSOURCING COLLABORATION | ||
 |
||
| 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: 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.... | ||
| FORMAL METHODS CO-SIMULATION MODELLING SAFETY | ||
 |
||
| When: Sep 24, 2019 - Sep 27, 2019 Submission Deadline: Jun 15, 2019 | ||
| DTW2019 Data Teaching Workshop – 5th Workshop on Curricula and Teaching Methods in Cloud Computing, Big Data, and Data Science • as part of 15th eScience Conference (https://escience2019.sdsc.... | ||
| DATA SCIENCE BIG DATA CLOUD COMPUTING INSTRUCTIONAL METHODOLOGIES | ||
 |
||
| When: Oct 28, 2019 - Oct 28, 2019 Submission Deadline: Aug 4, 2019 | ||
| With the vastly increasing amount of video data being created, searching in video is a common task in many application areas, such as media & entertainment, surveillance or medicine. The success of vi... | ||
| VIDEO RETRIEVAL COMPUTER VISION FAILURE ANALYSIS DATASETS | ||
 Overture 2019 : The 17th Overture Workshop on VDMPorto, 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 wo... | ||
| FORMAL METHODS SOFTWARE MODELLING MBSE | ||
 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: 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 Adv... | ||
| SOFTWARE ARCHITECTURE SOFTWARE ENGINEERING FORMAL METHODS SOFTWARE 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 | ||
 GCM 2019 : 10th International Workshop on Graph Computation ModelsEindhoven, 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 ... | ||
| THEORETICAL COMPUTER SCIENCE FORMAL METHODS MODEL TRANSFORMATION GRAPH REWRITING | ||
 |
||
| When: Aug 24, 2019 - Aug 24, 2019 Submission Deadline: Jun 14, 2019 | ||
| The goal of the PROOFS workshop is to promote methodologies that increase the confidence in the security of embedded systems, especially those which contain cryptographic algorithms. Concretely, the P... | ||
| SECURITY EMBEDDED SYSTEMS FORMAL METHODS CRYPTOGRAPHY | ||
|
|
||
| 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: Oct 7, 2019 - Oct 7, 2019 Submission Deadline: Jun 25, 2019 | ||
| F-IDE - 5th Workshop on Formal Integrated Development Environments • https://fideworkshop2019.inesctec.pt • part of FM Week 2019 (http://formalmethods2019.inesctec.pt/?page_id=84) • ... | ||
| FORMAL METHODS IDE | ||
|
|
||
| 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: 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 | ||
CyberSafety 2019 : The Fourth Workshop on Computational Methods in Online MisbehaviorSan Francisco, California, USA |
||
| When: May 13, 2019 - May 14, 2019 Submission Deadline: Feb 3, 2019 | ||
| The Web provides a valuable space for individuals to interact with each other, and read, publish and share content. Despite these benefits, the proliferation of virality and anonymity in the modern We... | ||
| CYBERSAFETY HARASSMENT MISBEHAVIOR MISINFORMATION | ||
 SDM 2019 : MLRec 2019 : 5th International Workshop on Machine Learning Methods for Recommender SystemsHyatt Regency Calgary, Calgary, Alberta, |
||
| When: May 2, 2019 - May 4, 2019 Submission Deadline: Mar 10, 2019 | ||
| CALL FOR PAPER • Following the success of the several editions of MLRec in 2015, 2016, 2017, and 2018, the fifth edition of the MLRec workshop focuses on developing novel, and applying existing ... | ||
| DATA MINING MACHINE LEARNING AI RECOMMENDER | ||
 |
||
| When: Oct 7, 2019 - Oct 11, 2019 Submission Deadline: Jun 30, 2019 | ||
| ... | ||
| FORMAL METHODS EMPIRICAL RESEARCH SOFTWARE ENGINEERING SYSTEMS ENGINEERING | ||
 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 Workshops. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
