Conferences  >  Informatics  >  Soft Computing, Evolutionary Computation, Metaheuristic Optimization, Fuzzy Logic  >  Germany

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

The goal of this Dagstuhl Seminar is to provide an interdisciplinary forum to discuss the fundamental principles of fault management and diagnosis, bringing together international researchers from the fields of symbolic reasoning, machine learning, and control engineering. The seminar plans to identify an integrated framework to harmonize problems and algorithms from the different fields, as well as ideas for novel, integrated solutions; and to produce a comprehensive agenda for future research.

Neural Networks and Artificial Intelligence, Machine Learning,    Automated Theorem Proving

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Randomized optimization heuristics (ROHs) are general-purpose solvers that are frequently applied for discrete or continuous optimization when other classes of solvers fail or are not applicable. Typical examples of ROHs include genetic algorithms, evolution strategies, and estimation-of-distribution algorithms (EDAs). Since ROHs are not designed with a proof or analysis in mind, their theoretical analysis is a particularly challenging endeavor. Yet, their practical success, extremely wide applicability, and growing relevance in many domains in industry and academic research push for progress in their understanding. This Dagstuhl Seminar is part of a very successful Dagstuhl Seminar series with the goal of driving this research area forward.