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

Sélecionner un pays
TOUS LES PAYS (21)
1
Symposium — Foundations of Computer Science Supporting the Information Society
01 fév 2022 - 03 fév 2022 • RIMS – Kyoto, Japon
Organisateur:
International Joint Usage / Research Center – RIMS
Identifiant de l'évènement:
1447049
2
CSL 2022 — Computer Science Logic
14 fév 2022 - 19 fév 2022 • Göttingen (Germany) & Virtual, Allemagne
Organisateur:
Computer Science Logic (CSL) is the annual conference of the 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. CSL'22 will be held online on February 14 - 19, 2022. The event is hosted by the University of Göttingen.
Identifiant de l'évènement:
1448811
3
ICQIF-2022 — International Conference on Quantum Information and Foundations
14 fév 2022 - 24 fév 2022 • Kolkatta, Inde
Organisateur:
Physics & Applied Mathematics Unit, Indian Statistical Institute (ISI), Kolkata
Résumé:
This program will focus on topics related to the interface of quantum information and other related areas in addition to fundamental issues of quantum mechanics and quantum information. Through ICQIF-2022 we are looking forward to provide the desired opportunity of numerous interactions among the researchers of different domain within the scope of quantum information and foundations (QIF) and those employing QIF as tool in various fields of knowledge.
Contact:
Conveners of ICQIF-2022;     Tél.: [+91-9628199072];     Email.: icqif@isical.ac.in
Sujets:
Quantum Non-locality and its applications, Quantum Correlations, Quantum Resource Theory, Quantum Metrology, Quantum Coherence, Quantum Computation, Quantum Algorithms, Quantum Cryptography, Quantum Channel, Experimental manifestations of quantum systems, Open Quantum Systems, etc.
Date limite de soumission des résumés:
25 jan 2022
Identifiant de l'évènement:
1458419
4
Symposium — Logic, Algebraic system, Language and Related Areas in Computer Science
16 fév 2022 - 18 fév 2022 • RIMS – Kyoto, Japon
Organisateur:
International Joint Usage / Research Center – RIMS
Identifiant de l'évènement:
1447014
Sujets apparentés:
5
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:
1395907
6
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:
1369312
7
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:
1439012
8
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:
1395947
9
ETAPS 2022 — 25th European Joint Conferences on Theory and Practice of Software
02 avr 2022 - 07 avr 2022 • Munich – hybrid, Allemagne
Organisateur:
ETAPS is supported by the ETAPS Association, hosted by Technische Universität München
Résumé:
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS and TACAS, accompanied by satellite workshops.
Date limite de soumission des résumés:
14 oct 2022
Identifiant de l'évènement:
1448762
Sujets apparentés:
10
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:
1439677
11
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:
1369479
12
DMD20/22 — Discrete Mathematics Days 20/22
04 jul 2022 - 06 jul 2022 • Universidad de Cantabria, Santander, Espagne
Résumé:
The Discrete Mathematics Days (DMD'20/22) will be held on July 4-6, 2022, at Facultad de Ciencias of the Universidad de Cantabria (Santander, Spain). The main focus of this international conference is on current topics in Discrete Mathematics
Sujets:
Algorithms and Complexity, Combinatorics, Coding Theory, Cryptography, Discrete and Computational Geometry, Discrete Optimization, Graph Theory, Location and Related Problems
Identifiant de l'évènement:
1445929
13
ICDICI 2022 — 3rd International Conference on Data Intelligence and Cognitive Informatics
06 jul 2022 - 07 jul 2022 • Tirunelveli, Inde
Organisateur:
SCAD College of Engineering and Technology
Résumé:
In this era of big data, data analysis and management is emerging as a significant research field with a vision to manage the data from an information perspective. Recent, the data intelligence domain combines with the increasing efforts of Artificial Intelligence, Machine Learning, Deep Learning and Cognitive science to study and develop a deeper understanding of the information processing systems. Furthermore, the new cognitive informatics tools, algorithms and methods that mimic the mechanisms of the human brain will lead to an impending revolution in understating a large amount of data generated by various smart applications. This 3rd International Conference on Data Intelligence and Cognitive Informatics [ICDCI 2022] welcomes researchers, academicians, scholars, and industrialists across the globe to join the international research initiative on data intelligence and cognitive informatics towards investigating the evolving information processing systems, and for the development of next-generation cognitive informatics and communication technologies.
Contact:
Tél.: [9600368297];     Email.: icdici.conf@gmail.com
Sujets:
INFORMATICS Intelligent Information Systems Data Management and Visualization Data Mining Techniques Big Data Intelligence Information Retrieval Techniques Image/Video Processing and Analysis Data Integration Techniques Web Data Management Techniques Big Data Storage and Processing Architectures Distributed and Parallel Databases Access Control and Authorization Techniques Natural Language Processing Big Data as a Service Data Pre-Processing Techniques Multi-Structured Data Processing Techniques Computational Modeling and Data Integration Techniques Security and Privacy-Preserving Big Data Analytics COGNITIVE INTELLIGENCE Cognitively Inspired Computing and Communications Cognitive Foundation in Big Data Cognitive Robotics Autonomous Computing Technologies Cognitive Information Processing Model Cognitive Human-Computer Interaction Techniques Deep Learning Data-Driven Fuzzy Systems and Models Cognition based Human-Machine Cooperation Cognitive Interferences in Data Processing Cognitive Information Theory Neuro-Computing and Brain-System Interfaces Knowledge Processors and Manipulations Intelligent Decision Theories and Models Distributed Data Intelligence Models Cognitive Data Modeling and Mining Techniques APPLICATIONS Smart Cities Healthcare Process Automation Healthcare Supply Chain and Logistics Industrial Internet of Things Cognitive Human-Computer Interaction Models Industrial Automation and Robotics Internet of Vehicles Wearable and Personalized Technologies Smart Virtual Environments Mobile Technologies and Services E-learning Gaming Theory Smart User Interfaces Multimedia and Video Processing
Date limite de soumission des résumés:
12 mar 2022
Identifiant de l'évènement:
1461353
Sujets apparentés:
14
LICS — 37th Annual ACM/IEEE Symposium on Logic in Computer Science
31 jul 2022 - 12 aou 2022 • Haifa, Israël
Organisateur:
FLoC 2022
Identifiant de l'évènement:
1448912
15
FSCD — 7th International Conference on Formal Structures for Computation and Deduction
31 jul 2022 - 12 aou 2022 • Haifa, Israël
Organisateur:
FLoC 2022
Résumé:
The FSCD conference includes all research of the inter-related formal areas of researchers in formal structures for computation and deduction in general, and in particular all subjects that were previously covered by the RTA and TLCA conferences. The name of the new conference comes from an unpublished but important book by Gérard Huet that has been a strong influence on many researchers in our area. We are grateful to Gérard for allowing us to reuse the name. We look very much forward to serve the scientific community with this new conference, which inherits as well as updates and modernizes the scope of the conferences it replaces. The call for papers for the next FSCD, below, give further details on the subjects of the conference.
Date limite de soumission des résumés:
01 oct 2021
Identifiant de l'évènement:
1448966
16
IJCAR — International Joint Conference on Automated Reasoning
31 jul 2022 - 12 aou 2022 • Haifa, Israël
Organisateur:
FLoC 2022
Résumé:
IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops.
Identifiant de l'évènement:
1449019
Page web:
17
CAV — 34th International Conference on Computer Aided Verification
31 jul 2022 - 12 aou 2022 • Haifa, Israël
Organisateur:
FLoC 2022
Résumé:
CAV is the premier international conference on computer-aided verification. It provides a forum for a broad range of advanced research in areas ranging model checking and automated theorem proving to testing, synthesis and related fields. Research reported in CAV includes the application of formal methods to many kinds of systems,including hardware, software and communication protocols. It covers many system models, including finite-state and infinite state systems, hybrid systems and probabilistic systems. It encompasses both theory and industrial case studies. The common thread is the use of automation to help designers build more reliable systems.
Identifiant de l'évènement:
1448940
Page web:
18
KR — 19th International Conference on Principles of Knowledge Representation and Reasoning
31 jul 2022 - 12 aou 2022 • Haifa, Israël
Organisateur:
FLoC 2022
Résumé:
Principles of Knowledge Representation and Reasoning, Incorporated (KR Inc.) is a not for profit Scientific Foundation incorporated in the state of Massachusetts of the United States of America, concerned with fostering research and communication on knowledge representation and reasoning. Its primary activities include organizing a series of prestigious conferences, the conferences on Principles of Knowledge Representation and Reasoning, cooperating with workshops on related topics, maintaining informational materials on the World Wide Web, and maintaining KR-related mailing lists.
Identifiant de l'évènement:
1449027
Page web:
19
ICLP — 38th International Conference on Logic Programming
31 jul 2022 - 12 aou 2022 • Haifa, Israël
Organisateur:
FLoC 2022
Identifiant de l'évènement:
1448982
20
SAT — 25th International Conference on Theory and Applications of Satisfiability Testing
31 jul 2022 - 12 aou 2022 • Haifa, Israël
Organisateur:
FLoC 2022
Résumé:
The International Conferences on Theory and Applications of Satisfiability Testing are the primary annual meetings for researchers studying the propositional satisfiability problem (SAT), a prominent problem in both theoretical and applied computer science. SAT lies at the heart of the most important open problem in complexity theory (P vs NP) and underlies many applications in, among other examples, artificial intelligence, operations research, and electronic design engineering. The primary objective of the conferences is to bring together researchers from various areas and communities, including theoretical and experimental computer science as well as the many relevant application areas, to promote collaboration and the communication of new theoretical and practical results in SAT-related research and its industrial applications.
Identifiant de l'évènement:
1449069
21
MDS22 — SIAM Conference on Mathematics of Data Science
26 sep 2022 - 30 sep 2022 • San Diego, Californie, États-Unis
Identifiant de l'évènement:
1443115


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: 27 Décembre 2021