Konferenzen  >  Informatik  >  Informationstheorie und Grundlagen der Informatik

Wählen Sie ein Land aus
ALLE LÄNDER (16)
1
FATIL2022 — The First International Conference on Foundations, Applications, and Theory of Inductive Logic
12. Okt 2022 - 14. Okt 2022 • München, Deutschland
Zusammenfassung:
Inductive reasoning is one of the most important reasoning techniques for humans and formalises the intuitive notion of "reasoning from experience". It has thus influenced both theoretical work on the formalisation of rational models of thought in Philosophy as well as practical applications in the areas of Artificial Intelligence and, in particular, Machine Learning. The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2022) aims at bringing together experts from all fields concerned with inductive reasoning.
Eintrags-ID:
1489276
2
LATIN 2022 — 15th Latin American Theoretical Informatics Symposium
17. Okt 2022 - 21. Okt 2022 • Guanajuato, Mexiko
Zusammenfassung:
The 15th Latin American Theoretical Informatics Symposium LATIN 2022 will be held in Guanajuato, Mexico. LATIN is devoted to different areas in theoretical computer science including, but not limited to: algorithms (approximation, online, randomized, algorithmic game theory, etc.), analytic combinatorics and analysis of algorithms, automata theory and formal languages, coding theory and data compression, combinatorial algorithms, combinatorial optimization, combinatorics and graph theory, complexity theory, computational algebra, computational biology, computational geometry, computational number theory, cryptology, databases and information retrieval, data structures, formal methods and security, foundations of data science and theoretical machine learning, Internet and the web, parallel and distributed computing, pattern matching, programming language theory, quantum computing, and random structures.
Einsendeschluss für Abstracts:
22. Mai 2022
Eintrags-ID:
1481486
3
POPL 2023 — Symposium on Principles of Programming Languages
15. Jan 2023 - 21. Jan 2023 • Boston , MA, Vereinigte Staaten
Veranstalter:
Association for Computing Machinery (ACM)
Zusammenfassung:
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.
Eintrags-ID:
1505344
Verwandte Fachgebiete:
4
SOSA23 — SIAM Symposium on Simplicity in Algorithms
23. Jan 2023 - 24. Jan 2023 • Florenz, Italien
Veranstalter:
Society for Industrial and Applied Mathematics (SIAM)
Zusammenfassung:
Symposium on Simplicity in Algorithms is a conference in theoretical computer science dedicated to advancing algorithms research by promoting simplicity and elegance in the design and analysis of algorithms. The benefits of simplicity are manifold: simpler algorithms manifest a better understanding of the problem at hand; they are more likely to be implemented and trusted by practitioners; they can serve as benchmarks, as an initialization step, or as the basis for a “state of the art'' algorithm; they are more easily taught and are more likely to be included in algorithms textbooks; and they attract a broader set of researchers to difficult algorithmic problems.
Einsendeschluss für Abstracts:
11. Aug 2022
Eintrags-ID:
1501602
5
Foundations of Computer Science and their New Trends
30. Jan 2023 - 01. Feb 2023 • Kyoto University, Japan
Veranstalter:
The Research Institute for Mathematical Sciences (RIMS)
Eintrags-ID:
1490226
6
Group, Ring, Language and Related Areas in Computer Science
15. Feb 2023 - 17. Feb 2023 • Kyoto University, Japan
Veranstalter:
The Research Institute for Mathematical Sciences (RIMS)
Eintrags-ID:
1490276
7
54th Southeastern International Conference on Combinatorics, Graph Theory & Computing
06. Mär 2023 - 10. Mär 2023 • Florida Atlantic University, Boca Raton, FL, Vereinigte Staaten
Zusammenfassung:
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.
Eintrags-ID:
1507492
Verwandte Fachgebiete:
8
BIRS Workshop — Algebraic Aspects of Matroid Theory
12. Mär 2023 - 17. Mär 2023 • Banff, Alberta, Kanada
Veranstalter:
Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Zusammenfassung:
The researchers participating in this workshop come from several mathematical subdisciplines, including combinatorics, algebraic geometry, and theoretical computer science. Their work and common interest here is to investigate new interactions between discrete mathematics, algebra, algebraic geometry, tropical geometry, and combinatorial algorithms. Some participants have collaborated before in smaller groups, but this meeting will provide an opportunity to work together more intensively. Several recent mathematical breakthroughs will be highlighted in the workshop, including the recent resolution of some long-standing open problems about graphs and matroids. These breakthroughs used a surprising combination of interdisciplinary techniques which the organizers expect to have exciting further applications.
Eintrags-ID:
1498915
9
NASA Formal Methods (NFM), 2023
16. Mai 2023 - 18. Mai 2023 • Houston, TX, Vereinigte Staaten
Eintrags-ID:
1513558
Verwandte Fachgebiete:
10
Arithmetic, Geometry, Cryptography and Coding Theory
05. Jun 2023 - 09. Jun 2023 • CIRM (Marseille Luminy) , Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Zusammenfassung:
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.
Themen:
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.
Eintrags-ID:
1507615
11
ISSAC 2023 — International Symposium on Symbolic and Algebraic Computation
24. Jul 2023 - 27. Jul 2023 • Tromsø, Norwegen
Zusammenfassung:
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.
Themen:
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
Eintrags-ID:
1506954
Verwandte Fachgebiete:
12
Workshop I: Quantum Algorithms for Scientific Computation
02. Okt 2023 - 06. Okt 2023 • Los Angeles, CA, Vereinigte Staaten
Veranstalter:
Institute for Pure and Applied Mathematics (IPAM), UCLA
Zusammenfassung:
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.
Themen:
Part of the Long Program Mathematical and Computational Challenges in Quantum Computing
Eintrags-ID:
1501714
13
Workshop II: Mathematical Aspects of Quantum Learning
16. Okt 2023 - 20. Okt 2023 • Los Angeles, CA, Vereinigte Staaten
Veranstalter:
Institute for Pure and Applied Mathematics (IPAM), UCLA
Zusammenfassung:
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.
Themen:
Part of the Long Program Mathematical and Computational Challenges in Quantum Computing
Eintrags-ID:
1501779
14
Workshop III: Many-body Quantum Systems via Classical and Quantum Computation
06. Nov 2023 - 09. Nov 2023 • Los Angeles, CA, Vereinigte Staaten
Veranstalter:
Institute for Pure and Applied Mathematics (IPAM), UCLA
Zusammenfassung:
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.
Themen:
Part of the Long Program Mathematical and Computational Challenges in Quantum Computing
Eintrags-ID:
1501756
15
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, Vereinigte Staaten
Zusammenfassung:
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.
Einsendeschluss für Abstracts:
26. Jan 2023
Eintrags-ID:
1513751
Verwandte Fachgebiete:
16
Workshop IV: Topology, Quantum Error Correction and Quantum Gravity
27. Nov 2023 - 01. Dez 2023 • Los Angeles, CA, Vereinigte Staaten
Veranstalter:
Institute for Pure and Applied Mathematics (IPAM), UCLA
Zusammenfassung:
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.
Themen:
Part of the Long Program Mathematical and Computational Challenges in Quantum Computing
Eintrags-ID:
1501799


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.

Kein Tracking | Keine Pop-ups | Keine Animationen
Stand vom 21. September 2022