Nauka

Udział w konferencjach

  1. K. Bardadyn
    C*-algebraic approach to spectrum of operators associated with local homeomorphisms
    International Workshop on Operator Theory and its Applications, IWOTA 2019, Lisbona, Portugalia, 2019, Jul 22-26
    Instituto Superior Tecnico, University of Lisbon (org.)
    (Planowany udział)
  2. C.E. Brown, C. Kaliszyk, K. P±k*
    Higher-order Tarski Grothendieck as a Foundation for Formal Proof
    Interactive Theorem Proving (ITP 2019), Portland, Oregon, USA, 2019, Sep 8-13
    Portland State University (org.)
  3. Ch Brown, K. P±k
    A Tale of Two Set Theories
    12th Conference on Intelligent Computer Mathematics CICM 2019, Prague, Czech Republic, 2019, Jul 8-12
    Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) of Czech Technical University in Prague (CTU) (org.)
    (Planowany udział)
  4. A. Dobrogowska
    Tangent lifts of bi-Hamiltonian structures
    Conference Dynamics in Siberia, Novosibirsk, Rosja, 2019, Feb 23 - Mar 5
    Sobolev Institute of Mathematics and Novosibirsk State University (org.)
  5. T. Goliński, A. Odzijewicz
    Członkowie Komitetu Organizacyjnego na
    XXXVIII Workshop on Geometric Methods in Physics, Białowieża, Poland, 2019, Jun 30 - Jul 6
    University of Białystok (org.)
  6. A. Grabowski*, A. Korniłowicz*, A. Naumowicz*
    Tutorial: Exploring the Mizar Mathematical Library (EMML 2019)
    12th Conference on Intelligent Computer Mathematics CICM 2019, Prague, Czech Republic, 2019, Jul 8-12
    Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) of Czech Technical University in Prague (CTU) (org.)
  7. A. Jaszczak
    Formal verification of the correctness of chosen algorithms in Mizar
    12th Conference on Intelligent Computer Mathematics CICM 2019, Prague, Czech Republic, 2019, Jul 8-12
    Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) of Czech Technical University in Prague (CTU) (org.)
  8. C. Kaliszyk, K. P±k*
    Scalable Declarative Proof Translation
    Interactive Theorem Proving (ITP 2019), Portland, Oregon, USA, 2019, Sep 8-13
    Portland State University (org.)
  9. M. Kapturczak, K. Szerszeń, E. Zieniuk*
    Interval arithmetics in modelling and solving uncertainly defined boundary value problems of elasticity
    21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 2019, Sep 4-7
    Department of Computer Science, West University of Timisoara (org.)
  10. M. Kapturczak*, E. Zieniuk
    IPIES for Uncertainly Defined Shabe of Boundary, Boundary Conditions and other Parameters in Elasticity Problems
    International Conference on Computational Science, Faro, Algrave, Portugal, 2019, Jun 12-14
    UAlg, The University of Tennessee, Nanyang Technological University (org.)
  11. A. Korniłowicz
    Aksjomat wyróżniania w systemie Mizar (invited talk)
    XIV Konferencja Technologie Eksploracji i Reprezentacji Wiedzy, Hołny Mejera, Polska, 2019, Sep 4-7
    Polskie Towarzystwo Informatyczne, Koło PTI w Białymstoku,Wydział Informatyki PB; Instytut Informatyki UwB (org.)
  12. A. Korniłowicz
    Sethood Property in Mizar
    12th Conference on Intelligent Computer Mathematics CICM 2019, Prague, Czech Republic, 2019, Jul 8-12
    Czech Institute of Informatics, Robotics, and Cybernetics (CIIRC) of Czech Technical University in Prague (CTU) (org.)
  13. B. Kwa¶niewski
    Noncommutative Cartan subalgebras and aperiodic actions
    International Workshop on Operator Theory and its Applications, IWOTA 2019, Lisbona, Portugalia, 2019, Jul 22-26
    Instituto Superior Tecnico, University of Lisbon (org.)
    (Planowany udział)
  14. U. Ostaszewska
    On consensus of multi-anents systems on time scales
    International Conference on Differential & Difference Equations Applications (ICDDEA), Lizbona, Portugalia, 2019, Jul 1-5
    Academia Militar, Departamento de Ciencias Exactas e Engenharia (org.)
    (Planowany udział)
  15. M. Parfieniuk
    A parallel factorization for generating orthogonal matrices
    13th International Conference on Parallel Processing and Applied Mathematics (PPAM), Białystok, Polska, 2019, Sep 8-11
    Politechnika Częstochowska (org.), IEEE (sponsor)
  16. M. Parfieniuk
    Lifting-based Algorithms for Computing the 4-Point Walsh-Hadamard Transform
    Signal Processing Symposium 2019 (SPSympo 2019), Kraków, Polska, 2019, Sep 17-19
    Politechnika Warszawska / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie (org.), IEEE (sponsor)
  17. K. Petelczyc
    Recovering a projective space from its point subset
    Finite Geometry Workshop 2019, Segedyn, Węgry, 2019, Jan 31 - Feb 3
    University of Szeged (org.)
  18. K. Petelczyc, K. Prażmowski, M. Żynel*
    Geometrie na prostych w biegunowych przestrzeniach jeżowych
    XIII Północne Spotkania Geometryczne, Białystok, 2019, Jun 17-18
    UwB, PTM oddz. Lublin & Gdańsk, UWM, UG (org.)
  19. A. Polewko-Klim
    Drug-target genes and drugs identification for more effective diagnosis and treatment of the squamous-cell carcinoma and adenocarcinoma esophageal cancer. (poster)
    BioInformatics in Torun 2019 - BIT19, Toruń, Polska, 2019, Jun 27-29
    Polskie Towarzystwo Bioinformatyczne (org.)
  20. W. Półjanowicz
    XXI KKIO 2019 Software Engineering Conference, Białystok, Polska, 2019, Sep 11-13
    Polskie Towarzystwo Informatyczne, Wydział Informatyki Politechnika Białostocka, Instytut Informatyki Politechnika Łódzka (org.)
  21. W. Półjanowicz
    Koncepcja przygotowania kursu e-learningowego na platformie LMS/LCMS – parametry techniczne, standardy e-learningu (poster)
    VI Krajowa Konferencja e-Technologie w Kształceniu Inżynierów, Gdańsk, Polska, 2019, Sep 19-20
    Politechnika Gdańska, Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie (org.)
  22. W. Półjanowicz
    Personalizacja kursów e-learningowych w dedykowanych systemach klasy LMS/LCMS – studium przypadku
    Członek Komitetu Organizacyjnego na
    XIV Konferencja Technologie Eksploracji i Reprezentacji Wiedzy, Hołny Mejera, Polska, 2019, Sep 4-7
    Polskie Towarzystwo Informatyczne, Koło PTI w Białymstoku,Wydział Informatyki PB; Instytut Informatyki UwB (org.)
  23. E. Schmeidel
    Exponential stability of solution of system of equations on time scales
    Członek Komitetu Organizacyjnego oraz przewodnicz±cy sesji na
    International Conference on Differential & Difference Equations Applications (ICDDEA), Lizbona, Portugalia, 2019, Jul 1-5
    Academia Militar, Departamento de Ciencias Exactas e Engenharia (org.)
  24. M. Szajewska
    Indices of orbits of Coxeter groups of non-crystallographic type
    The XXVIth International Conference on Integrable Systems and Quantum symmetries, Prague, 2019, Jul 8-12
    Czech Technical University Prague, Bogoliubov Laboratory of Theoretical Physics (org.)
  25. Ł. Szeremeta
    Named Property Graphs
    W3C Workshop on Web Standardization for Graph Data, Berlin, Niemcy, 2019, Mar 4-6
    Neo4j, W3C (org.), Neo4j, Ontotext, Oracle, ArangoDB (sponsor)
  26. Ł. Szeremeta
    Named Property Graphs
    Fifth openCypher Implementers Meeting, Berlin, Niemcy, 2019, Mar 6-7
    openCypher project (org.)
  27. Ł. Szeremeta
    Serialization for Property Graphs
    15th International Conference Beyond Databases Architectures and Structures, Ustroń, Poland, 2019, May 28-31
    Institute of Informatics, Silesian University of Technology, Gliwice, Poland (org.), technically co-sponsored by IEEE (sponsor)
  28. Ł. Szeremeta*, D. Tomaszuk*
    PGDL: A Interoperable Schema Format for Graphs (poster)
    W3C Workshop on Web Standardization for Graph Data, Berlin, Niemcy, 2019, Mar 4-6
    Neo4j, W3C (org.), Neo4j, Ontotext, Oracle, ArangoDB (sponsor)
  29. Ł. Szeremeta*, D. Tomaszuk*
    YARS-PG: Serialization for Property Graphs (poster)
    W3C Workshop on Web Standardization for Graph Data, Berlin, Niemcy, 2019, Mar 4-6
    Neo4j, W3C (org.), Neo4j, Ontotext, Oracle, ArangoDB (sponsor)
  30. M. Żynel
    Recovering a Grassmann space from its point subset
    Finite Geometry Workshop 2019, Segedyn, Węgry, 2019, Jan 31 - Feb 3
    University of Szeged (org.)
Uwagi do prezentowanych tutaj danych proszę kierować do: webmaster@math.uwb.edu.pl .