Conferences and Meetings on Information Theory, Foundations of Computer Science

Select a location
ALL COUNTRIES (13)
1
GandALF 2021 — 12th International Symposium on Games, Automata, Logics, and Formal Verification
20 Sep 2021 - 22 Sep 2021 • Padova – Hybrid, Italy
Abstract:
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.
Event listing ID:
1433438
Related subject(s):
2
Autumn school "Proof and Computation"
20 Sep 2021 - 26 Sep 2021 • Fischbachau, Germany
Abstract:
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.
Topics:
Predicative Foundations Constructive Mathematics and Type Theory Computation in Higher Types Extraction of Programs from Proofs
Event listing ID:
1395488
3
Diagrams 2021 — 12th International Conference on the Theory and Application of Diagrams
28 Sep 2021 - 30 Sep 2021 • Virtual Conference, United Kingdom
Abstract:
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.
Event listing ID:
1395250
4
LORI 2021 — 8th International Conference on Logic, Rationality and Interaction
16 Oct 2021 - 18 Oct 2021 • Xi’an, China
Abstract:
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.
Event listing ID:
1395275
5
9th International Conference on Relational and Algebraic Methods in Computer Science
01 Nov 2021 - 05 Nov 2021 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Event listing ID:
1312517
Related subject(s):
6
KR 2021 — 18th International Conference on Principles of Knowledge Representation and Reasoning
06 Nov 2021 - 12 Nov 2021 • Hanoi, Vietnam
Abstract:
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.
Event listing ID:
1395296
7
Data Assimilation – Mathematical Foundation and Applications
20 Feb 2022 - 26 Feb 2022 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1395929
8
New Directions in Computability Theory
07 Mar 2022 - 11 Mar 2022 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Topics:
CONFERENCE
Event listing ID:
1369301
9
BIRS Workshop — Probability and Quantum Information Science
13 Mar 2022 - 18 Mar 2022 • Banff, Alberta, Canada
Organizer:
Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Event listing ID:
1439034
10
New Mathematical Techniques in Information Theory
13 Mar 2022 - 19 Mar 2022 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1395870
11
CMO/Banff Workshop — Algebraic Methods in Coding Theory and Communication
24 Apr 2022 - 29 Apr 2022 • Oaxaca, Mexico
Organizer:
Casa Matemática Oaxaca (CMO)
Abstract:
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.
Event listing ID:
1439655
12
Theoretical Computer Science Spring School: Machine Learning
23 May 2022 - 27 May 2022 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Topics:
RESEARCH SCHOOL
Event listing ID:
1369413
13
MDS22 — SIAM Conference on Mathematics of Data Science
26 Sep 2022 - 30 Sep 2022 • San Diego, California, United States
Event listing ID:
1443159


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!

Last updated: 08 September 2021