Conférences - Théorie de l'information, fondations de l'informatique - États-Unis

Sélecionner un pays:

Chili (1)  Chine (2)  Danemark (1)  Espagne (1)  Estonie (1)  France (2)  Grèce (1)  Géorgie (1)  Inde (1)  Irlande (1)  Japon (2)  Monténégro (1)  Pays-Bas (2)  Royaume-Uni (2)  République tchèque (1)  Singapour (2)  Turquie (1)  États-Unis (6)

1
FOCS — 2019 IEEE 60th Annual Symposium on Foundations of Computer Science
26 oct 2019 - 29 oct 2019 • Baltimore, MD, États-Unis
Identifiant de l'évènement:
1038494
2
FOCS — IEEE Symposium on Foundations of Computer Science
09 nov 2019 - 12 nov 2019 • Baltimore, États-Unis
Identifiant de l'évènement:
1250950
3
ITCS — Conference on Innovations in Theoretical Computer Science
12 jan 2020 - 14 jan 2020 • Seattle, États-Unis
Identifiant de l'évènement:
1249491
4
POPL 2020 — 47th ACM SIGPLAN Symposium on Principles of Programming Languages
19 jan 2020 - 25 jan 2020 • New Orleans, Louisiana, États-Unis
Organisateur:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Résumé:
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.
Identifiant de l'évènement:
1239593
Sujets apparentés:
5
CPP 2020 — The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
20 jan 2020 - 21 jan 2020 • New Orleans, Louisiana, États-Unis
Organisateur:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Résumé:
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.
Identifiant de l'évènement:
1239550
Sujets apparentés:
6
STOC — ACM Symposium on Theory of Computing
22 jui 2020 - 26 jui 2020 • Chicago, États-Unis
Identifiant de l'évènement:
1250969

États-Unis: liste de tous les évènements/conférences.



Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Les organisateurs peuvent soumettre une réunion ou une conférence pour inclusion dans nos listes, et ceci gratuitement.

Dernière mise à jour: 21 Juillet 2019