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

Sélecionner un pays:
Allemagne (7) - Autriche (2) - Chili (1) - Corée du Sud (1) - Espagne (7) - Estonie (1) - Finlande (1) - France (3) - Grèce (1) - Israël (1) - Italie (2) - Lituanie (1) - Malte (1) - Maroc (1) - Pays-Bas (1) - Portugal (1) - Royaume-Uni (3) - Russie (1) - République tchèque (2) - Suisse (1) - États-Unis (16) - TOUS LES PAYS (55)

1
SPAA 2019 — 30th ACM Symposium on Parallelism in Algorithms and Architectures
22 jui 2019 - 24 jui 2019 • Phoenix AZ, États-Unis
Identifiant de l'évènement:
1151352
2
ISCA 2019 — International Symposium on Computer Architecture
22 jui 2019 - 26 jui 2019 • Phoenix, AZ, États-Unis
Identifiant de l'évènement:
1134001
Sujets apparentés:
3
STOC 2019 — ACM Symposium on Theory of Computing
23 jui 2019 - 26 jui 2019 • Phoenix, AZ, États-Unis
Identifiant de l'évènement:
1134002
4
PLDI 2019 — 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
24 jui 2019 - 26 jui 2019 • Phoenix AZ, États-Unis
Résumé:
PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance.
Identifiant de l'évènement:
1151409
5
ACM SIGMETRICS / IFIP Performance 2019
24 jui 2019 - 28 jui 2019 • Phoenix AZ, États-Unis
Résumé:
SIGMETRICS and Performance are respectively the flagship conferences of the ACM special interest group for the computer systems performance evaluation community and of the IFIP working group WG7.3 on performance modeling and analysis. Every 3 years or so, the two conferences join, and this is the 14th joint conference
Identifiant de l'évènement:
1151408
6
CAV 2019 — International Conference on Computer Aided Verification
13 jul 2019 - 18 jul 2019 • New York, États-Unis
Résumé:
CAV 2019 is the 31st in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security.
Identifiant de l'évènement:
1134163
7
CAV 2019 — 31st International Conference on Computer-Aided Verification
15 jul 2019 - 18 jul 2019 • New York City, États-Unis
Résumé:
CAV 2019 is the 31st in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.
Identifiant de l'évènement:
1151149
Sujets apparentés:
8
MIP 2019 — 16th Mixed Integer Programming Workshop
15 jul 2019 - 18 jul 2019 • Cambridge, MA, États-Unis
Organisateur:
MIT Sloan School of Management
Identifiant de l'évènement:
1193822
9
USENIX Security : USENIX Security Symposium
14 aou 2019 - 16 aou 2019 • Santa Clara, CA, États-Unis
Résumé:
USENIX Security brings together researchers, practitioners, system administrators, system programmers, and others to share and explore the latest advances in the security and privacy of computer systems and networks.
Identifiant de l'évènement:
1133429
10
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
11
ICSME — IEEE International Conference on Software Maintenance
30 sep 2019 - 04 oct 2019 • Cleveland, États-Unis
Identifiant de l'évènement:
1134201
12
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:
1215015
13
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:
1239669
14
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:
1239615
15
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
16
PpoPP 2020 — Principles and Practice of Parallel Programming 2020
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:
1239591

États-Unis: liste de tous les évènements/conférences.



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!

Les organisateurs peuvent soumettre une réunion ou une conférence pour inclusion dans nos listes, et ceci gratuitement.

Dernière mise à jour: 17 Juin 2019