Conférences - Génie logiciel - Italie

Sélecionner un pays
1
REFSQ — International Conference on Requirements Engineering
24 mar 2020 - 27 mar 2020 • Pise, Italie
Identifiant de l'évènement:
1250146
2
SAT 2020 — 23rd International Conference on Theory and Applications of Satisfiability Testing
05 jul 2020 - 09 jul 2020 • Alghero, Italie
Résumé:
The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. Many hard combinatorial problems can be tackled using SAT-based techniques including problems that arise in Formal Verification, Artificial Intelligence, operations Research, Computational Biology, Cryptography, Data Mining, Machine Learning, Mathematics, etc. Indeed, the theoretical and practical advances in SAT research over the past twenty years have contributed to making SAT technology an indispensable tool in a variety of domains. SAT 2020 aims to further advance the field by soliciting original theoretical and practical contributions in these areas with a clear connection to satisfiability.
Identifiant de l'évènement:
1293219
3
ECRTS — Euromicro Conference on Real-Time Systems
07 jul 2020 - 10 jul 2020 • Modena, Italie
Identifiant de l'évènement:
1275554


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!

Dernière mise à jour: 14 Novembre 2019