Konferenzen  >  Informatik  >  Softwareentwicklung  >  Großbritannien

Wählen Sie ein Land aus
1
AofA2024 — 35th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms
17. Jun 2024 - 21. Jun 2024 • University of Bath, Großbritannien
Eintrags-ID:
1589052
2
VL/HCC 2024 — IEEE Symposium on Visual Languages and Human-Centric Computing
02. Sep 2024 - 06. Sep 2024 • Liverpool, Großbritannien
Zusammenfassung:
The IEEE Symposium on Visual Languages and Human-Centric Computing is the premier international forum for research on this topic. Established in 1984, the mission of the conference is to support the design, theory, application, and evaluation of computing technologies and languages for programming, modeling, and communicating, which are easier to learn, use, and understand by people.
Einsendeschluss für Abstracts:
19. Apr 2024
Eintrags-ID:
1589282
3
Big Specification: Specification, Proof, and Testing at Scale
07. Okt 2024 - 11. Okt 2024 • Cambridge , Großbritannien
Veranstalter:
Isaac Newton Institute for Mathematical Sciences
Zusammenfassung:
Assurance of an implementation of any layer of the software stack requires an accurate specification of it -- and those specifications can be incredibly massive. Working with such large specifications creates extremely difficult problems, ranging from the purely bureaucratic (how can editors update such specifications in such a way that they have confidence that all needed updates happen in sync), to engineering (tools such as model checkers and proof assistants can start crashing in the face of massive specs), to the scientific (how can we know that a large spec has the properties we hope it does). Despite being difficulties, these difficulties are fundamentally good to have: the field has matured to the point where understanding how to write, maintain, and use large specifications is an important immediate problem, rather than a problem we hope to have in the future. This workshop gathers experts from across the spectrum of verification and assurance to share our experiences developing, using, and maintaining the kinds of complex specifications needed to engineer practical computer systems.
Eintrags-ID:
1623408


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.

Kein Tracking | Keine Pop-ups | Keine Animationen
Stand vom 10. Juni 2024