posted by organizer: Stefan_Gruner || 2562 views || tracked by 4 users: [display]

FRAI-ISDA 2019 : Special Track: Formal Reasoning with Artificial Intelligence at ISDA`2019

FacebookTwitterLinkedInGoogle

Link: http://www.mirlabs.org/isda19/
 
When Dec 3, 2019 - Dec 5, 2019
Where Pretoria (RSA)
Submission Deadline Sep 1, 2019
Notification Due Oct 15, 2019
Final Version Due Oct 30, 2019
Categories    artificial intelligence   formal methods   computer science   program optimisation
 

Call For Papers

SPECIAL TRACK: FORMAL REASONING WITH ARTIFICIAL INTELLIGENCE.
SYNOPSIS:
In this ISDA`2019-affiliated track, which combines formal methods and artificial intelligence, we are looking forward to presentations which either use rigorous formal techniques (model checking or theorem proving) in support of deductive artificial reasoning (for example: reasoning about artificial agents and their possible actions, about time, about knowledge representation and belief systems, and the like), or which use various heuristic techniques from artificial intelligence in order to accelerate the run-time performance of the various model checking or theorem proving tools that are used as correctness deciders in the field of formal methods. Though many formal verification problems (e.g., the SAT problem) are NP-complete (if decidable at all) in their worst cases, their average cases might still get improved by means of "intelligent" choices of the clauses or proof-sub-paths that a verification tool can attempt in its next steps. Moreover, this track shall also be open for "intelligent" solutions of problems of software testing and abstract program interpretation: for example the rapid search for a minimal input value set that yields maximal path coverage, and the like. As far as the old "symbols versus neurons" dispute in the field of artificial intelligence is concerned we would like to emphasise that this track supports a very broad understanding of the term "artificial intelligence" itself, which shall not only include the latest number-based search heuristics and techniques (like particle swarm optimisation, neural networks, and the like), but also the older or more classical concepts of artificial reasoning (i.e.: rule-based symbol manipulation). All papers submitted to this track must be novel and original, and may not have already been submitted for publication elsewhere. Related work must be sufficiently captured in a section of its own under the section heading "Related Work". Practical software tool demonstrations are highly welcome, too, even if they are not accompanied by the presentation of a publishable theoretical paper. For a submission's page-layout and page-limit please see the instructions provided on the web-site of the main conference.
TOPICS INCLUDE:
* AI-supported generation of test case inputs for automated software engineering,
* AI-supported optimisation/acceleration of model checking algorithms,
* AI-supported optimisation/acceleration of theorem proving tools,
* AI-supported optimisation/acceleration of SAT solving tools,
* AI-supported detection of potential program invariants (e.g. loop invariants),
* AI-supported detection of promising abstraction-choices for state-space-reduction,
* AI-supported program transformation (software refactoring) techniques,
* and similar areas of research.
TRACK CO-CHAIRS:
Stefan Gruner (Dept. of Comp.Sc., Univ. of Pretoria, RSA)
Nils Timm (Dept. of Comp.Sc., Univ. of Pretoria, RSA)

Related Resources

AAAI 2020   The Thirty-Fourth AAAI Conference on Artificial Intelligence
ECAI 2020   24th European Conference on Artificial Intelligence
ISBDAI 2020   【Ei Compendex Scopus】2018 International Symposium on Big Data and Artificial Intelligence
ACM-ACAI-Ei/Scopus 2019   2019 2nd International Conference on Algorithms, Computing and Artificial Intelligence
FAIML 2020-Ei Compendex & Scopus 2020   2020 2nd International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2020)
ACM-MLNLP-Ei/Scopus 2019   2019 2nd International Conference on Machine Learning and Natural Language Processing
SDAI 2020   EAI International Conference on Social Data and Artificial Intelligence
ICCAI--Ei, Scopus 2020   2020 6th International Conference on Computing and Artificial Intelligence (ICCAI 2020)--Ei Compendex, Scopus
ICAIML 2019   【EI SCOPUS CPCI】2019 1st International Conference on Artificial Intelligence and Machine Learning
ICMAI--EI and Scopus 2020   2020 5th International Conference on Mathematics and Artificial Intelligence (ICMAI 2020)--Ei Compendex and Scopus