Tagungen und Workshops zum Thema Informationstheorie und Grundlagen der Informatik

Wählen Sie ein Land aus
ALLE LÄNDER (13)
1
GandALF 2021 — 12th International Symposium on Games, Automata, Logics, and Formal Verification
20. Sep 2021 - 22. Sep 2021 • Padova – Hybrid, Italien
Zusammenfassung:
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.
Eintrags-ID:
1433361
Verwandte Fachgebiete:
2
Autumn school "Proof and Computation"
20. Sep 2021 - 26. Sep 2021 • Fischbachau, Deutschland
Zusammenfassung:
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.
Themen:
Predicative Foundations Constructive Mathematics and Type Theory Computation in Higher Types Extraction of Programs from Proofs
Eintrags-ID:
1395455
3
Diagrams 2021 — 12th International Conference on the Theory and Application of Diagrams
28. Sep 2021 - 30. Sep 2021 • Virtual Conference, Großbritannien
Zusammenfassung:
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.
Eintrags-ID:
1395338
4
LORI 2021 — 8th International Conference on Logic, Rationality and Interaction
16. Okt 2021 - 18. Okt 2021 • Xi’an, China
Zusammenfassung:
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.
Eintrags-ID:
1395275
5
9th International Conference on Relational and Algebraic Methods in Computer Science
01. Nov 2021 - 05. Nov 2021 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Eintrags-ID:
1312539
Verwandte Fachgebiete:
6
KR 2021 — 18th International Conference on Principles of Knowledge Representation and Reasoning
06. Nov 2021 - 12. Nov 2021 • Hanoi, Vietnam
Zusammenfassung:
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.
Eintrags-ID:
1395296
7
Data Assimilation – Mathematical Foundation and Applications
20. Feb 2022 - 26. Feb 2022 • Oberwolfach , Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1395896
8
New Directions in Computability Theory
07. Mär 2022 - 11. Mär 2022 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Themen:
CONFERENCE
Eintrags-ID:
1369301
9
BIRS Workshop — Probability and Quantum Information Science
13. Mär 2022 - 18. Mär 2022 • Banff, Alberta, Kanada
Veranstalter:
Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Eintrags-ID:
1438990
10
New Mathematical Techniques in Information Theory
13. Mär 2022 - 19. Mär 2022 • Oberwolfach , Deutschland
Veranstalter:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Eintrags-ID:
1395892
11
CMO/Banff Workshop — Algebraic Methods in Coding Theory and Communication
24. Apr 2022 - 29. Apr 2022 • Oaxaca, Mexiko
Veranstalter:
Casa Matemática Oaxaca (CMO)
Zusammenfassung:
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.
Eintrags-ID:
1439644
12
Theoretical Computer Science Spring School: Machine Learning
23. Mai 2022 - 27. Mai 2022 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Themen:
RESEARCH SCHOOL
Eintrags-ID:
1369479
13
MDS22 — SIAM Conference on Mathematics of Data Science
26. Sep 2022 - 30. Sep 2022 • San Diego, Kalifornien, Vereinigte Staaten


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.

Stand vom 08. September 2021