Conferences  >  Informatics  >  Information Theory, Foundations of Computer Science

Select a location
ALL COUNTRIES (13)
1
ETAPS 2023 — 26th European Joint Conferences on Theory and Practice of Software
22 Apr 2023 - 27 Apr 2023 • Paris, France
Organizer:
ETAPS Association
Abstract:
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS, and TACAS, accompanied by satellite workshops.
Abstract submission deadline:
13 Oct 2022
Event listing ID:
1519985
Related subject(s):
Event website:
2
ITW 2023 — 2023 IEEE Information Theory Workshop
23 Apr 2023 - 28 Apr 2023 • Paris , France
Organizer:
IEEE Information Theory Society
Topics:
Machine learning / deep learning, Algebraic coding theory, Modern coding theory, Quantum coding, 6G Communications / Massive communications, Network information theory and network coding, Cryptography, modern and post-quantum
Abstract submission deadline:
30 Nov 2022
Event listing ID:
1529428
Event website:
3
NASA Formal Methods (NFM), 2023
16 May 2023 - 18 May 2023 • Houston, TX, United States
Event listing ID:
1513558
Related subject(s):
4
Arithmetic, Geometry, Cryptography and Coding Theory
05 Jun 2023 - 09 Jun 2023 • CIRM (Marseille Luminy) , France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Abstract:
Our goal is to organise a conference devoted to interactions between pure mathematics (in particular arithmetic and algebraic geometry) and information theory (especially cryptography and coding theory). This conference will be the eighteenth edition, with the first one held in 1987, in a series that has traditionally brought together some of the top specialists in the domains of arithmetic, geometry, and information theory. The corresponding international community is very active and all of the concerned research domains are developing and expanding rapidly.
Topics:
Algebraic and arithmetic geometry over finite fields and global fields. Number theory, especially explicit and algorithmic. Algebro-geometric codes constructed from curves and higher-dimensional algebraic varieties over finite fields and global fields. -Arithmetic and geometric aspects of cryptography (symmetric, public key, and post-quantum) and cryptanalysis.
Event listing ID:
1507582
5
SPAA '23 — 34th ACM Symposium on Parallelism in Algorithms and Architectures
17 Jun 2023 - 19 Jun 2023 • Orlando , FL, United States
Organizer:
Association for Computing Machinery (ACM)
Abstract:
The 35th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA ’23) is sponsored by the ACM Special Interest Groups on Algorithms and Computation Theory (SIGACT) and Computer Architecture (SIGARCH) and organized in cooperation with the European Association for Theoretical Computer Science.  The conference will run from June 17th to June 19th, 2023. Workshops and tutorials will be on June 16th. SPAA 2023 will be held as part of ACM FCRC in Orlando, Florida.
Abstract submission deadline:
12 Jan 2023
Event listing ID:
1535914
Event website:
6
AQC 2023 — Adiabatic Quantum Computing
19 Jun 2023 - 23 Jun 2023 • Albuquerque, United States
Organizer:
University of New Mexico, Albuquerque
Abstract:
The twelfth International Conference, AQC 2023, will bring together researchers from different communities to explore this computational paradigm and related topics. The goal of the conference is to promote a dialogue on the open theoretical questions and experimental challenges that must be addressed to realize practically useful adiabatic quantum computing and quantum annealing in existing and near-term hardware.
Abstract submission deadline:
20 Mar 2023
Event listing ID:
1543368
7
WG 2023 — 49th International Workshop on Graph-Theoretic Concepts in Computer Science
28 Jun 2023 - 30 Jun 2023 • University of Fribourg, Fribourg, Switzerland
Abstract:
WG is mainly concerned with efficient algorithms of various types (e.g. sequential, parallel, distributed, randomized, parameterized) for problems on graphs and networks. The goal is to present recent results and to identify and explore directions for future research.
Abstract submission deadline:
13 Feb 2023
Event listing ID:
1524019
8
ISSAC 2023 — International Symposium on Symbolic and Algebraic Computation
24 Jul 2023 - 27 Jul 2023 • Tromsø, Norway
Abstract:
The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2023 will be the 48th meeting in the series, which started in 1966 and has been held annually since 1981. The conference presents a range of invited speakers, tutorials, short communication, software demonstrations and vendor exhibits with a center-piece of contributed research papers.
Topics:
All areas of computer algebra and symbolic computation are of interest at ISSAC 2023. These include, but are not limited to: Algorithmic aspects, Software aspects, Application aspects
Event listing ID:
1506954
Related subject(s):
9
Workshop I: Quantum Algorithms for Scientific Computation
02 Oct 2023 - 06 Oct 2023 • Los Angeles, CA, United States
Organizer:
Institute for Pure and Applied Mathematics (IPAM), UCLA
Abstract:
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.
Topics:
Part of the Long Program Mathematical and Computational Challenges in Quantum Computing
Event listing ID:
1501714
10
Workshop II: Mathematical Aspects of Quantum Learning
16 Oct 2023 - 20 Oct 2023 • Los Angeles, CA, United States
Organizer:
Institute for Pure and Applied Mathematics (IPAM), UCLA
Abstract:
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.
Topics:
Part of the Long Program Mathematical and Computational Challenges in Quantum Computing
Event listing ID:
1501757
11
Workshop III: Many-body Quantum Systems via Classical and Quantum Computation
06 Nov 2023 - 09 Nov 2023 • Los Angeles, CA, United States
Organizer:
Institute for Pure and Applied Mathematics (IPAM), UCLA
Abstract:
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.
Topics:
Part of the Long Program Mathematical and Computational Challenges in Quantum Computing
Event listing ID:
1501712
12
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, United States
Abstract:
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.
Abstract submission deadline:
26 Jan 2023
Event listing ID:
1513740
Related subject(s):
13
Workshop IV: Topology, Quantum Error Correction and Quantum Gravity
27 Nov 2023 - 01 Dec 2023 • Los Angeles, CA, United States
Organizer:
Institute for Pure and Applied Mathematics (IPAM), UCLA
Abstract:
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.
Topics:
Part of the Long Program Mathematical and Computational Challenges in Quantum Computing
Event listing ID:
1501722


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!

No tracking | No pop-ups | No animations
Last updated: 8 February 2023