Integrating Machine Learning into Saturation-based ATPs
Martin Suda
(CIIRC, Czech Technical University)
Kapsner Complementation
Andrew Tedder
(Ruhr University Bochum)
Conditional FDE-logics
Nicholas Ferenz
(ICS CAS)
Minimum degree conditions for powers of cycles and paths
Eng Keat Hng
(ICS CAS)
Learning Higher-Order Logic Programs From Failures
David Cerna
(ICS CAS)
A Generalization of Ultraproducts
Jamie Wannenburg
(ICS CAS)
The automorphism groups of ultrahomogeneous lattices
Kentaro Yamamoto
(ICS CAS)
Reduction procedures and the meaning of proofs
Sara Ayhan
(Ruhr University Bochum)
Decidability of some intuitionistic and Gödel modal logics with transitivity
David Fernández Duque
(ICS CAS and Ghent University)
On the adequacy of temporal logics for modelling European transport regulations
David Fernández Duque
(Ghent University)
Epimorphisms in varieties of semilinear residuated lattices
J. J. Wannenburg
(Czech Academy of Sciences)
Dependent types and finite limits in games
Norihiro Yamada
(University of Minnesota)
A maximality result for bi-intuitionistic propositional logic
Grigory Olkhovikov
(Ruhr University Bochum)
Varieties of necessity in a non-classical setting
Shawn Standefer
(Slovak Academy of Sciences)
Generalized basic logic from a modal point of view
Wesley Fussner
(University of Nice Sophia Antipolis)
The admissible rules of Lax Logic
Iris van der Giessen
(Utrecht University)
The Structure of Reasons: Subtraction and Partiality
Federico Faroldi
(Ghent University)
Two applications of Herzberger’s semantics
Hitoshi Omori
(Ruhr University Bochum)
These Degrees go to Eleven: Fuzzy Logics and Graded Predicates
Berta Grimau and Carles Noguera
(CAS)
Counting Homomorphisms Between Finite Structures
Luca Reggio
(University of Oxford)
Changing the World, Constructively
Igor Sedlár
(ICS CAS)
0-1 Laws in Mathematical Fuzzy Logic
Guillermo Badia
(University of Queensland)
Some algebraic (and topological) tools and their application to logic
Jamie Wannenburg
(University of Pretoria)
Logics of n-filters
Adam Přenosil
(Vanderbilt University)
The combinatorics of finite Heyting algebras and the topological group of the automorphisms of their limit
Kentaro Yamamoto
(ICS CAS)
On Equational Completeness Theorems
Tommaso Moraschini
(University of Barcelona)
Nový pohled na spojitá pravděpodobnostní rozdělení
02.03.2020 14:00 @ Hora Informaticae
Admissibility in the multi-conclusion setting
Michal Stronkowski
(Warsaw University of Technology)
Connectivity of random simplicial complexes
Andrew Newman
(Bielefeld University)
Stochastic growth models: asymptotic shape and growth rate
Viktor Bezborodov
(Wrocław University of Science and Technology)
Decomposing graphs into paths and trees
Tereza Klimošová
(Charles University)
Ehrenfeucht-Fraisse methods in the model theory of L-topological spaces over finite MTL-chains
Guillermo Badia
(University of Queensland)
How to deal with data contamination in hypothesis testing
16.12.2019 14:00 @ Hora Informaticae
Axiomatic systems of Gödel Modal Logics
Amanda Vidal
(ICS CAS)
Localised codegree conditions for Hamilton cycles in hypergraphs
Simón Piga
(Universität Hamburg)
Craig interpolation in software verification
Martin Blicha
(Charles University)
Random tree recursions: which fixed points correspond to tangible sets of trees?
Fiona Skerman
(Bristol University)
François Lefebvre
(Aix Marseille University, Marseille, France)
Information Flow in Logics in the Vicinity of BB
Andrew Tedder
(ICS CAS)
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
Frozen percolation on the 3-regular tree
Jan Swart
(Czech Academy of Sciences, UTIA)
Profiniteness and finitely generated varieties
Michał M. Stronkowski
(Warsaw University of Technology)
The Use of Drones and the Problem of Disproportionate Harm to Civilians
Daniel Statman
(University of Haifa, Haifa, Izrael)
Georg Heinze
(Medical University of Vienna, Austria)
Partitioning 2-coloured complete 3-graphs into two monochromatic tight cycles
Renata Tiene de Carvalho Yokota
(Scientific Institute of Public Health, Brussels, Vrije Universiteit Brussel, Belgium)
Mgr. Lubomír Košťál, Ph.D.
(Fyziologický ústav AV ČR)
