Konferenzen zum Thema Informationstheorie und Grundlagen der Informatik in den Vereinigten Staaten (USA)

Wählen Sie ein Land aus
1
FOCS — 2019 IEEE 60th Annual Symposium on Foundations of Computer Science
26. Okt 2019 - 29. Okt 2019 • Baltimore, MD, Vereinigte Staaten
Eintrags-ID:
1038505
2
FOCS — IEEE Symposium on Foundations of Computer Science
09. Nov 2019 - 12. Nov 2019 • Baltimore, Vereinigte Staaten
Eintrags-ID:
1251016
3
ITCS — Conference on Innovations in Theoretical Computer Science
12. Jan 2020 - 14. Jan 2020 • Seattle, Vereinigte Staaten
Eintrags-ID:
1249502
4
POPL 2020 — 47th ACM SIGPLAN Symposium on Principles of Programming Languages
19. Jan 2020 - 25. Jan 2020 • New Orleans, Louisiana, Vereinigte Staaten
Veranstalter:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Zusammenfassung:
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.
Eintrags-ID:
1239637
Verwandte Fachgebiete:
5
CPP 2020 — The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
20. Jan 2020 - 21. Jan 2020 • New Orleans, Louisiana, Vereinigte Staaten
Veranstalter:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Zusammenfassung:
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.
Eintrags-ID:
1239583
Verwandte Fachgebiete:
6
ICME 2020 — 54th Annual Conference on Information Sciences and Systems
18. Mär 2020 - 20. Mär 2020 • Princeton University, Vereinigte Staaten
Veranstalter:
Princeton University - Department of Electrical Engineering
Zusammenfassung:
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
Eintrags-ID:
1265212
7
STOC — ACM Symposium on Theory of Computing
22. Jun 2020 - 26. Jun 2020 • Chicago, Vereinigte Staaten
Eintrags-ID:
1250881


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Stand vom 19. August 2019