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

Předchozí přednášky

• 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 @ Seminář aplikované matematické logiky
• Non-standard situations in regression modeling: From method selection to neural networks
  Jan Kalina (Institute of Computer Science, Prague)
  05.11.2024 14:00 @ Hora Informaticae
• About semilinear prevarieties of Abelian l-groups
  Filip Jankovec (Institute of Computer Science, Prague)
  30.10.2024 14:00 @ Seminář aplikované matematické logiky
• Abduction in the extensions of the Belnap--Dunn logic
  Daniil Kozhemiachenko (Aix-Marseille Université)
  23.10.2024 14:00 @ Seminář aplikované matematické logiky
• Approximation and classification by ReLU networks of increasing depth
  Věra Kůrková (Institute of Computer Science, Prague)
  22.10.2024 14:00 @ Hora Informaticae
• Mathematics as a natural and dynamic process. Philosophical arguments.
  Giovanni Sambin (University of Padova)
  17.10.2024 14:00 @ Seminář aplikované matematické logiky
• Mathematics as a natural and dynamic process. Mathematical facts.
  Giovanni Sambin (University of Padova)
  16.10.2024 16:00 @ Seminář aplikované matematické logiky
• Epistemic Probability Logics
  Igor Sedlár (Czech Academy of Sciences, Institute of Computer Science)
  09.10.2024 16:00 @ Seminář aplikované matematické logiky
• Large Languages Models and Automata Theory
  Jiří Wiedermann (Institute of Computer Science, Prague)
  08.10.2024 14:00 @ Hora Informaticae
• Language models and Artificial Inteligence
  David Herel (Department of Cybernetics, Faculty of Electrical Engineering, CTU Prague))
  11.06.2024 14:00 @ 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 @ Seminář aplikované matematické logiky
• Evolutionary Algorithms for Expansive Optimization
  Martin Pilát (Faculty of Mathematics and Physics, Charles University, Prague)
  28.05.2024 14:00 @ Hora Informaticae
• Equivariance and Invariance in Neural Networks
  Filip Šroubek and Tomáš Karella (Institute of Information Theory and Automation, Prague)
  14.05.2024 14:00 @ 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 @ Seminář aplikované matematické logiky
• Czech Speech Synthesis in the AI Era
  Jindřich Matoušek (Department of Cybernetics, Faculty of Applied Sciences, UWB Pilsen)
  16.04.2024 14:00 @ Hora Informaticae
• Pointed lattice subreducts of varieties of residuated lattices
  Adam Přenosil (University of Barcelona)
  10.04.2024 16:00 @ Seminář aplikované matematické logiky
• Performance Prediction for Neural Architecture Search
  G. Kadlecová, P. Vidnerová (Department of Artificial Intelligence, ICS Prague)
  19.03.2024 14:00 @ Hora Informaticae
• Infinitary Rules for Abelian Logic
  Filip Jankovec (Institute of Computer Science, CAS)
  13.03.2024 16:00 @ Seminář aplikované matematické logiky
• Learning from few examples - nonlinearity and dimensionality
  Oliver Sutton (Department of Mathematics, King's College London)
  12.03.2024 14:00 @ Hora Informaticae
• Dispersion of a point set - lower and upper bounds
  Jan Vybiral (Department of Mathematics, FNSPE, CTU)
  20.02.2024 14:00 @ Hora Informaticae
• New directions in quantum reasoning
  Wesley Fussner (Institute of Computer Science, CAS)
  14.02.2024 16:00 @ Seminář aplikované matematické logiky
• On Geometric Implications
  Amir Tabatabai (Institute of Computer Science, CAS)
  07.02.2024 16:00 @ Seminář aplikované matematické logiky
• Relevance Properties in First-Order Relevant Logicss
  Nicholas Ferenz (Institute of Computer Science, CAS)
  31.01.2024 16:00 @ Seminář aplikované matematické logiky
• GPU-acceleration of program synthesis
  Martin Berger (Montanarius Ltd & University of Sussex)
  30.01.2024 14:00 @ Hora Informaticae
• special session
  Soroush Rafiee Rad (University of Amsterdam)
  25.01.2024 14:00 @ Seminář aplikované matematické logiky
• Equational theories of idempotent semifields
  Simon Santschi (University of Bern)
  24.01.2024 16:00 @ Seminář aplikované matematické logiky
• Getting Structure in Dialogue with Large Language Models
  Ondřej Dušek ( Institute of Formal and Applied Linguistics, Charles University Prague)
  23.01.2024 14:00 @ Hora Informaticae
• What Proof Theory Can Do for You
  Roman Kuznets (TU Wien)
  17.01.2024 16:00 @ Seminář aplikované matematické logiky
• Principlism as the ethics of artificial intelligence
  David Černý (Institute of Computer Science CAS, Institute of State and Law, CAS)
  09.01.2024 14:00 @ Hora Informaticae
• Decidable Fragments of First Order Modal Logic
  Anantha Padmanabha (Indian Institute of Technology, Dharwad)
  13.12.2023 16:00 @ Seminář aplikované matematické logiky
• The Voynich Manuscript: the secret book of an unknown language
  Ivan Zelinka (Technical University of Ostrava)
  05.12.2023 14:00 @ Hora Informaticae
• A Tour of Substructural Interpolation
  Wesley Fussner (Czech Academy of Sciences, Institute of Computer Science)
  08.11.2023 16:00 @ Seminář aplikované matematické logiky
• Chomsky-Like Neural Network Hierarchy
  Jiří Šíma (CAS ICS)
  07.11.2023 14:00 @ 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 @ Seminář aplikované matematické logiky
• Approximation of classifiers of large data sets by deep ReLU networks
  Věra Kůrková (CAS ICS)
  24.10.2023 14:00 @ Hora Informaticae
• Artificial Wisdom: On the Power of Generative AI
  Jiří Wiedermann a Jan van Leeuwen (CAS ICS a Utrecht University)
  10.10.2023 14:00 @ Hora Informaticae
• Negated Implications in Connexive Relevant Logics
  Andrew Tedder (University of Vienna)
  04.10.2023 16:00 @ Seminář aplikované matematické logiky
• HW Accelerated AI Inference and Fast, Recursive QR System Identification
  Jiří Kadlec (Department of Signal processing, UTIA, CAS)
  13.06.2023 14:00 @ Hora Informaticae
• Fuzzy Information States and Fuzzy Support
  Vít Punčochář (Czech Academy of Sciences, Institute of Philosophy)
  07.06.2023 16:00 @ Seminář aplikované matematické logiky
• Causality and Machine Learning
  Aditi Kathpalia (Department of Complex Systems, Institute of Computer Science, CAS)
  30.05.2023 14:00 @ Hora Informaticae
• Everyone Knows that Everyone Knows
  Hans van Ditmarsch (University of Toulouse, CNRS, IRIT)
  17.05.2023 16:00 @ Seminář aplikované matematické logiky
• TNL: Numerical library for modern parallel architectures
  Tomáš Oberhuber (Department of Mathematics, FNSPE, CTU)
  16.05.2023 14:00 @ Hora Informaticae
• Characterising flip process rules with the same trajectories
  Eng Keat Hng (CAS ISC)
  12.05.2023 10:00 @ Graph Theory Seminar
• A Simplified Lower Bound on Intuitionistic Implicational Proofs
  Emil Jeřábek (Institute of Mathematics, CAS)
  10.05.2023 16:00 @ Seminář aplikované matematické logiky
• Invitation to graphons
  Jan Hladky (CAS ISC)
  05.05.2023 10:00 @ Graph Theory Seminar
• How to compute uniform interpolant semantically
  Kentaro Yamamoto (ICS CAS)
  03.05.2023 16:00 @ Seminář aplikované matematické logiky
• Computability of Neural Network Problems
  Vít Fojtík (Bavarian AI Chair for Mathematical Foundations of AI, LMU Munich)
  02.05.2023 14:00 @ Hora Informaticae
• Promise Model Checking Problems over a Fixed Model
  Libor Barto (Charles University, Faculty of Mathematics and Physics)
  19.04.2023 16:00 @ Seminář aplikované matematické logiky
• Zero-cost proxies for neural network performance estimation
  Gabriela Kadlecová (Institute of Computer Science; Charles Univ., Fac Math and Phys)
  18.04.2023 14:00 @ Hora Informaticae
• Maximum local tree counts in G(n,p)
  Matas Šileikis (CAS ISC)
  14.04.2023 10:00 @ Graph Theory Seminar
• GPT et al.: Generating Texts with Transformer-Based Large Language Models
  Rudolf Rosa (Institute of Formal and Applied Linguistics, Charles University)
  04.04.2023 14:00 @ Hora Informaticae
• Computational Content of a Generalized Kreisel-Putnam Rule
  Ivo Pezlar (Institute of Philosophy, Czech Academy of Sciences)
  22.03.2023 16:00 @ Seminář aplikované matematické logiky
• From ridge functions to neural networks II.
  Jan Vybíral (Department of Mathematics, FNSPE, CTU)
  21.03.2023 14:00 @ Hora Informaticae
• First-Order Proof Schemata and Inductive Proof Analysis
  Alexander Leitsch (Technical University Vienna)
  08.03.2023 16:00 @ Seminář aplikované matematické logiky
• 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 14:00 @ 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 @ Seminář aplikované matematické logiky
• 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 14:00 @ Hora Informaticae
• 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.02.2023 14:00 @ 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 @ Seminář aplikované matematické logiky
• From ridge functions to neural networks
  Jan Vybíral (Department of Mathematics, FNSPE, CTU)
  24.01.2023 14:00 @ Hora Informaticae
• A Parametrised Axiomatization for a Large Number of Restricted Second-Order Logics
  Guillermo Badia (University of Queensland)
  11.01.2023 16:00 @ Seminář aplikované matematické logiky
• How radar interferometry could reconcile fuzzy sets with probability
  Lubomír Soukup (Czech Academy of Sciences, Institute of Information Theory and Automation)
  10.01.2023 14:00 @ Hora Informaticae
• On Many-Valued Coalgebraic Modal Logic
  Chun Yu Lin (Czech Academy of Sciences, ICS)
  07.12.2022 16:00 @ Seminář aplikované matematické logiky
• Model M - an agent-based epidemiological model
  RNDr. Petra Vidnerová, Ph.D.
  06.12.2022 14:00 @ Hora Informaticae
• S4 Necessity and Comonads
  Colin Zwanziger (Czech Academy of Sciences, Institute of Philosophy)
  30.11.2022 16:00 @ Seminář aplikované matematické logiky
• Beyond Parry: Applications of Intensional Subject-Matter
  Thomas M. Ferguson (Czech Academy of Sciences)
  23.11.2022 16:00 @ Seminář aplikované matematické logiky
• Some implications of high-dimensional geometry for classification by neural networks
  RNDr. Věra Kůrková, DrSc.
  22.11.2022 14:00 @ Hora Informaticae
• The Bi-Intuitionistic Logic of Co-Trees
  Miguel Martins (University of Barcelona)
  09.11.2022 16:00 @ Seminář aplikované matematické logiky
• Autonomous machines and machine minds
  prof. RNDr. Jiří Wiedermann, DrSc.
  08.11.2022 14:00 @ Hora Informaticae
• Crisp bi-Gödel modal logic and its paraconsistent expansion
  Daniil Kozhemiachenko (INSA Centre Val de Loire)
  02.11.2022 16:00 @ Seminář aplikované matematické logiky
• A module-theoretic approach to multiset consequence relations
  Adam Přenosil (ICS CAS)
  19.10.2022 16:00 @ Seminář aplikované matematické logiky
• On the Complexity of *-Continuous Kleene Algebra With Domain
  Igor Sedlár (ICS CAS)
  05.10.2022 16:00 @ Seminář aplikované matematické logiky
• Perfect pseudo MV-algebra, kite, variety, representation
  Michal Botur (Palacký University Olomouc)
  08.06.2022 16:00 @ Seminář aplikované matematické logiky
• On a logico-algebraic approach to AGM belief contraction theory
  Davide Fazio (University of Cagliari)
  31.05.2022 16:00 @ Seminář aplikované matematické logiky
• One-sorted Kleene algebra with tests
  Igor Sedlár (ICS CAS)
  18.05.2022 16:00 @ Seminář aplikované matematické logiky
• Homomorphisms of Planning Tasks and Heuristic Search
  Rostislav Horčík (Czech Technical University)
  27.04.2022 16:00 @ Seminář aplikované matematické logiky
• Layers of Propositional Types
  Vít Punčochář (FLU CAS)
  13.04.2022 16:00 @ Seminář aplikované matematické logiky
• Layers of Propositional Types
  Vít Punčochář (FLU CAS)
  13.04.2022 16:00 @ Seminář aplikované matematické logiky
• Paths and cycles in random hypergraphs
  Oliver Cooley (Graz University of Technology)
  11.04.2022 10:00 @ Graph Theory Seminar
• Spravedlivá válka a válečný konflikt na Ukrajině
  Michal Rigel, David Černý, Zdeněk Mikulka, Monika Mareková (Ústav státu a práva AV ČR, v.v.i.)
  04.03.2022 14:00 @ Centrum Karla Čapka pro studium hodnot ve vědě a technice
• Integrating Machine Learning into Saturation-based ATPs
  Martin Suda (CIIRC, Czech Technical University)
  02.03.2022 16:00 @ Seminář aplikované matematické logiky
• Kapsner Complementation
  Andrew Tedder (Ruhr University Bochum)
  23.02.2022 16:00 @ Seminář aplikované matematické logiky
• Conditional FDE-logics
  Nicholas Ferenz (ICS CAS)
  02.02.2022 16:00 @ Seminář aplikované matematické logiky
• Minimum degree conditions for powers of cycles and paths
  Eng Keat Hng (ICS CAS)
  26.01.2022 10:00 @ Graph Theory Seminar
• Learning Higher-Order Logic Programs From Failures
  David Cerna (ICS CAS)
  19.01.2022 16:00 @ Seminář aplikované matematické logiky
• A Generalization of Ultraproducts
  Jamie Wannenburg (ICS CAS)
  10.11.2021 16:00 @ Seminář aplikované matematické logiky
• The automorphism groups of ultrahomogeneous lattices
  Kentaro Yamamoto (ICS CAS)
  03.11.2021 16:00 @ Seminář aplikované matematické logiky
• Reduction procedures and the meaning of proofs
  Sara Ayhan (Ruhr University Bochum)
  27.10.2021 16:00 @ Seminář aplikované matematické logiky
• Decidability of some intuitionistic and Gödel modal logics with transitivity
  David Fernández Duque (ICS CAS and Ghent University)
  20.10.2021 16:00 @ Seminář aplikované matematické logiky
• On the adequacy of temporal logics for modelling European transport regulations
  David Fernández Duque (Ghent University)
  26.07.2021 16:00 @ Seminář aplikované matematické logiky
• Epimorphisms in varieties of semilinear residuated lattices
  J. J. Wannenburg (Czech Academy of Sciences)
  23.06.2021 16:00 @ Seminář aplikované matematické logiky
• Dependent types and finite limits in games
  Norihiro Yamada (University of Minnesota)
  16.06.2021 16:00 @ Seminář aplikované matematické logiky
• A maximality result for bi-intuitionistic propositional logic
  Grigory Olkhovikov (Ruhr University Bochum)
  26.05.2021 16:00 @ Seminář aplikované matematické logiky
• Varieties of necessity in a non-classical setting
  Shawn Standefer (Slovak Academy of Sciences)
  19.05.2021 16:00 @ Seminář aplikované matematické logiky
• Generalized basic logic from a modal point of view
  Wesley Fussner (University of Nice Sophia Antipolis)
  05.05.2021 16:00 @ Seminář aplikované matematické logiky
• The admissible rules of Lax Logic
  Iris van der Giessen (Utrecht University)
  28.04.2021 16:00 @ Seminář aplikované matematické logiky
• The Structure of Reasons: Subtraction and Partiality
  Federico Faroldi (Ghent University)
  21.04.2021 16:00 @ Seminář aplikované matematické logiky
• Two applications of Herzberger’s semantics
  Hitoshi Omori (Ruhr University Bochum)
  14.04.2021 16:00 @ Seminář aplikované matematické logiky
• These Degrees go to Eleven: Fuzzy Logics and Graded Predicates
  Berta Grimau and Carles Noguera (CAS)
  18.03.2021 16:00 @ Seminář aplikované matematické logiky
• Counting Homomorphisms Between Finite Structures
  Luca Reggio (University of Oxford)
  24.02.2021 16:00 @ Seminář aplikované matematické logiky
• Changing the World, Constructively
  Igor Sedlár (ICS CAS)
  17.02.2021 16:00 @ Seminář aplikované matematické logiky
• 0-1 Laws in Mathematical Fuzzy Logic
  Guillermo Badia (University of Queensland)
  03.02.2021 16:00 @ Seminář aplikované matematické logiky
• Some algebraic (and topological) tools and their application to logic
  Jamie Wannenburg (University of Pretoria)
  16.12.2020 16:00 @ Seminář aplikované matematické logiky
• Logics of n-filters
  Adam Přenosil (Vanderbilt University)
  02.12.2020 16:00 @ Seminář aplikované matematické logiky
• The combinatorics of finite Heyting algebras and the topological group of the automorphisms of their limit
  Kentaro Yamamoto (ICS CAS)
  18.11.2020 16:00 @ Seminář aplikované matematické logiky
• On Equational Completeness Theorems
  Tommaso Moraschini (University of Barcelona)
  04.11.2020 16:00 @ Seminář aplikované matematické logiky
• Nový pohled na spojitá pravděpodobnostní rozdělení
  RNDr. Zdeněk Fabián, CSc.
  02.03.2020 14:00 @ Hora Informaticae
• Admissibility in the multi-conclusion setting
  Michal Stronkowski (Warsaw University of Technology)
  12.02.2020 16:00 @ Seminář aplikované matematické logiky
• Connectivity of random simplicial complexes
  Andrew Newman (Bielefeld University)
  12.02.2020 10:00 @ Graph Theory Seminar
• Stochastic growth models: asymptotic shape and growth rate
  Viktor Bezborodov (Wrocław University of Science and Technology)
  11.02.2020 10:00 @ Graph Theory Seminar
• Decomposing graphs into paths and trees
  Tereza Klimošová (Charles University)
  24.01.2020 10:00 @ Graph Theory Seminar
• Ehrenfeucht-Fraisse methods in the model theory of L-topological spaces over finite MTL-chains
  Guillermo Badia (University of Queensland)
  22.01.2020 16:00 @ Seminář aplikované matematické logiky
• How to deal with data contamination in hypothesis testing
  RNDr. Jan Kalina, Ph.D.
  16.12.2019 14:00 @ Hora Informaticae
• Axiomatic systems of Gödel Modal Logics
  Amanda Vidal (ICS CAS)
  11.12.2019 16:00 @ Seminář aplikované matematické logiky
• Localised codegree conditions for Hamilton cycles in hypergraphs
  Simón Piga (Universität Hamburg)
  06.12.2019 10:00 @ Graph Theory Seminar
• Craig interpolation in software verification
  Martin Blicha (Charles University)
  04.12.2019 16:00 @ Seminář aplikované matematické logiky
• Random tree recursions: which fixed points correspond to tangible sets of trees?
  Fiona Skerman (Bristol University)
  29.11.2019 10:00 @ Graph Theory Seminar
• An approach based on pseudo-residuals for selecting a multiplicative or an additive hazards regression model
  François Lefebvre (Aix Marseille University, Marseille, France)
  22.11.2019 13:30 @ Seminář ISCB ČR
• Information Flow in Logics in the Vicinity of BB
  Andrew Tedder (ICS CAS)
  20.11.2019 16:00 @ Seminář aplikované matematické logiky
• Probabilistic Bounds on Complexity of Networks Classifying Large Data Sets
  RNDr. Věra Kůrková, DrSc.
  18.11.2019 14:00 @ Hora Informaticae
• Profinite Heyting algebras and the representation problem for Esakia spaces
  Mgr. Tommaso Moraschini, Ph.D.
  30.10.2019 16:00 @ Seminář aplikované matematické logiky
• Frozen percolation on the 3-regular tree
  Jan Swart (Czech Academy of Sciences, UTIA)
  25.10.2019 10:00 @ Graph Theory Seminar
• Profiniteness and finitely generated varieties
  Michał M. Stronkowski (Warsaw University of Technology)
  23.10.2019 16:00 @ Seminář aplikované matematické logiky
• The Use of Drones and the Problem of Disproportionate Harm to Civilians
  Daniel Statman (University of Haifa, Haifa, Izrael)
  18.10.2019 14:00 @ Centrum Karla Čapka pro studium hodnot ve vědě a technice
• Variable selection – a review and recommendations for the practicing statistician
  Georg Heinze (Medical University of Vienna, Austria)
  17.10.2019 13:30 @ Seminář ISCB ČR
• Partitioning 2-coloured complete 3-graphs into two monochromatic tight cycles
  Nicolás Sanhueza, Ph.D.
  11.10.2019 10:00 @ Graph Theory Seminar
• addhaz: Contribution of Chronic Diseases to the Disability Burden Using R
  Renata Tiene de Carvalho Yokota (Scientific Institute of Public Health, Brussels, Vrije Universiteit Brussel, Belgium)
  10.10.2019 14:00 @ Seminář ISCB ČR
• On the information efficiency of neuronal coding
  Mgr. Lubomír Košťál, Ph.D. (Fyziologický ústav AV ČR)
  19.09.2019 14:00 @ Seminář ISCB ČR
• Comparison of regression curves for detection of differential item functioning
  Mgr. Adéla Hladká, Ph.D.
  13.09.2019 13:30 @ Seminář ISCB ČR