Conférences - Génie logiciel - États-Unis

Sélecionner un pays
1
HPEC — 2019 IEEE High Performance Extreme Computing Conference
24 sep 2019 - 26 sep 2019 • Waltham, MA, États-Unis
Résumé:
This conference will give researchers from academia, industry, and government working in this important area an opportunity to discuss techniques, approaches, and ongoing developments with relevance to high performance extreme computing processors, systems, storage, networks, software, and applications.
Identifiant de l'évènement:
970435
2
ICSME — IEEE International Conference on Software Maintenance
30 sep 2019 - 04 oct 2019 • Cleveland, États-Unis
Identifiant de l'évènement:
1134201
3
CP 2019 — Twenty-Fifth Conference on Principles and Practice of Constraint Programming
30 sep 2019 - 04 oct 2019 • Stamford, CT, États-Unis
Identifiant de l'évènement:
1214971
Sujets apparentés:
4
ICNP — IEEE International Conference on Network Protocols
07 oct 2019 - 10 oct 2019 • Chicago, États-Unis
Identifiant de l'évènement:
1249536
Sujets apparentés:
5
MICRO — IEEE/ACM International Symposium on Microarchitecture
12 oct 2019 - 16 oct 2019 • Columbus, États-Unis
Identifiant de l'évènement:
1251072
6
CASES — International Conference on Compilers, Architecture, and Synthesis for Embedded Systems
13 oct 2019 - 18 oct 2019 • New York City, États-Unis
Identifiant de l'évènement:
1250319
7
ASE — IEEE/ACM International Conference on Automated Software Engineering
11 nov 2019 - 15 nov 2019 • San Diego, États-Unis
Identifiant de l'évènement:
1249224
8
ITC : IEEE International Test Conference
12 nov 2019 - 14 nov 2019 • Washington, États-Unis
Identifiant de l'évènement:
1254562
9
Middleware — International Middleware Conference
09 dec 2019 - 13 dec 2019 • UC Davis, États-Unis
Identifiant de l'évènement:
1249858
10
VMCAI 2020 — 21st International Conference on Verification, Model Checking, and Abstract Interpretation
19 jan 2020 - 21 jan 2020 • New Orleans, Louisiana, États-Unis
Organisateur:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Résumé:
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.
Identifiant de l'évènement:
1239636
11
POPL 2020 — 47th ACM SIGPLAN Symposium on Principles of Programming Languages
19 jan 2020 - 25 jan 2020 • New Orleans, Louisiana, États-Unis
Organisateur:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Résumé:
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.
Identifiant de l'évènement:
1239560
12
VMCAI — Verification, Model Checking and Abstract Interpretation
19 jan 2020 - 25 jan 2020 • New Orleans, États-Unis
Identifiant de l'évènement:
1249796
13
CPP 2020 — The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
20 jan 2020 - 21 jan 2020 • New Orleans, Louisiana, États-Unis
Organisateur:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Résumé:
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.
Identifiant de l'évènement:
1239561
14
PpoPP 2020 — ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming
22 fév 2020 - 26 fév 2020 • San Diego, California, États-Unis
Organisateur:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Résumé:
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.
Identifiant de l'évènement:
1239679
15
HPCA — IEEE International Symposium on High Performance Computer Architecture
22 fév 2020 - 26 fév 2020 • San Diego, États-Unis
Identifiant de l'évènement:
1242453
Sujets apparentés:
16
CGO — International Symposium on Code Generation and Optimization
22 fév 2020 - 26 fév 2020 • San Diego, États-Unis
Identifiant de l'évènement:
1249541
Page web:
17
FAST ‘20 — 18th USENIX Conference on File and Storage Technologies
24 fév 2020 - 27 fév 2020 • Santa Clara, CA, États-Unis
Organisateur:
USENIX in cooperation with ACM SIGOPS
Résumé:
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.
Identifiant de l'évènement:
1257235
18
NSDI ‘20 — 17th USENIX Symposium on Networked Systems Design and Implementation
25 fév 2020 - 27 fév 2020 • Santa Clara, CA, États-Unis
Organisateur:
USENIX in cooperation with ACM SIGCOMM and ACM SIGOPS
Résumé:
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.
Identifiant de l'évènement:
1257225
19
ISPASS-2020 — 2020 IEEE International Symposium on Performance Analysis of Systems and Software
05 avr 2020 - 07 avr 2020 • Boston, États-Unis
Identifiant de l'évènement:
1265273
20
PODS — ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems
14 jui 2020 - 19 jui 2020 • Portland, États-Unis
Identifiant de l'évènement:
1249728
21
ACT — USENIX Annual Technical Conference
15 jul 2020 - 17 jul 2020 • Boston, États-Unis
Identifiant de l'évènement:
1251079
Sujets apparentés:
22
SPAA '20 — 32nd ACM Symposium on Parallelism in Algorithms and Architectures
15 jul 2020 - 17 jul 2020 • Philadelphia, États-Unis
Organisateur:
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
Identifiant de l'évènement:
1265307
23
FSE — ACM SIGSOFT International Symposium on Foundations of Software Engineering
08 nov 2020 - 13 nov 2020 • Sacramento, États-Unis
Identifiant de l'évènement:
1251018


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: 19 Août 2019