Meetings/Workshops on Information Theory, Foundations of Computer Science in the United States (USA)

Select a location
1
LFCS'22 — Symposium on Logical Foundations of Computer Science
10 Jan 2022 - 13 Jan 2022 • Deerfield Beach, Florida, (Hybrid), United States
Abstract:
The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode in 1992. LFCS has enjoyed support and endorsements from a number of bodies, including the US National Science Foundation (NSF), Association for Symbolic Logic (ASL), Cornell University, and the City University of New York Research Foundation.
Abstract submission deadline:
17 Sep 2021
Event listing ID:
1448804
2
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:
1448889
3
MDS22 — SIAM Conference on Mathematics of Data Science
26 Sep 2022 - 30 Sep 2022 • San Diego, California, United States
Event listing ID:
1443126


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: 14 October 2021