Seminar Talk Announcement

• Jamie Wannenburg (University of Pretoria):

  Some algebraic (and topological) tools and their application to logic

  16.12.2020 16:00Room ZOOM @ Institute of Computer Science

  Pod Vodárenskou věží 2
  Praha, 182 00

  Applied Mathematical Logic Seminar

  The talk will be a non-technical overview of the speaker’s research interests, for the purpose of introducing the researcher to the working group. The main areas of interest are Abstract Algebraic Logic, Universal Algebra, and Substructural Logic—with a focus on Relevance and Intuitionistic Logics. But the talk will focus on a handful of specific tools from these areas, ex. Birkhoff’s Theorem, Jónsson's Theorem, some Bridge theorems and Esakia Duality, emphasising their applications and giving examples from the speaker's previous research.

Past Talks

• Logics of n-filters
  Adam Přenosil (Vanderbilt University)
  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
  Kentaro Yamamoto (ICS CAS)
  18.11.2020 16:00 @ Applied Mathematical Logic Seminar
• On Equational Completeness Theorems
  Tommaso Moraschini (University of Barcelona)
  04.11.2020 16:00 @ Applied Mathematical Logic Seminar
• 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 @ Applied Mathematical Logic Seminar
• 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 @ Applied Mathematical Logic Seminar
• 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 @ Applied Mathematical Logic Seminar
• 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 @ Applied Mathematical Logic Seminar
• 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 @ ISCB Seminar
• Information Flow in Logics in the Vicinity of BB
  Andrew Tedder (ICS CAS)
  20.11.2019 16:00 @ Applied Mathematical Logic Seminar
• 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 @ Applied Mathematical Logic Seminar
• 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 @ Applied Mathematical Logic Seminar
• The Use of Drones and the Problem of Disproportionate Harm to Civilians
  Daniel Statman (University of Haifa, Haifa, Izrael)
  18.10.2019 14:00 @ The Karel Čapek Centre for Values in Science and Technology
• Variable selection – a review and recommendations for the practicing statistician
  Georg Heinze (Medical University of Vienna, Austria)
  17.10.2019 13:30 @ ISCB Seminar
• 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 @ ISCB Seminar
• On the information efficiency of neuronal coding
  Mgr. Lubomír Košťál, Ph.D. (Fyziologický ústav AV ČR)
  19.09.2019 14:00 @ ISCB Seminar
• Comparison of regression curves for detection of differential item functioning
  Mgr. Adéla Hladká
  13.09.2019 13:30 @ ISCB Seminar