Czech Society for Cybernetics and Informatics

News, Event Annoucements

Announcement: Save the date: Developing IT profession in Europe online event on 20 May

The IT Professionalism Europe (ITPE) network and the CEN Technical Committee on IT professionalism are organising a joint event “Developing the competent, trusted and recognised it profession in Europe – the journey already started”. This event will take place online on 20 May 2021.

Announcement: Nabídka spolupráce na mezinárodním projektu Citizen Scientists Investigating Cookies and GDPR Compliance

V ČR byl právě zahájen nábor zájemců o spolupráci na mezinárodním projektu Citizen Scientists Investigating Cookies and GDPR Compliance (CSI-COP), jehož cílem je spojit síly expertů a široké veřejnosti při sběru a společném zkoumání dokladů o tom, jak mnoho webových aplikací umožňuje sledovat stopy našich aktivit na internetu, aniž bychom k tomu dali souhlas. Projekt přiravuje MOOC (veřejně přístupný on-line kurz) v angličtině věnovaný tomto tématu a určený širší veřejnosti. Anglická verze tohoto kurzu bude zpřístupněna v květnu 2021 a během prázdnin bude připravena i jeho česká verze.

Conference: The 34th International FLAIRS Conference

16.05.2021 - 19.05.2021

FLAIRS-34 continues a tradition of presenting and discussing state of the art artificial intelligence and related research in a sociable atmosphere within a beautiful setting. Events include invited speakers, special tracks, discussion panels, and presentations of papers, posters, and awards. Traditionally, FLAIRS features not only some of the world’s leading researchers and excellent speakers, but also quality submissions from students.

Call for papers: The 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021)


The 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy with the DecisionCAMP summit, which brings together leading decision management authorities, vendors, and practitioners, one of the main goals of RuleML+RR is to build bridges between academia and industry in the area of rule-based reasoning and applications. RuleML+RR 2021 is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations”. RuleML+RR 2021 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare, environment, and other application areas. It provides a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development, and applications of rule-based systems.

Recent Annoucements

Call for papers: Special Issue on Explainable and Interpretable Machine Learning and Data Mining


Explainable and Interpretable Machine Learning (XI-ML) aims at bringing together research from interpretable and explainable machine learning, also relating to data mining and knowledge discovery. Integrating those areas should enable new perspectives on questions on appropriate learning formalisms, interpretation and explanation techniques, their metrics, as well as the respective assessment options arise. This special issue will provide a leading forum for timely, in-depth presentation of recent advances in explainable and interpretable machine learning and data mining. We aim to tackle these themes from the modeling and learning perspective, targeting interpretable methods and models being able to explain themselves and their output, respectively. Thus, this call covers a wide range of potential topics.

Guest Editors: Martin Atzmueller, Johannes Fuernkranz, Tomas Kliegr, Ute Schmid

Talk by Igor Sedlár (The Czech Academy of Sciences): Changing the World, Constructively

17.02.2021 16:00

The finite tree property of intuitionistic logic entails completeness with respect to posets where each element, seen as a possibly partial situation, is under a maximal element, seen as a possible world containing the situation. This suggests a natural semantics for intuitionistic modal logic based on posets with a binary relation on the set of maximal elements. In this semantics, truth of modal formulas in a situation is determined by looking at worlds containing the situation and worlds accessible from them. In this paper we study modal logics arising from such a semantics. A general completeness-via-canonicty result is provided and various operations on such posets including filtrations are studied. Differences with respect to intuitionistic modal logics known from the literature are discussed. In the final part a completeness result for a version of intuitionistic propositional dynamic logic based on the framework is obtained and the logic is shown to be decidable.

Workshop: The promises and Dark Sides of Artificial Intelligence in NMR, MRI and Neuroscience


The primary goal of this workshop is to bring together the diverse but overlapping communities of physicists, chemists, computer scientists, biologists, engineers, economists, clinicians and neuroscientists to explore novel, out-of-the box angles through which trans-disciplinary challenges in NMR, MRI and neuroscience research and technology can be tackled using Artificial Intelligence.