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

Sélecionner un pays
TOUS LES PAYS (22)
1
IU2020 — THE 3RD INFORMATION UNIVERSE CONFERENCE
30 sep 2020 - 03 oct 2020 • Groningen, Pays-Bas
Organisateur:
Kapteyn Astronomical Institute, University of Groningen
Résumé:
A multi-disciplinary conference on the role of information in our universe. Including sessions on: (1) The ΛCDM tension, Euclid and the Dark Universe (2) Emergent gravity and space-time (3) Quantum computing, neuromorphic computing and machine learning (4) Complexity and chaos in nature and computers. The organizers understand that registering for an international conference is quite a step in these corona virus dominated days. They therefore encourage you to register, without any payment obligation. They can then inform you by e-mail about the status of affairs.
Contact:
Tél.: [+31 50 363 4036];     Email.: informationuniverse@rug.nl
Sujets:
Cosmology, ΛCDM tension, Euclid and the Dark Universe, Emergent gravity and space-time, Quantum computing, Neuromorphic computing, Machine learning, Complexity and chaos
Identifiant de l'évènement:
1353914
2
RP'20 — 14th International Conference on Reachability Problems
19 oct 2020 - 21 oct 2021 • Paris, France
Organisateur:
The institut de recherche en informatique fondamentale at Université de Paris organises the 14th International Conference on Reachability Problems (RP'20).
Sujets:
● Algebraic structures ● Automata theory and formal languages ● Computational game theory ● Concurrency and distributed computation ● Decision procedures in computational models ● Hybrid dynamical systems ● Logic and model checking ● Verification of finite and infinite-state systems
Identifiant de l'évènement:
1366193
Sujets apparentés:
3
Workshop — Algebraic Methods in Coding Theory and Communication
25 oct 2020 - 30 oct 2020 • Oaxaca, Mexique
Organisateur:
BIRS-affiliated mathematics research centre, 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:
1330230
4
TLLM 2020 — Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning
30 oct 2020 - 01 nov 2020 • Pékin, Chine
Organisateur:
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
Résumé:
Monotonicity, in various forms, is a pervasive phenomenon in logic, linguistics, and related areas. In theoretical linguistics, monotonicity properties are relevant to a large array of semantic phenomena and to the presence of pragmatic inferences such as scalar implicatures. In logic and mathematics, monotonicity guarantees the existence of fixed points and the well-formedness of inductive definitions. Also, monotonicity is closely tied to reasoning, in formal as well as natural languages. Recent logical and linguistic work on monotonicity has also found its way into computation systems for natural language processing and cognitive models of human reasoning. The goal of our workshop is to bring together researchers working on monotonicity or related properties, from different fields and perspectives.
Identifiant de l'évènement:
1356676
5
ER 2020 Conceptual Modeling — 39th International Conference on Conceptual Modeling
03 nov 2020 - 06 nov 2020 • Vienne, Autriche
Résumé:
The world is being reconstructed through software and data. Conceptual models seem mandatory to cope with this gigantic transformation that is unprecedented in the history of humankind. Not only do they build a solid foundation for designing software system, they also foster the empowerment of users and help us to develop images of possible future worlds. However, recent developments in AI challenge this pivotal role of conceptual models. Some AI proponents go so far as to predict the end of conceptual modeling, for an ostensibly convincing reason: machine learning will enable automated software construction, both faster and at much lower costs. These contradictory assessments make it especially exciting to reflect upon the foundations of conceptual modeling and the limitations of inductive approaches to software creation. The ER conference has been the leading conference on conceptual modeling for many years. In continuation of this tradition, ER 2020 is dedicated to providing a forum for discussing the present and future role of conceptual modeling with regard to enabling and managing change.
Identifiant de l'évènement:
1292690
Sujets apparentés:
6
FOCS 2020 — 61st Annual IEEE Symposium on Foundations of Computer Science
16 nov 2020 - 19 nov 2020 • Durham, États-Unis
Organisateur:
FOCS 2020 is sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
Identifiant de l'évènement:
1359688
7
AISCA 2020 — 4th International Conference on Artificial Intelligence, Soft Computing And Applications
28 nov 2020 - 29 nov 2020 • Dubai, Émirats arabes unis
Résumé:
4th International Conference on Artificial Intelligence, Soft Computing And Applications (AISCA 2020) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of Artificial Intelligence, Soft Computing and Applications. The aim of the conference is to provide a platform to the researchers and practitioners from both academia as well as industry to meet and share cutting-edge development in the field
Contact:
Email.: aisca@aisca2020.org
Sujets:
Artificial Intelligence AI Algorithms Artificial Intelligence tools & Applications Automatic Control Bioinformatics Natural Language Processing CAD Design & Testing Computer Vision and Speech Understanding Data Mining and Machine Learning Tools Fuzzy Logic Heuristic and AI Planning Strategies and Tools Computational Theories of Learning Hybrid Intelligent Systems Information Retrieval Intelligent System Architectures Knowledge Representation Knowledge-based Systems Mechatronics Multimedia & Cognitive Informatics Neural Networks Parallel Processing Pattern Recognition Robotics Semantic Web Techniques and Technologies Soft computing theory and applications Software & Hardware Architectures Soft Computing Fuzzy Systems Neural Networks Machine learning Probabilistic Reasoning Evolutionary Computing Pattern recognition Hybrid intelligent systems Software agents Morphic Computing Image processing E-commerce, e-medicine Rough Sets Symbolic machine learning Wavelet Signal or Image Processing Vision Recognition Biomedical Engineering Telecommunications Reactive Distributed AI Nano & Micro-systems Data Visualization Pervasive computing and ambient intelligence Programming Languages Reasoning and Evolution Recent Trends and Developments Web Intelligence Applications & Search
Identifiant de l'évènement:
1353952
8
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:
1366094
9
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:
1356655
10
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:
1364165
11
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:
1313019
12
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:
1312306
13
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:
1312338
14
STOC- ACM Symposium on Theory of Computing
21 jui 2021 - 25 jui 2021 • Rome, Italie
Identifiant de l'évènement:
1371546
15
LICS - IEEE Symposium on Logic in Computer Science
29 jui 2021 - 02 jul 2021 • Rome, Italie
Identifiant de l'évènement:
1371563
16
ISIT- IEEE International Symposium on Information Theory
11 jul 2021 - 16 jul 2021 • Melbourne, Australie
Identifiant de l'évènement:
1371511
17
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:
1240816
18
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:
1364722
19
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:
1376463
Sujets apparentés:
20
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:
21
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
22
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:
1369402


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: 18 Septembre 2020