Konferenzen  >  Informatik  >  Informationstheorie und Grundlagen der Informatik

Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH

This GI-Dagstuhl Seminar aims to bring together junior researchers from different research areas related to the modeling and analysis of stochastic hybrid systems. The involved communities address quantitative modeling, the verification of (stochastic) hybrid systems, and statistical model checking. The seminar will cover intersecting research questions around semantics, tool interoperability, benchmarking, and reproducibility. Its goal is to launch discussions, the exchange of ideas, and fruitful collaborations with an emphasis on networking and the training of the participating young scientists to strengthen their qualifications and skills.

Hybrid systems; Stochastic systems; Formal methods; Modeling; Verification; Formal Languages and Automata Theory

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.

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.

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.