Mathematical Institute SAS - activities, lectures

Seminars

Seminar BBTS (Bratislava Brno Topology Seminar) - page

Talks at MI SAS

If not specified otherwise all lectures/talks are held in the lecture room of MI SAS, Štefánikova 49, Bratislava, 4th floor (glassy door room near to the entrance).

2023

February 13, 2023 at 1.30pm: doc. Mgr. Michal Botur, PhD.
Univerzita Palackého, Olomouc, Czech Rep.
Lecture:
Kites and representation of pseudo MV-algebras

2022

April 21, 2022 at 5.00pm: Dr. Miroslav Kubát and Assoc. Prof. Radek Čadek
University of Ostrava, Czech Rep.
Lecture:
Quantitative Syntactic Stylistics of Contemporary Written Czech
Annotation:
In the lecture, the preliminary results of the research project Quantitative Syntactic Stylistics of Contemporary Written Czech will be presented. The research is based on the quantitative analysis of the corpus SYN2020 which is a syntactically annotated, representative corpus of contemporary written Czech. The corpus consists of 100 million tokens. Various syntactic features such as mean sentence length, sentence types, word order, modality, distribution of syntactic functions, indicators of attributivity and subjectivity are analyzed.
Original Announcement: [ docx ] [ pdf ]

2020

January 24, 2020 at 1.30pm: Assoc. Prof. Svitlana Leshchuk
Department of Computer Science and Teaching Techniques, Faculty of Physics and Mathematics, Ternopil Volodymyr Hnatiuk National Pedagogical University, Ternopil, Ukraine
Lecture:
Some aspects of training a modern specialist
(work experience at the Pedagogical University)

2019

December 03, 2019 at 11.00am: Assoc. Prof. Roman Frič
MI SAS, Košice, Slovakia
Talk:
Notes in categorial probability (in Slovak)
June 11, 2019 at 11.00am: Assoc. Prof. Roman Frič
MI SAS, Košice, Slovakia
Talk:
Stochastic Channel and Conditional Probability
May 30, 2019 at 1.30pm: Dr. Serafina Lapenta
Univ. Salerno, Salerno, Italy
Talk:
Infinitary Connectives and Borel Functions

2018

December 4, 2018 at 1.30pm: Assoc. Prof. Oľga Nánásiová
Dpt. of Mathematics, Faculty of Electrical Engineering and Information Technology,
Slovak University of Technology, Bratislava, Slovakia
Talk:
On Probability Measures and Logical Connectives on Quantum Logics
September 18, 2018 at 1.30pm: Prof. Pavel Pták
FEE CTU, Prague, Czech Rep.
Talk:
Simple orthomodular stories
August 30, 2018 at 2pm: Prof. Alexey Rosaev
Research and Educational Center "Nonlinear Dynamics", Yaroslavl State University
Talk:
The methods of age calculation of very young asteroid families

Abstract:
Asteroid families are groups of minor planets that have a common origin in a catastrophic breakup event. Very young compact asteroid clusters are a natural laboratory in which to study the impact processes and dynamics of asteroid orbits. We define the term very young asteroid families (VYFs), that is to say, younger than 1.6 Myrs. We present two different methods age calculation of VYFs. First method employed to calculate the components of relative velocity using the results of backward numerical integration as a method of studying VYFs. We now apply the Fourier approximation to studying the perturbations of Ceres and Vesta on VYFs in the second method. We showed that the approximation using the Fourier series gives a very satisfactory approximation of the evolution of the orbital elements (eccentricity and inclinations). As a result, we obtain the reduced range of ages of some VYFs and the quantitative estimation of Ceres and Vesta effects on members of VYFs.
May 3, 2018 at 1.30pm: Dušana Štiberová
MI SAS, Košice, Slovakia
Talk:
On categorical constructions in probability
April 24, 2018 at 1.30pm: Prof. Antonio Di Nola
University of Salerno, Salerno, Italy
Talk:
Many valued logic of Riesz spaces
April 10, 2018 at 1.30pm: Prof. Helmut Länger
Institute of Discrete Mathematics and Geometry, TU Wien, Austria
Talk:
Residuated structures derived from semirings
March 15, 2018 at 1.30pm: Assoc. Prof. Roman Frič
MI SAS, Košice, Slovakia
Talk:
From stochastic independence to stochastic independence

2017

November 23, 2017 at 1.30pm: Assoc. Prof. Jan Paseka
Faculty of Science, Masaryk University, Brno, Czechia
Talk:
On the Coextension of Cut-Continuous Pomonoids
October 27, 2017 at 1.30pm: Dr. Michal Hroch
Czech Technical University in Prague, Prague, Czechia
Talk:
Algebraic and Measure-Theoretic Propertiesof the Structures
Closed to Boolean Algebras
October 26, 2017 at 1.30pm: Assoc. Prof. Roman Frič
MI SAS, Košice
Talk:
Stochastic Channel and Independence
October 12, 2017 at 1.30pm: Dominik Lachman
Palacky University, Olomouc, Czechia
Talk:
Bruhat-Tits Buildings
October 5, 2017 at 1.30pm: Dr. Jiří Janda
Masaryk University, Brno, Czechia
Talk:
The decomposition of an observable on a complete MV-algebra into the sum
of a meager one and a sharp one
[Beware, the change of the date!]
June 7, 2017 at 1.30pm: Assoc. Prof. Michal Botur
Palacky univ., Olomouc, Czech Rep.
Talk: Operators on Pavelka's algebras induced by fuzzy relations

2016

December 8, 2016 at 1.30pm: Dr. Tomasz Tylec
University of Gdansk, Gdansk, Poland
Talk: Effect algebras and orthoposets: rigorous framework for no-signaling box models
November 22, 2016 at 1.30pm: Martin Plávala
MI SAS, Bratislava, Slovakia
Talk:
All measurements in a probabilistic theory are compatible if and only if
the state space is a simplex

Abstract:
It is long-known that classical systems are characterized by a state space that is a simplex and that for classical systems all measurements are compatible. We will introduce General probabilistic theories (GPT) as the general apparatus describing measurements in both classical and quantum mechanics and we will define the compatibility of measurements in GPT. Restricting ourselves to finite-dimensional state spaces we will formulate the proposition that incompatible measurements in any GPT exist whenever the system is not classical and we will demonstrate several key aspects of the proof of the proposition as well as give further insight on the interpretation of the result, based on some future work.
June 23, 2016 at 1.30pm: Dr. Raffaella Carbone
Dept. of Matematics, Univ. Pavia, Taliansko
Talk:
Decoherent markovian evolutions on non-commutative algebras

Abstract:
We consider markovian evolutions on (generally non-commutative) von Neumann algebras. The decoherence-free algebra can be seen as a subalgebra of the domain on which the evolution is a *-homomorphism. The interest in studying the decoherence-free algebra stays in its strict relations with many asymptotic and probabilistic properties of the evolution: ergodicity, environmental decoherence, period,... We shall explore these aspects and some main results. We have studied in particular decoherence induced by the environment (as introduced by Blanchard and Olkiewicz, Rev. Math. Phys., 2003) for quantum Markov semigroups. We have proved sufficient and/or necessary conditions for decoherence and we have studied the link with different types of decompositions of the domain.
May 31, 2016 at 11.00am: Assoc. Prof. Roman Frič and Assoc. Prof. Martin Papčo
MI SAS, Košice
Talk:
Duality: random variables and observables

Abstract:
In generalized probability we encounter three basic maps; probability measures, random variables and observables. While probability measures can be considered as a special case of observables, the relationship between random variables and observables can be described in terms of a categorical duality.
April 15, 2016 at 1.30pm: Prof. Pavel Pták
FEE CTU, Prague, Czech Rep.
Talk:
On the Horn-Tarski measure-extension theorem
April 12, 2016 at 1.30pm: Dr. Giselle Antunes Monteiro
MI SAS, Bratislava (SASPRO programme)
Talk:
On the distinguishing features of the Kurzweil integral
March 30, 2016 at 1.30pm: Assoc. Prof. Roman Frič and Dr. Peter Eliaš
MI SAS, Košice
Talk:
Factorizing observables

Abstract:
Categorical approach to probability leads to better understanding of basic notions and constructions in generalized (fuzzy, operational, quantum) probability, where observables - dual notions to generalized random variables (statistical maps) - play a major role. Our goal is to show that two constructions involving observables: representation of generalized random variables via products, resp. smearing of sharp observables, can be described as factorizing a morphism into composition of two morphisms having desired properties.
March 15, 2016 at 1.30pm: Dr. Roberto Giuntini
Univ. Cagliari, Italy
Talk:
From sharp to unsharp quantum logic:
A new look at the effects of a Hilbert space

2015

December 10, 2015 at 1.30pm: Mgr. Martin Plávala
MI SAS, Bratislava
Talk:
Stability of Friedmann equation with respect to
small changes in the density parameter
November 19, 2015 at 1.30pm: Assoc. Prof. Martin Kalina
Faculty of Civil Engineering, Slovak University of Technology, Bratislava, Slovakia
Talk:
Paving as a construction method for creating of commutative
and associative operations on the unit interval
October 29, 2015 at 1.30pm: Assoc. Prof. Oľga Nánásiová
Faculty of Electrical Engineering and Information Technology,
Slovak University of Technology, Bratislava, Slovakia
Talk: Bell inequalities and s-maps
October 8, 2015 at 1.30pm: Dr. Andrea Zemánková
MI SAS, Bratislava, Slovakia
Talk: Uninorms with continuous underlying functions
September 24, 2015 at 1.30pm: Dr. Roberto Beneduci
University Calabria, Rende, Italy
Talk: Characterization of Commutative POVMs by means of Feller Markov kernels
September 22, 2015 at 1.30pm: Assoc. Prof. Roman Frič
MI SAS, Košice
Talk: Notes on products of D-posets
April 23, 2015 at 1.30pm: Assoc. Prof. Gejza Jenča
Faculty of Civil Engineering, Slovak University of Technology, Btatislava
Talk: Quantum logics as monoids in Rel
April 09, 2015 at 1.30pm: Prof. Radomír Halaš
Palacky university, Olomouc, Czech Rep.
Talk: On clones of aggregation functions on lattices
March 12, 2015 at 1.30pm: Jana Havlíčková
Commenius university, Bratislava
Talk: Categories of IF and fuzzy events and their relations (in Slovak)
February 17, 2015 at 1.30pm: Assoc. Prof. Roman Frič
MI SAS, Košice
Talk: Extending of D-posets of fuzzy events (in Slovak)
February 11, 2015 at 2.00pm: Assoc. Prof. Jan Kühr
Palacky univ., Olomouc, Czech Rep.
Talk: The varietal join of orthomodular lattices and MV-algebras
February 11, 2015 at 1.30pm: Assoc. Prof. Michal Botur
Palacky univ., Olomouc, Czech Rep.
Talk: A new construction of kites

2014

October 2, 2014 at 1.30pm: Assoc. Prof. Roman Frič
MI SAS, Košice
Talk: Notes on D-posets (what's new?) (in Slovak)
September 18, 2014 at 1.30pm: Dr. Emmanuel Chetcuti
University of Malta, Malta
Talk: Equilateral weights on the unit ball of Rⁿ
September 18, 2014 at 1.30pm: prof. David Buhagiar
University of Malta, Malta
Talk: On κ-compactness, extent and the Lindelof number in LOTS
August 28, 2014 at 1.30pm: prof. Michiro Kondo
Tokyo Denki University, Japan
Talk: Galois connections on fuzzy structures
June 6, 2014 at 1.30pm: Dr. Erkka Haapasalo
Institute of Theoretical Physics, University of Turku, Turku, Finland
Talk: Compatibility properties of extreme quantum observables

Abstract: Recently a problem concerning the equivalence of joint measurability and coexistence of quantum observables was solved [D. Reeb, D. Reitzner, and M. M. Wolf, J. Phys. A: Math. Theor. vol 46, 462002 (2013)]. We generalize two known joint measurability results from sharp observables to the class of extreme observables and study relationships between coexistence, joint measurability, and post-processing of quantum observables when an extreme observable is involved. We also discuss another notion of compatibility and provide a counterexample separating this from the former notions.
May 5, 2014 at 1.30pm: Assoc. Prof. Michal Botur
Palacky University, Olomouc, Czech Rep.
Talk: Operators induced by fuzzy relations
April 10, 2014 at 1.30pm: Dr. Giacomo Lenzi
University of Salerno, Salerno, Italy,
Talk: On pseudofinite MV-algebras
April 3, 2014 at 1.30pm: Zdeněk Svoboda
Palacky University, Olomouc, Czech Rep.
Talk: Interior and closure operators on basic algebras
February 24, 2014 at 1.30pm: Prof. Helmut Länger
Institute for Algebra and Discrete Mathematics, TU Vienna
Talk: A non-associative generalization of effect algebras

2013

November 21, 2013 at 1.30pm: Jiří Janda
Masaryk University, Brno, Czech Rep.
Talk: On bilinear forms from the point of view of generalized effect algebras
November 14, 2013 at 1.30pm: Prof. Claudio Garola
University of Lecce, Lecce, Italy
Talk: Embedding quantum mechanics into a broader noncontextual theory: recent developments in the ESR model
November 7, 2013 at 1.30pm: Tomasz Tylec
Institute of Theoretical Physics and Astrophysics, University of Gdańsk, Gdańsk, Poland
Talk: So-called non-signalling boxes from the point of view of quantum logics
October 24, 2013 at 1.30pm: Assoc. Prof. Oľga Nánásiová
Institute of Computer Science and Mathematics, FEEIT Slovak University of Technology, Bratislava
Talk: Non-compatibilty and multidimensional states
October 10, 2013 at 1.30pm: Assoc. Prof. Roman Frič
MI SAS Košice, Košice
Talk: About cogenerators and generalized probability theory
June 27, 2013 at 1.30pm: Prof. Jan Hamhalter
Electrotechnical Faculty ČVUT, Prague, Czech rep.
Talk: Commutative structures in noncommutative operator algebra
June 20, 2013 at 1.30pm: Dr. Sergejs Solovjovs
Masaryk Univesity, Brno, Czech Rep.
Talk: Monoidal topology and its applications
June 13, 2013 at 1.30pm: Dr. Michal Sedlák
Institute of Physics of SAS, Bratislava
Talk: Optimal discrimination of quantum measurement
June 6, 2013 at 1.30pm: Assoc. Prof. Gejza Jenča
Faculty of Civil Engineering of Slovak University of Technology, Bratislava
Talk: Poset homology and linear extensions
May 30, 2013 at 0.30pm: Dr. Mário Ziman
Institute of Physics of SAS, Bratislava
Talk: Structure of entanglement-breaking and entanglement-annihilating channels
May 9, 2013 at 1.30pm: Assoc. Prof. Jan Paseka
Masaryk University, Brno, Czech Republic
Talk: Semistates on MV-algebras
May 2, 2013 at 1.30pm: Dr. Anna Jenčová
Mathematical Institute of SAS, Bratislava
Talk: Distinguishing quantum channels by restricted testers
April 11, 2013 at 1.30pm: Prof. Dénes Petz
Budapest University of Technology and Economics;
A. Rényi Math. Institute, HAS, Budapest
Talk: Some inequalities in probabilities and matrices
April 4, 2013 at 1.30pm: Dr. Marek Hyčko
Mathematical Institute SAS, Bratislava
Talk: Generalized pre pseudo effect algebras
March 21, 2013 at 1.30pm: Prof. Michiro Kondo
Tokyo Denki University, Japan
Talk: Bosbach states on residuated lattices
[Change of date] February 13, 2013 at 1.30pm: Dr. Miroslav Kolařík
Univ. Olomouc, Czech Rep.
Talk: Every skew effect algebra can be extended into a total algebra

2012

October 11, 2012 at 1.30pm: Dr. M. Botur
Univ. Olomouc, Czech Rep.
Talk: Tense Operators on MV -algebras
October 4, 2012 at 1.30pm: J. Janda
Masaryk University, Brno, Czech Rep.
Talk: Partial groups of linear operators densely defined on a Hilbert space.
September 27, 2012 at 1.30pm: Assoc. Prof. M. Kalina
Department of Mathematics and Descriptive Geometry, Faculty of Civil Engineering, Slovak University of Technology
Talk: Conditioning on lattice effect algebras.
September 13, 2012 at 1.30pm: Assoc. Prof. R. Frič
Branch of Mathematical Institute, Slovak Academy of Sciences, Košice
Talk: On generalizations of fuzzy probabilities (in Slovak).
August 30, 2012 at 1.30pm: Dr. A. Zemánková
Mathematical Institute, Slovak Academy of Sciences, Bratislava
Talk: Extensions of the Choquet integral used in Classification and Multipolarity Algebras.
June 28, 2012 at 1.30pm: Prof. J. Rachůnek
Fac. Natural Sciences, Palacky University, Olomouc, Czech Republic
Talk: State Basic algebras.
April 19, 2012 at 2.30pm: Prof. J. Pykacz
University of Gdansk, Gdansk, Poland
Talk: Fuzzy models of quantum probability.
April 19, 2012 at 1.30pm: Prof. R. Halaš
Fac. Natural Sciences, Palacky University, Olomouc, Czech Republic
Talk: Tolerance factorable varieties.
April 12, 2012 at 1.30pm: Assoc. Prof. J. Kühr
Fac. Natural Sciences, Palacky University, Olomouc, Czech Republic
Talk: On varieties of distributive effect algebras.
March 29, 2012 at 1.30pm: Dr. A. Jenčová
MI SAS, Bratislava
Talk: Generalized POV measures and measurements on quantum channels III.
March 22, 2012 at 1.30pm: Dr. A. Jenčová
MI SAS, Bratislava
Talk: Generalized POV measures and measurements on quantum channels II.
March 15, 2012 at 1.30pm: Dr. A. Jenčová
MI SAS, Bratislava
Talk: Generalized POV measures and measurements on quantum channels I.
March 8, 2012 at 1.30pm: Dr. M. Hyčko
MI SAS, Bratislava
Talk: Pre pseudo effect algebras - theory and the search for finite models
February 23, 2012 at 1.30pm: J. Krňávek
Univ. Olomouc, Czech Rep.
Talk: Skew residuated lattices
February 16, 2012 at 1.30pm: Assoc. Prof. R. Frič
MI SAS, Košice
Talk: Probability - from classical to fuzzy
February 9, 2012 at 1.30pm: Dr. M. Botur
Univ. Olomouc, Czech Rep.
Talk: A general approach to state-morphism algebras
December 12, 2011 at 1.30pm: Prof. R. Giuntini
Univ. Cagliari, Italy
Talk: The algebraic structure of an approximately universal system of quantum computational gates
December 8, 2011 at 1.30pm: Prof. Marisa Dalla Chiara
Univ. Florence, Italy
Talk: Quantum teleportation and quantum epistemic semantics
November 24, 2011 at 1.30pm: Prof. Richard Ball
University of Denver, Denver, USA
Talk: Truncated and diminished vector lattice
October 20, 2011 at 1.30pm: Prof. Zdenka Riečanová
FEI STU, Bratislava, Slovakia
Talk: Operator (Generalized) Effect Algebras
September 29, 2011 at 1.30pm: Prof. Antonio Di Nola
Salerno University, Salerno, Italy
Talk: New Results on MV-algebras
September 14, 2011 at 2.15pm: Prof. Richard Ball
University of Denver, Denver, USA
Talk: The Pointfree Daniell Integral
September 14, 2011 at 1.00pm: Prof. Rodney Nillsen
School of Math. and Appl. Statistics, University of Wollongong, New South Wales, Australia
Talk: Dynamical systems and the Carathéodory definition of measurable sets
June 30, 2011 at 2pm: Prof. Gennadij A. Ososkov
Joint Institute of Nuclear Research, Dubna, Russia
Talk: Wavelet applications for finding hidden features of experimental data
June 23, 2011 at 2pm: Dr. Tomasz Kowalski
University of Melbourne, Australia
Talk: Quasi-subtractive varieties
May 13, 2011 at 1.30pm: Dr. Agata Ciabattoni
TU Vienna, Austria
Talk: Systematic and Algebraic Proof Theory for Substructural Logics
May 5, 2011 at 1.30pm: Mgr. Anna Jenčová, PhD.
Mathematical Institute SAS, Bratislava, Slovakia
Talk: On reversibility of quantum operations
April 28, 2011 at 1.30pm: Mgr. Michal Botur, PhD.
Palacky University, Olomouc, Czech Republic
Talk: Finite distributive lattices with antitone involutions
April 21, 2011 at 2.30pm: doc. RNDr. Ferdinand Chovanec, CSc.
Armed Forces Academy of general M. R. Štefánik, Liptovský Mikuláš, Slovakia
Talk: Graphic representation of MV-algebra pastings
April 21, 2011 at 1.30pm: Dr. Yongjian Xie
Shaanxi Normal University, Xian, Shaanxi, China
Talk: The pasting of lattice ordered effect algebras
April 18, 2011 at 1.00pm: Prof. Zbigniew Piotrowski
Department of Mathematics and Statistics, University of Youngstown, U.S.A.
Talk: On quasi-continuity and cliquishness
April 14, 2011 at 1.30pm: Mgr. Miroslav Kolařík, PhD.
Palacky University, Olomouc, Czech Republic
Talk: Computer proofs
April 7, 2011 at 1.30pm: Mgr. Elena Vinceková, PhD.
Mathematical Institute SAS, Bratislava, Slovakia
Talk: Lattice pseudo-effect algebras as double residuated structures