Meetings/Workshops on Software Engineering in the United States (USA)

Select a location
1
SPLASH 2021 — ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity
17 Oct 2021 - 22 Oct 2021 • SPLASH 2021, United States
Organizer:
ACM Special Interest Group on Programming Languages (SIGPLAN)
Abstract:
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.
Event listing ID:
1391044
2
SEC 2021 — The Sixth ACM/IEEE Symposium on Edge Computing
14 Dec 2021 - 17 Dec 2021 • San Jose, California, United States
Organizer:
Association for Computing Machinery (ACM)
Abstract:
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.
Event listing ID:
1437482
3
PADL 2022 — The 24th International Symposium on Practical Aspects of Declarative Languages (PADL) 2022
16 Jan 2022 - 22 Jan 2022 • Philadelphia, Pennsylvania, United States
Abstract:
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.
Abstract submission deadline:
01 Oct 2021
Event listing ID:
1444888
4
POPL 2022 — Symposium on Principles of Programming Languages
16 Jan 2022 - 22 Jan 2022 • Philadelphia, Pennsylvania, United States
Organizer:
The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.
Abstract:
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.
Event listing ID:
1444854
5
CPP 2022 — Certified Programs and Proofs
16 Jan 2022 - 22 Jan 2022 • Philadelphia, Pennsylvania, United States
Abstract:
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.
Abstract submission deadline:
16 Sep 2021
Event listing ID:
1444875
6
VMCAI 2022 — 23rd International Conference on Verification, Model Checking, and Abstract Interpretation
16 Jan 2022 - 22 Jan 2022 • Philadelphia, Pennsylvania, United States
Abstract:
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.
Abstract submission deadline:
16 Sep 2021
Event listing ID:
1444852
7
PEPM 2022 — ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
16 Jan 2022 - 22 Jan 2022 • Philadelphia, Pennsylvania, United States
Abstract:
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.
Abstract submission deadline:
07 Oct 2021
Event listing ID:
1444917
8
CPP 2022 — Conference on Certified Programs & Proofs
17 Jan 2022 - 18 Jan 2022 • Philadelphia PA with Virtual options, United States
Abstract:
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.
Event listing ID:
1448823
9
FAST 2022 — 20th USENIX Conference on File and Storage Technologies
21 Feb 2022 - 24 Feb 2022 • Santa Clara, United States
Organizer:
USENIX Association
Abstract:
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.
Event listing ID:
1359352
10
SREcon22 Americas
14 Mar 2022 - 16 Mar 2022 • San Francisco, CA, United States
Organizer:
USENIX Association
Abstract:
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.
Event listing ID:
1359416
11
SAIS — 24th Annual Conferences of the Southern Association for Information Systems
18 Mar 2022 - 19 Mar 2022 • Myrtle Beach, South Carolina, United States
Organizer:
Association for Information Systems
Abstract:
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:
Phone: [7576479437];     Email: chris.kreider@cnu.edu
Topics:
systems analysis, systems design, analytics, project management, information systems, information security, cybersecurity
Abstract submission deadline:
01 Mar 2021
Event listing ID:
1442111
12
tinyML Research Symposium — Tiny machine learning
28 Mar 2022 • San Francisco, United States
Abstract:
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.
Abstract submission deadline:
17 Dec 2021
Event listing ID:
1444944
13
NSDI '22 — 19th USENIX Symposium on Networked Systems Design and Implementation
04 Apr 2022 - 06 Apr 2022 • Renton, WA, United States
Organizer:
USENIX Association
Abstract:
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.
Event listing ID:
1359395
14
ICSE 2022 — 44th International Conference on Software Engineering
21 May 2022 - 29 May 2022 • Pittsburgh, United States
Abstract:
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.
Abstract submission deadline:
15 Oct 2021
Event listing ID:
1445087
15
NFM 2022 — 14th NASA Formal Methods Symposium
24 May 2022 - 27 May 2022 • Los Angeles, CA, United States
Abstract:
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.
Abstract submission deadline:
03 Dec 2021
Event listing ID:
1449306
Related subject(s):
16
ISCA 49 — International Symposium on Computer Architecture
11 Jun 2022 - 15 Jun 2022 • New York, NY, United States
Event listing ID:
1437465
Event website:
17
PLDI 2022 — 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation
20 Jun 2022 - 24 Jun 2022 • San Diego, California, United States
Abstract:
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.
Abstract submission deadline:
09 Nov 2021
Event listing ID:
1444971
18
OSDI '22 — 16th USENIX Symposium on Operating Systems Design and Implementation
11 Jul 2022 - 13 Jul 2022 • Carlsbad, CA, United States
Organizer:
Sponsored by USENIX in cooperation with ACM SIGOPS
Abstract:
OSDI brings together professionals from academic and industrial backgrounds in what has become a premier forum for discussing the design, implementation, and implications of systems software. The symposium emphasizes innovative research as well as quantified or insightful experiences in systems design and implementation.
Topics:
Co-located with USENIX ATC '22
Abstract submission deadline:
07 Dec 2021
Event listing ID:
1449609
19
USENIX ATC '22 — 2022 USENIX Annual Technical Conference
11 Jul 2022 - 13 Jul 2022 • Carlsbad, CA, United States
Abstract:
USENIX ATC brings together leading systems researchers for the presentation of cutting-edge systems research and the opportunity to gain insight into a wealth of must-know topics, including virtualization, system and network management and troubleshooting, cloud and edge computing, security, privacy, and trust, mobile and wireless, and more.
Topics:
Co-located with OSDI '22
Abstract submission deadline:
06 Jan 2022
Event listing ID:
1449531
20
ASE 2022 — 37th IEEE/ACM International Conference on Automated Software Engineering
02 Oct 2022 - 07 Oct 2022 • Ann Arbor, Michigan, United States
Abstract:
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.
Event listing ID:
1444991
21
OSDI '23 — 17th USENIX Symposium on Operating Systems Design and Implementation
10 Jul 2023 - 12 Jul 2023 • Boston, MA, United States
Abstract:
OSDI brings together professionals from academic and industrial backgrounds in what has become a premier forum for discussing the design, implementation, and implications of systems software. The symposium emphasizes innovative research as well as quantified or insightful experiences in systems design and implementation.
Topics:
Co-located with USENIX ATC '23
Event listing ID:
1449605
22
USENIX ATC '23 — 2023 USENIX Annual Technical Conference
10 Jul 2023 - 12 Jul 2023 • Boston, MA, United States
Abstract:
USENIX ATC brings together leading systems researchers for the presentation of cutting-edge systems research and the opportunity to gain insight into a wealth of must-know topics, including virtualization, system and network management and troubleshooting, cloud and edge computing, security, privacy, and trust, mobile and wireless, and more.
Event listing ID:
1449571


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

Last updated: 20 October 2021