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

Sélecionner un pays
TOUS LES PAYS (29)
1
LearnAut 2022 — Learning & Automata
04 jul 2022 • Paris , France
Résumé:
Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science. Historically, there has been little interaction between the GI and ICALP communities, though recently some important results started to bridge the gap between both worlds, including applications of learning to formal verification and model checking, and (co-)algebraic formulations of automata and grammar learning algorithms. The goal of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods.
Identifiant de l'évènement:
1488949
2
ICALP Workshop "Trends in Arithmetic Theories"
04 jul 2022 • Paris , France
Résumé:
Logical theories of arithmetic such as Presburger arithmetic play an important role in a variety of different areas of computer science and have been studied since the early days of the field. The recent years have seen a lot of progress on all aspects of such theories, ranging from new foundational results, algorithmic advances, more performant decision procedures to novel application domains. This progress has largely been obtained independently without much interaction between researchers working on different aspects of this field. The goal of this workshop is to bring together researchers working in the field to exchange latest trends, understand currently existing challenges and to initiate new collaborations.
Identifiant de l'évènement:
1488915
3
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:
1445841
4
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:
1461419
Sujets apparentés:
5
CiE 2022 — Computability in Europe: Revolutions and Revelations in Computability
11 jul 2022 - 15 jul 2022 • Swansea, Royaume-Uni
Organisateur:
CiE 2022 is the 18th conference organized by CiE, a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.
Résumé:
The CiE (Computability in Europe) conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.
Identifiant de l'évènement:
1488901
6
ASL 2022 — Advances in Separation Logics
31 jul 2022 • Haifa – virtual, Israël
Résumé:
The past two decades have witnessed important progress in static analysis and verification of code with low-level pointer and heap manipulations, mainly due to the development of Separation Logic (SL). The impact of SL is attested, in academia, by the Goedel Prize 2016 and the CAV Award 2016, as well as in industry, by the integration of SL-based analyses with software development at Facebook. SL is a resource logic, a dialect of the logic of Bunched Implications (BI) designed to describe models of the heap memory and the mutations that occur in the heap as the result of low-level pointer updates. The success of SL in program analysis is due to the support for local reasoning, namely the ability of describing only the resource(s) being modified, instead of the entire state of the system. This enables the design of compositional analyses that synthesize specifications of the behavior of small parts of the program before combining such local specifications into global verification conditions.
Date limite de soumission des résumés:
20 mai 2022
Identifiant de l'évènement:
1489004
Sujets apparentés:
7
CAUSAL 2022 — Fourth Workshop on Causal Reasoning and Explanation in Logic Programming
31 jul 2022 - 08 aou 2022 • Haifa, Israël
Résumé:
This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Explainable AI, Diagnosis, Natural Language Processing and Understanding, Philosophy of Science). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry.
Identifiant de l'évènement:
1488950
8
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:
1448978
9
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:
1448900
10
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:
1448997
Page web:
11
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:
1449028
Page web:
12
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:
1449049
Page web:
13
ICLP — 38th International Conference on Logic Programming
31 jul 2022 - 12 aou 2022 • Haifa, Israël
Organisateur:
FLoC 2022
Identifiant de l'évènement:
1449015
14
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:
1449025
15
FSCD — 7th International Conference on Formal Structures for Computation and Deduction
02 aou 2022 - 05 aou 2022 • Haifa, Israël
Identifiant de l'évènement:
1489013
16
MCU 2022 — 9th Conference on Machines, Computations and Universality
31 aou 2022 - 02 sep 2022 • Debrecen, Hongrie
Organisateur:
University of Debrecen
Résumé:
The International conference series MCU traces its roots back to the mid 1990's, and has always been concerned with gaining a deeper understanding of computation and universality through the study of models of general purpose computation. The 9th edition of MCU is organized by the Faculty of Informatics of the University of Debrecen, it is co-located with NCMA 2022, the 12th International Workshop on Non-Classical Models of Automata and Applications (August 26-27, 2022) and DCFS 2022, the 24th Conference on Descriptional Complexity of Formal Systems (August 29-31, 2022). The conference will take place in a hybrid format: the possibility of both, in-person and online participation will be provided.
Sujets:
The scope of the conference topics includes, but is not limited to, computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models...), analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing...) and the meaning and implantation of universality in these contexts. Particular emphasis is given towards search for frontiers between decidability and undecidability in the various models, search for the simplest universal models, computational complexity of predicting the evolution of computations in the various models. Parallel computing models and their connections to decidability, complexity and universality.
Identifiant de l'évènement:
1489126
17
ESA 2022 — 30th European Symposium on Algorithms
05 sep 2022 - 09 sep 2022 • Potsdam, Allemagne
Résumé:
The European Symposium on Algorithms (ESA) is one of the premier conferences on algorithms. It is organized in collaboration with the European Association for Theoretical Computer Science (EATCS) and is a part of ALGO 2022.
Date limite de soumission des résumés:
21 avr 2022
Identifiant de l'évènement:
1481522
18
LATD 2022 — Algebra and Truth Degrees 2022
05 sep 2022 - 10 sep 2022 • Paestum (Salerno), Italie
Résumé:
The conference will be co-located with the kick off conference of the MOSAIC project “Modalities in Substructural Logic: Theory, Methods and Applications”. The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in Algebraic Logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.
Identifiant de l'évènement:
1489125
19
COMMA 2022 — 9th International Conference on Computational Models of Argument
14 sep 2022 - 16 sep 2022 • Cardiff University in Wales, Royaume-Uni
Résumé:
The aim of the COMMA conference is to bring together researchers interested in computational models of argument and the representation of argumentation structures in natural language texts, including the problem of automatically discovering argumentation in text or speech. In addition to the main conference track, there will be thematically-focused workshops, system demonstrations, and a summer school with courses on current topics of argumentation.
Identifiant de l'évènement:
1489110
20
CICM 2022 — 15th Conference on Intelligent Computer Mathematics
19 sep 2022 - 23 sep 2022 • Tbilisi – hybrid, Géorgie
Résumé:
Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas.
Sujets:
CICM 2022 will be a part of the Computational Logic Autumn Summit, CLAS 2022
Date limite de soumission des résumés:
23 mai 2022
Identifiant de l'évènement:
1489207
21
ISR 2022 — 13th International School of Rewriting
19 sep 2022 - 24 sep 2022 • Tbilisi, Géorgie
Résumé:
The 13th International School of Rewriting will be held in Tbilisi, Georgia, September 19–24, 2022. The school will be organized by Ivane Javakhishvili Tbilisi State University (TSU) and will be part of the Computational Logic Autumn Summit (CLAS 2022). Term Rewriting is a simple but powerful model of computation with numerous applications in computer science and mathematics. It is heavily used in symbolic computation, formal reasoning, and program verification. Rewriting-based techniques are useful in many other fields as well, for instance, in quantum computing, biology, music.... The 13th International School on Rewriting (ISR 2022) is aimed at students, researchers and practitioners interested in the use or the study of rewriting and its applications
Identifiant de l'évènement:
1489140
22
WoLLIC 2022 — 28th Workshop on Logic, Language, Information and Computation
20 sep 2022 - 23 sep 2022 • Alexandru Ioan Cuza University, Iaşi, Roumanie
Résumé:
WoLLIC is a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants.
Date limite de soumission des résumés:
10 mai 2022
Identifiant de l'évènement:
1489247
23
LSFA22 — 17th International Workshop on Logical and Semantic Frameworks, with Applications
23 sep 2022 - 24 sep 2022 • Belo Horizonte, MG, Brésil
Résumé:
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.
Identifiant de l'évènement:
1489257
24
MDS22 — SIAM Conference on Mathematics of Data Science
26 sep 2022 - 30 sep 2022 • San Diego, Californie, États-Unis
25
Autumn school "Proof and Computation"
26 sep 2022 - 01 oct 2022 • Fischbachau near Munich, Allemagne
Résumé:
An international autumn school "Proof and Computation" will be held from 26th September to 1st October 2022 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.
Sujets:
Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, and Extraction of Programs from Proofs.
Identifiant de l'évènement:
1489222
26
FATIL2022 — The First International Conference on Foundations, Applications, and Theory of Inductive Logic
12 oct 2022 - 14 oct 2022 • Munich, Allemagne
Résumé:
Inductive reasoning is one of the most important reasoning techniques for humans and formalises the intuitive notion of "reasoning from experience". It has thus influenced both theoretical work on the formalisation of rational models of thought in Philosophy as well as practical applications in the areas of Artificial Intelligence and, in particular, Machine Learning. The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2022) aims at bringing together experts from all fields concerned with inductive reasoning.
Identifiant de l'évènement:
1489298
27
LATIN 2022 — 15th Latin American Theoretical Informatics Symposium
17 oct 2022 - 21 oct 2022 • Guanajuato, Mexique
Résumé:
The 15th Latin American Theoretical Informatics Symposium LATIN 2022 will be held in Guanajuato, Mexico. LATIN is devoted to different areas in theoretical computer science including, but not limited to: algorithms (approximation, online, randomized, algorithmic game theory, etc.), analytic combinatorics and analysis of algorithms, automata theory and formal languages, coding theory and data compression, combinatorial algorithms, combinatorial optimization, combinatorics and graph theory, complexity theory, computational algebra, computational biology, computational geometry, computational number theory, cryptology, databases and information retrieval, data structures, formal methods and security, foundations of data science and theoretical machine learning, Internet and the web, parallel and distributed computing, pattern matching, programming language theory, quantum computing, and random structures.
Date limite de soumission des résumés:
22 mai 2022
Identifiant de l'évènement:
1481464
28
Foundations of Computer Science and their New Trends
30 jan 2023 - 01 fév 2023 • Kyoto University, Japon
Organisateur:
The Research Institute for Mathematical Sciences (RIMS)
Identifiant de l'évènement:
1490171
29
Group, Ring, Language and Related Areas in Computer Science
15 fév 2023 - 17 fév 2023 • Kyoto University, Japon
Organisateur:
The Research Institute for Mathematical Sciences (RIMS)
Identifiant de l'évènement:
1490221


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!

Y'a pas de suivi | Y'a pas de pop-ups | Y'a pas d'animations
Dernière mise à jour: 30 Mai 2022