Conferences  >  Informatics  >  Software Engineering  >  United States

Select a location
1
POPL 2023 — Symposium on Principles of Programming Languages
15 Jan 2023 - 21 Jan 2023 • Boston , MA, United States
Organizer:
Association for Computing Machinery (ACM)
Abstract:
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and systems, with emphasis on how principles underpin practice. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports.
Event listing ID:
1505333
2
CPP 2023 — Conference on Certified Programs & Proofs
16 Jan 2023 - 17 Jan 2023 • Boston MA, 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.
Abstract submission deadline:
14 Sep 2022
Event listing ID:
1519960
Related subject(s):
3
NSDI '23 — 20th USENIX Symposium on Networked Systems Design and Implementation
17 Apr 2023 - 19 Apr 2023 • Boston, MA, United States
Organizer:
USENIX Association
Abstract:
Join us in Boston, MA, USA, on April 17–19, 2023, for the 20th 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.
Abstract submission deadline:
13 Sep 2022
Event listing ID:
1489752
4
NASA Formal Methods (NFM), 2023
16 May 2023 - 18 May 2023 • Houston, TX, United States
Event listing ID:
1513492
5
PLDI 2023 — 44th ACM SIGPLAN Conference on Programming Language Design and Implementation
16 Jun 2023 - 23 Jun 2023 • Orlando , FL, United States
Organizer:
Association for Computing Machinery (ACM)
Abstract:
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:
10 Nov 2022
Event listing ID:
1505230
6
PLDI 2023 — 44th ACM SIGPLAN Conference on Programming Language Design and Implementation
19 Jun 2023 - 21 Jun 2023 • Orlando, Florida, United States
Abstract:
PLDI is a premier forum for programming language research, broadly construed. Outstanding research that extends and/or applies programming-language concepts to advance the field of computing is welcome. Novel system designs, thorough empirical work, well-motivated theoretical results, and new application areas are all in scope for PLDI.
Event listing ID:
1513521
7
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:
1449649
8
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:
1449560
9
ESEC/FSE 2023 — ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
11 Nov 2023 - 17 Nov 2023 • San Francisco, United States
Abstract:
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) is an internationally renowned forum for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, experiences, and challenges in the field of software engineering. ESEC/FSE brings together experts from academia and industry to exchange the latest research results and trends as well as their practical application in all areas of software engineering.
Abstract submission deadline:
26 Jan 2023
Event listing ID:
1513740
10
SREcon24 Americas
18 Mar 2024 - 20 Mar 2024 • San Francisco, CA, United States
Organizer:
USENIX Association
Abstract:
SREcon is a gathering of engineers who care deeply about site reliability, systems engineering, and working with complex distributed systems at scale. Our purpose is to be inclusive as we bring together ideas representative of our diverse community, whether its members are focusing on a global scale, launching new products and ideas for a small business, or pivoting their approach to unite software and systems engineering. SREcon challenges 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:
1489857
11
NSDI '24 — 21st USENIX Symposium on Networked Systems Design and Implementation
16 Apr 2024 - 18 Apr 2024 • Santa Clara, CA, United States
Organizer:
USENIX Association
Event listing ID:
1517358
12
OSDI '24 — 18th USENIX Symposium on Operating Systems Design and Implementation
10 Jul 2024 - 12 Jul 2024 • Santa Clara, CA, United States
Organizer:
USENIX Association
Event listing ID:
1489867
13
USENIX ATC '24 — 2024 USENIX Annual Technical Conference
10 Jul 2024 - 12 Jul 2024 • Santa Clara, CA, United States
Organizer:
USENIX Association
Event listing ID:
1489877


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!

No tracking | No pop-ups | No animations
Last updated: 26 October 2022