- Home
- Institute
- People
- Research
- Applications
- Seminars and Events
- Library
- Doctoral Studies
- Jobs

Institute of Computer Science

The Czech Academy of Sciences

The Czech Academy of Sciences

"The question of whether Machines Can Think... is about as relevant as the question of whether Submarines Can Swim." - E. W. Dijkstra

#### Evolutionary Algorithms for Expansive Optimization

Evolutionary algorithms are powerful optimizers with applications in many areas. However, their use is complicated by the large number of objective function evaluations that they require. This is especially problematic in cases where the evaluation is slow or expensive. There are generally two ways, how to deal with this problem - one is to parallelize the algorithm, the other is to use so- called surrogate models (cheap approximations of the real expensive objective function). In the talk, we will explore both of these areas. In the first part, we will discuss two types of parallelization - one of them is usable in cases when the evaluation is not only slow, but also the evaluation time is variable, i.e. in cases where standard parallelization techniques often cannot fully utilize the available computational resources. Then we will discuss recent libraries for implementing evolutionary algorithms on GPUs. In the second part, we will briefly talk about surrogate-based optimization. Surrogate models are mostly used in areas, where the individual encoding is rather simple. We will talk about the potential to apply them also in areas with complex individual structure, such as in genetic programming, automated machine learning and neural architecture search.

: #### One is all you need: Second-order Unification without First-order Variables

05.06.2024 16:00Room 318 (live) and ZOOM @ Institute of Computer ScienceApplied Mathematical Logic SeminarWe consider the fragment of Second-Order unification, referred to as Second-Order Ground Unification (SOGU), with the following properties: (i) only one second-order variable allowed, (ii) first-order variables do not occur. We show that Hilbert's 10th problem is reducible to a necessary condition for SOGU unifiability if the signature contains a binary function symbol and two constants, thus proving undecidability. This generalizes known undecidability results, as either first-order variable occurrences or multiple second-order variables were required for the reductions. Furthermore, we show that adding the following restriction:(i) the second-order variable has arity 1, (ii) the signature is finite, and (iii) the problem has bounded congruence, results in a decidable fragment. The latter fragment is related to bounded second-order unification in the sense that the number of bound variable occurrences is a function of the problem structure. We conclude with a discussion concerning the removal of the bounded congruence restriction. Joint work with Julian Parsert.

:

**Equivariance and Invariance in Neural Networks**14.05.2024 14:00 @ Hora Informaticae**A Personal Perspective on the Game Comonad Programme**24.04.2024 16:00 @ Applied Mathematical Logic Seminar**Czech Speech Synthesis in the AI Era**16.04.2024 14:00 @ Hora Informaticae**Pointed lattice subreducts of varieties of residuated lattices**10.04.2024 16:00 @ Applied Mathematical Logic Seminar**Performance Prediction for Neural Architecture Search**19.03.2024 14:00 @ Hora Informaticae**Infinitary Rules for Abelian Logic**13.03.2024 16:00 @ Applied Mathematical Logic Seminar**Learning from few examples - nonlinearity and dimensionality**12.03.2024 14:00 @ Hora Informaticae**Dispersion of a point set - lower and upper bounds**20.02.2024 14:00 @ Hora Informaticae**New directions in quantum reasoning**14.02.2024 16:00 @ Applied Mathematical Logic Seminar**On Geometric Implications**07.02.2024 16:00 @ Applied Mathematical Logic Seminar**Relevance Properties in First-Order Relevant Logicss**31.01.2024 16:00 @ Applied Mathematical Logic Seminar**GPU-acceleration of program synthesis**30.01.2024 14:00 @ Hora Informaticae**special session**25.01.2024 14:00 @ Applied Mathematical Logic Seminar**Equational theories of idempotent semifields**24.01.2024 16:00 @ Applied Mathematical Logic Seminar**Getting Structure in Dialogue with Large Language Models**23.01.2024 14:00 @ Hora Informaticae**What Proof Theory Can Do for You**17.01.2024 16:00 @ Applied Mathematical Logic Seminar**Principlism as the ethics of artificial intelligence**09.01.2024 14:00 @ Hora Informaticae**Decidable Fragments of First Order Modal Logic**13.12.2023 16:00 @ Applied Mathematical Logic Seminar**The Voynich Manuscript: the secret book of an unknown language**05.12.2023 14:00 @ Hora Informaticae**A Tour of Substructural Interpolation**08.11.2023 16:00 @ Applied Mathematical Logic Seminar**Chomsky-Like Neural Network Hierarchy**07.11.2023 14:00 @ Hora Informaticae**Maximum satisfiability problem in the real-valued MV-algebra**01.11.2023 16:00 @ Applied Mathematical Logic Seminar**Approximation of classifiers of large data sets by deep ReLU networks**24.10.2023 14:00 @ Hora Informaticae**Artificial Wisdom: On the Power of Generative AI**10.10.2023 14:00 @ Hora Informaticae**Negated Implications in Connexive Relevant Logics**04.10.2023 16:00 @ Applied Mathematical Logic Seminar**HW Accelerated AI Inference and Fast, Recursive QR System Identification**13.06.2023 14:00 @ Hora Informaticae**Fuzzy Information States and Fuzzy Support**07.06.2023 16:00 @ Applied Mathematical Logic Seminar**Causality and Machine Learning**30.05.2023 14:00 @ Hora Informaticae**Everyone Knows that Everyone Knows**17.05.2023 16:00 @ Applied Mathematical Logic Seminar**TNL: Numerical library for modern parallel architectures**16.05.2023 14:00 @ Hora Informaticae**Characterising flip process rules with the same trajectories**12.05.2023 10:00 @ Graph Theory Seminar**A Simplified Lower Bound on Intuitionistic Implicational Proofs**10.05.2023 16:00 @ Applied Mathematical Logic Seminar**Invitation to graphons**05.05.2023 10:00 @ Graph Theory Seminar**How to compute uniform interpolant semantically**03.05.2023 16:00 @ Applied Mathematical Logic Seminar**Computability of Neural Network Problems**02.05.2023 14:00 @ Hora Informaticae**Promise Model Checking Problems over a Fixed Model**19.04.2023 16:00 @ Applied Mathematical Logic Seminar**Zero-cost proxies for neural network performance estimation**18.04.2023 14:00 @ Hora Informaticae**Maximum local tree counts in G(n,p)**14.04.2023 10:00 @ Graph Theory Seminar**GPT et al.: Generating Texts with Transformer-Based Large Language Models**04.04.2023 14:00 @ Hora Informaticae**Computational Content of a Generalized Kreisel-Putnam Rule**22.03.2023 16:00 @ Applied Mathematical Logic Seminar**From ridge functions to neural networks II.**21.03.2023 14:00 @ Hora Informaticae**First-Order Proof Schemata and Inductive Proof Analysis**08.03.2023 16:00 @ Applied Mathematical Logic Seminar**Learning Logic Programs with negation, Predicate Invention, and Higher-Order Definitions Through the learning from Failures Paradigm**07.03.2023 14:00 @ Hora Informaticae**One-variable RQ & RS5: A Frame Based Equivalence**01.03.2023 16:00 @ Applied Mathematical Logic Seminar**From discrete to continuous variational inequalities with convex and non-convex constraints.**21.02.2023 14:00 @ Hora Informaticae**Learning Logic Programs with negation, Predicate Invention, and Higher-Order. Definitions Through the learning from Failures Paradigm.**07.02.2023 14:00 @ Hora Informaticae**Kleene Algebra With Tests for Weighted Programs**25.01.2023 16:00 @ Applied Mathematical Logic Seminar**From ridge functions to neural networks**24.01.2023 14:00 @ Hora Informaticae**A Parametrised Axiomatization for a Large Number of Restricted Second-Order Logics**11.01.2023 16:00 @ Applied Mathematical Logic Seminar**How radar interferometry could reconcile fuzzy sets with probability**10.01.2023 14:00 @ Hora Informaticae**On Many-Valued Coalgebraic Modal Logic**07.12.2022 16:00 @ Applied Mathematical Logic Seminar**Model M - an agent-based epidemiological model**06.12.2022 14:00 @ Hora Informaticae**S4 Necessity and Comonads**30.11.2022 16:00 @ Applied Mathematical Logic Seminar**Beyond Parry: Applications of Intensional Subject-Matter**23.11.2022 16:00 @ Applied Mathematical Logic Seminar**Some implications of high-dimensional geometry for classification by neural networks**22.11.2022 14:00 @ Hora Informaticae**The Bi-Intuitionistic Logic of Co-Trees**09.11.2022 16:00 @ Applied Mathematical Logic Seminar**Autonomous machines and machine minds**08.11.2022 14:00 @ Hora Informaticae**Crisp bi-Gödel modal logic and its paraconsistent expansion**02.11.2022 16:00 @ Applied Mathematical Logic Seminar**A module-theoretic approach to multiset consequence relations**19.10.2022 16:00 @ Applied Mathematical Logic Seminar**On the Complexity of *-Continuous Kleene Algebra With Domain**05.10.2022 16:00 @ Applied Mathematical Logic Seminar**Perfect pseudo MV-algebra, kite, variety, representation**08.06.2022 16:00 @ Applied Mathematical Logic Seminar**On a logico-algebraic approach to AGM belief contraction theory**31.05.2022 16:00 @ Applied Mathematical Logic Seminar**One-sorted Kleene algebra with tests**18.05.2022 16:00 @ Applied Mathematical Logic Seminar**Homomorphisms of Planning Tasks and Heuristic Search**27.04.2022 16:00 @ Applied Mathematical Logic Seminar**Layers of Propositional Types**13.04.2022 16:00 @ Applied Mathematical Logic Seminar**Layers of Propositional Types**13.04.2022 16:00 @ Applied Mathematical Logic Seminar**Paths and cycles in random hypergraphs**11.04.2022 10:00 @ Graph Theory Seminar**Spravedlivá válka a válečný konflikt na Ukrajině**04.03.2022 14:00 @ The Karel Čapek Centre for Values in Science and Technology**Integrating Machine Learning into Saturation-based ATPs**02.03.2022 16:00 @ Applied Mathematical Logic Seminar**Kapsner Complementation**23.02.2022 16:00 @ Applied Mathematical Logic Seminar**Conditional FDE-logics**02.02.2022 16:00 @ Applied Mathematical Logic Seminar**Minimum degree conditions for powers of cycles and paths**26.01.2022 10:00 @ Graph Theory Seminar**Learning Higher-Order Logic Programs From Failures**19.01.2022 16:00 @ Applied Mathematical Logic Seminar**A Generalization of Ultraproducts**10.11.2021 16:00 @ Applied Mathematical Logic Seminar**The automorphism groups of ultrahomogeneous lattices**03.11.2021 16:00 @ Applied Mathematical Logic Seminar**Reduction procedures and the meaning of proofs**27.10.2021 16:00 @ Applied Mathematical Logic Seminar**Decidability of some intuitionistic and Gödel modal logics with transitivity**20.10.2021 16:00 @ Applied Mathematical Logic Seminar**On the adequacy of temporal logics for modelling European transport regulations**26.07.2021 16:00 @ Applied Mathematical Logic Seminar**Epimorphisms in varieties of semilinear residuated lattices**23.06.2021 16:00 @ Applied Mathematical Logic Seminar**Dependent types and finite limits in games**16.06.2021 16:00 @ Applied Mathematical Logic Seminar**A maximality result for bi-intuitionistic propositional logic**26.05.2021 16:00 @ Applied Mathematical Logic Seminar**Varieties of necessity in a non-classical setting**19.05.2021 16:00 @ Applied Mathematical Logic Seminar**Generalized basic logic from a modal point of view**05.05.2021 16:00 @ Applied Mathematical Logic Seminar**The admissible rules of Lax Logic**28.04.2021 16:00 @ Applied Mathematical Logic Seminar**The Structure of Reasons: Subtraction and Partiality**21.04.2021 16:00 @ Applied Mathematical Logic Seminar**Two applications of Herzberger’s semantics**14.04.2021 16:00 @ Applied Mathematical Logic Seminar**These Degrees go to Eleven: Fuzzy Logics and Graded Predicates**18.03.2021 16:00 @ Applied Mathematical Logic Seminar**Counting Homomorphisms Between Finite Structures**24.02.2021 16:00 @ Applied Mathematical Logic Seminar**Changing the World, Constructively**17.02.2021 16:00 @ Applied Mathematical Logic Seminar**0-1 Laws in Mathematical Fuzzy Logic**03.02.2021 16:00 @ Applied Mathematical Logic Seminar**Some algebraic (and topological) tools and their application to logic**16.12.2020 16:00 @ Applied Mathematical Logic Seminar**Logics of n-filters**02.12.2020 16:00 @ Applied Mathematical Logic Seminar**The combinatorics of finite Heyting algebras and the topological group of the automorphisms of their limit**18.11.2020 16:00 @ Applied Mathematical Logic Seminar**On Equational Completeness Theorems**04.11.2020 16:00 @ Applied Mathematical Logic Seminar**Nový pohled na spojitá pravděpodobnostní rozdělení**02.03.2020 14:00 @ Hora Informaticae**Admissibility in the multi-conclusion setting**12.02.2020 16:00 @ Applied Mathematical Logic Seminar**Connectivity of random simplicial complexes**12.02.2020 10:00 @ Graph Theory Seminar**Stochastic growth models: asymptotic shape and growth rate**11.02.2020 10:00 @ Graph Theory Seminar**Decomposing graphs into paths and trees**24.01.2020 10:00 @ Graph Theory Seminar**Ehrenfeucht-Fraisse methods in the model theory of L-topological spaces over finite MTL-chains**22.01.2020 16:00 @ Applied Mathematical Logic Seminar**How to deal with data contamination in hypothesis testing**16.12.2019 14:00 @ Hora Informaticae**Axiomatic systems of Gödel Modal Logics**11.12.2019 16:00 @ Applied Mathematical Logic Seminar**Localised codegree conditions for Hamilton cycles in hypergraphs**06.12.2019 10:00 @ Graph Theory Seminar**Craig interpolation in software verification**04.12.2019 16:00 @ Applied Mathematical Logic Seminar**Random tree recursions: which fixed points correspond to tangible sets of trees?**29.11.2019 10:00 @ Graph Theory Seminar- 22.11.2019 13:30 @ ISCB Seminar
**Information Flow in Logics in the Vicinity of BB**20.11.2019 16:00 @ Applied Mathematical Logic Seminar**Probabilistic Bounds on Complexity of Networks Classifying Large Data Sets**18.11.2019 14:00 @ Hora Informaticae**Profinite Heyting algebras and the representation problem for Esakia spaces**30.10.2019 16:00 @ Applied Mathematical Logic Seminar**Frozen percolation on the 3-regular tree**25.10.2019 10:00 @ Graph Theory Seminar**Profiniteness and finitely generated varieties**23.10.2019 16:00 @ Applied Mathematical Logic Seminar**The Use of Drones and the Problem of Disproportionate Harm to Civilians**18.10.2019 14:00 @ The Karel Čapek Centre for Values in Science and Technology- 17.10.2019 13:30 @ ISCB Seminar
**Partitioning 2-coloured complete 3-graphs into two monochromatic tight cycles**11.10.2019 10:00 @ Graph Theory Seminar- 10.10.2019 14:00 @ ISCB Seminar
- 19.09.2019 14:00 @ ISCB Seminar
- 13.09.2019 13:30 @ ISCB Seminar