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

Select a location
1
FOCS — 2019 IEEE 60th Annual Symposium on Foundations of Computer Science
26 Oct 2019 - 29 Oct 2019 • Baltimore, MD, United States
Event listing ID:
1038527
Event website:
2
FOCS — IEEE Symposium on Foundations of Computer Science
09 Nov 2019 - 12 Nov 2019 • Baltimore, United States
Event listing ID:
1251016
3
ITCS — Conference on Innovations in Theoretical Computer Science
12 Jan 2020 - 14 Jan 2020 • Seattle, United States
Event listing ID:
1249535
4
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
Related subject(s):
5
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:
1239605
Related subject(s):
6
ICME 2020 — 54th Annual Conference on Information Sciences and Systems
18 Mar 2020 - 20 Mar 2020 • Princeton University, United States
Organizer:
Princeton University - Department of Electrical Engineering
Abstract:
Information Theory, Coding Theory, Image Processing, Communications, Signal Processing, Machine Learning,Big Data Analytics,Reinforcement Learning, Optimization, Statistical Inference, Security and Privacy, Energy Systems, Networking, Systems and Control, and Biological Systems
Event listing ID:
1265201
7
STOC — ACM Symposium on Theory of Computing
22 Jun 2020 - 26 Jun 2020 • Chicago, United States
Event listing ID:
1250936


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: 19 August 2019