Conférences - Algorithmes

Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Les organisateurs peuvent soumettre une réunion ou une conférence pour inclusion dans nos listes, et ceci gratuitement.

TOUS LES PAYS

1.
 
ACM-SIAM Symposium on Discrete Algorithms (SODA17), being held with Analytic Algorithmics and Combinatorics (ANALCO17) and Algorithm Engineering and Experiments (ALENEX17)
ID
831724
Dates
16 jan 2017 - 19 jan 2017
Lieu
Universitat Politècnica de Catalunya, Barcelo, Espagne
2.
 
DCC — 2017 Data Compression Conference
ID
838192
Dates
04 avr 2017 - 07 avr 2017
Lieu
Snowbird, UT, États-Unis
Résumé
The Data Compression Conference (DCC) is an international forum for current work concerning data compression and related applications. The conference addresses not only compression methods for specific types of data (text, images, video, audio, medical and scientific data, graphics, web content, etc.), but also the use of techniques from information theory and data compression in networking, communications, and storage applications involving large datasets (including image and information mining, retrieval, archiving, backup, communications, and human-computer interface). Both theoretical and experimental work is of interest.
3.
 
SNR'17 — 3nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis
ID
855496
Date de début
22 avr 2017
Lieu
Uppsala, Suède
Résumé
Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of its state space, stand at the core of verification and synthesis problems for hybrid systems. There are several successful methods for hybrid systems reachability analysis. Some methods explicitly construct flow-pipes that over-approximate the set of reachable states over time, where efficient computation of such over-approximations requires symbolic representations such as support functions. Other methods based on satisfiability checking technologies, symbolically encode reachability properties as logical formulas, while solving such formulas requires numerically-driven decision procedures. Last but not least, also automated deduction and the usage of theorem provers led to efficient analysis approaches. The goal of this workshop is to bring together researchers working with different reachability analysis techniques and to seek for synergies between the different approaches.
Contact
Erika Abraham;     Email.: abraham@cs.rwth-aachen.de
Sujets
cyber-physical systems, hybrid systems, formal methods, verification, safety, reachability analysis, simulation
Sujets apparentés
4.
 
ARITH — 2017 IEEE 24th Symposium on Computer Arithmetic
ID
837063
Dates
17 jul 2017 - 19 jul 2017
Lieu
Londres, Royaume-Uni
Résumé
Since 1969, the ARITH symposia have served as the primary and reference conference for presenting scientific work on the latest research in computer arithmetic. The topics of the conference include theoretical aspects, number systems, algorithms for operations and math functions, implementations, validation, and applications of computer arithmetic.
5.
 
INI Workshop VMVW01 — Variational Methods, New Optimization Techniques and New Fast Numerical Algorithm
ID
818580
Dates
04 sep 2017 - 08 sep 2017
Lieu
Cambridge, Royaume-Uni

Bon à savoir...

Vous pouvez insérer un encadré afin de diffuser vos évènements et services dans cet espace.

Dernière mise à jour: 07 Décembre 2016