Submitted by JasonGigax on Thu, 03/02/2023 - 4:55pm
SAVE THE DATES!
2023 Foundational Research in Robotics and National Robotics Initiative Principal Investigators' Meeting
The National FRR-NRI Program Team Members and the 2023 FRR-NRI PI Meeting Program Co-Chairs are pleased to announce the dates for the 2023 FRR-NRI PI Meeting. The event will be held starting Monday, May 1, 2023 (arrival night) through Tuesday, May 2, 2023 and Wednesday, May 3, 2023 (meeting days). Please Save the Dates!
For this special collection, we solicit papers at the intersection of philosophy, information security, and philosophy of science. There are multiple under-explored ways in which these fields intersect.
Submitted by Anonymous on Thu, 07/20/2023 - 2:05pm
The Annual Computer Security Applications Conference (ACSAC) brings together cutting-edge researchers, with a broad cross-section of security professionals drawn from academia, industry, and government, gathered to present and discuss the latest security results and topics. With peer reviewed technical papers, invited talks, panels, national interest discussions, and workshops, ACSAC continues its core mission of investigating practical solutions for computer and network security technology.
Submitted by Anonymous on Thu, 07/20/2023 - 2:03pm
29th Annual International Conference on the Theory and Applications of Cryptology and Information Security
Asiacrypt 2023 will take place in Guangzhou, China on December 4-8, 2023. Asiacrypt 2023 is organized by the International Association for Cryptologic Research (IACR). Asiacrypt 2023 is organized by the International Association for Cryptologic Research (IACR). Original contributions on all aspects of cryptology are solicited for submission.
Submitted by Anonymous on Thu, 07/20/2023 - 1:59pm
The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity 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.
Submitted by Anonymous on Thu, 07/20/2023 - 1:56pm
30th Static Analysis Symposium (SAS 2023)
Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. A selection of papers will be invited to a special issue of Springer's journal Formal Methods in System Design.