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

Select a location
1
VMCAI 2020 — 21st International Conference on Verification, Model Checking, and Abstract Interpretation
19 Jan 2020 - 21 Jan 2020 • New Orleans, Louisiana, United States
Organizer:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Abstract:
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.
Event listing ID:
1239614
2
POPL 2020 — 47th ACM SIGPLAN Symposium on Principles of Programming Languages
19 Jan 2020 - 25 Jan 2020 • New Orleans, Louisiana, United States
Organizer:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
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:
1239604
3
VMCAI — Verification, Model Checking and Abstract Interpretation
19 Jan 2020 - 25 Jan 2020 • New Orleans, United States
Event listing ID:
1249796
4
CPP 2020 — The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
20 Jan 2020 - 21 Jan 2020 • New Orleans, Louisiana, United States
Organizer:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Abstract:
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.
Event listing ID:
1239638
5
TSOA-ID — Tri-Service Open Architecture Interoperability Demonstration
29 Jan 2020 • Atlanta, United States
Organizer:
NAVAIR, PMA-209
Abstract:
Showcase of never-before-seen developments in the growing open market ecosystem. Live demonstrations on Systems Acquisition and Integration, Module Specification and Development, Conformance (qualification) and Open Systems Realization. Find out exactly how the new maturity of modular open systems approach technology will greatly increase defense program efficiency, accelerate the acquisition of the latest capabilities, and improve adaptability in currently fielded systems.
Contact:
Phone: [5037058651];     Email: sally@sallybixby.com
Topics:
technology, hardware, software, modularopensystems, sosa, cmoss,
Event listing ID:
1274969
Event website:
6
PpoPP 2020 — ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming
22 Feb 2020 - 26 Feb 2020 • San Diego, California, United States
Organizer:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Abstract:
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.
Event listing ID:
1239635
7
HPCA — IEEE International Symposium on High Performance Computer Architecture
22 Feb 2020 - 26 Feb 2020 • San Diego, United States
Event listing ID:
1242431
Related subject(s):
8
CGO — International Symposium on Code Generation and Optimization
22 Feb 2020 - 26 Feb 2020 • San Diego, United States
Event listing ID:
1249563
Event website:
9
FAST ‘20 — 18th USENIX Conference on File and Storage Technologies
24 Feb 2020 - 27 Feb 2020 • Santa Clara, CA, United States
Organizer:
USENIX in cooperation with ACM SIGOPS
Abstract:
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.
Event listing ID:
1257191
Related subject(s):
10
NSDI ‘20 — 17th USENIX Symposium on Networked Systems Design and Implementation
25 Feb 2020 - 27 Feb 2020 • Santa Clara, CA, United States
Organizer:
USENIX in cooperation with ACM SIGCOMM and ACM SIGOPS
Abstract:
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:
1257181
Related subject(s):
11
ISPASS-2020 — 2020 IEEE International Symposium on Performance Analysis of Systems and Software
05 Apr 2020 - 07 Apr 2020 • Boston, United States
Event listing ID:
1265328
12
IEEE ISORC — International Symposium on Real-Time Distributed Computing
19 May 2020 - 21 May 2020 • Nashville, United States
Abstract:
ISORC has become established as the leading event devoted to state-of-the-art research in the field of object/component/service-oriented real-time distributed computing (ORC) technology. In addition to the main conference, ISORC 2020 will host a special session dedicated to posters and demos, where participants will be able to show prototypes, tools, simulators and systems, which demonstrate the applicability of real-time computing to different applications. Best papers from ISORC 2020 will be invited for submission to a Special Issue of the Elsevier Journal of Systems Architecture (JSA).
Event listing ID:
1300643
13
PODS — ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems
14 Jun 2020 - 19 Jun 2020 • Portland, United States
Event listing ID:
1249651
Related subject(s):
Event website:
14
SEKE 2020 — 32nd International Conference on Software Engineering & Knowledge Engineering
09 Jul 2020 - 11 Jul 2020 • Pittsburgh, PA, United States
Organizer:
Wyndham Pittsburgh University Center, Pittsburgh
Abstract:
The conference aims at bringing together experts in software engineering and knowledge engineering to discuss on relevant results in either software engineering or knowledge engineering or both. Special emphasis will be put on the transference of methods between both domains. The theme this year is big data and software engineering & knowledge engineering.
Event listing ID:
1307221
15
ACT — USENIX Annual Technical Conference
15 Jul 2020 - 17 Jul 2020 • Boston, United States
Event listing ID:
1251024
Related subject(s):
16
SPAA '20 — 32nd ACM Symposium on Parallelism in Algorithms and Architectures
15 Jul 2020 - 17 Jul 2020 • Philadelphia, United States
Organizer:
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
Event listing ID:
1265252
Event website:
17
ISSTA 2020 — ACM SIGSOFT International Symposium on Software Testing and Analysis
18 Jul 2020 - 22 Jul 2020 • Los Angeles, United States
Abstract:
The ACM SIGSOFT International Symposium on Software Testing and Analysis is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems
Event listing ID:
1294005
18
CAV : International Conference on Computer Aided Verification
19 Jul 2020 - 24 Jul 2020 • Los Angeles, United States
Event listing ID:
1269310
Event website:
19
SIGCOMM — ACM SIGCOMM Conference
10 Aug 2020 - 14 Aug 2020 • New York City, United States
Abstract:
SIGCOMM is the flagship annual conference of the ACM Special Interest Group on Data Communication (SIGCOMM) on the applications, technologies, architectures, and protocols for computer communication.
Event listing ID:
1307161
20
ICFP — International Conference on Functional Programming
24 Aug 2020 - 26 Aug 2020 • Jersey City, United States
Event listing ID:
1275501
Related subject(s):
21
FSE — ACM SIGSOFT International Symposium on Foundations of Software Engineering
08 Nov 2020 - 13 Nov 2020 • Sacramento, United States
Event listing ID:
1251007


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: 13 December 2019