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

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.

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.

Predicative Foundations Constructive Mathematics and Type Theory Computation in Higher Types Extraction of Programs from Proofs

Cours et évènements pour étudiants en mathématiques,    Logique mathématique et fondements

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.

Logique mathématique et fondements,    Mathématiques générales et evénement multidisciplinaires

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.

CIRM – Centre International de Rencontres Mathématiques

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.

Gestion des connaissances, Big Data Computing,    Réseaux de neurones et intelligence artificielle, apprentissage automatique

Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)

CIRM – Centre International de Rencontres Mathématiques

CONFERENCE

Banff International Research Station (BIRS) for Mathematical Innovation and Discovery

Cours et évènements pour étudiants en mathématiques,    Mécanique quantique et l'information quantique

Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)

Cours et évènements pour étudiants en mathématiques,    Evènements pour étudiants en informatique

Casa Matemática Oaxaca (CMO)

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.

CIRM – Centre International de Rencontres Mathématiques

RESEARCH SCHOOL

Cours et évènements pour étudiants en mathématiques,    Formation en informatique

Mathématiques appliquées (en général),    Calcul scientifique