KAFKA

Seminar in combinatorial, algorithmic and finitary algebra

Wed 16:00 - seminar room of the Department of Algebra

The seminar offers students, doctoral students, postdocs and faculty a room to present their own results in an environment with significant feedback. Presentations typically include an exposition or a sketch of proofs, ideally in a form accessible to all participants.

The seminar is also open to talks of guests suitable for younger audiences.

Topics may reach beyond the area suggested by the name of the seminar.

We are looking forward to your attendance.

Libor Barto, Aleš Drápal, Štěpán Holub, David Stanovský

The page is maintained by Štěpán Holub. Questions and suggestions: email

Program

  • 22. 4. 2020 (Zoom) - Michal Ferov: Separating cyclic subgroups in the pro-p topology
  • 11. 3. 2020 - Caterina Viola: Valued constraint satisfaction problems over infinite domains
  • 4. 3. 2020 - Alexandr Kazda: Promise CSP sandwiches with finite cheese
  • 8. 12. 2019 - Alexandr Kazda: The category of valued relational structures
  • 11. 12. 2019 - Stefano Fioravanti: Clones of expanded groups of squarefree order
  • 4.12.2019 - Antoine Mottet: Cores of structures definable over the naked set
  • 27. 11. 2019 - Kevin M. Berg: The Complexity of Homomorphism Factorization
  • 20. 11. 2019 - Manuel Bodirsky (TU Dresden): Complexity of Constraint Satisfaction
  • 6. 11. 2019 - Faruk Göloglu: Difference sets with Singer parameters and related structures
  • 30.10.2019 - Umberto Martinez-Penas: Sum-Rank Codes and Linearized Reed-Solomon Codes
  • 23.10.2019 - Jan Hladký: Query complexity
  • 16.10.2019 - Diego Battistelli: On the complexity of symmetric Promise CSP
  • 9.10.2019 - David Stanovský: Latin solutions of the Yang-Baxter equation revisited
  • 5.6.2019 - Stephan Tornier: Groups acting on trees with prescribed local action
  • 22.5.2019 - Aleš Drápal: Steiner, Moufang and Rajah as an excuse for an exercise in universal algebra
  • 15.5.2019 - Štěpán Holub: Generalized de Bruijn words
  • 17.4.2019 - Vítězslav Kala: Lifting problem for universal quadratic forms
  • 10.4.2019 - Antoine Mottet: The universality problem for unambiguous finite and register automata
  • 20.3.2019 - Libor Barto: Promise CSP and algebraic topology
  • 13.3.2019 - Aleš Drápal: Finite fields, nearfields and nonassociative triples
  • 6.3.2019 - Aleš Drápal: Maximally nonassociative quasigroups and nearfields
  • 9.1.2019 - Jiří Pavlů, Adolf Středa: Characterization of permutation polynomials with Niho exponents
  • 19.12.2018 - Dmitryi Zhuk: The complexity of the quantified CSP for 3-element domain
  • 12.12.2018 - Alexandr Kazda: Wonderland of reflections for weighted clones
  • 28.11.2018 - Libor Barto: Promises make finite (constraint satisfaction) problems infinitary
  • 21.11.2018 - Štěpán Holub: Pseudo-equations on words
  • 7.11.2018 - Přemysl Jedlička: Solutions of Yang-Baxter equation and the retraction congruence
  • 31.10.2018 - Alexandr Kazda: Counting the number of solutions in computer science and physics
  • 17.10.2018 - Jakub Rydval (TU Dresden): Temporal constraint satisfaction problems in least fixed point logic
  • 28.6.2018 - Anrew Moorhead (Vanderbilt University): Higher Dimensional Congruences
  • 20.6.2018 - Michal Ferov (University of Technology, Sydney): Primitives in free groups are context-sensitive
  • 23.5.2018 - Aleš Drápal: A semifield mistake
  • 16.5.2018 - Milan Cvrček (TU Liberec): Simple quandles
  • 9.5.2018 - David Stanovský Latin solutions of the Yang-Baxter equation
  • 25.4.2018 - Aleš Drápal: From non-associativity to Sudoku
  • 18.4.2018 - Faruk Göloglu: Recent developments on the Discrete Logarithm Problem in Finite Fields
  • 11.4.2018 - Pavel Hubáček: On Constant-Round Statistical Zero-Knowledge
  • 4.4.2018 - Andrei Krokhin (Durham University): Robust approximability of CSPs
  • 28.3.2018 - Jakub Opršal: Probabilistically checkable proofs and deciding satisfaction of Mal'cev conditions
  • 21.3.2018 - Štěpán Holub: Words and Isabelle
  • 28.2.2018 - Attila Földvári: The complexity of the equivalence and equation solvability problems over groups
  • 7.2.2018 - Victor Lagerqvist: Time Complexity of NP-hard SAT and CSP problems via Universal Algebra
  • 10.1.2018 - Yuriy Ishchuk (Univ. Lviv): On braid group cryptography and algorithms inverting Burau representation
  • 20.12.2017 - Štěpán Holub: State spaces of convolutional codes
  • 13.12.2017 - Michael Kompatscher: Equation solvability in supernilpotent Mal'cev algebras
  • 6.12.2017 - Dominik Lachman: Bruhat-Tits buildings
  • 29.11.2017 - Jiří Sýkora: Binary equality words with two b's
  • 22.11.2017 - Dáša Krasnayová: On a family of APN quadrinomials
  • 8.11.2017 - Alexandr Kazda: Exploring the lattice of clonoids II
  • 1.11.2017 - Alexandr Kazda: Exploring the lattice of clonoids
  • 25.10.2017 - Faruk Göloglu: On some conjectures on binary linear codes from cryptographically significant Boolean functions II
  • 18.10.2017 - Faruk Göloglu: On some conjectures on binary linear codes from cryptographically significant Boolean functions
  • 24.5.2017 - František Matúš (ÚTIA): Matroid representaion and entropy
  • 17.5.2017 - Petr Lisoněk: Kochen-Specker sets and Hadamard matrices
  • 10.5.2017 - Aleš Drápal: Quasigroups with few associative triples
  • 26.4.2017 - Miroslav Korbelář (FEL ČVUT): Homomorphic images of subdirectly irreducible commutative rings
  • 5.4.2017 - Štěpán Holub: Prize problem solved
  • 22.3.2017 - Antoine Mottet (TU Dresden): The universal-algebraic approach to constraint satisfaction for countable saturated structures
  • 8.3.2017 - Manuel Bodirsky (TU Dresden): Polynomial-time solvable combinations of constraint satisfaction problems
  • 1.3.2017 - David Stanovský: Subquandles of affine quandles
  • 14.12.2016 - Mike Pawliuk: The Mackey construction for extending partial automorphisms
  • 7.12.2016 - Štěpán Holub: Piecewise testable separators
  • 30.11.2016 - Miroslav Olšák: Weakest Idempotent Equations
  • 23.11.2016 - David Bouška: Semilinear sets
  • 16.11.2016 - Rostislav Horčík: Valued Constraint Satisfaction and Non-classical Logics
  • 9.11.2016 - Terry Griggs: Pentagonal geometries
  • 2.11.2016 - Alexandr Kazda: All you ever wanted to know about delta-matroids
  • 26.10.2016 - Marco Bonatto: Quandle Coverings and Non Abelian Cohomology
  • 19.10.2016 - Faruk Göloglu: Almost perfect nonlinear functions which are (not) permutations
  • 12.10.2016 - Petr Lisoněk: Algorithms for minimum weight of linear codes II
  • 5.10.2016 - Petr Lisoněk: Algorithms for minimum weight of linear codes
  • 25. 5.2016 - Wieslaw Kubiś: Fraisse theory and homogeneity of the Cantor set
  • 18.5.2016 - Josef Urban: Automated Reasoning and AI for Large Formal Mathematics
  • 11.5.2016 - Robert Veroff: Automated Deduction and Its Application to Mathematics
  • 27.4.2016 - Michal Ferov: Separating conjugates in alternating quotients of free groups
  • 20.4.2016 - Štěpán Holub: Fully bordered words
  • 13.4.2016 - Tomáš Masopust: J-trivial regular languages — basic properties, automata and complexity
  • 6.4.2016 - Igor Carboni Oliveira: Regularity of binary words
  • 30.3.2016 - Přemysl Jedlička: Subdirectly irreducible medial quandles
  • 23.3.2016 - Libor Barto: Zhuk's surgery
  • 16.3.2016 - Michael Pinsker: CSPs over homogeneous graphs
  • 9.3.2016 - Ondřej Draganov: Arity of near unanimity polymorphisms
  • 2.3.2016 - Jakub Opršal: A modularity blocker
  • 13.1.2016 - Přemysl Jedlička: Abelian Quandles
  • 16.12.2015 - Štěpán Holub: Coloring the plane
  • 7.12.2015 - Michael Kompatscher: Maximal-closed subgroups of Sym(ω) via Henson digraphs
  • 2.12.2015 - Péter Pál Palfy: Finite p-groups and elliptic curves
  • 25.11.2015 - Libor Barto: Topology is irrelevant
  • 18.11.2015 - Jakub Opršal: Supernilpotent algebras
  • 11.11.2015 - Miroslav Olšák: NU ⇒ Siggers
  • 21.10.2015 - Libor Barto: A "simple" combinatorial problem
  • 14.10.2015 - Michael Pinsker: Uniform Birkhoff
  • 21.5.2015 - Michal Szabados: An Algebraic Geometric Approach to Nivat's Conjecture
  • 29.4.2015 - Jana Hadravová, Štěpán Holub: Binary equality words
  • 20.4.2015 - Michael Kompatscher: Reconstruction of ω-categorical structures
  • 15.4.2015 - Jan Žemlička: Algebraic properties of word equations
  • 8.4.2015 - Štěpán Holub: Runs
  • 1.4.2015 - Tomáš Jakl: A short introduction to coalgebraic logics
  • 25.3.2015 - Pavel Paták: An interesting application of Affine Tverberg Theorem
  • 18.3.2015 - Libor Barto: Is there a set in a (pseudo)variety?
  • 11.3.2015 - James Currie (University of Winnipeg): Growth rate of binary words avoiding xxxR
  • 4.3.2015 - Přemysl Jedlička (ČZU): Free medial quandles
  • 25.2.2015 - Jakub Opršal: Birkhoff's theorem for linear varieties
  • 7.1.2015 - Michal Ferov (University of Southampton): Separability of automorphisms of graph products of groups
  • 4.12.2014 (Thursday) 17:20 - Tomáš Werner (ČVUT): Weighted Constraint Satisfaction: the View from Computer Vision and Machine Learning
  • 19.11.2014 - Aleš Drápal: A riddle induced by RC4
  • 5.11.2014 - Štěpán Holub: Positive automorphisms of the free group
  • 29.10.2014 - Libor Barto: Basics of the CSP revisited
  • 22.10.2014 - Štěpán Holub: Alternating towers
  • 15.10.2014 - David Stanovský: Counting medial quandles
  • 8.10.2014 - Přemysl Jedlička: Subvarieties of modules over Dedekind rings
  • 30.4.2014 - Štěpán Holub: Universal, universal, universal
  • 16.4.2014 - Jiří Vábek: Binary Signed Digit Representations and Transducers
  • 9.4.2014 - Jiří Vančura: Weighted clones and valued CSPs
  • 26.3.2014 - Štěpán Holub: Universal Lyndon cycles
  • 19.3.2014 - Wilfried Meidl: Construction of Weakly and non-weakly bent functions
  • 12.3.2014
      -  
    Agata Pilitowska: Entropy and generalized entropy in n-semigroups and in algebras with neutral element
    Anna Zamojska-Dzienio: On complexity of lattices of subclasses
  • 5.3.2014 - Jiří Sýkora: Solutions of given length type
  • 26.2.2014 - Jakub Opršal: 5 groups on the three-element set
  • 8.1.2014 - Vítězslav Kala: How many axioms does one need to prove Fermat's Last Theorem?
  • 11.12.2013 - Andrew Kozlík: Flexible Latin directed triple systems II
  • 4.12.2013 - Andrew Kozlík: Flexible Latin directed triple systems
  • 27.11.2013 - Nick Cavenagh (University of Waikato): Decomposing graphs with large minimum degree into even cycles
  • 13.11.2013
      -  
    Katarzyna Matczak: Quasivarieties of commutative idempotent entropic groupoids
    Anna Mućka: Many-sorted and single-sorted algebras, similarities an differences
  • 6.11.2013 - Terry S. Griggs: Steiner triple systems and their close relatives
  • 30.10.2013 - Štěpán Holub: Permutations and Eulerian graphs
  • 16.10.2013 - Štěpán Holub: Aperiodic listing of permutations
  • 9.10.2013 - David Stanovský: Nilpotence and solvability in loops
  • 22.5.2013 - Libor Barto: Approximation algorithms for combinatorial problems
  • 15.5.2013 - Jakub Opršal a David Stanovský: Distributive Mendelsohn triple systems
  • 24.4.2013 - Stephen Michael Gagola: Groups with a derived length of at most two
  • 17.4.2013 - David Stanovský: Quandles: from knots to transitive groups
  • 10.4.2013 - Štěpán Holub: Random Periods
  • 3.4.2013 - Adam Ivánek: Road coloring problem
  • 20.3.2013 - Jakub Opršal: Primeness of Maltsev Filters
  • 20.3.2013 - Anna Zamojska-Dzienio and Agata Pilitowska (Politechnika Warszawska): Semilattice ordered algebras II
  • 13.3.2013 -Anna Zamojska-Dzienio and Agata Pilitowska (Politechnika Warszawska): Semilattice ordered algebras
  • 6.3.2013 - Michal Szabados: Dissections of equilateral triangles
  • 27.2.2013 - Dmitriy Zhuk: On lattice theory of clones on three elements
  • 20.2.2013 - Terry S. Griggs: Quandles and design theory
  • 13.2.2013 - Andrew Kozlík: Existence spectra of cyclic and 1-rotational Latin directed triple systems
  • 9.1.2013 - Michal Ferov (University of Southampton): Decision problems, profinite topology and graph products in groups
  • 2.1.2013 - Přemysl Jedlička (ČZU): Nuclear semidirect product of commutative A-loops
  • 19.12.2012 - David Stanovský: Commutator theory for loops II
  • 12.12.2012 - David Stanovský: Commutator theory for loops I
  • 5.12.2012 - Štěpán Holub: Abelian powers in paperfolding words
  • 28.11.2012 - Aleš Kuběna (ÚTIA) a Peter Franek: Finite permutation groups and fair division problem
  • 21.11.2012 - Alexandr Kazda: Reflexive digraphs: Proving old results with new tools
  • 14.11.2012 - Andrew Kozlík: Cyclic and rotational Latin hybrid triple systems II
  • 7.11.2012 - Andrew Kozlík: Cyclic and rotational Latin hybrid triple systems
  • 31.10.2012 - David Stanovský: Abelianess relative to congruences
  • 24.10.2012 - Joanne Hall: Planar Functions
  • 17.10.2012 - Štěpán Holub: Various presentations of semigroups
  • 10.10.2012 - David Stanovský: Abelianess and affine representations
  • 23.5.2012 - Jakub Opršal: A search for absorbing subgroups
  • 9.5.2012 - Petr Vojtěchovský (Uni. Denver): Computational Aspects of Loop Theory
  • 25.4.2012 - Nick Cavenagh (Uni. Waikato): Defining Sets in 0-1 Matrices
  • 18.4.2012 - Jana Hadravová: Block Structure of Successor Morphisms
  • 11.4.2012 - Aleš Drápal: Reflections on inverse properties of loops
  • 4.4.2012 - Stephen Michael Gagola: p-groups that admit triality
  • 28.3.2012 - Štěpán Holub: Rewriting quadratic equations
  • 21.3.2012 - Christopher C. Gill: Partitions, Young tableaux and the symmetric group
  • 14.3.2012 - Joanne Hall: Mutually unbiased bases
  • 7.3.2012 - Stephen Michael Gagola: Extensions of groups
  • 29.2.2012 - Stephen Michael Gagola: Latin square designs and triality groups
  • 22.2.2012 - Joanne Hall: Quantum Key Distribution
  • 8.2.2012 - Vítězslav Kala: Harmonic analysis in number theory
  • 4.1.2012 - Aleš Drápal: Paratopism or Isostrophy?
  • 21.12.2011 - Christopher C. Gill: Decompositions of tensor products for cyclic p-groups (conclusion)
  • 14.12.2011 - Christopher C. Gill: Decompositions of tensor products for cyclic p-groups
  • 7.12.2011 - Stephen Michael Gagola: Properties and definitions related with (Moufang) loops
  • 30.11.2011 - Štěpán Holub: Reflections on the Union-Find algorithm II
  • 23.11.2011 - Joanne Hall: Modelling codes over rings using Hjelmslev geometries
  • 16.11.2011 - Terry S. Griggs (Open University, Milton Keynes): A short introduction to Steiner triple systems
  • 9.11.2011 - Alexandr Kazda: Graphs and permutations
  • 2.11.2011 - Michal Ferov: Finitely presented small cancellation groups are generic
  • 26.10.2011 - Štěpán Holub: Reflections on the Union-Find algorithm
  • 19.10.2011 - Joanne Hall: Hjelmslev Planes
  • 12.10.2011 - Alexandr Kazda: Graph covers and groups
  • 25.5.2011 - Jiří Sýkora: Kombinatorika hashovacích funkcí
  • 11.5.2011 - Alexandr Kazda: Meet semidistributive varieties
  • 4.5.2011 - Giovanni Falcone (Uni. Palermo): Two-dimensional toroidal groupoids
  • 27.4.2011 - Alexandr Kazda: CSP for conservative graphs
  • 20.4.2011 - Jakub Bulín: Finite algebra and constraint satisfaction for trees II
  • 13.4.2011 - Franck Leprevost (Uni. Luxemburg): The elliptic curve discrete logarithm problem and the special case of curves of trace 1
  • 6.4.2011 - Jakub Bulín: Finite algebra and constraint satisfaction for trees
  • 30.3.2011 - Marcel Čurilla: Proudová šifra QUAD
  • 23.3.2011 - Jakub Opršal: Transfinitní konstrukce volných faktorových algeber
  • 16.3.2011 - Alexandr Kazda: CSP for random digraphs is hard
  • 9.3.2011 - Miloš Zahradník: Některé zajímavé determinanty matematické fyziky
  • 2.3.2011 - David Stanovský: Subdirektně ireducibilní algebry v jisté třídě silně řešitelných modů
  • 12.1.2011 - Hana Štěpánková: Polynomiální invarianty v teorii uzlů
  • 15.12.2010 - Jan Šaroch: Quasi-euclidean subrings of Q[x]
  • 8.12.2010 - Eva Černohorská: Pythagorean hodograph cubics
  • 24.11.2010 - Dirk Nowotka (Uni. Stuttgart): On periods and avoidable patterns under involution
  • 10.11.2010 - Alexandr Kazda: CSP pro začátečníky
  • 3.11.2010 - Terry Griggs (Open University, Milton Keynes): DTS-quasigroups
    • Abstrakt: I will describe a class of quasigroups obtained from directed triple systems. Their construction is similar to that of Steiner quasigroups from Steiner triple systems. Indeed commutative DTS-quasigroups are Steiner quasigroups. However in general their properties differ from those of Steiner quasigroups in certain important respects. I will discuss these and present a number of existence results. There remain many unsolved problems in this area. This is joint work with Ales Drapal and Andrew Kozlik.
  • 20.10.2010 - David Stanovský: SPASS-XDB - automatický dokazovač si povídá s Mathematicou
  • 13.10.2010 - Štěpán Holub: Linearizace rovnic na slovech
  • 6.10.2010 - František Matúš (ÚTIA): Sdílení tajemství a matroidy
  • 19.5.2010 - František Matúš (ÚTIA): Grupy a entropie, Shannonova a von Neumannova
  • 12.5.2010 - David Kubečka: Rovnice nad konečnými tělesy a zeta-funkce II
  • 5.5.2010 - David Kubečka: Rovnice nad konečnými tělesy a zeta-funkce
  • 21.4.2010 - Aleš Drápal: Nový důkaz věty Moufangové
  • 14.4.2010 - Denis Vald: Komprese pseudonáhodných posloupností II
  • 7.4.2010 - Denis Vald: Komprese pseudonáhodných posloupností
  • 17.3.2010 - Jan Vlachý: Malé levodistributivní kvazigrupy
  • 10.3.2010 - Vítězslav Kala: Konečně generované polookruhy
  • 6.1.2010 - Pavel Hubáček: Gröbnerovy báze v kryptoanalýze
  • 16.12.2009 - Libor Barto: Absorpce!
  • 9.12.2009 - Michał Stronkowski (ECC): Quasi-identities for graphs of groups and monoids
  • 2.12.2009 - Jana Hadravová: Block structure of binary equality words
  • 25.11.2009 - Martin Doubek: Úvod do operád
  • 18.11.2009 - Přemysl Jedlička (ČZU): Konstrukce automorfických lup
  • 11.11.2009 - Alexandr Kazda: Maľcevské grafy
  • 4.11.2009 - David Stanovský: Rovnicová teorie konjugace v grupách
  • 21.10.2009 - Jakub Bulín: CSP dichotomy for special polyads
  • 14.10.2009 - Dirk Nowotka (Uni. Stuttgart): Cyclically repetition-free words and beta-images: An introduction and open problems
  • 7.10.2009 - Štěpán Holub: Rozklady oddělující slova
  • 20.5.2009 - Lukáš Perůtka: Číselné síto
  • 6.5.2009 - Ivo Machek: Kvazigrupy, jednosměrné funkce a Edon-R
  • 29.4.2009 - Adam Christov: Kvadratické kvazigrupy v asymetrické kryptografii
  • 22.4.2009 - Andrea Frisová: Centrální kvazigrupy a analýza šifry Edon-80
  • 15.4.2009 - Petr Vojtěchovský (Uni. Denver): Combinatorial designs based on coset decompositions in latin squares
  • 8.4.2009 - Petr Vojtěchovský (Uni. Denver): Enumeration of nilpotent loops by means of cohomology
  • 1.4.2009 - Jaroslav Ježek: Algoritmus pro konstrukci volných algeber
  • 25.3.2009 - Miroslav Korbelář: Some open problems on commutative semirings
  • 18.3.2009 - Juha Kortelainen (Uni. Oulu): On existence of minimal full trios in context-free languages II
  • 11.3.2009 - Camilla Hollanti (Uni. Turku): On the design of multiuser space-time code matrices
  • 4.3.2009 - Juha Kortelainen (Uni. Oulu): On existence of minimal full trios in context-free languages
  • 14.1.2009 - Carlo Hamalainen (ECC): Latin bitrades - Belyi functions and enumeration
  • 17.12.2008 - Aleš Drápal: Úvod do DTS lup
  • 12.12.2008 - Marcin Kozik (Jagiellonian Uni. Kraków): Everything You Always Wanted to Know About Cyclic Terms But Were Afraid to Ask
  • 10.12.2008 - Petr Lisoněk (Simon Fraser Uni., Vancouver): Nelineární funkce na konečných tělesech
  • 3.12.2008 - Martin Hána: Rychlé algebraické útoky
  • 26.11.2008 - Štěpán Holub: Conjecture of Billaud
  • 19.11.2008 - Alexandr Kazda: Representing numbers using Möbius transformations
  • 12.11.2008 - Jiří Vábek: Binary signed digit representations of natural numbers III
  • 5.11.2008 - Jiří Vábek: Binary signed digit representations of natural numbers II
  • 29.10.2008 - Terry Griggs (Open University, Milton Keynes): Loops and triple systems
  • 22.10.2008 - Štěpán Holub: Periodicity and unbordered factors
  • 15.10.2008 - Přemysl Jedlička (ČZU): The Structure of Commutative Automorphic Loops
  • 8.10.2008 - Alexandr Kazda: Introduction to Weighted Finite Automata
  • 7.5.2008 - Štěpán Holub: Algoritmus pro pevné body homomorfismů volných monoidů
  • 9.4.2008 - Petr Kůrka: Moebiovské číselné systémy se sofickými posuny
  • 2.4.2008 - Hana Straková: Testování perfektních mocnin
  • 26.3.2008 - Jana Hadravová: Primitivní binární ekvivalenční slova II
  • 12.3.2008 - Přemysl Jedlička (ČZU): Some open problems concerning left distributive idempotent groupoids
  • 27.2.2008 - Dirk Nowotka (Uni. Stuttgart): Nearest neighbour search in randomized graph models
  • 19.12.2007 - David Stanovský: Automatické dokazování v algebře
  • 5.12.2007 - Václav Flaška: Separované množiny slov
  • 21.11.2007 - Pavel Horal: Duhovková biometrie a samoopravné kódy
  • 14.11.2007 - Matthew Nickodemus (Uni. Linz): Natural dualities for finite groups
  • 31.10.2007 - Michael Pinsker (TU Wien): Reducts of relational structures and local clones
  • 24.10.2007 - Jiří Vábek: Binary signed digit representations of natural numbers
  • 10.10.2007 - Petr Glivický: Fermat's Last Theorem in arithmetics with axiomatically defined exponentiation
  • 23.5.2007 - Štěpán Holub: a^2b^3a^2 is not a binary equality word
  • 25.4.2007 - Libor Barto: On graphs admitting NU terms
  • 18.4.2007 - Štěpán Holub: Words with long palindromes II
  • 11.4.2007 - Libor Barto: Majority implies cyclic terms
  • 28.3.2007 - Štěpán Holub: Words with long palindromes
  • 21.3.2007 - Alexandr Kazda: Chain relations in the languages of labelled graphs
  • 14.3.2007 - Camilla Hollanti (Uni. Turku): Cyclic division algebras in space-time coding
  • 7.3.2007 - Marcin Kozik (Jagiellonian Uni. Kraków / ECC), Todd Niven (ECC): Cyclic and NU terms of finite algebras
  • 28.2.2007 - Todd Niven (ECC): Natural dualities
  • 3.1.2007 - Petar Marković (Uni. Novi Sad): Constraint satisfaction problem in congruence-distributive case
    • Abstrakt: The algebraic translation of the Dichotomy conjecture for complexity of constraint satisfaction problem has received a lot of attention in recent years. As a result, quite a few advances have been achieved, and hopes are high in the community of universal algebra that our area will manage to resolve this important conjecture of complexity theory. We will introduce the problem, mention a few related results and a related conjecture. Then we will turn our attention to the congruence distributive case, place it in the overall picture of efforts towards resolution of the Conjecture, review the partial results which are known and the problems which are left to be resolved.
  • 20.12.2006 - Marina Semenova (SB RAS, Novosibirsk): Convexity lattices of posets
  • 13.12.2006 - Libor Barto: Modularita a barvení termů proměnnými
  • 6.12.2006 - Vítězslav Kala: Ideálově jednoduché polookruhy
  • 29.11.2006 - Jiří Vábek: Algoritmické hledání kolizních cest v hešovacích funkcích
  • 22.11.2006 - Marcin Kozik (Jagiellonian Uni. Kraków / ECC): Clone membership problem II
  • 15.11.2006 - Marcin Kozik (Jagiellonian Uni. Kraków / ECC): Clone membership problem
  • 8.11.2006 - Jana Hadravová: Primitivní binární ekvivalenční slova
  • 1.11.2006 - Přemysl Jedlička (ČZU): Semidirektní součiny svazů
  • 25.10.2006 - Václav Flaška: Zeropotentní polookruhy
  • 18.10.2006 - Marina Semenova (SB RAS, Novosibirsk): Lattices of algebraic subsets
  • 11.10.2006 - David Stanovský: Levodistributivní levé kvazigrupy
  • 24.5.2006 - Jan Hora: Autotopismy trilineárních alternujících forem
  • 17.5.2006 - Michal Hojsík: Proudová šifra RC4
  • 10.5.2006 - Martin Hlaváč: Útoky pomocí postranních kanálů
  • 2.5.2006 - Daniel Joščák: Kolize v MD5
  • 26.4.2006 - Günter Landsmann (Uni. Linz): Polynomial functions on groups
    • Abstrakt: A map from a group G to itself is called polynomial if it can be written as a product consisting of constant functions, the identity, and the function g --> g^{-1}. We discuss several concepts related to polynomiality on linear groups. Furthermore we give a necessary topological condition for a map to be polynomial. As a consequence we prove that transposition is in general not polynomial.
  • 19.4.2006 - František Polach: Testování identit
  • 5.4.2006 - Štěpán Holub: Multiperiodická slova
  • 29.3.2006 - Aleš Drápal: Exponenciální formy
  • 22.3.2006 - David Stanovský: Věty o konečné bázovanosti rovnicových teorií
  • 15.3.2006 - Dan Rosendorf: Dělení trojúhelníků a latinské záměny
  • 8.3.2006 - Aleš Drápal: Elementární tahy, které generují sférické latinské záměny
  • 1.3.2006 - David Stanovský: Reziduované svazy - varieta s bohatými vlastnostmi
  • 22.2.2006 - Diane Donovan (Uni. of Queensland): Critical sets in latin squares
  • 11.1.2006 - Štěpán Holub: Parikhovy testovací množiny
  • 4.1.2006 - Aleš Drápal: Generování sférických latinských záměn
  • 14.12.2005 - Jiří Vábek: Dihedrální grupa inspirovaná Enigmou
  • 7.12.2005 - Michał Stronkowski (Politechnika Warszawska): Embedding entropic algebras into semimodules and modules
    • Abstrakt: We generalize an old result of J. Ježek and T. Kepka that any medial groupoid without irreducible elements is a subreduct of a certain semimodule over commutative semiring. Namely we prove that any semibly entropic algebra without irreducible elements is a subreduct of a semimodule over commutative semiring. Next we use our theorem to show that any cancellative entropic algebra is a subreduct of a module over commutative semiring.
  • 30.11.2005 - Štěpán Holub: Testovací množiny bezkontextových jazyků II
  • 23.11.2005 - Štěpán Holub: Testovací množiny bezkontextových jazyků
  • 16.11.2005 - Tomáš Kepka: F-kvazigrupy
  • 9.11.2005 - David Stanovský: Vnoření mediálních idempotentních grupoidů do polomodulů
  • 2.11.2005 - Libor Barto: Prvofiltry ve svazu interpretability variet
  • 26.10.2005 - Aleš Drápal: Existence a jednoznačnost Golayových kódů
  • 19.10.2005 - Jan Šťovíček: Rozhodnutelnost elementární teorie abelovských grup II
  • 12.10.2005 - Jan Šťovíček: Rozhodnutelnost elementární teorie abelovských grup
  • 5.10.2005 - Robert Špalek (CWI Amsterdam): Kvantové hledání, párování v grafech a toky v sítích
    • Abstrakt: Kvantové počítače umějí hledat v nesetříděné databázi o velikosti N v čase sqrt(N) [Grover, 1996]. Vysvětlím intuici za tímto algoritmem, naznačím důkaz, a také proč je tento algoritmus optimální. Nesetříděné vyhledávání je velmi obecný postup a dá se použít jako procedura při řešení mnoha úloh. Ukáži, jak pomocí něj vyhledat maximální párování v bipartitním grafu v čase N * sqrt(M), a maximální tok v celočíselné síti v čase min(N^{7/6} sqrt(M) U^{1/3}, sqrt(N U) M), kde N je počet vrcholů, M je počet hran a U je maximální kapacita hrany [Ambainis, Špalek, 2005].
  • 25.5.2005 - Libor Barto: Reprezentace grup
  • 11.5.2005 - Marcin Kozik (Jagiellonian Uni., Kraków): Complexity of the membership problem for finitely generated varieties
  • 4.5.2005 - Miroslav Korbelář: Eggertova hypotéza
  • 27.4.2005 - Wolfgang Windsteiger (RISC Linz): An automated theorem prover for Set Theory within the Theorema System
  • 20.4.2005 - Camilla Hollanti (Uni. Turku): Applications of algebraic number theory in space-time coding II
  • 13.4.2005 - Camilla Hollanti (Uni. Turku): Applications of algebraic number theory in space-time coding I
  • 6.4.2005 - Štěpán Holub: Testovací množiny komutativních jazyků
  • 30.3.2005 - David Stanovský: Kdy existuje algebra podalgeber?
  • 23.3.2005 - Pierre Matet (Uni. Caen): Partitions of pairs of finite sets
  • 16.3.2005 - Přemysl Jedlička (ČZU): Geometrické monoidy algebraických identit: levodistributivita
  • 9.3.2005 () - Vesa Halava (Uni. Turku): The infinite Post correspondence problem
  • 9.3.2005 (17:20) - J D Phillips (Wabash College, Crawfordsville, IN): Recent advances in loop theory
  • 2.3.2005 - Přemysl Jedlička (ČZU): Geometrické monoidy algebraických identit: asociativita
  • 23.2.2005 - David Stanovský: Lupy izotopické levodistributivním kvazigrupám a jejich neidempotentním zobecněním
  • 12.1.2005 - Dan Rosendorf: Spirální konstrukce dělení trojúhelníků
  • 7.1.2005 - Štěpán Holub: Frekvence ireducibilních prvků volné grupy
  • 8.12.2004 - Jan Hora: Autotopismy trilineárních forem II
  • 1.12.2004 - Jan Hora: Autotopismy trilineárních forem
  • 24.11.2004 - Natalia Zhukavets: Volná Maľcevova superalgebra na jednom lichém generátoru III
  • 17.11.2004 - Natalia Zhukavets: Volná Maľcevova superalgebra na jednom lichém generátoru II
  • 10.11.2004 - Štěpán Holub
  • 3.11.2004 - Natalia Zhukavets: Volná Maľcevova superalgebra na jednom lichém generátoru
  • 27.10.2004 - Aleš Drápal: Extraspeciální LCC lupy III
  • 20.10.2004 - Aleš Drápal: Extraspeciální LCC lupy II
  • 13.10.2004 - Aleš Drápal: Extraspeciální LCC lupy
  • 6.10.2004 - Peter Ackermann (Uni. Dortmund): Gröbner basis cryptosystems
    • Abstract: In recent years, algebraic cryptosystems, especially cryptosystems based on combinatorial group theory, experienced a considerable increase in active interest. We connect classical computational problems in group theory to corresponding problems in monoid and group rings and free modules over monoid rings and show how these problems can be solved if one succeeds in computing a Gröbner basis. We then introduce a new class of Gröbner basis cryptosystems.
  • 19.5.2004 - Juha Kortelainen (Uni. Oulu): On Intersection-Closed Full AFLs Generated by One-Letter Languages
    • Abstract: An AFL (Abstract Family of Languages) (a full AFL, resp.) is a language family closed under nonerasing morphism (arbitrary morphism, resp.), inverse morphism, intersection with regular sets, union, concatenation and catenation closure. The basic theme of the talk will be: how simple can a one letter language be and still generate (using the full AFL operations and intersection) all recursively ennumerable languages. The problem is old, some new partial results have been obtained recently.
  • 12.5.2004 - Aleš Drápal: Tutorial LCC lup II
  • 5.5.2004 - Aleš Drápal: Tutorial LCC lup
  • 28.4.2004 - Štěpán Holub: Lokální a globální periodicita na slovech
    • Problém: Existují ve volném (dvougenerovaném) monoidu slova w_1,...,w_n taková, že (w_1...w_n)^2=w_1^2...w_n^2 a (w_1...w_n)^3=w_1^3...w_n^3 ?
  • 21.4.2004 - Přemysl Jedlička: Levodistributivní levoidempotentní grupoidy II
    • Problém: Je varieta LDLI spojením variety LDI grupoidů a variety zprava konstantních grupoidů? Stačilo by toto: pokud tt=ss v LDLI, platí v LDLI také t=s?
  • 13.4.2004 + 14.4.2004 - Shmuel Zelikson (Uni. Caen): Introduction to Coxeter groups
  • 7.4.2004 - Přemysl Jedlička: Levodistributivní levoidempotentní grupoidy
  • 31.3.2004 - Libor Barto: Struktury skryté v množinových funktorech
  • 24.3.2004 - David Stanovský: Lineární teorie grupoidů
  • 17.3.2004 - Štěpán Holub: Neohraničená slova a periodicita
  • 10.3.2004 - Jiří Vábek: ENIGMA
  • 3.3.2004 - Jan Hora: Autotopismy trilineárních alternujících forem
  • 25.2.2004 - Dan Rosendorf: Stříhání trojúhelníků na trojúhelníky
  • 18.2.2004 - David Stanovský: Levosymetrické levodistributivní kvazigrupy