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

Sélecionner un pays
TOUS LES PAYS (17)
1
FSTTCS 2020 — 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
14 dec 2020 - 18 dec 2020 • Goa, Inde
Organisateur:
IARCS, the Indian Association for Research in Computing Science
Résumé:
FSTTCS 2020 is the 40th conference on Foundations of Software Technology and Theoretical Computer Science. It is organised by IARCS, the Indian Association for Research in Computing Science. It is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.
Identifiant de l'évènement:
1366127
2
POPL '21 — The 48th Annual ACM SIGPLAN Symposium on Principles of Programming Languages
17 jan 2021 - 22 jan 2021 • Copenhagen, Danemark
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:
1384625
Sujets apparentés:
3
CSL'21 — Computer Science Logic
25 jan 2021 - 28 jan 2021 • Ljubljana, Slovénie
Organisateur:
European Association for Computer Science Logic (EACSL)
Résumé:
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.
Identifiant de l'évènement:
1356644
4
Algebraic Aspects of Matroid Theory
28 mar 2021 - 02 avr 2021 • Banff Centre in Alberta, Canada
Organisateur:
Banff International Research Station for Mathematical Innovation and Discovery (BIRS)
Résumé:
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.
Identifiant de l'évènement:
1364154
5
Computability Theory
25 avr 2021 - 01 mai 2021 • Oberwolfach , Allemagne
Organisateur:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Identifiant de l'évènement:
1312964
6
CIRM – Research School — Ecole de Printemps d’Informatique Théorique (EPIT).
24 mai 2021 - 28 mai 2021 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Identifiant de l'évènement:
1312284
7
Arithmétique, géométrie, cryptographie et théorie des codes
31 mai 2021 - 04 jui 2021 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Identifiant de l'évènement:
1312283
8
STOC- ACM Symposium on Theory of Computing
21 jui 2021 - 25 jui 2021 • Rome, Italie
Identifiant de l'évènement:
1371557
9
LICS - IEEE Symposium on Logic in Computer Science
29 jui 2021 - 02 jul 2021 • Rome, Italie
Identifiant de l'évènement:
1371596
10
ISIT- IEEE International Symposium on Information Theory
11 jul 2021 - 16 jul 2021 • Melbourne, Australie
Identifiant de l'évènement:
1371511
11
Information Theory and Data Science Workshop
19 jul 2021 - 23 jul 2021 • Singapore, Singapour
Organisateur:
Institute for Mathematical Sciences/National University of Singapore
Résumé:
Information theory addresses fundamental questions in various areas of science and engineering, including communications, data compression, statistical learning theory, security, and networks. In particular, information theory can be used to identify fundamental limits and gauge the effectiveness of algorithms for various problems associated with these fields.
Identifiant de l'évènement:
1240827
12
CCC2021 — Computational Complexity Conference
20 jul 2021 - 23 jul 2021 • The Fields Institute –Toronto, Ontario, Canada
Organisateur:
The Fields Institute for Research in Mathematical Sciences
Résumé:
The conference aims to foster research in all areas of computational complexity theory, studying the absolute and relative power of computational models under resource constraints. Typical models include deterministic, nondeterministic, randomized, and quantum models; uniform and nonuniform models; Boolean, algebraic, and continuous models. Typical resource constraints involve time, space, randomness, program size, input queries, communication, and entanglement; worst-case as well as average case. Other, more specific, topics include: probabilistic and interactive proof systems, inapproximability, proof complexity, descriptive complexity, and complexity-theoretic aspects of cryptography and machine learning. The conference also encourages results from other areas of computer science and mathematics motivated by computational complexity theory.
Identifiant de l'évènement:
1386028
13
Algebraic Techniques in Theoretical Computer Science
29 aou 2021 - 03 sep 2021 • Oaxaca, Mexique
Organisateur:
Casa Matemática Oaxaca (CMO) in Mexico, and the Banff International Research Station for Mathematical Innovation and Discovery (BIRS) in Banff, Canada
Résumé:
Algebraic techniques have become influential in many areas in theoretical computer science, such as: coding theory, hardness of approximation, communication complexity, learning theory, cryptography, sublinear algorithms, coding theory, communication complexity, social choice theory, and more. The workshop will bring together researchers in these areas, allowing them to learn from each other and facilitate new collaborations.
Identifiant de l'évènement:
1364711
14
AGACSE — Applied Geometric Algebras in Computer Science and Engineering
06 sep 2021 - 10 sep 2021 • Brno, République tchèque
Organisateur:
Brno University of Technology, Faculty of Mechanical Engineering, Brno, Czech Republic.
Résumé:
The conference has three main goals: To promote the development of the geometric algebra and geometric calculus. To spread geometric algebra technologies within industry and business by showing a range of applications (image processing, computer vision, robotics, flight navigation, molecular geometry, etc.). To make progress on the inclusion of geometric algebra ideas into the mathematics, physics, computer science and engineering curricula.
Identifiant de l'évènement:
1376507
Sujets apparentés:
15
9th International Conference on Relational and Algebraic Methods in Computer Science
01 nov 2021 - 05 nov 2021 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Identifiant de l'évènement:
1312506
Sujets apparentés:
16
Nouvelles directions en calculabilité — New Directions in Computability Theory
07 mar 2022 - 11 mar 2022 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Sujets:
CONFERENCE
Identifiant de l'évènement:
1369367
17
Ecole de printemps d'informatique théorique : Apprentissage automatique — Theoretical Computer Science Spring School: Machine Learning
23 mai 2022 - 27 mai 2022 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Sujets:
RESEARCH SCHOOL
Identifiant de l'évènement:
1369479


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!

Dernière mise à jour: 05 Novembre 2020