Pozvánka na přednášku semináře

• Luca Carai (ICS CAS):

  TBA

  04.11.2026 16:00Velká zasedačka (č. 318, 2. poschodí) Ústavu informatiky AV ČR, v.v.i. Seminář aplikované matematické logiky

Předchozí přednášky

• Relevance and interpolation via binary nested sequents
  Han Gao (ICS CAS)
  21.10.2026 16:00 @ Seminář aplikované matematické logiky
• Artificial Immune Systems: Multiclass Classification and Hybrid Methods
  Storm Visser
  15.10.2026 14:00 @ Seminář strojového učení a modelování
• Interpolation without equality
  Vítězslav Švejdar (ICS CAS)
  14.10.2026 16:00 @ Seminář aplikované matematické logiky
• Decomposition of 2D and 3D shapes into rectangular blocks.
  Jan Flusser (Institute of Information Theory and Automation, Prague)
  13.10.2026 13:30 CEST @ Hora Informaticae
• Potential infinity in alternative set theory
  Aleksi Honkasalo (ICS CAS)
  07.10.2026 16:00 @ Seminář aplikované matematické logiky
• Reinforcement Learning Built for Acceleration: Sparse Topology Control, Stability, and Hardware-Aware Training
  Isam Vrce
  01.10.2026 14:00 @ Seminář strojového učení a modelování
• Sequent Calculi for Semiring Semantics (in person talk)
  James Carr (University of Queensland)
  08.07.2026 16:00 @ Seminář aplikované matematické logiky
• Displaying First-Order Relevant Logics
  Fabio De Martin Polo (ICS CAS)
  01.07.2026 16:00 @ Seminář aplikované matematické logiky
• Algebraic Semantics for Real-Valued Pointed Modal Logic
  Filip Jankovec
  24.06.2026 16:00 @ Seminář aplikované matematické logiky
• Amalgamation for lower-involutive idempotent semilinear residuated lattices
  Nikolaos Galatos (University of Denver)
  17.06.2026 16:00 @ Seminář aplikované matematické logiky
• Representing dynamics in logic: from models to proof
  Clara Lerouvillois (IRIT & IHPST)
  11.06.2026 16:00 @ Seminář aplikované matematické logiky
• From implicit to explicit definability in algebra and logic
  Luca Carai (University of Milan)
  10.06.2026 16:00 @ Seminář aplikované matematické logiky
• Model-theoretic properties up to Vopěnka's Principle and beyond
  Jonathan Osinski (ICS CAS)
  03.06.2026 16:00 @ Seminář aplikované matematické logiky
• On connexivity in modal and conditional contexts (online)
  Grigory Olkhovikov (ICS CAS)
  27.05.2026 16:00 @ Seminář aplikované matematické logiky
• Multi-Objective Optimization for Expensive Engineering Problems.
  Jana Burkotová (Faculty of Science, Palacký University Olomouc, Czech Republic)
  26.05.2026 @ Hora Informaticae
• Multi-objective Neural Architecture Design Using Monte Carlo Search
  Noe Lallouet
  14.05.2026 14:00 @ Seminář strojového učení a modelování
• MacNeille Completion, Canonical Completion, and Duality for Cylindric Orthocomplemented Lattices
  Joseph McDonald (ICS CAS)
  13.05.2026 16:00 @ Seminář aplikované matematické logiky
• Energy Portfolio Optimisation Project - Lessons Learned.
  Petra Vidnerová (Institute of Computer Science, Czech Academy of Sciences, Prague)
  12.05.2026 @ Hora Informaticae
• Scaling LLM Alignment Beyond Supervised Fine-Tuning: Solving the Data Reliance Bottleneck
  Dario Vajda
  30.04.2026 14:00 @ Seminář strojového učení a modelování
• Decidability of PDL, but at what cost?
  Wolfgang Poiger (ICS CAS)
  29.04.2026 16:00 @ Seminář aplikované matematické logiky
• A Sociological Application of Topic Modeling in Science Mapping.
  Radim Hladík (Institute of Philosophy, Czech Academy of Sciences)
  28.04.2026 @ Hora Informaticae
• Automated and Robust Shape Optimisation of Industrial Wastewater Systems Using Multi-Objective Bayesian Methods
  Benjamin Moore
  16.04.2026 14:00 @ Seminář strojového učení a modelování
• Conditionals: where do we stand?
  Giuliano Rosella (ICS CAS)
  15.04.2026 16:00 @ Seminář aplikované matematické logiky
• Generalization in Attention-Based Neural Networks: Solvable High-Dimensional Models.
  Lenka Zdeborová (École Polytechnique Fédérale de Lausanne, Swiss)
  14.04.2026 @ Hora Informaticae
• Evolving Prompt Embeddings of Diffusion Models for Optimization and Exploration of Synthetic Images
  Marcel Salvenmoser
  02.04.2026 14:00 @ Seminář strojového učení a modelování
• On Viable Computation and Trustworthy AI.
  Jiří Wiedermann (Institute of Computer Science, Czech Academy of Sciences, Prague)
  31.03.2026 @ Hora Informaticae
• Finite embeddability via nuclear and conuclear images
  Adam Přenosil (ICS CAS)
  25.03.2026 16:00 @ Seminář aplikované matematické logiky
• Conformal Predictors meet Active Learning: Adaptive Systems for Efficient Industrial Monitoring in Non-Stationary Environments
  David Moe
  19.03.2026 14:00 @ Seminář strojového učení a modelování
• Fine grained analysis of conservative Maltsev CSP
  Andrew Paul Moorhead (TU Dresden)
  18.03.2026 16:00 @ Seminář aplikované matematické logiky
• How to turn a Transformer model into a modern LLM? Instruct, RLHF, RAG, and others.
  Rudolf Rosa (Institute of Formal and Applied Linguistics, Charles Univ., Fac. Math. and Phys., Prague)
  17.03.2026 @ Hora Informaticae
• Formalizing fragments of ZFfin in Isabelle/HOL
  Zuzana Haniková (ICS CAS)
  11.03.2026 16:00 @ Seminář aplikované matematické logiky
• From artificial neurons to artificial intelligence.
  Věra Kůrková (Institute of Computer Science, Czech Academy of Sciences, Prague)
  03.03.2026 @ Hora Informaticae
• Parametric canonical extensions
  Apostolos Tzimoulis
  25.02.2026 16:00 @ Seminář aplikované matematické logiky
• Machine-learned interatomic potentials for molecular dynamics: committees and foundation models
  Ondřej Maršálek and Pavol Šimko
  19.02.2026 14:00 @ Seminář strojového učení a modelování
• Riesz basis of ReLU neural networks and its use in function recovery.
  Jan Vybíral (Department of Mathematics, FNSPE, CTU Prague)
  10.02.2026 @ Hora Informaticae
• On Regular Lawvere Theory
  Chun Yu Lin (ICS CAS)
  28.01.2026 16:00 @ Seminář aplikované matematické logiky
• On the logics of finite Gödel Kripke models
  Amanda Vidal (ICS CAS)
  14.01.2026 16:00 @ Seminář aplikované matematické logiky
• Complexity of Unbounded Łukasiewicz logic
  Filip Jankovec (ICS CAS)
  07.01.2026 16:00 @ Seminář aplikované matematické logiky
• On some non-classical cylindric algebras
  Chun Yu Lin
  10.12.2025 16:00
• A Natural Intuitionistic Modal Logic: calculi, decidability and countermodels
  Han Gao (Institute of Computer Science, CAS)
  26.11.2025 16:00
• Robustness of Deep ReLU Networks to Misclassification of High-Dimensional Data.
  Věra Kůrková (Institute of Computer Science, Czech Academy of Sciences, Prague)
  18.11.2025 @ Hora Informaticae
• The connection between amalgamation and deductive interpolation
  Isabel Hortelano (University of Bern)
  12.11.2025 16:00
• Maehara interpolation in extensions of R-mingle
  Krysztof Krawczyk (Institute of Computer Science, CAS)
  05.11.2025 16:00
• A General Constructive Upper Bound on Shallow Neural Nets Complexity.
  František Hakl, Vít Fojtík (Institute of Computer Science, Czech Academy of Sciences, Prague, Ludwig-Maximilians-Universität München)
  04.11.2025 @ Hora Informaticae
• The Tennenbaum phenomenon in a general setting
  Roman Kossak (CUNY Graduate Center)
  22.10.2025 16:00
• Reflecting on the proof theory of first-order relevant logics and relevant modal logics
  Fabio De Martin Polo (Institute of Computer Science, CAS)
  15.10.2025 16:00
• Defeasible reasoning on concepts
  Krishna Manoorkar (Institute of Computer Science, CAS))
  01.10.2025 16:00
• From Reasoning Agents to Language Agents: How LLMs are Reshaping the AI Agent Paradigm.
  Roman Neruda (Institute of Computer Science, Czech Academy of Sciences, Prague)
  17.06.2025 @ Hora Informaticae
• A Proof Theory for Profinite Modal Algebras
  Matteo De Berardinis (University of Salerno)
  11.06.2025 16:00
• Coalgebraic dynamic logic (re-)visited
  Wolfgang Poiger (Institute of Computer Science, Prague)
  28.05.2025 16:00
• Which po-monoids arise from po-groups?
  Adam Přenosil (University of Barcelona)
  21.05.2025 16:00
• Understanding the neural networks through rule extraction.
  Tomáš Pevný (Czech Technical University, Prague)
  20.05.2025 @ Hora Informaticae
• Quantum logic, dagger categories, and the basic model of quantum physics
  Thomas Vetterlein (Johannes Kepler University Linz)
  30.04.2025 16:00
• Abstraction-Based Machine-Code Program Verification.
  Jan Onderka (Institute of Computer Science, Prague)
  22.04.2025 @ Hora Informaticae
• Symbolic Constraints and Quantitative Extensions of Equality
  Temur Kutsia (Johannes Kepler University Linz)
  26.02.2025 16:00
• MacNeille completion, canonical completion, and duality for monadic ortholattices
  Joseph McDonald (University of Alberta)
  12.02.2025 16:00
• Ultrahomogeneous digraphs: universal automorphism groups and canonical amalgamation
  Rob Sullivan (Institute of Computer Science)
  11.02.2025 10:00
• Poisson-Voronoi percolation in higher rank
  Jan Grebík (Masaryk University)
  04.02.2025 10:00
• Proof By Abduction in Isabelle/HOL.
  Yutaka Nagashima (Institute of Computer Science, Prague)
  04.02.2025 @ Hora Informaticae
• New Functions Characterizing Continuous Distributions.
  Zdeňek Fabián (Institute of Computer Science, Prague)
  21.01.2025 @ Hora Informaticae
• Monadic NP Sets
  Martin Q. Putzer (Charles University, Faculty of Arts)
  08.01.2025 16:00
• Robots as Moral Agents: Human Intuition, Programmed Ethics, and Real-World Implications.
  Robin Kopecký (Institute of Philosophy, Prague)
  03.12.2024 @ Hora Informaticae
• Weighted Automata and Quantitative Logics
  Manfred Droste (Institute of Computer Science of the University of Leipzig)
  20.11.2024 14:00
• Isabelle/HOL and Its Logic: User's Point of View
  Štěpán Holub (Charles University, Faculty of Mathematics and Physics)
  06.11.2024 14:00
• Non-standard situations in regression modeling: From method selection to neural networks.
  Jan Kalina (Institute of Computer Science, Prague)
  05.11.2024 @ Hora Informaticae
• About semilinear prevarieties of Abelian l-groups
  Filip Jankovec (Institute of Computer Science, Prague)
  30.10.2024 14:00
• Abduction in the extensions of the Belnap--Dunn logic
  Daniil Kozhemiachenko (Aix-Marseille Université)
  23.10.2024 14:00
• Approximation and classification by ReLU networks of increasing depth.
  Věra Kůrková (Institute of Computer Science, Prague)
  22.10.2024 @ Hora Informaticae
• Mathematics as a natural and dynamic process. Philosophical arguments.
  Giovanni Sambin (University of Padova)
  17.10.2024 14:00
• Mathematics as a natural and dynamic process. Mathematical facts.
  Giovanni Sambin (University of Padova)
  16.10.2024 16:00
• Epistemic Probability Logics
  Igor Sedlár (Czech Academy of Sciences, Institute of Computer Science)
  09.10.2024 16:00
• Large Languages Models and Automata Theory.
  Jiří Wiedermann (Institute of Computer Science, Prague)
  08.10.2024 @ Hora Informaticae
• Language models and Artificial Inteligence.
  David Herel (Department of Cybernetics, Faculty of Electrical Engineering, CTU Prague)
  11.06.2024 @ Hora Informaticae
• One is all you need: Second-order Unification without First-order Variables
  David Cerna (Czech Academy of Sciences, Institute of Computer Science)
  05.06.2024 16:00
• Evolutionary Algorithms for Expansive Optimization.
  Martin Pilát (Faculty of Mathematics and Physics, Charles University, Prague)
  28.05.2024 @ Hora Informaticae
• Equivariance and Invariance in Neural Networks.
  Filip Šroubek and Tomáš Karella (Institute of Information Theory and Automation, Prague)
  14.05.2024 @ Hora Informaticae
• A Personal Perspective on the Game Comonad Programme
  Tomáš Jakl (Institute of Mathematics of the Czech Academy of Sciences and Czech Technical University)
  24.04.2024 16:00
• Czech Speech Synthesis in the AI Era.
  Jindřich Matoušek (Department of Cybernetics, Faculty of Applied Sciences, UWB Pilsen)
  16.04.2024 @ Hora Informaticae
• Pointed lattice subreducts of varieties of residuated lattices
  Adam Přenosil (University of Barcelona)
  10.04.2024 16:00
• Performance Prediction for Neural Architecture Search.
  G. Kadlecová, P. Vidnerová (Department of Artificial Intelligence, ICS Prague)
  19.03.2024 @ Hora Informaticae
• Infinitary Rules for Abelian Logic
  Filip Jankovec (Institute of Computer Science, CAS)
  13.03.2024 16:00
• Learning from few examples - nonlinearity and dimensionality.
  Oliver Sutton (Department of Mathematics, King's College London)
  12.03.2024 @ Hora Informaticae
• Dispersion of a point set - lower and upper bounds.
  Jan Vybiral (Department of Mathematics, FNSPE, CTU)
  20.02.2024 @ Hora Informaticae
• New directions in quantum reasoning
  Wesley Fussner (Institute of Computer Science, CAS)
  14.02.2024 16:00
• On Geometric Implications
  Amir Tabatabai (Institute of Computer Science, CAS)
  07.02.2024 16:00
• Relevance Properties in First-Order Relevant Logicss
  Nicholas Ferenz (Institute of Computer Science, CAS)
  31.01.2024 16:00
• GPU-acceleration of program synthesis.
  Martin Berger (Montanarius Ltd, University of Sussex)
  30.01.2024 @ Hora Informaticae
• special session
  Soroush Rafiee Rad (University of Amsterdam)
  25.01.2024 14:00
• Equational theories of idempotent semifields
  Simon Santschi (University of Bern)
  24.01.2024 16:00
• Getting Structure in Dialogue with Large Language Models.
  Ondřej Dušek (Institute of Formal and Applied Linguistics, Charles University Prague)
  23.01.2024 @ Hora Informaticae
• What Proof Theory Can Do for You
  Roman Kuznets (TU Wien)
  17.01.2024 16:00
• Principlism as the ethics of artificial intelligence.
  David Černý (Institute of Computer Science CAS, Institute of State and Law, CAS)
  09.01.2024 @ Hora Informaticae
• Decidable Fragments of First Order Modal Logic
  Anantha Padmanabha (Indian Institute of Technology, Dharwad)
  13.12.2023 16:00
• The Voynich Manuscript: the secret book of an unknown language.
  Ivan Zelinka (Technical University of Ostrava)
  05.12.2023 @ Hora Informaticae
• A Tour of Substructural Interpolation
  Wesley Fussner (Czech Academy of Sciences, Institute of Computer Science)
  08.11.2023 16:00
• Chomsky-Like Neural Network Hierarchy.
  Jiří Šíma (Department of Theoretical Computer Science, CAS)
  07.11.2023 @ Hora Informaticae
• Maximum satisfiability problem in the real-valued MV-algebra
  Zuzana Haniková (Czech Academy of Sciences, Institute of Philosophy)
  01.11.2023 16:00
• Approximation of classifiers of large data sets by deep ReLU networks.
  Věra Kůrková (Department of Artificial Inteligence, Institute of Computer Science, CAS)
  24.10.2023 @ Hora Informaticae
• Artificial Wisdom: On the Power of Generative AI.
  Jiří Wiedermann, Jan van Leeuwen (ICS CAS, Utrecht University)
  10.10.2023 @ Hora Informaticae
• Negated Implications in Connexive Relevant Logics
  Andrew Tedder (University of Vienna)
  04.10.2023 16:00
• HW Accelerated AI Inference and Fast, Recursive QR System Identification.
  Jiří Kadlec (Department of Signal processing, UTIA, CAS)
  13.06.2023 @ Hora Informaticae
• Fuzzy Information States and Fuzzy Support
  Vít Punčochář (Czech Academy of Sciences, Institute of Philosophy)
  07.06.2023 16:00
• Causality and Machine Learning.
  Aditi Kathpalia (Department of Complex Systems, Institute of Computer Science, CAS)
  30.05.2023 @ Hora Informaticae
• Everyone Knows that Everyone Knows
  Hans van Ditmarsch (University of Toulouse, CNRS, IRIT)
  17.05.2023 16:00
• TNL: Numerical library for modern parallel architectures.
  Tomáš Oberhuberk (Department of Mathematics, FNSPE, CTU)
  16.05.2023 @ Hora Informaticae
• A Simplified Lower Bound on Intuitionistic Implicational Proofs
  Emil Jeřábek (Institute of Mathematics, CAS)
  10.05.2023 16:00
• How to compute uniform interpolant semantically
  Kentaro Yamamoto (ICS CAS)
  03.05.2023 16:00
• Computability of Neural Network Problems.
  Vít Fojtík (Bavarian AI Chair for Mathematical Foundations of AI, LMU Munich)
  02.05.2023 @ Hora Informaticae
• Promise Model Checking Problems over a Fixed Model
  Libor Barto (Charles University, Faculty of Mathematics and Physics)
  19.04.2023 16:00
• Zero-cost proxies for neural network performance estimation.
  Gabriela Kadlecová (Institute of Computer Science; Charles Univ., Fac Math and Phys)
  18.04.2023 @ Hora Informaticae
• GPT et al.: Generating Texts with Transformer-Based Large Language Models.
  Rudolf Rosal (Institute of Formal and Applied Linguistics, Charles Univ., Fac Math and Phys)
  04.04.2023 @ Hora Informaticae
• Computational Content of a Generalized Kreisel-Putnam Rule
  Ivo Pezlar (Institute of Philosophy, Czech Academy of Sciences)
  22.03.2023 16:00
• From ridge functions to neural networks II.
  Jan Vybíral (Department of Mathematics, FNSPE, CTU)
  21.03.2023 @ Hora Informaticae
• First-Order Proof Schemata and Inductive Proof Analysis
  Alexander Leitsch (Technical University Vienna)
  08.03.2023 16:00
• Learning Logic Programs with negation, Predicate Invention, and Higher-Order Definitions Through the learning from Failures Paradigm.
  David M. Cerna (Department of Artificial Intelligence, ICS Prague)
  07.03.2023 @ Hora Informaticae
• One-variable RQ & RS5: A Frame Based Equivalence
  Nicholas Ferenz (Institute of Computer Science, Czech Academy of Sciences)
  01.03.2023 16:00
• From discrete to continuous variational inequalities with convex and non-convex constraints.
  Pavel Krejčí (Institute of Mathematics, CAS; Faculty of Civil Engineering, CTU)
  21.02.2023 @ Hora Informaticae
• Kleene Algebra With Tests for Weighted Programs
  Igor Sedlár (Institute of Computer Science, Czech Academy of Sciences)
  25.01.2023 16:00
• From ridge functions to neural networks I.
  Jan Vybíral (Department of Mathematics, FNSPE, CTU)
  24.01.2023 @ Hora Informaticae
• A Parametrised Axiomatization for a Large Number of Restricted Second-Order Logics
  Guillermo Badia (University of Queensland)
  11.01.2023 16:00
• How radar interferometry could reconcile fuzzy sets with probability
  Lubomír Soukup (Institute of Information Theory and Automation)
  10.01.2023 @ Hora Informaticae
• Probabilistic Forecasting with International Large-Scale Assessments: Applications to the UN Sustainable Development Goals
  David Kaplan (University of Wisconsin)
  20.12.2022 @ Hora Informaticae
• Model M - an agent-based epidemiological model
  RNDr. Petra Vidnerová, Ph.D.
  06.12.2022 @ Hora Informaticae
• Some implications of high-dimensional geometry for classification by neural networks
  RNDr. Věra Kůrková, DrSc.
  22.11.2022 @ Hora Informaticae
• Autonomous machines and machine minds
  prof. RNDr. Jiří Wiedermann, DrSc.
  08.11.2022 @ Hora Informaticae
• How to deal with data contamination in hypothesis testing
  RNDr. Jan Kalina, Ph.D.
  16.12.2019 @ Hora Informaticae
• Probabilistic Bounds on Complexity of Networks Classifying Large Data Sets
  RNDr. Věra Kůrková, DrSc.
  18.11.2019 @ Hora Informaticae
• Interpolant generation algorithms based on quantifier elimination
  Deepak Kapur (University of Mexico)
  01.07.2019 @ Hora Informaticae
• Automata and Turing Computation with Synfire Ring-Based Neural Networks
  Jérémie Cabessa (Université Paris 2)
  04.03.2019 @ Hora Informaticae
• Deep Neural Networks in Natural Language Processing
  Rudolf Rosa (UFAL MFF UK)
  14.01.2019 @ Hora Informaticae