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

Sélecionner un pays
TOUS LES PAYS (13)
1
GandALF 2021 — 12th International Symposium on Games, Automata, Logics, and Formal Verification
20 sep 2021 - 22 sep 2021 • Padova – Hybrid, Italie
Résumé:
The Twelfth International Symposium on Games, Automata, Logics, and Formal Verification will be held in Padua (Italy) on September 20-22, 2021. The aim of GandALF 2021 symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. This year, GANDALF will be organised together with the 3rd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2021). The OVERLAY workshop focuses on the relationships between Artificial Intelligence and Formal Methods, and discusses on the opportunities and challenges at the border of the two areas. Both events will be hosted by the University of Padua, and will share some invited speakers. We encourage participation in both events.
Identifiant de l'évènement:
1433438
Sujets apparentés:
2
Autumn school "Proof and Computation"
20 sep 2021 - 26 sep 2021 • Fischbachau, Allemagne
Résumé:
An international autumn school "Proof and Computation" will be held from 20th to 26th September 2020 at Aurachhof in Fischbachau near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy.
Sujets:
Predicative Foundations Constructive Mathematics and Type Theory Computation in Higher Types Extraction of Programs from Proofs
Identifiant de l'évènement:
1395488
3
Diagrams 2021 — 12th International Conference on the Theory and Application of Diagrams
28 sep 2021 - 30 sep 2021 • Virtual Conference, Royaume-Uni
Résumé:
Diagrams is the only conference series that provides a united forum for all areas that are concerned with the study of diagrams and has a multidisciplinary emphasis. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.
Identifiant de l'évènement:
1395250
4
LORI 2021 — 8th International Conference on Logic, Rationality and Interaction
16 oct 2021 - 18 oct 2021 • Xi’an, Chine
Résumé:
The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.
Identifiant de l'évènement:
1395275
5
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:
1312517
Sujets apparentés:
6
KR 2021 — 18th International Conference on Principles of Knowledge Representation and Reasoning
06 nov 2021 - 12 nov 2021 • Hanoi, Viêt Nam
Résumé:
Knowledge Representation and Reasoning (KR) is a well-established and lively field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge.
Identifiant de l'évènement:
1395296
7
Data Assimilation – Mathematical Foundation and Applications
20 fév 2022 - 26 fév 2022 • Oberwolfach , Allemagne
Organisateur:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Identifiant de l'évènement:
1395929
8
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:
1369301
9
BIRS Workshop — Probability and Quantum Information Science
13 mar 2022 - 18 mar 2022 • Banff, Alberta, Canada
Organisateur:
Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Identifiant de l'évènement:
1439034
10
New Mathematical Techniques in Information Theory
13 mar 2022 - 19 mar 2022 • Oberwolfach , Allemagne
Organisateur:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Identifiant de l'évènement:
1395870
11
CMO/Banff Workshop — Algebraic Methods in Coding Theory and Communication
24 avr 2022 - 29 avr 2022 • Oaxaca, Mexique
Organisateur:
Casa Matemática Oaxaca (CMO)
Résumé:
The workshop will concentrate on three contemporary, central themes in coding theory and its applications. Algebraic coding theory tackles classical communication problems, such as error-free communication between a source and a receiver over a noisy channel, using a wide range of tools from computational algebra, algebraic geometry, and probability theory. More recently coding theory has found applications to emerging challenges in communication. The kind of problems that arise has been shifting, as our digital lives got more and more interconnected. Network Coding seeks answers to problems of maximization of information flow over networks. These answers often require establishing new communication schemes, relying on mathematical structures which were not used in this context before. In the last few years a new set of problems with local features arose from practical applications such as distributed storage of large amounts of data. Locally recoverable codes allow the recovery of a codeword symbol's erasure by mean of a small set of other codeword symbols. These codes are a central topic of research of the last few years, due also to their applicability to these problems.
Identifiant de l'évènement:
1439655
12
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:
1369413
13
MDS22 — SIAM Conference on Mathematics of Data Science
26 sep 2022 - 30 sep 2022 • San Diego, Californie, États-Unis
Identifiant de l'évènement:
1443159


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: 08 Septembre 2021