Konferenzen zum Thema Softwareentwicklung in den Vereinigten Staaten (USA)

Wählen Sie ein Land aus
1
MICRO — IEEE/ACM International Symposium on Microarchitecture
12. Okt 2019 - 16. Okt 2019 • Columbus, Vereinigte Staaten
Eintrags-ID:
1251127
2
CASES — International Conference on Compilers, Architecture, and Synthesis for Embedded Systems
13. Okt 2019 - 18. Okt 2019 • New York City, Vereinigte Staaten
Eintrags-ID:
1250231
Verwandte Fachgebiete:
3
ASE — IEEE/ACM International Conference on Automated Software Engineering
11. Nov 2019 - 15. Nov 2019 • San Diego, Vereinigte Staaten
4
ITC : IEEE International Test Conference
12. Nov 2019 - 14. Nov 2019 • Washington, Vereinigte Staaten
Eintrags-ID:
1254628
5
Middleware — International Middleware Conference
09. Dez 2019 - 13. Dez 2019 • UC Davis, Vereinigte Staaten
Eintrags-ID:
1249836
6
VMCAI 2020 — 21st International Conference on Verification, Model Checking, and Abstract Interpretation
19. Jan 2020 - 21. Jan 2020 • New Orleans, Louisiana, Vereinigte Staaten
Veranstalter:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Zusammenfassung:
VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. VMCAI 2020 will be the 21st edition in the series.
Eintrags-ID:
1239603
7
POPL 2020 — 47th ACM SIGPLAN Symposium on Principles of Programming Languages
19. Jan 2020 - 25. Jan 2020 • New Orleans, Louisiana, Vereinigte Staaten
Veranstalter:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Zusammenfassung:
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages.
Eintrags-ID:
1239582
8
VMCAI — Verification, Model Checking and Abstract Interpretation
19. Jan 2020 - 25. Jan 2020 • New Orleans, Vereinigte Staaten
9
CPP 2020 — The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
20. Jan 2020 - 21. Jan 2020 • New Orleans, Louisiana, Vereinigte Staaten
Veranstalter:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Zusammenfassung:
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with the production of independently checkable certificates. CPP spans areas of computer science, mathematics, logic, and education.
Eintrags-ID:
1239638
10
TSOA-ID — Tri-Service Open Architecture Interoperability Demonstration
29. Jan 2020 • Atlanta, Vereinigte Staaten
Veranstalter:
NAVAIR, PMA-209
Zusammenfassung:
Showcase of never-before-seen developments in the growing open market ecosystem. Live demonstrations on Systems Acquisition and Integration, Module Specification and Development, Conformance (qualification) and Open Systems Realization. Find out exactly how the new maturity of modular open systems approach technology will greatly increase defense program efficiency, accelerate the acquisition of the latest capabilities, and improve adaptability in currently fielded systems.
Kontakt:
Tel.: [5037058651];     Email: sally@sallybixby.com
Themen:
technology, hardware, software, modularopensystems, sosa, cmoss,
Eintrags-ID:
1274925
Verwandte Fachgebiete:
11
PpoPP 2020 — ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming
22. Feb 2020 - 26. Feb 2020 • San Diego, California, Vereinigte Staaten
Veranstalter:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Zusammenfassung:
PPoPP is the premier forum for leading work on all aspects of parallel programming, including theoretical foundations, techniques, languages, compilers, runtime systems, tools, and practical experience. In the context of the symposium, “parallel programming” encompasses work on concurrent and parallel systems (multicore, multi-threaded, heterogeneous, clustered, and distributed systems; grids; datacenters; clouds; and large scale machines). Given the rise of parallel architectures in the consumer market (desktops, laptops, and mobile devices) and data centers, PPoPP is particularly interested in work that addresses new parallel workloads and issues that arise out of extreme-scale applications or cloud platforms, as well as techniques and tools that improve the productivity of parallel programming or work towards improved synergy with such emerging architectures.
Eintrags-ID:
1239679
12
HPCA — IEEE International Symposium on High Performance Computer Architecture
22. Feb 2020 - 26. Feb 2020 • San Diego, Vereinigte Staaten
Eintrags-ID:
1242475
Verwandte Fachgebiete:
13
CGO — International Symposium on Code Generation and Optimization
22. Feb 2020 - 26. Feb 2020 • San Diego, Vereinigte Staaten
Eintrags-ID:
1249563
Webseite:
14
FAST ‘20 — 18th USENIX Conference on File and Storage Technologies
24. Feb 2020 - 27. Feb 2020 • Santa Clara, CA, Vereinigte Staaten
Veranstalter:
USENIX in cooperation with ACM SIGOPS
Zusammenfassung:
The 18th USENIX Conference on File and Storage Technologies (FAST '20) will take place on February 24–27, 2020, in Santa Clara, CA, USA, at the Hyatt Regency Santa Clara. FAST will bring together storage-system researchers and practitioners to explore new directions in the design, implementation, evaluation, and deployment of storage systems.
Eintrags-ID:
1257180
Verwandte Fachgebiete:
15
NSDI ‘20 — 17th USENIX Symposium on Networked Systems Design and Implementation
25. Feb 2020 - 27. Feb 2020 • Santa Clara, CA, Vereinigte Staaten
Veranstalter:
USENIX in cooperation with ACM SIGCOMM and ACM SIGOPS
Zusammenfassung:
NSDI focuses on the design principles, implementation, and practical evaluation of networked and distributed systems. Our goal is to bring together researchers from across the networking and systems community to foster a broad approach to addressing overlapping research challenges.
Eintrags-ID:
1257170
Verwandte Fachgebiete:
16
ISPASS-2020 — 2020 IEEE International Symposium on Performance Analysis of Systems and Software
05. Apr 2020 - 07. Apr 2020 • Boston, Vereinigte Staaten
Eintrags-ID:
1265306
17
PODS — ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems
14. Jun 2020 - 19. Jun 2020 • Portland, Vereinigte Staaten
Eintrags-ID:
1249673
Verwandte Fachgebiete:
18
ACT — USENIX Annual Technical Conference
15. Jul 2020 - 17. Jul 2020 • Boston, Vereinigte Staaten
Eintrags-ID:
1251035
Verwandte Fachgebiete:
19
SPAA '20 — 32nd ACM Symposium on Parallelism in Algorithms and Architectures
15. Jul 2020 - 17. Jul 2020 • Philadelphia, Vereinigte Staaten
Veranstalter:
ACM Special Interest Groups on Algorithms and Computation Theory (SIGACT) and Computer Architecture (SIGARCH) and organized in cooperation with the European Association for Theoretical Computer Science
Eintrags-ID:
1265318
Verwandte Fachgebiete:
20
CAV : International Conference on Computer Aided Verification
19. Jul 2020 - 24. Jul 2020 • Los Angeles, Vereinigte Staaten
Eintrags-ID:
1269321
21
ICFP — International Conference on Functional Programming
24. Aug 2020 - 26. Aug 2020 • Jersey City, Vereinigte Staaten
Eintrags-ID:
1275567
Verwandte Fachgebiete:
22
FSE — ACM SIGSOFT International Symposium on Foundations of Software Engineering
08. Nov 2020 - 13. Nov 2020 • Sacramento, Vereinigte Staaten
Eintrags-ID:
1250996


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 25. September 2019