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

The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.

The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation, or application of programming languages.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH

Mu-calculi are logical systems for reasoning about inductive and co-inductive constructions. They link a number of important fields in mathematics and theoretical computer science: arithmetic, recursion theory, temporal and spatial logics, topology, infinite games, descriptive set theory, and automata theory. The purpose of this Dagstuhl Seminar is to bring together experts from these fields to discuss connections and encourage new avenues of interdisciplinary collaboration.

14th International Conference of Managing Information Technology (CMIT 2026) will act as a major forum for the presentation of innovative ideas, approaches, developments, and research projects in the areas of information technology and management. The Conference focuses on innovative ideas and best practices in using IT to advance organizations – for-profit, non-profit, and governmental. The goal of this conference is to bring together researchers and practitioners from academia, government and industry to focus on understanding both how to use IT to support the strategy and goals of the organization and to employ IT in new ways to foster greater collaboration, communication and information sharing both within the organization and with its stakeholders. The International Conference of Managing Information Technology seeks to establish new collaborations, new best practices, and new theories in these areas.

Email.: cmitconference@gmail.com

• 5G/6G Cellular Systems and Heterogeneous Networks • Algorithms and Bioinformatics • Electronic billing systems • Electronic voting & e-government systems • Environmental management technologies • Financial market & trading technologies • Financial risk management systems • Green technologies • Health care information systems and technologies • High-definition TV systems & standards

Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH

This Dagstuhl Seminar seeks to extend and deepen the convergence across disciplinary boundaries by fostering exchange and collaboration among the relevant experts and practitioners, uniting expertise in proof theory with proof complexity, categorical semantics, constructive mathematics, proof mining, program extraction, and automated theorem proving. By bridging these domains, we seek to empower the next generation of researchers to frame and connect their work within this converging landscape, ultimately advancing the computational applications of proof systems in both theoretical and practical contexts.

IEEE

Natural Language Processing (NLP), as a significant branch of artificial intelligence, focuses on enabling computer systems to analyze, understand, and generate human language. With the rapid development of big data and deep learning technologies, NLP has achieved remarkable breakthroughs in areas such as language translation, text understanding, knowledge base construction, summarization, and human-computer interaction. Today, NLP technologies have deeply integrated into daily life, playing a vital role in fields such as entertainment, healthcare, database management, and e-governance, making it one of the core drivers of modern technology. 2026 8th International Conference on Natural Language Processing (ICNLP 2026) will be held in Xi'an, China from March 20 to 22, 2026. ICNLP 2026 is mainly Co-Sponsored by Xi'an University of Posts and Telecommunications and IEEE, hosted by School of Communications and Information Engineering, Xi'an University of Posts and Telecommunications, and jointly supported by many universities, industries, and academic institutions.

Email.: Dunn@iact.net

1. Language Analysis and Representation: Phonetics, Phonology, and Morphology; Syntax, Semantics, Discourse, Pragmatics, Dialogue, and Lexicon; Word and Sentence Representation; word and sentence representation; POS Tagging; Parsing; Semantic Role Labelling; Word-Sense Disambiguation; Multiword Expressions; Anaphora Resolution; 2. Language Processing Models and Techniques: Complexity; Mathematical, Statistical, Machine Learning, and Deep Learning Models; Mathematical and Statistical Models; Machine Learning Models; Deep Learning Models ; 3. Language Resources and Tools: Language Resources and Corpora; Electronic Dictionaries, Terminologies, and Ontologies; Linked Data; 4. Multilingual and Cross-Lingual Processing: Multilingual NLP; Machine Translation, Translation Memory Systems, and Computer-Aided Translation Tools; Text Simplification and Readability Estimation; 5. Information Extraction and Retrieval: Knowledge Acquisition; Information Retrieval; Text Categorization; Information Extraction; Text Summarization; Terminology Extraction; Question Answering; Fact Checking;

The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The conference aims for a vital exchange of knowledge and experience among the research communities around different formal methods.

FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software and systems development. The FM symposia have been successful in bringing together researchers and industrial users around a program of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral research. FM 2026 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experiences.

MIPRO Croatian Society

The conference addresses the use of computer science and information technologies in education at all levels, from preschool to higher and lifelong learning. It covers methods for teaching computer science and programming, curriculum development, and the implementation of computer technologies, internet services, and hypermedia in schools and libraries. Topics include distance learning, e-learning and m-learning, computer-assisted learning and evaluation (CAL/CAE), and the professional development of teachers in the effective use of ICT. The conference also presents research on learners, including users with special needs, as well as open-source solutions, ICT-related professions, and technologies for preventing cheating and plagiarism. Emphasis is placed on practical experiences, tutorials, and empirical research related to the application of ICT in education.

Email.: snjezana.babic.ce@gmail.com

Education and Computer Science, Methods for Teaching Computer Science, The Implementation of Computer Technologies in Schools, Distance Learning, e-Learning and m-Learning, CAL and CAE, Schools and Internet, Schools and Hypermedia, Continuous Education of Computer Science Teachers, Education of All Teachers in Use of Computing, Computer Science, Information Technology and Other Related Curriculum, Researching about Students and Computer, Researching about School and Preschool Children and Computer, Practical and Tutorial Experience in the Field of ICT, Programming, Teaching and Training, Researching about Users with Special Needs and Computers, Open Source and Freeware, Professions Related to ICT, New Technologies against Cheating and Plagiarism, Computer Use in Libraries and Publishing

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

Information theory aims to find mathematically precise answers to fundamental questions such as how information is stored, processed, or sent reliably through noisy communication links. Towards the end of the 20th century, researchers started asking how these information-processing tasks change when information is encoded in systems exhibiting quantum-mechanical behavior. Remarkably, features of quantum mechanics such as the superposition principle and entanglement give rise to phenomena in information theory that cannot be realized with classical information-processing systems. Their discovery has led to the creation of the now thriving field of quantum information theory. A cornerstone of quantum information theory is the principle of non-additivity of information measures. Roughly speaking, non-additivity occurs if a communication resource becomes more powerful when used repeatedly or in conjunction with another resource. On the one hand, non-additivity effects are desirable as they push the limits of faithfully communicating information. On the other hand, they complicate an exact characterization of these limits in both mathematical and computational terms. Our workshop gathers experts from all areas of quantum information theory, with the goal of shedding further light on, and identifying new methods to study, the nature of non-additivity phenomena in quantum information-processing systems.

Wilhelm and Else Heraeus-Foundation

To boost our ability to simulate quantum mechanical systems, we believe that insights from theoretical computer science perfectly complement the existing knowledge in physics. In particular, our own recent research has shown that automated reasoning techniques, originally developed to analyze complex (classical) information systems, show great promise in the domain of quantum mechanics. Moreover, these new approaches have been shown to break boundaries between existing approaches, combining their strengths and overcoming individual limitations. Based on these developments, we aim to realize fundamentally novel formalisms for representing and processing quantum information.

Réseaux de neurones et intelligence artificielle, apprentissage automatique,    Mécanique quantique et technologie quantique