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

Sélecionner un pays
1
SPLASH 2021 — ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity
17 oct 2021 - 22 oct 2021 • SPLASH 2021, États-Unis
Organisateur:
ACM Special Interest Group on Programming Languages (SIGPLAN)
Résumé:
SPLASH embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages—at the intersection of programming languages and software engineering.
Identifiant de l'évènement:
1391088
2
SEC 2021 — The Sixth ACM/IEEE Symposium on Edge Computing
14 dec 2021 - 17 dec 2021 • San Jose, Californie, États-Unis
Organisateur:
Association for Computing Machinery (ACM)
Résumé:
SEC is a forum for top researchers, engineers, students, entrepreneurs, and government officials come together under one roof to discuss the opportunities and challenges that arise from rethinking cloud computing architectures and embracing edge computing. SEC takes a broad view of edge computing and solicits contributions from many fields of systems practice that embrace any aspect of edge computing.
Identifiant de l'évènement:
1437493
3
PADL 2022 — The 24th International Symposium on Practical Aspects of Declarative Languages (PADL) 2022
16 jan 2022 - 22 jan 2022 • Philadelphia, Pennsylvania, États-Unis
Résumé:
PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving.
Date limite de soumission des résumés:
01 oct 2021
Identifiant de l'évènement:
1444899
4
POPL 2022 — Symposium on Principles of Programming Languages
16 jan 2022 - 22 jan 2022 • Philadelphia, Pennsylvania, États-Unis
Organisateur:
The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.
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:
1444876
5
CPP 2022 — Certified Programs and Proofs
16 jan 2022 - 22 jan 2022 • Philadelphia, Pennsylvania, États-Unis
Résumé:
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
Date limite de soumission des résumés:
16 sep 2021
Identifiant de l'évènement:
1444831
6
VMCAI 2022 — 23rd International Conference on Verification, Model Checking, and Abstract Interpretation
16 jan 2022 - 22 jan 2022 • Philadelphia, Pennsylvania, États-Unis
Résumé:
Welcome to the website of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022). 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 2022 will be the 23rd edition in the series.
Date limite de soumission des résumés:
16 sep 2021
Identifiant de l'évènement:
1444896
7
PEPM 2022 — ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
16 jan 2022 - 22 jan 2022 • Philadelphia, Pennsylvania, États-Unis
Résumé:
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), which has a history going back to 1991 and has co-located with POPL every year since 2006, originates in the discoveries of practically useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of semantics-based program manipulation — the systematic exploitation of treating programs not only as subject to black-box execution, but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties.
Date limite de soumission des résumés:
07 oct 2021
Identifiant de l'évènement:
1444884
8
CPP 2022 — Conference on Certified Programs & Proofs
17 jan 2022 - 18 jan 2022 • Philadelphia PA with Virtual options, États-Unis
Résumé:
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
Identifiant de l'évènement:
1448812
9
FAST 2022 — 20th USENIX Conference on File and Storage Technologies
21 fév 2022 - 24 fév 2022 • Santa Clara, États-Unis
Organisateur:
USENIX Association
Résumé:
The 20th USENIX Conference on File and Storage Technologies (FAST '22) will take place on February 21–24, 2022, 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:
1359429
10
SREcon22 Americas
14 mar 2022 - 16 mar 2022 • San Francisco, CA, États-Unis
Organisateur:
USENIX Association
Résumé:
SREcon22 Americas is a gathering of engineers who care deeply about site reliability, systems engineering, and working with complex distributed systems at scale. SREcon strives to challenge both those new to the profession as well as those who have been involved in it for decades. The conference has a culture of critical thought, deep technical insights, continuous improvement, and innovation.
Identifiant de l'évènement:
1359383
11
SAIS — 24th Annual Conferences of the Southern Association for Information Systems
18 mar 2022 - 19 mar 2022 • Myrtle Beach, South Carolina, États-Unis
Organisateur:
Association for Information Systems
Résumé:
The annual Southern Association for Information Systems (SAIS), an official chapter of the Association for Information Systems (AIS), will hold the 24th SAIS conference in Myrtle Beach, South Carolina, March 18-19, 2022. We invite submissions of abstracts, papers, panels, tutorials, and workshops, from academia, business, or government on current topics in all areas of IS. Accepted abstracts and papers will be included in the conference proceedings and published in the AIS e-Library.
Contact:
Tél.: [7576479437];     Email.: chris.kreider@cnu.edu
Sujets:
systems analysis, systems design, analytics, project management, information systems, information security, cybersecurity
Date limite de soumission des résumés:
01 mar 2021
Identifiant de l'évènement:
1442155
12
tinyML Research Symposium — Tiny machine learning
28 mar 2022 • San Francisco, États-Unis
Résumé:
Tiny machine learning (tinyML) is a fast-growing field of machine learning technologies enabling on-device sensor data analytics at extremely low power, typically in the milliwatt range and below. The tinyML ecosystem is fueled by (i) emerging commercial applications and new systems concepts on the horizon; (ii) significant progress on algorithms, networks, and models down to 100 kB and below; and (iii) current low-power applications in vision and audio that are already becoming mainstream and commercially available. There is growing momentum demonstrated by technical progress and ecosystem development in all of these areas. The tinyML research symposium serves as a flagship venue for related research at the intersection of machine learning applications, algorithms, software, and hardware in deeply embedded machine learning systems.
Date limite de soumission des résumés:
17 dec 2021
Identifiant de l'évènement:
1444911
13
NSDI '22 — 19th USENIX Symposium on Networked Systems Design and Implementation
04 avr 2022 - 06 avr 2022 • Renton, WA, États-Unis
Organisateur:
USENIX Association
Résumé:
oin us in Renton, WA, USA on April 4–6, 2022, for the 19th USENIX Symposium on Networked Systems Design and Implementation. 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:
1359406
14
ICSE 2022 — 44th International Conference on Software Engineering
21 mai 2022 - 29 mai 2022 • Pittsburgh, États-Unis
Résumé:
ICSE, the IEEE/ACM International Conference on Software Engineering, is the premier software engineering conference. Since 1975, ICSE provides a forum where researchers, practitioners, and educators gather together to present and discuss the most recent innovations, trends, experiences and issues in the field of software engineering.
Date limite de soumission des résumés:
15 oct 2021
Identifiant de l'évènement:
1445076
15
NFM 2022 — 14th NASA Formal Methods Symposium
24 mai 2022 - 27 mai 2022 • Los Angeles, CA, États-Unis
Résumé:
The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Research Group, composed of researchers spanning six NASA centers. The organization of NFM 2022 is being led by the Jet Propulsion Laboratory (JPL), located in Pasadena, California.
Date limite de soumission des résumés:
03 dec 2021
Identifiant de l'évènement:
1449284
16
ISCA 49 — International Symposium on Computer Architecture
11 jui 2022 - 15 jui 2022 • New York, NY, États-Unis
Identifiant de l'évènement:
1437465
17
PLDI 2022 — 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation
20 jui 2022 - 24 jui 2022 • San Diego, Californie, États-Unis
Résumé:
Welcome to the home page of the 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022)! 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.
Date limite de soumission des résumés:
09 nov 2021
Identifiant de l'évènement:
1444982
18
ASE 2022 — 37th IEEE/ACM International Conference on Automated Software Engineering
02 oct 2022 - 07 oct 2022 • Ann Arbor, Michigan, États-Unis
Résumé:
The ASE conference is the premier research forum for Automated Software Engineering. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques, and tools for automating the analysis, design, implementation, testing, and maintenance of large software systems.
Identifiant de l'évènement:
1445024


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: 15 Octobre 2021