Tuesday, July 1st

Programme of the 6th Podlasie Conference on Mathematics
Tuesday, July 1st
Computer-assisted Formalization of Mathematics
Difference and Differential Equations and Their Generalisation on
-- In memoriam of Andrzej Trybulec
any Time Scales
(CAFM), room 316, 11:00-13:00
John Harrison
(DDE), room 303, 12:00-13:00
Formal proofs of hypergeometric sums
11:10-12:00
Marco B. Caminati, Manfred Kerber, Colin Rowat
Ewa Schmeidel
Budget imbalance criteria for auctions:
Boundedness and stability of discrete Volterra equations
A formalized theorem
12:00-12:15
12:00-12:20
Jarosław Mikołajski, Ewa Schmeidel, Joanna Zonenberg
Comparison of boundedness of solutions of differential and recurrence
equations
Kazuhisa Nakasho, Hiroyuki Okazaki,
12:15-12:30
Hiroshi Yamazaki, Yasunari Shidama
Formalization of fundamental theorem of finite abelian groups in Mizar
Robert Jankowski, Ewa Schmeidel, Joanna Zonenberg
12:20-12:40
Boundedness of solutions of neutral type nonlinear difference system
with deviating arguments
12:30-12:45
Agata Bezubik, Severin Posta
Grzegorz Bancerek
On discretization of polynomials corresponding to
Feasible analysis of algorithms with Mizar
symmetric and antisymmetric functions in four variables
12:40-13:00
12:45-13:00
Tuesday, July 1st
Lunch
13:00–14:45
Opening of the conference
Auditorium (room 301), 14:45–15:00
Plenary lecture
Marek Szopa
Quantum games and their possible applications in economics
Auditorium (room 301), 15:00–16:00
Chair: Ewa Roszkowska
Plenary lecture
Krystyna Kuperberg
Algebraic connections between shape theory and dynamical systems
Auditorium (room 301), 16:00–17:00
Chair: Artur Korniłowicz
Coffee break
17:00–17:30
Tuesday, July 1st
Algebra I
Computer Science I
Computer-assisted Formalization of
Control Theory and Dynamical
(A), room 302, 17:30-18:50
(CS), room 304, 17:30-19:00
Mathematics II
Systems I
(CAFM), room 316, 17:30-18:50
(CTDS), room 303, 17:30-19:25
Jan Krempa
Adam Grabowski
On finite groups with the basis
Anna Gomolińska,
Formal characterization of almost
property
Marcin Wolski
distributive lattices
17:30-17:50
The standard rough inclusion
17:30-17:50
Keynote lecture:
function as a basis for similarity
Daniel Franco
indices
Getting rid of chaotic population
17:30-18:00
dynamics
Agnieszka Stocka
Maciej Goliński
On finite matroid groups
Formalizing cryptographic
17:50-18:10
algorithms in Mizar with the
Bożena Woźna-Szcześniak
Enigma example
On the SAT-based verification of
17:50-18:10
communicative commitments
17:30-18:10
Adam Grabowski,
Zbigniew Bartosiewicz, Ulle Kotta,
Christoph Schwarzweller
Branislav Rehak, Maris Tonso,
Continuant polynomials
Towards standard environments
Małgorzata Wyrwas
18:10-18:30
for formalizing mathematics
Polynomial accessibility condition
18:10-18:30
of nonlinear control systems on
Andre Leroy
18:00-18:30
homogeneous time scales
18:10-18:30
Tuesday, July 1st
Algebra I
Computer Science I
Computer-assisted Formalization of
Control Theory and Dynamical
(A), room 302, 17:30-18:50
(CS), room 304, 17:30-19:00
Mathematics II
Systems I
(CAFM), room 316, 17:30-18:50
(CTDS), room 303, 17:30-19:25
Karol Pąk
Ewa Girejko,
Jerzy Matczuk
Idempotents and clean elements in
Mariusz Rybnik,
Improving legibility of proof scripts
Dorota Mozyrska,
ring extensions
Władysław Homenda
based on quantity of introduced
Małgorzata Wyrwas
18:30-18:50
Similarity-based searching in
labels
structured spaces of music
18:30-18:50
A necessary condition of
viability for fractional equations
information
with the Caputo derivative
18:30-19:00
18:30-18:50
Zbigniew Zaczkiewicz
Relative observability, duality
for fractional differentialalgebraic delay systems with jumps
18:50-19:10
Monika Ciulkin
A classification of linear
controllable time-varying
systems on time scales
19:10-19:25
Wednesday, July 2nd
Plenary lecture
Andrzej Szałas
Efficient reasoning over partial and inconsistent belief bases
Auditorium (room 301), 09:00–10:00
Chair: Magdalena Kacprzak
Plenary lecture
Josef Diblik
New criteria for the existence of positive solutions of advanced differential equations
Auditorium (room 301), 10:00–11:00
Chair: Ewa Schmeidel
Coffee break
11:00–11:30
Wednesday, July 2nd
Algebra II
Computer Science II
Control Theory and Dynamical Systems II
(A), room 302, 11:30-12:50
Witold Tomaszewski
(CS), room 206, 11:30-13:00
(CTDS), room 303, 11:30-13:00
Piotr Mormul
On Milnor laws
Jolanta Koszelew
Nilpotency issues in the car+trailers' systems
11:30-11:50
Optimization problems and methods
11:30-11:50
applicable in intelligent tourist
Leonid F. Barannyk, Dariusz Klein
On finite groups of OTP projective
travel planners
11:30-12:00
representation type over the ring of integer
Małgorzata Wyrwas
Why fractional systems are not
rational p-adic numbers
11:50-12:10
Dorota Mozyrska,
dynamical systems?
Joanna Karbowska-Chilińska,
11:50-12:05
Paweł Zabielski
Marcin Skrzyński
Remarks on algebraic and geometric properties of
the spark of a matrix
12:10-12:30
Combining genetic algorithm and path
relinking for solving Orienteering Problem
with Time Windows
12:00-12:30
Zdenek Svoboda
Asymptotic properties
of delayed matrix functions
12:05-12:25
Keynote lecture: Andreas Ruffing
Orest D. Artemovych, Kamil Kular
Magdalena Kacprzak,
Quantum difference-differential equations
On the Lie ring of derivations of a semiprime ring
Bartłomiej Starosta
12:25-12:45
12:30-12:50
An approach to making decisions with metasets
12:30-13:00
Zbigniew Bartosiewicz
Global observability of nonlinear systems
12:45-13:00
Wednesday, July 2nd
Computer-assisted Formalization of
Decision Support in Negotiation
Differential Operators: Algebra, Geometry and
Mathematics III (CAFM), room 204,
(DSN), room 205, 11:30-13:00
Representations (DO), room 304, 11:30-12:55
11:30-13:00
Ewa Roszkowska, Tomasz Wachowicz
Geoff Sutcliffe
How do the decision makers decide?
Anna Kimaczyńska
The TPTP typed first-order form with
A multiple criteria decision making
Natural differential operators in the symmetric
arithmetic: The language and some
experiment
bundle
applications
11:30-11:50
11:30 – 11:55
11:30-12:20
Dorota Górecka, Ewa Roszkowska,
Tomasz Wachowicz
MARS approach in scoring negotiation
offers for the verbally defined
Robert Y. Lewis, Jeremy Avigad,
preferences of the negotiators
Bogdan Balcerzak
Cody Roux
11:50-12:10
Dirac operators on Lie algebroids
A heuristic prover for real inequalities
12:20-12:40
Marek Szopa
12:00 – 12:25
How quantum games can support negotiation?
12:10-12:30
Mario Carneiro
Discussion
Agnieszka Najberg
Natural deduction in the Metamath Proof
12:30-13:00
Natural differential operators on symplectic
language
manifolds
12:40-13:00
12:30 – 12:55
Wednesday, July 2nd
Lunch
13:00-15:00
Plenary lecture
Hans Havlicek
Preserver problems in geometry
Auditorium (room 301), 15:00–16:00
Chair: Krzysztof Prażmowski
Short break
16:00-16:15
Wednesday, July 2nd
Algebra III
Computer Science III
Computer-assisted Formalization
(A), room 302, 16:15-17:15
(CS), room 206, 16:15-17:15
of Mathematics IV (CAFM), room 204,
16:15-17:15
Małgorzata Jastrzębska
Alexander Lyaletski, Mykola Nikitchenko
On lattices of annihilators in finite dimensional
Agnieszka Dardzińska-Głębocka, Anna
Logical and semantic investigations in Kyiv
algebras
Łobaczuk-Sitnik
school of automated reasoning
16:15-16:35
Action rules mining in laryngological diseases
16:15-16:35
16:15-16:45
Arkadiusz Męcel
Anna Zalewska
Conjugacy classes of left ideals of an associative
On an alternative approach to Skolemising
algebra
16:35-16:55
16:35-16:55
Czesław Bagiński
On a theorem of elementary number theory and
its implications in
geometry of closed surfaces
16:55-17:15
Zenon Sadowski
Do there exist complete sets for promise classes?
16:45-17:15
Radosław Piliszek
Implementing a parser for the WS-Mizar language
16:55-17:15
Wednesday, July 2nd
Mathematics in Biology and
Quantitative Methods in Economics
Medicine I
I
(MBM), room 303, 16:15-17:35
(QME), room 205, 16:15-17:15
Student Session I
(S), room 316, 16:15-17:15
Weak Partial Linear and
Partial Chain Spaces and Their
Geometry I (CSG), room 304,
16:15-17:10
Keynote Lecture:
Jarosław Woźniak,
Priti Kumar Roy,
Mateusz Firkowski
Andrzej Matraś
in collaboration with Shubhankar Saha,
Stability of a partially damped
On some configuration on finite
Amar Nath Chatterjee, Sonia
rotating Timoshenko beam
non-desarguesian projective
16:15-16:35
planes
Chowdhury
Keynote lecture:
Effect of awareness programs with
Krzysztof Piasecki
HAART in controlling the disease
Intuitionistic present value
HIV/AIDS: A mathematical approach
-- an axiomatic approach
16:15-16:55
16:15-17:00
16:15-16:40
Magdalena Bielawska
How to create effective admissions
system?
16:35-16:55
Sumit Nandi, Dibyendu Biswas,
Projective realizability of
Amar Nath Chatterjee, Priti Kumar
Hubert Anisimowicz
Roy
Circulant matrices and their
Effect of delay during transmission of
Discussion
application to solving polynomial
the disease Cutaneous Leishmaniasis:
17:00-17:15
equations
A mathematical approach
16:55-17:15
Marzena Filipowicz-Chomko,
Ewa Girejko, Anna Poskrobko
Criterions of multidimensional
ν-similarity for birth-death processes
17:15-17:35
Małgorzata Prażmowska
16:55-17:15
Veronese spaces
16:45-17:10
Wednesday, July 2nd
Computer-assisted Formalization of
Quantitative Methods in Economics II
Mathematics V
(QME), room 205, 17:45-19:30
17:45-19:15
(CAFM), room 204, 17:45-18:45
Josef Urban
Parallelizing Mizar
17:45-18:05
Student Session II
(S), room 316,
Weak Partial Linear and Partial
Chain Spaces and Their
Geometry II (CSG), room 304,
Dorota Kozioł-Kaczorek
17:45-19:30
Edyta Bartnicka
The use of combined multicriteria
The projective line over finite
method for the valuation of real estate
17:45-18:05
Paweł Jamróz,
Adam Naumowicz
Grzegorz Koronkiewicz
Combining Mizar with Logic2CNF
Comparison of the tails of
SAT Solver
market return distributions
18:05-18:25
18:05-18:25
associative ring with unity
Keynote lecture:
17:45-18:10
Marek Drużdżel
Being an academic
researcher:
What's it like? (in Polish)
17:45-19:15
Krzysztof Prażmowski
Weak partial chain spaces
and their products
18:10-18:35
Paweł Konopka
Financing startups business –
Krzysztof Petelczyc
Artur Korniłowicz
grants or preferential loans?
On affinization of Segre products
Equalities in Mizar
18:25-18:45
Kamil Bienias, Tomasz Czyżycki
of partial linear spaces
18:25-18:45
18:40-19:05
Applications of line and surface
integrals to economic issues
18:45-19:05
Mariusz Żynel
Discussion
Affinization of Segre products
19.05-19.30
of Grassmann spaces
embeddable into projective spaces:
Applications and examples
19:05-19:30
Thursday, July 3rd
Plenary lecture
Andrzej Skowron
Interactive granular computations and cyber-physical systems
Auditorium (room 301), 09:00–10:00
Chair: Anna Gomolińska
Plenary lecture
Ulrich Krähmer
Comonads, flat connections, and cyclic homology
Auditorium (room 301), 10:00–11:00
Chair: Ryszard Mazurek
Coffee break
11:00 – 11:30
Plenary lecture
Bent Ørsted
Universal principles for Pohozaev identities
Auditorium (room 301), 11:30–12:30
Chair: Antoni Pierzchalski
Thursday, July 3rd
Algebra IV
Fuzzy Calculus and Its Applications
Student Session III
(A), room 302, 12:30-13:50
(FCA), room 303, 12:30-14:00
(S), room 316, 13:30-14:10
Ryszard R. Andruszkiewicz,
Takashi Mitsuishi, Koji Saigusa,
Magdalena Sobolewska
Yasunari Shidama
The powerly hereditary property in the lower
Periodic fuzzy set on circular coordinates
radical construction
12:30-12:50
12:30-12:50
Daniel Strzelecki
Conley index and its applications
13:30-13:50
Izabela Malinowska
On generalizations of Dedekind groups
12:50-13:10
Irena Sobol, Dariusz Kacprzak
Optimizing inventory of
a firm under fuzzy data
12:50-13:10
Małgorzata Hryniewicka
Near-rings of quotients
Dariusz Kacprzak, Ewa Roszkowska
The application of ordered
fuzzy numbers in the SAW procedure
13:10-13:30
13:10-13:30
Ryszard R. Andruszkiewicz,
Discussion
Kamil Kozłowski
Karol Pryszczepko
13:30-14:00
Around Banach-Tarski paradox
On the non-torsion almost null rings
13:30-13:50
13:50-14:10
Thursday, July 3rd
Lunch
14:00 – 15:45
Excursion
16:00 – 19:30
Conference dinner
20:00 –
Friday, July 4th
Algebra V
Mathematics in Biology and Medicine II
(A), room 302, 09:00-10:40
(MBM), room 303, 09:00-10:40
Ryszard R. Andruszkiewicz,
Keynote lecture: Daniel Franco
Mateusz Woronowicz
On TI-groups
09:00-09:20
Marzena Filipowicz-Chomko,
Effects of environmental protection in population dynamics
09:00-09:40
Marek Kępczyk
On *(x, y, z)- ideals
09:20-09:40
Antoni Leon Dawidowicz, Anna Poskrobko
Stability problem for the age-dependent predator-prey model
Kamil Kozłowski
On a generalization of Armendariz rings
09:40-10:00
09:40-10:00
Piotr Grzeszczuk
Gelfand-Kirillov dimension of algebras with locally nilpotent
derivations
Ewa Girejko, Anna Poskrobko
Families of ν-similar birth-death processes and limiting conditional distributions
10:00-10:20
10:00-10:20
Ryszard Mazurek
Rota-Baxter operators on skew generalized power series rings
10:20-10:40
Anna Poskrobko, Antoni Leon Dawidowicz
Asymptotic properties of the von Foerster-Lasota equation and indices of Orlicz space
10:20-10:40
Friday, July 4th
Student Session IV
(S), room 316, 10:45-13:30
Jakub Kabat
Riesz spaces, Riesz homomorphisms, and the Banach-Stone theorem
10:45-11:05
Adam Soroczyński
Distributive rings and modules
11:05-11:25
Adam Tucholski
The axiom of choice in algebra
11:25-11:45
Kamil Szymon Jadeszko
The best card trick -- power of permutations
11:45-12:05
Short break
12:05-12:10
Friday, July 4th
Student Session IV
(S), room 316, 10:45-13:30
Paweł Olszewski
Algebraic proof of the Fundamental Theorem of Algebra
12:10-12:30
Katarzyna Ignatiuk
The time scales calculus
12:30-12:50
Marcin Żukowski
Tomographic image reconstruction methods
12:50-13:10
Krystian Moraś
Curves and splines in computer graphics
13:10-13:30
Lunch
13.30 – 15.30
Closing of the 6PCM