### 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).

- December 8, 2016 at 1.30pm:
**Dr. Tomasz Tylec**

University of Gdansk, Gdansk, Poland

Lecture:*Effect algebras and orthoposets: rigorous framework for no-signaling box models* - November 22, 2016 at 1.30pm:
**Martin Plávala**

MI SAS, Bratislava, Slovakia

Lecture:*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

Lecture:*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

- 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*

- 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*^{n} - 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*

- 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*

- 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*