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

Sélecionner un pays
TOUS LES PAYS (5)
1
CSEN 2025 — 12th International Conference on Computer Science and Engineering (CSEN 2025)
08 nov 2025 - 09 nov 2025 • Melbourne, Australie
Résumé:
12th International Conference on Computer Science and Engineering (CSEN 2025) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of Computing. The goal of this conference is to bring together researchers and practitioners from academia and industry to focus on Computer science & Computer Engineering advancements and establishing new collaborations in these areas. Original research papers, state-of-the-art reviews are invited for publication in all areas of Computer Science & Computer Engineering.
Contact:
CSEN 2025;     Email.: csen@csen2025.org
Sujets:
Big Data, Machine Learning & Applications, Accessible Computing, Algorithms and Computation Theory, Artificial Intelligence and Soft Computing, Bioinformatics and Biosciences, Blockchain, Computer Architecture
Identifiant de l'évènement:
1675997
2
GI-Dagstuhl-Seminar — Tools for Reachability Analysis of Stochastic Hybrid Systems
14 dec 2025 - 19 dec 2025 • Schloss Dagstuhl, Allemagne
Organisateur:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
Résumé:
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.
Sujets:
Hybrid systems; Stochastic systems; Formal methods; Modeling; Verification; Formal Languages and Automata Theory
Identifiant de l'évènement:
1670223
3
Dagstuhl-Seminar — Arithmetical and Modal mu-Calculi: Recent and Future Advances
25 jan 2026 - 30 jan 2026 • Schloss Dagstuhl, Allemagne
Organisateur:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
Résumé:
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.
Identifiant de l'évènement:
1670465
4
Dagstuhl-Seminar — Proof Systems in Actual Practice: Reasoning and Computation
15 mar 2026 - 20 mar 2026 • Schloss Dagstuhl, Allemagne
Organisateur:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
Résumé:
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.
Identifiant de l'évènement:
1671240
5
Additivity Problems in Quantum and Classical Information Theory
12 jul 2026 - 17 jul 2026 • Banff, Alberta, Canada
Organisateur:
Banff International Research Station for Mathematical Innovation and Discovery (BIRS)
Résumé:
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.
Identifiant de l'évènement:
1668712


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: 2 octobre 2025