![]() |
||
When: Sep 24, 2024 - Sep 26, 2024 Submission Deadline: Apr 1, 2024 | ||
Please check details at: https://atenea.esimecu.ipn.mx/cfp.html • Conference Topics of SOMET 2024, but no limited • Requirement engineering, especially for high-assurance system, and requ... | ||
SOFTWARE SCIENCE SOFTWARE TOOLS ARTIFICIAL INTELLIGENCE IN SOF SOFTWARE METHODS | ||
![]() SLATe 2024 : Symposium on Languages, Applications and TechnologiesÁgueda, Portugal |
||
When: Jul 4, 2024 - Jul 5, 2024 Submission Deadline: Apr 25, 2024 | ||
######################################################################### • # C A L L F O R P A P E R S • # SLATE - 13th Symposium on Languages, Applications and Technologies • # Á... | ||
NATURAL LANGUAGE PROCESSING LANGUAGE BASED TOOLS XML DATABASES ONTOLOGY ENGINEERING | ||
![]() TACAS 2024 : Tools and Algorithms for Construction and Analysis of SystemsLuxembourg City, Luxembourg |
||
When: Apr 6, 2024 - Apr 11, 2024 Submission Deadline: Oct 12, 2023 | ||
... | ||
![]() |
||
When: Jul 14, 2022 - Jul 15, 2022 Submission Deadline: Apr 25, 2022 | ||
######################################################################### • # C A L L F O R P A P E R S • # SLATE - 11th Symposium on Languages, Applications and Technologies • # Co... | ||
NATURAL LANGUAGE PROCESSING LANGUAGE-BASED TOOLS XML DATABASES ONTOLOGY ENGINEERING | ||
![]() |
||
When: Jul 4, 2022 - Jul 7, 2022 Submission Deadline: Apr 25, 2022 | ||
TTSDP 2022: 14th International Workshop on Tools and Techniques in Software Development Process • The conference is planned to be organized in Blended form (physical presentation and online pre... | ||
SOFTWARE INDUSTRY INDUSTRIAL APPLICATIONS SOFTWARE TECHNIQUE SOFTWARE TOOLS | ||
![]() |
||
When: Mar 27, 2021 - Apr 01, 2021 Submission Deadline: Oct 15, 2020 | ||
TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between ... | ||
ALGORITHMS | ||
![]() |
||
When: Apr 25, 2020 - May 01, 2020 Submission Deadline: Oct 24, 2019 | ||
TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between ... | ||
SOFTWARE ENGINEERING PROGRAMMING COMPUTER SCIENCE | ||
![]() AMT 2020 : Advanced Models and Tools for Effective Decision Making Under Uncertainty and Risk ContextsHershey, Pennsylvania 17033-1240, USA |
||
When: Apr 29, 2019 - Apr 15, 2020 Submission Deadline: Dec 31, 2019 | ||
In 2017, the book “Optimum Decision Making in Asset Management” was published reaching an outstanding success. Now, with the view in the 2020 copyright year the editorial house has considered to e... | ||
![]() |
||
When: Jun 20, 2019 - Jun 20, 2019 Submission Deadline: Apr 14, 2019 | ||
Event Description: The workshop will bring together software developers, scientists, academia, and industry luminaries to share learnings around the integration and use of FPGA devices in HPC, Data An... | ||
FIELD-PROGRAMMABLE GATE ARRAY HPC BENCHMARKING TOOLS AND TECHNIQUES | ||
![]() VLIoT 2019 : International Workshop on Very Large Internet of ThingsLos Angeles (EUA) |
||
When: Aug 30, 2019 - Aug 30, 2019 Submission Deadline: Apr 3, 2019 | ||
******************************************************************** • CALL FOR PAPERS • International Workshop on Very Large Internet of Things (2019) • In conjunction with VLDB 201... | ||
SEMANTICS & REASONING IN IOT IOT PROGRAMMING & TOOLS IOT DATA MINING IOT PERFORMANCE BECHMARKS | ||
![]() |
||
When: Jul 15, 2019 - Jul 19, 2019 Submission Deadline: Apr 1, 2019 | ||
Session02-HPBench • The 6th Special Session on High-Performance Computing Benchmarking and Optimization • (HPBench 2019) • CALL FOR PAPERS & PARTICIPATION • As part of • ... | ||
BENCHMARKING OPTIMIZATION PARALLEL SYSTEMS TOOLS AND METRICS | ||
![]() |
||
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: Sep 23, 2019 - Sep 25, 2019 Submission Deadline: Apr 15, 2019 | ||
THE 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS, AND TECHNIQUES • 23 – 25 September 2019 • Kuching, Sarawak, Malaysia • The 18th International Confer... | ||
INTELLIGENT SOFTWARE SYSTEM MACHINE LEARNING FOR SOFTWARE SOFTWARE ENGINEERING SNS SOFTWARE AND SECURITY | ||
![]() |
||
When: Jan 13, 2019 - Apr 2, 2019 Submission Deadline: Apr 2, 2019 | ||
Call for Book Chapters • Software Experts: Ever wanted to write in a book? Here's an opportunity you may not want to miss. Please see https://www.igi-global.com/publish/call-for-papers/call-deta... | ||
SOFTWARE DEVOPS SOFTWARE METRICS SOFTWARE SECURITY | ||
![]() TTSDP 2019 : 11th International Workshop on Tools and Techniques in Software Development ProcessSaint Petersburg, Russia |
||
When: Jul 1, 2019 - Jul 4, 2019 Submission Deadline: Apr 21, 2019 | ||
TTSDP 2019 : 11th International Workshop on Tools and Techniques in Software Development Process • in conjunction with The 2019 International • Conference on Computational Science and Its ... | ||
TOOLS & TECHNIQUES SOFTWARE PRACTITIONERS SOFTWARE INDUSTRY INDUSTRIAL APP & ACADEMIA | ||
![]() |
||
When: Apr 23, 2019 - Apr 26, 2019 Submission Deadline: Dec 5, 2018 | ||
Session Co-Chairs : • -Dr. Jaouhar Fattahi, Université Laval, Québec, Canada. • -Prof. Mohamed Mejri, Université Laval, Québec, Canada. • -Ass, Prof. Ridha Ghayoula, University o... | ||
NETWORK SECURITY COMPUTER SECURITY SOFTWARE SECURITY CYBER-SECURITY | ||
![]() |
||
When: Oct 15, 2019 - Oct 17, 2019 Submission Deadline: Apr 19, 2019 | ||
This new edition of the TOOLS conference series revives a tradition going back 50 conferences from 1989 to 2012. TOOLS was originally “Technology of Object-Oriented Languages and Systems” and grew... | ||
OBJECT ORIENTED SOFTWARE VERIFICATION SOFTWARE MODELLING MACHINE LEARNING | ||
Find and Compare Upcoming Tools Events in April. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.