Advances in Modal Logics 2024 je významná mezinárodní konference v oboru modální logiky, koná se každým druhým rokem v různých hostitelských zemích.

Relational and Algebraic Methods in Computer Science je mezinárodní konference v oboru computer science věnovaná relačním a algebraickým metodám, pořádaná od r. 1994 v různých hostitelských zemích.

Tradiční jednodenní mezinárodní colloquium pořádané již 24. rokem. Špičkoví zahraniční řečníci v oboru. Neformální zakončení prohlídkou laboratoří CMP a širokou diskusí.

Tradiční jednodenní mezinárodní colloquium pořádané již 24. rokem. Špičkoví zahraniční řečníci v oboru. Neformální zakončení prohlídkou laboratoří CMP a širokou diskusí.

Setkání vědců zabývajících se nejrůznějšími aspekty matematické logiky.

Nově zaváděné moduly ICDL - obsah a cílové skupiny. Zkušenosti se zaváděním modulů věnovaných robotice a programování. Proč si cookies a další brousí zuby na naše osobní údaje?

Tradiční jednodenní mezinárodní colloquium pořádané již 23. rokem. Špičkoví zahraniční řečníci v oboru. Neformální zakončení prohlídkou laboratoří CMP a širokou diskusí.

SoCS je hlavní konferencí pro oblasti heuristického a kombinatorického prohledávání. Každoročně hostí cca 80 odborníků z celého světa, z nichž třetina až polovina jsou studenti. Součástí akce je program pro doktorandy a Master Class.

Tradiční setkání pracovníků z oboru zdravotnické informatiky a biomedicínského inženýrství. Nyní již 35. ročník koncerence.

Fakulta informatiky a statistiky VŠE ve spolupráci s Českou společností pro kybernetiku a informatiku (která je členem EurAI, evropské asociace pro umělou inteligenci) vás srdečně zve na 1. ročník neformálního odborného meetupu DaiZ (Data, AI, znalosti) zaměřeného na problémy a metody využívání umělé inteligence v kombinaci s přímým či nepřímým zapojením lidských znalostí. Jednotícím myšlenkou je aktuální potřeba, aby umělá inteligence efektivně využívala jak rozsáhlá trénovací data, tak i znalosti – ať už strukturované ve znalostních bázích, nebo v hlavách lidí, kteří vybírají data pro trénování, poskytují systému zpětnou vazbu a analyzují a interpretují jeho výsledky. Těžištěm jsou proto odborná témata typu „AI with human in the loop“, „vysvětlitelná/důvěryhodná umělá inteligence“, „neuro-symbolická umělá inteligence“, případně „strojové učení s apriorními znalostmi“ nebo „vnořování znalostních grafů“. Meetup volně navazuje na česko-slovenské konference „Data a znalosti“ konané v letech 2015–2019. Nejedná se však tentokrát o konferenci s recenzním řízením, ale o neformální diskusní setkání, obohacené zvanou přednáškou z praxe, „lightning“ ústními sděleními, posterovou sekcí a panelovou diskusí. Jazyky meetupu jsou čeština, slovenština a angličtina.

Setkání vědců zabývajících se nejrůznějšími aspekty matematické logiky.

20. ročník česko-slovenské konference, která slouží jako místo setkání odborníků zaměřujících se na oblast kognitivní vědy.

Letní škola nejen on současných technikách počítačového vidění.

A tradition of presenting and discussing state of the art artificial intelligence and related research in a sociable atmosphere in a beautiful setting.