 |
||
| When: Sep 9, 2024 - Sep 11, 2024 Submission Deadline: May 10, 2024 | ||
| 34th International Symposium on Logic-Based Program Synthesis • and Transformation (LOPSTR 2024). • Part of FM 2024 and co-located with PPDP 2024, FACS 2024, FMICS 2024, • and TAP 2... | ||
| PROGRAM TRANSFORMATION PROGRAM SYNTHESIS LOGIC BASED PROGRAM DEVELOP. PROGRAM AND MODEL MANIPULATION | ||
 |
||
| When: Aug 15, 2024 - Aug 15, 2024 Submission Deadline: May 17, 2024 | ||
| #SMM4H-LLM 2024: The 9th Social Media Mining for Health Research and Applications Workshop and Shared Tasks -- Large Language Models and Generalizability for Social Media NLP @ACL 2024 • https:... | ||
| SOCIAL MEDIA NLP HEALTH INFORMATICS LARGE LANGUAGE MODEL | ||
|
|
||
| When: Apr 10, 2024 - Apr 11, 2024 Submission Deadline: Jan 15, 2024 | ||
| The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of... | ||
| FORMAL METHODS VERIFICATION | ||
 |
||
| When: Sep 22, 2024 - Sep 27, 2024 Submission Deadline: Mar 28, 2024 | ||
| --------------------------------------------------------------------------- • MODELS 2024 • ACM/IEEE 27th International Conference on • Model Driven Engineering Languages and System... | ||
| MODELS MODEL-DRIVEN ENGINEERING SOFTWARE ENGINEERING | ||
 |
||
| When: Apr 14, 2024 - Apr 19, 2024 Submission Deadline: Dec 15, 2023 | ||
| https://2024.ieeeicassp.org/satellite-workshops/ • https://cmsworkshops.com/ICASSP2024/workshops.php?noheader#tut1 • Formatting guidelines- https://cmsworkshops.com/ICASSP2024/papers/pape... | ||
| DEEP LEARNING SIGNAL PROCESSING EMBEDDED PRUNING | ||
 TASE 2024 : 18th Theoretical Aspects of Software Engineering ConferenceGuiyang City, China |
||
| When: Jul 29, 2024 - Aug 1, 2024 Submission Deadline: Feb 24, 2024 | ||
| Call for papers: TASE 2024, Guiyang City, China, July 29 - August 1, 2024 • https://tase2024.github.io/ • Overview • ----------------------------------------------------------------... | ||
| FORMAL METHODS CYBER PHYSICAL SYSTEMS MODEL CHECKING SOFTWARE ENGINEERING | ||
 NFM 2024 : NASA Formal Methods SymposiumMoffett Field, California, USA |
||
| When: Jun 4, 2024 - Jun 6, 2024 Submission Deadline: Dec 8, 2023 | ||
| The NASA Formal Methods community invites you to submit a paper to: • The 16th NASA Formal Methods Symposium (NFM 2024) • June 4-6, 2024 • Moffett Field, California • https://... | ||
| FORMAL METHODS THEOREM PROVING MODEL CHECKING MACHINE LEARNING | ||
 |
||
| When: Nov 3, 2023 - Nov 4, 2023 Submission Deadline: Sep 30, 2023 | ||
| We are pleased to invite you to submit papers to the 14th • International Workshop on Program Semantics, Specification and Verification • (we've skipped number 13) • The submission ... | ||
| PROGRAM SEMANTICS VERIFICATION MODEL CHECKING TYPE THEORY | ||
 |
||
| When: Feb 7, 2024 - Feb 9, 2024 Submission Deadline: Oct 26, 2023 | ||
| Call for Papers • Supported by its strong community, the 17 previous editions of the VaMoS workshop successfully bootstrapped research on modelling and managing variability of software systems,... | ||
| SOFTWARE PRODUCT LINES VARIABILITY MODEL SOFTWARE | ||
|
|
||
| When: Oct 1, 2023 - Oct 3, 2023 Submission Deadline: Jul 20, 2023 | ||
| MoDeVVa 2023: 20th Workshop on Model Driven Engineering, Verification and Validation • Co-located with MODELS 2023 • 1-3 October 2023 (precise date to be decided) • Västerås, Swed... | ||
| SOFTWARE ENGINEERING SYSTEMS ENGINEERING | ||
TTC 2023 : 15th Transformation Tool ContestLeicester, UK |
||
| When: Jul 20, 2023 - Jul 20, 2023 Submission Deadline: Jun 29, 2023 | ||
| Join us in exploring the exciting world of structured data transformations! Whether you're working with relational data, abstract syntax trees, graphs, or high-level software models, these transforma... | ||
| MODEL DRIVEN ENGINEERING DATA TRANSFORMATION MODEL TO MODEL TRANSFORMATIONS GRAPH TRANSFORMATIONS | ||
VSTTE 2023 : International Conference on Verified Software: Theories, Tools, and ExperimentsAmes, Iowa, United States |
||
| When: Sep 21, 2023 - Sep 25, 2023 Submission Deadline: Jul 28, 2023 | ||
| Overview • The goal of the VSTTE conference series is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool... | ||
| FORMAL METHODS MODEL CHECKING THEOREM PROVING | ||
 |
||
| When: Nov 22, 2023 - Nov 23, 2023 Submission Deadline: Sep 20, 2023 | ||
| Welcome to CONVERSATIONS 2023, a two-day workshop on chatbot research, applications, and design. This is the 7th CONVERSATIONS workshop. With the surge of interest in chatbots powered by large langua... | ||
| CHATBOTS CONVERSATIONAL AI CONVERSATIONAL USER INTERFACES LANGUAGE MODEL APPLICATIONS | ||
|
|
||
| When: Nov 2, 2023 - Nov 4, 2023 Submission Deadline: Jul 22, 2023 | ||
| Overview • ------------------------ • The Eleventh International Conference on Model & Data Engineering (MEDI) will be held from 2 to 4 November 2023 in Sousse, Tunisia. Its main objectiv... | ||
| MODELS DATA MODEL ENGINEERING DATA AND AI | ||
SmP 2023 : Structure Meets Power 2023Boston and online |
||
| When: Jun 25, 2023 - Jun 25, 2023 Submission Deadline: May 14, 2023 | ||
| • **************************************** • STRUCTURE MEETS POWER 2023 • (LICS workshop) • Call for Contributions • **************************************** • Work... | ||
| CATEGORY THEORY FINITE MODEL THEORY ALGORITHMS SEMANTICS | ||
|
|
||
| When: Jan 15, 2023 - Jan 17, 2023 Submission Deadline: Sep 8, 2022 | ||
| VMCAI 2023 Call for Papers • VMCAI 2023 is the 24th International Conference on Verification, Model Checking, and Abstract Interpretation. The conference will be held during January 15-17, 2023... | ||
| VERIFICATION ABSTRACT INTERPRETATION AUTOMATED REASONING MODEL CHECKING | ||
|
|
||
| When: Jul 4, 2022 - Jul 4, 2022 Submission Deadline: May 20, 2022 | ||
| **************************************** • STRUCTURE MEETS POWER 2022 • (an ICALP workshop) • Call for Contributions • **************************************** • Worksho... | ||
| FINITE MODEL THEORY SEMANTICS DESCRIPTIVE COMPLEXITY MATHEMATICAL LOGIC | ||
|
|
||
| When: Oct 16, 2022 - Oct 21, 2022 Submission Deadline: Jul 20, 2022 | ||
| Models are purposeful abstractions of systems and their environments. They can be used to understand, simulate, and validate complex systems at different abstraction levels. Thus, the use of models i... | ||
| FORMAL METHODS VERIFICATION MODELING TEST | ||
|
|
||
| When: Oct 17, 2022 - Oct 18, 2022 Submission Deadline: Jul 22, 2022 | ||
| VSTTE 2022 14th International Conference on Verified Software: Theories, Tools, and Experiments • October 17-18 2022 • Co-located with Formal Methods in Computer-Aided Design 2022 (FMCAD ... | ||
| VERIFICATION MODEL CHECKING THEOREM PROVING SAT/SMT | ||
 |
||
| When: Jul 6, 2022 - Jul 6, 2022 Submission Deadline: May 4, 2022 | ||
| ***** CALL FOR PAPERS ***** • ======================================= • 13th International Workshop on Graph Computation Models (GCM 2022) • 6th July 2022 • Venue: Nantes, Fra... | ||
| GRAPH TRANSFORMATION MODEL TRANSFORMATION GRAPH MACHINE LEARNING PROGRAM ANALYSIS | ||
MODELS-Workshops 2022 : MODELS 2022 - Call for Workshops ProposalsMontreal, Canada |
||
| When: Oct 16, 2022 - Oct 21, 2022 Submission Deadline: Mar 25, 2022 | ||
| ABOUT • The MODELS series of conferences is the premier venue for the exchange of innovative technical ideas and experiences relating to model-driven approaches in the development of software-b... | ||
| MODEL DRIVEN ENGINEERING LANGUAGES SYSTEMS | ||
|
|
||
| When: Oct 16, 2022 - Oct 21, 2022 Submission Deadline: May 18, 2022 | ||
| --------------------------------------------------------------------------- • MODELS 2022 • ACM/IEEE 25th International Conference on • Model Driven Engineering Languages and System... | ||
| MODEL DRIVEN ENGINEERING LANGUAGES SYSTEMS | ||
|
|
||
| When: Sep 4, 2022 - Sep 7, 2022 Submission Deadline: May 10, 2022 | ||
| ********************************************************************************************** • 7th Workshop on Model Driven Approaches in System Development (MDASD 2022) • https://fedcs... | ||
| MODEL DRIVEN ENGINEERING DOMAIN SPECIFIC MODELING DOMAIN SPECIFIC LANGUAGES SOFTWARE ENGINEERING | ||
 |
||
| Submission Deadline: Sep 20, 2022 | ||
| Dear Colleagues, • The integration of embedded/cyberphysical systems and AI/ML advancements in health monitoring represents an emerging domain and a rapidly expanding multifaceted research area... | ||
| HEALTH MONITORING CPSS EMBEDDED SYSTEMS IOT/WIRELESS COMMUNICATION MODEL BASED HEALTH MONITORING | ||
 |
||
| When: Mar 3, 2022 - Mar 3, 2022 Submission Deadline: Sep 20, 2022 | ||
| The March 2022 Enterprise Data & AI featured guest speaker is Agus Sudjianto, Executive Vice President, Head of Corporate Model Risk at Wells Fargo and his presentation "Adopting AI, ML, and automati... | ||
| ARTIFICIAL INTELLIGENCE MACHINE LEARNING BANKING FINANCE | ||
|
|
||
| When: Oct 10, 2021 - Oct 15, 2021 Submission Deadline: May 07, 2021 | ||
| MODELS is the premier conference series for model-based software and systems engineering. Since 1998, MODELS has covered all aspects of modeling, from languages and methods, to tools and applications.... | ||
| SOFTWARE ENGINEERING EMBEDDED SYSTEM | ||
VMCAI 2021 : Verification, Model Checking and Abstract InterpretationCopenhagen, Denmark |
||
| When: Jan 17, 2021 - Jan 22, 2021 Submission Deadline: Oct 05, 2020 | ||
| VMCAI 2021 is the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation. The conference will be held on January 17-19, 2021, in Copenhagen, Denmark, as a physical,... | ||
| SOFTWARE ENGINEERING PROGRAMMING ABSTRACT INTERPRETATION | ||
 |
||
| Submission Deadline: Sep 10, 2020 | ||
| In this special issue, we invite the original contributions from diverse research fields, developing new deep cross-media neural model for understanding and generating image descriptions, which aims t... | ||
| NEURAL MODEL IMAGE | ||
 |
||
| When: Jul 13, 2020 - Jul 17, 2020 Submission Deadline: Apr 09, 2020 | ||
| The workshop aims to highlight advancements to event-driven and data-driven models of computation for extreme scale computing, as well as parallel and distributed computing for high-performance comput... | ||
| HIGH-PERFORMANCE COMPUTING DATAFLOW PARALLEL COMPUTING EXECUTION MODEL | ||
Find and Compare Upcoming Model Events. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
