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

Sélecionner un pays
1
POPL 2023 — Symposium on Principles of Programming Languages
15 jan 2023 - 21 jan 2023 • Boston , MA, États-Unis
Organisateur:
Association for Computing Machinery (ACM)
Résumé:
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and systems, with emphasis on how principles underpin practice. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports.
Identifiant de l'évènement:
1505300
Sujets apparentés:
2
54th Southeastern International Conference on Combinatorics, Graph Theory & Computing
06 mar 2023 - 10 mar 2023 • Florida Atlantic University, Boca Raton, FL, États-Unis
Résumé:
Celebrating its 54th year, the Conference brings together mathematicians and others interested in combinatorics, graph theory and computing, and their interactions. The Conference lectures and contributed papers, as well as the opportunities for informal conversations, have proven to be of great interest to other scientists and analysts employing these mathematical sciences in their professional work in business, industry, and government.
Identifiant de l'évènement:
1507558
3
NASA Formal Methods (NFM), 2023
16 mai 2023 - 18 mai 2023 • Houston, TX, États-Unis
Identifiant de l'évènement:
1513481
Sujets apparentés:
4
Workshop I: Quantum Algorithms for Scientific Computation
02 oct 2023 - 06 oct 2023 • Los Angeles, CA, États-Unis
Organisateur:
Institute for Pure and Applied Mathematics (IPAM), UCLA
Résumé:
The recent development of quantum algorithms has significantly pushed forward the frontier of using quantum computers for performing a wide range of scientific computing problems. This includes solving numerical linear algebra tasks for very large matrices, such as solving linear systems, eigenvalue decomposition, singular value decomposition, matrix function evaluation etc, as well as solving certain high dimensional linear and nonlinear differential equations, such as heat equations and wave equations. This workshop aims to bring together leading experts across different disciplines, including experts in solving related tasks using classical computers that can potentially inspire the development of new quantum algorithms; discuss recent progress made in the development of quantum algorithms for linear algebra and differential equations and the advances in classical algorithms; foster the discussion and pave the path towards identifying and overcoming challenging problems in science and engineering and for various industrial and technological applications.
Sujets:
Part of the Long Program Mathematical and Computational Challenges in Quantum Computing
Identifiant de l'évènement:
1501747
5
Workshop II: Mathematical Aspects of Quantum Learning
16 oct 2023 - 20 oct 2023 • Los Angeles, CA, États-Unis
Organisateur:
Institute for Pure and Applied Mathematics (IPAM), UCLA
Résumé:
What will quantum computers be useful for once we have them? Machine learning and optimization would be important applications if quantum computers were useful for them, but the level of quantum benefit is unknown. One aim of the workshop is to bring together experts in classical and quantum machine learning to discuss the role of mathematical proof as well as experimentation in understanding these topics. A second aim is to explore how classical machine learning techniques can help us build better quantum computers.
Sujets:
Part of the Long Program Mathematical and Computational Challenges in Quantum Computing
Identifiant de l'évènement:
1501702
6
Workshop III: Many-body Quantum Systems via Classical and Quantum Computation
06 nov 2023 - 09 nov 2023 • Los Angeles, CA, États-Unis
Organisateur:
Institute for Pure and Applied Mathematics (IPAM), UCLA
Résumé:
The ability to create and manipulate complex quantum states offers the potential for dramatic increases in computational power, measurement sensitivity, and information security. Understanding the dynamics of such entangled many-body states raises a number of mathematical and physical questions, as such states often lie beyond standard approximate descriptions used in different areas of physics. This workshop is devoted to the related problems of how quantum and classical computers can be used to attack important problems in many-body quantum mechanics across application domains. While the faithful representation of full many-particle Hilbert spaces on a classical computer is exponentially costly, efficient approximate representations for specific purposes have been discovered, such as tensor networks. Studying the dynamics of quantum computers in the current NISQ area leads naturally to questions of robustness and control.
Sujets:
Part of the Long Program Mathematical and Computational Challenges in Quantum Computing
Identifiant de l'évènement:
1501690
7
ESEC/FSE 2023 — ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
11 nov 2023 - 17 nov 2023 • San Francisco, États-Unis
Résumé:
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) is an internationally renowned forum for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, experiences, and challenges in the field of software engineering. ESEC/FSE brings together experts from academia and industry to exchange the latest research results and trends as well as their practical application in all areas of software engineering.
Date limite de soumission des résumés:
26 jan 2023
Identifiant de l'évènement:
1513784
Sujets apparentés:
8
Workshop IV: Topology, Quantum Error Correction and Quantum Gravity
27 nov 2023 - 01 dec 2023 • Los Angeles, CA, États-Unis
Organisateur:
Institute for Pure and Applied Mathematics (IPAM), UCLA
Résumé:
The goal of finding better quantum error correcting codes gains motivation not just in fault tolerant quantum computing, but also for attacking major open questions in quantum complexity theory. This workshop will bring together leading researchers working on both the areas, with the aim of making progress on questions such as the quantum PCP conjecture, better quantum LDPC codes, quantum local testability and tests for quantumness.
Sujets:
Part of the Long Program Mathematical and Computational Challenges in Quantum Computing
Identifiant de l'évènement:
1501722


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!

Y'a pas de suivi | Y'a pas de pop-ups | Y'a pas d'animations
Dernière mise à jour: 21 septembre 2022