Nauka

Udział w konferencjach

  1. M. Acewicz*, K. Pąk
    Formalization of Pell`s Equations in the Mizar System
    FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS, FedCSiS2017, Prague, Czech Republic, 2017, Sep 3-6
    Polish Information Processing Socirty, IBS PAN,Wrocław University of Technology, ETI (org.)
    (Planowany udział)
  2. R. Andruszkiewicz, M. Woronowicz*
    On the square subgroup of an abelian group
    XXIV Czech-Polish-Slovak Mathematical Conference, Ružomberok, Slovakia, 2017, Jun 6-9
    Dep. of Math. Fac. of Edu. Univ. in Ružomberok (org.)
    (Planowany udział; summary see at http://math.ku.sk/conferences/list/2017/cesko-polsko-slovenska-matematicka-konferencia-2017/list-of-summaries)
  3. V. N. Antonov, L. V. Bekenov, A. Bonda, L. Uba, M. S. Uba*
    Electronic structure and x-ray magnetic circular dichroism in hybrid heterostructure Sr2CrReO6/BaTiO3 (poster)
    The European Conference PHYSICS OF MAGNETISM 2017 (PM'17), Poznań, Poland, 2017, Jun 26-30
    Instytut Fizyki Molekularnej PAN (org.)
    (Planowany udział)
  4. V. N. Antonov, L. V. Bekenov, A. Ernst, M. Uba
    Electronic structure and x-ray magnetic circular dichroism in Sm-Doped Bi2Se3 (poster)
    The European Conference PHYSICS OF MAGNETISM 2017 (PM'17), Poznań, Poland, 2017, Jun 26-30
    Instytut Fizyki Molekularnej PAN (org.)
    (Planowany udział)
  5. A. Bonda*, J Dubowik, L. Uba, M. S. Uba, K Załęski
    Ultrafast magnetization dynamics in expitaxial NiMnSn Heusler alloy thin film (poster)
    The European Conference PHYSICS OF MAGNETISM 2017 (PM'17), Poznań, Poland, 2017, Jun 26-30
    Instytut Fizyki Molekularnej PAN (org.)
    (Planowany udział)
  6. A. Bołtuć
    2D elastoplastic boundary value problems solved by PIES with various strategies for calculating stresses
    9th International Symposium on Mechanics of Materials and Structures, Augustów, Poland, 2017, Jun 4-6
    PAS, Committee on Mechanics, Section of Mechanics of Materials; PSTAM; Bial. Univ. of Technol; Dept. of Math. Aberstwyth Univ. (org.), http://fp7.imaps.aber.ac.uk/parm2.html (sponsor)
  7. A. Bołtuć
    Flexibility of approximation in PIES applied fpr solving elastoplastic boundary problems
    XIV Internatoinal Conference on Computational Plasticity, Barcelona, Spain, 2017, Sep 5-7
    University of Catalonia (org.)
    (Planowany udział)
  8. T. Brzeziński
    Topology and K-theory of noncommutative weighted projective spaces
    XXXVI Workshop on Geometric Methods in Physics, Białowieża, Poland, 2017, Jul 2-8
    Uniwersytet w Białymstoku (org.), UwB, CRM (sponsor)
    (Planowany udział)
  9. T. Czyżycki
    Discertization of differential equations via Weyl groups.
    The 26th Winter School on Mathematical Physics, Czechy, Janske Lazne, 2017, Jan 22-28
    Doppler Institute, Czech Technical University in Prague, Institute of Mathematics, University in Bialystok (org.)
  10. T. Czyżycki
    Eight Types of Orthogonal Polynomials of C2 and Tau Method
    IV Conference in Decin: Symmetries of Discrete Systems and Processes, Decin, Czech Republic, 2017, Jun 12-16
    Czech Technical University (org.)
  11. T. Czyżycki
    Eight kinds of orthogonal polynomials of Weyl group C2 and tau method
    XXXVI Workshop on Geometric Methods in Physics, Białowieża, Poland, 2017, Jul 2-8
    Uniwersytet w Białymstoku (org.), UwB, CRM (sponsor)
    (Planowany udział)
  12. A. Dobrogowska
    Factorization method applied to the second order difference equations
    International Conference on Differential & Difference Equations and Applications, Amadora, Portugal, 2017, Jun 5-9
  13. A. Dobrogowska, T. Goliński, G. Jakimowicz, A. Sliżewska, M. Szajewska
    XXXVI Workshop on Geometric Methods in Physics, Białowieża, Poland, 2017, Jul 2-8
    Uniwersytet w Białymstoku (org.), UwB, CRM (sponsor)
    (Planowany udział)
  14. A. Dobrogowska, E. Schmeidel*
    The existence of leader-following consensus of system with Caputo fractional derivative
    International Conference on Differential & Difference Equations and Applications, Amadora, Portugal, 2017, Jun 5-9
  15. A. Gomolińska, M. Wolski
    Rough and Near: Modal history of two theories
    Członkowie Komitetu Organizacyjnego na
    International Joint Conference on Rough Sets, Olsztyn, Poland, 2017, Jul 3-7
    (Planowany udział)
  16. A. Grabowski
    Computer certification of generalized rough sets based on relations
    International Joint Conference on Rough Sets, Olsztyn, Poland, 2017, Jul 3-7
    (Planowany udział)
  17. A. Grabowski
    Expressing the notion of a mathematical structure in the formal language of Mizar
    International Conference on Man-Machine Interactions, ICMMI 2017, Crakow, Poland, 2017, Oct 3-6
    II UŚ, Inst. Theor. Appl. Inform. PAS (org.)
    (Planowany udział)
  18. M. Hryniewicka
    Nondistributive rings
    Noncommutative rings and their applications V, Lens, France, 2017, Jun 12-15
    University of Artois (org.), LML, BQR, Conseil général du nord pas de Calais, Fédération des universités du nord pas de Calais, GDR TLAG (sponsor)
    (Planowany udział)
  19. M. Hryniewicka
    Pierścienie niedystrybutywne
    II Ogólnopolska Konferencja Naukowa "Oblicza Algebry", Kraków, 2017, Jun 1-4
    Uniwersytet Pedagogiczny im. KEN w Krakowie  (org.)
  20. I. Ivanov, A. Korniłowicz, A. Kryvolap, M. Nikitchenko
    An Approach To Formalization of an Extension of Floyd-Hoare Logic
    The first workshop on "Rigorous Methods in Software Engineering (RMSE)", Kyiv, Ukraine, 2017, May 15
    Institute of Postgraduate Education of Taras Shevchenko National University of Kyiv, Ukraine (org.)
  21. C Kaliszyk, K. Pąk*
    Progress in the Independent Certification of Mizar Mathematical Library in Isabelle
    FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS, FedCSiS2017, Prague, Czech Republic, 2017, Sep 3-6
    Polish Information Processing Socirty, IBS PAN,Wrocław University of Technology, ETI (org.)
    (Planowany udział)
  22. A. Korniłowicz
    Członek Komitetu Organizacyjnego na
    The first workshop on "Rigorous Methods in Software Engineering (RMSE)", Kyiv, Ukraine, 2017, May 15
    Institute of Postgraduate Education of Taras Shevchenko National University of Kyiv, Ukraine (org.)
  23. A. Kużelewski
    The fast parametric integral equations system for polygonal 2D potential problems
    World Congress on Engineering Computer Science 2017, San Francisco, USA, 2017, Oct 25-27
    International Associacion of Engineerings (org.)
    (Planowany udział)
  24. B. Kwaśniewski
    Aperiodicity, topological freeness and pure outerness: from group actions to Fell bundles
    XXXVI Workshop on Geometric Methods in Physics, Białowieża, Poland, 2017, Jul 2-8
    Uniwersytet w Białymstoku (org.), UwB, CRM (sponsor)
    (Planowany udział)
  25. E. Majewska
    XVIII Międzynarodowa Konferencja Zarządzanie Finansami, Kołobrzeg, Poland, 2017, Mar 29-31
    Wydział Nauk Ekonomicznych i Zarządzania Uniwersytetu Szczecińskiego (org.)
    (dyskutant (co-referent) na referacie "Pomiar naprężenia rynku na Giełdzie Papierów Wartościowych w Warszawie SA")
  26. E. Majewska
    Measuring Dynamics of Financial Integration on the Euro Area Stock Markets, 2000-2016
    International Conference on Applied Economics (ICOAE 2017), Coventry, England, 2017, Jul 6-8
    Coventry University (org.)
    (Planowany udział)
  27. E. Majewska
    Okresy kryzysu na rynkach strefy euro w latach 2004-2016
    XVIII Międzynarodowa Konferencja Zarządzanie Finansami, Kołobrzeg, Poland, 2017, Mar 29-31
    Wydział Nauk Ekonomicznych i Zarządzania Uniwersytetu Szczecińskiego (org.)
  28. E. Majewska
    Struktura hierarchiczna europejskich rynków finansowych a kryzys finansowy
    Modelowanie Preferencji a Ryzyko'17, Ustroń, Poland, 2017, Apr 2-4
    Jerzy Michnik - Kierownik, Tomasz Wachowicz - Kierownik, Beata Humańska, Bogumiła Krzeszowska, Dominik Kudyba, Aleksandra Sabo (org.), Biuro Projektowania Systemów Cyfrowych, Euro Centrum [Up]  (sponsor)
  29. E. Majewska, U. Ostaszewska, E. Schmeidel
    LV Szkoła Matematyki Poglądowej , Wola Ducka, 2017, Jan 27-31
    Ośrodek Kultury Matematycznej  (org.)
  30. A. Naumowicz
    Członek Komitetu Organizacyjnego na
    10th Conference on Intelligent Computer Mathematics, CICM 2017 , Edinburgh, Scotland, 2017, Jul 17-21
    University of Edinburgh (org.)
    (Planowany udział; member of Programme Committee of MKM track)
  31. A. Naumowicz
    Adjective Clustering in the Mizar Type System
    23rd International Conference on Types for Proofs and Programs, TYPES 2017 , Budapest, Hungary, 2017, May 29 - Jun 1
    Eötvös Loránd University (org.)
  32. A. Odzijewicz
    The 26th Winter School on Mathematical Physics, Czechy, Janske Lazne, 2017, Jan 22-28
    Doppler Institute, Czech Technical University in Prague, Institute of Mathematics, University in Bialystok (org.)
  33. U. Ostaszewska
    Existence of nonoscilatory solutions for system of neutral dynamic equations on time scales
    Conference on Differental and Difference Equations and Applications (CDDEA 2017), Jasna, Slovak Republic, 2017, Jun 26-30
    Department of Mathematics, University of Zilina; Union of Slovak Mathematicians and Physicists, branch Zilina (org.)
    (Planowany udział)
  34. U. Ostaszewska, M. Růžičková, E. Schmeidel, M. Zdanowicz, B. Łupińska
    Asymptotically stable solution of Caputo fractional differential equation
    Conference on Differental and Difference Equations and Applications (CDDEA 2017), Jasna, Slovak Republic, 2017, Jun 26-30
    Department of Mathematics, University of Zilina; Union of Slovak Mathematicians and Physicists, branch Zilina (org.)
    (Planowany udział)
  35. K. Pąk
    Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic
    10th Conference on Intelligent Computer Mathematics, CICM 2017 , Edinburgh, Scotland, 2017, Jul 17-21
    University of Edinburgh (org.)
    (Planowany udział)
  36. K. Pąk, A. Schubert
    Greedy Algorithms for Finding Maximum Number of Then Step in Reasoning
    2nd Conference on Artificial Intelligence and Theorem Proving, AITP 2017, Obergurgl, Austria, 2017, Mar 26-30
    University of Innsbruck  (org.)
  37. W. Półjanowicz
    Indywidualizacja kształcenia zdalnego - multimedialny inteligentny system edukacyjny
    Przewodniczący sesji na
    IV Krajowa Konferencja e-Technologie w Kształceniu Inżynierów, Gdańsk, Polska, 2017, Apr 27-28
    Politechnika Gdańska, Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie (org.)
    (Udział w pracach Komitetu Naukowego Konferencji)
  38. A. Rybak
    Techniki dowodzenia twierdzeń - jak przygotować uczniów do prawidłowego rozwiązywania zadań typu "wykaż", "udowodnij"
    XXVI Krajowa Konferencja Stowarzyszenia Nauczycieli Matematyki, Wrocław, Polska, 2017, Feb 10-13
    Stowarzyszenie Nauczycieli Matematyki (org.)
  39. A. Rybak
    Zaprzyjaźnić matematykę z geografią
    XXVI Krajowa Konferencja Stowarzyszenia Nauczycieli Matematyki, Wrocław, Polska, 2017, Feb 10-13
    Stowarzyszenie Nauczycieli Matematyki (org.)
  40. M. Růžičková
    Level and boundedness of a drug concentration using the topological principle.
    15th International Conference of Numerical Analysis and Applied Mathematics ICNAAM 2017, Thessaloniki, Greece, 2017, Sep 25-30
    REGALSCOPE LIMITED 1 Pallados Street, PC 8046, Paphos, CYPRUS (org.)
    (Planowany udział)
  41. M. Růžičková
    Solution to a stochastic pursuit model using moment equations
    Conference on Differental and Difference Equations and Applications (CDDEA 2017), Jasna, Slovak Republic, 2017, Jun 26-30
    Department of Mathematics, University of Zilina; Union of Slovak Mathematicians and Physicists, branch Zilina (org.)
    (Planowany udział)
  42. M. Růžičková
    Solution to a stochastic pursuit model using moment equations
    The Fifth Najman Conference on Spectral Theory and Differential Equations, Opatija, Croatia, 2017, Sep 10-15
    Jusssi Behrndt (TU Graz), Luka Grubišić (Uni. Zagreb), Ivica Nakić (Uni. Zagreb), Ivan Veselić (TU Dortmund)  (org.)
    (Planowany udział)
  43. E. Schmeidel
    Konferencja Władz Uczelnianych Matematyki i Informatyki 2017 (KWUMI), Poznań, 2017, May 12-13
  44. E. Schmeidel, M. Zdanowicz
    Śladami Kobiet w Matematyce, w stulecie urodzin Profesor Heleny Rasiowej, Rzeszów, Polska, 2017, Jun 22-24
    Polskie Towarzystwo Kobiet w Matematyce; Uniwersytet w Rzeszowie (org.)
    (Planowany udział)
  45. A. Stocka
    II Ogólnopolska Konferencja Naukowa "Oblicza Algebry", Kraków, 2017, Jun 1-4
    Uniwersytet Pedagogiczny im. KEN w Krakowie  (org.)
  46. Ł. Szeremeta*, D. Tomaszuk
    Document-oriented RDF Graph Store
    13th International Conference Beyond Databases Architectures and Structures, Ustroń, Poland, 2017, May 30 - Jun 2
    Politechnika Ślaska (org.)
  47. D. Tomaszuk
    RDF validation: a brief survey
    13th International Conference Beyond Databases Architectures and Structures, Ustroń, Poland, 2017, May 30 - Jun 2
    Politechnika Ślaska (org.)
  48. M. Woronowicz
    O grupach addytywnych (łącznych) pierścieni przemiennych.
    II Ogólnopolska Konferencja Naukowa "Oblicza Algebry", Kraków, 2017, Jun 1-4
    Uniwersytet Pedagogiczny im. KEN w Krakowie  (org.)
  49. M. Zdanowicz
    Oscillation properties of solution of fourth-order trinomial difference equation
    Conference on Differental and Difference Equations and Applications (CDDEA 2017), Jasna, Slovak Republic, 2017, Jun 26-30
    Department of Mathematics, University of Zilina; Union of Slovak Mathematicians and Physicists, branch Zilina (org.)
    (Planowany udział)
  50. E. Zieniuk
    Degenerate PIES for Laplace equation and its effective solving
    World Congress on Engineering Computer Science 2017, San Francisco, USA, 2017, Oct 25-27
    International Associacion of Engineerings (org.)
    (Planowany udział)
  51. B. Łupińska
    Properties of the differenctial equations with the Katugampola derivative
    Conference on Differental and Difference Equations and Applications (CDDEA 2017), Jasna, Slovak Republic, 2017, Jun 26-30
    Department of Mathematics, University of Zilina; Union of Slovak Mathematicians and Physicists, branch Zilina (org.)
    (Planowany udział)
Uwagi do prezentowanych tutaj danych proszę kierować do: webmaster@math.uwb.edu.pl .