Konferenzen zum Thema Softwareentwicklung in Italien

Wählen Sie ein Land aus
1
REFSQ — International Conference on Requirements Engineering
24. Mär 2020 - 27. Mär 2020 • Pisa, Italien
Eintrags-ID:
1250124
2
SAT 2020 — 23rd International Conference on Theory and Applications of Satisfiability Testing
05. Jul 2020 - 09. Jul 2020 • Alghero, Italien
Zusammenfassung:
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.
Eintrags-ID:
1293131
3
ECRTS — Euromicro Conference on Real-Time Systems
07. Jul 2020 - 10. Jul 2020 • Modena, Italien
Eintrags-ID:
1275532


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Stand vom 14. November 2019