Czech Society for Cybernetics and Informatics

News, Event Annoucements

Announcement: Pozvánka na seminář MEDSOFT 2022

Setkání pracovníků z oboru zdravotnické informatiky a biomedicínského inženýrství.

Announcement: Debata o existenčních rizicích lidstva

Společnost Effective Altruism CZ (efektivni-altruismus.cz) zve na debatu o knize Nad propastí oxfordského profesora Tobyho Orda, která v květnu vyšla v českém překladu (ARGO, 2022). Publikace analyzuje existenční rizika ohrožující lidstvo (od klimatické změny přes nekontrolovatelné šíření patogenů až po vývoj umělé inteligence) a hovoří o strategiích, které by mělo lidstvo v tomto a následujících stoletích zaujmout. Kniha je založena na mnohaletém výzkumu, který se opírá o nejmodernější vědecké poznatky. Akce proběhne v Kampusu Hybernska 26.10. 2022 v 19:00.

Announcement: Workshop on Perception of Material Appearance

Workshop pořádaný UTIA

Conference: The 35th International FLAIRS Conference

15.05.2021 - 18.05.2021

FLAIRS is one of the oldest AI conferences that celebrates 35-th edition in 2022. FLAIRS-35 continues a tradition of presenting and discussing state of the art artificial intelligence and related research in a sociable atmosphere in a beautiful setting, in 2022 at Hutchinson Island, Jensen Beach, Florida, USA. The conference includes a tutorial section, three invited talks, and nine special tracks devoted to various sub-areas of AI. Researchers can present full papers or poster abstracts.

Announcement: Divadelní hra FACENET divadelního souboru COMICA ECONOMICA ČVUT

Zveme všechny členy ČSKI do Hudebního divadla Karlín na neděli 27.2. v 15.00.

Announcement: Krásné společenské stroje: umělá inteligence a algoritmická teorie her

Učená společnost Vás srdečně zve 19. října 2021 na výše uvedenou diskusi, v rámci které vystoupí Jiří Matas (ČVUT), Tomáš Mikolov (CIIRC), Martin Schmid (Google DeepMind), Jan Vondrák (Stanford University) a Lenka Zdeborová (École Polytechnique Fédérale de Lausanne).

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.

Call for papers: 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.

Recent Annoucements

Call for papers: 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

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

..

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

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.