Pravidelné semináře

Seminář aplikované matematické logiky
- Amanda Vidal (ICS CAS): Axiomatic systems of Gödel Modal Logics
  11.12.2019 16:00Místnost: 318 @ Ústav informatiky
  In this seminar we will go over the main results from the literature concerning Gödel modal logics, understood as the logics arising from prominent distinguished classes of Kripke models valued over the standard Gödel algebra. Known results cover axiomatizing the the box and the diamond fragments of the logic both over the most general class of valued models (MG), and over the ones where the underlying frame is classical, and the logic with both modal operators over the class MG. We will then approach the problem of axiomatizing the bi-modal logic over the class of models with underlying classical frames, and propose an axiomatization relying in Dunn's axiom of positive modal logic. We will see some consequences that arise from the technical details of the completeness proof, and if time allows, the relation of these logics with some modal Intuitionistic logics from the literature.
- Martin Blicha (Charles University): Craig interpolation in software verification
  04.12.2019 16:00Místnost: 318 @ Ústav informatiky
  Craig interpolation is a logical concept popularized in formal veri_cation community by McMillan (2003). Since then, several successful veri_cation techniques based on interpolation have been developed and interpolation remains one of the dominant approaches for proving safety. We will outline the use of interpolants for computing invariants of program loops, show how interpolants are computed in modern SMT solvers from proof of unsatis _ability, and _nally present our recent result regarding computation of interpolants for systems of linear inequalities over rational numbers.
Hora Informaticae
- RNDr. Jan Kalina, Ph.D.: How to deal with data contamination in hypothesis testing
  16.12.2019 14:00Místnost: 318 @ Ústav informatiky
  The theory of testing statistical hypotheses aims not only at proposing suitable tests, but also (and mainly) at deriving their optimal procedures under certain conditions. Any type of data contamination however requires non-standard approaches to testing. This talk, which is intended for non-statisticians, will very briefly overview principles of several recent results, on which I participated. To be specific, particular results include: Minimax tests under measurement errors, Locally optimal tests based on sequential ranks, Tests based on ranks of interpoint distances among high-dimensional observations, Symmetry tests based on robust multivariate estimators.
Seminář ISCB ČR

Přednášky v rámci výběrového řízení "Tenure track positions in Computer Science and in Artificial Intelligence".

Přednášky Tenure Track

Další odborné semináře

Seminář výpočetních metod
Seminář strojového učení
Graph Theory Seminar
- Simón Piga (Universität Hamburg): Localised codegree conditions for Hamilton cycles in hypergraphs
  06.12.2019 10:00Místnost: 318 @ Ústav informatiky
  We study sufficient conditions for the existence of Hamiltonian cycles in uniformly dense $3$-uniform hypergraphs. Problems of this type were first considered by Lenz, Mubayi, and Mycroft for loose Hamiltonian cycles and Aigner-Horev and Levy considered it for tight Hamiltonian cycles for a fairly strong notion of uniformly dense hypergraphs. We focus on tight cycles and obtain optimal results for a weaker notion of uniformly dense hypergraphs. We show that if an $n$-vertex $3$-uniform hypergraph $H=(V,E)$ has the property that for any set of vertices $X$ and for any collection $P$ of pairs of vertices, the number of hyperedges composed by a pair belonging to $P$ and one vertex from $X$ is at least $(1/4+o(1))|X||P| - o(|V|^3)$ and $H$ has minimum vertex degree at least $\Omega(|V|^2)$, then $H$ contains a tight Hamiltonian cycle. A probabilistic construction shows that the constant $1/4$ is optimal in this context.
Centrum Karla Čapka pro studium hodnot ve vědě a technice

Pravidelné semináře

Přednášky v rámci výběrového řízení "Tenure track positions in Computer Science and in Artificial Intelligence".

Další odborné semináře

MEDARD - předpověď počasí

KONTAKT