Česká společnost pro kybernetiku a informatiku

Aktuality, pozvánky na akce

Oznámení: 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.

Oznámení: 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.

Konference: 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.

Nabídka příspěvku: The 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021)

13.06.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.

Minulá oznámení

Nabídka příspěvku: Special Issue on Explainable and Interpretable Machine Learning and Data Mining

31.03.2021

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

Přednáška - 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

19.02.2021

Primárním cílem tohoto workshopu je spojit různorodá, ale překrývající se společenství fyziků, chemiků, počítačových vědců, biologů, inženýrů, ekonomů, lékařů a neurologů, aby diskutovali možnosti využití umělé inteligence v NMR, MRI a neurovědách.