Instytut Informatyki : Konferencje

  1. 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.)
  2. 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ł)
  3. A. Gomolińska*, M. Wolski
    Mathematical Foundations of Rough Set Data Analysis
    8th Podlasie Conference on Mathematics (8th PCM), Białystok, Poland, 2019, Dec 5-8
    Polskie Towarzystwo Matematyczne Oddział Białostocki, we współpracy z Politechnik± Białostock± i Uniwersytetem w Białymstoku (org.)
  4. 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.)
  5. 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.)
  6. 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.)
  7. 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.)
  8. 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.)
  9. 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.)
  10. 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.)
  11. 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)
  12. 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)
  13. 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.)
  14. 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.)
  15. 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.)
  16. W. Półjanowicz²
    Personalizacja kursów e-learningowych w dedykowanych systemach klasy LMS/LCMS – studium przypadku
    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.)
  17. E. Schmeidel¹²
    Exponential stability of solution of system of equations 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.)
  18. E. Schmeidel¹
    On some properties of nonlinear systems of difference equations applied in modelling of microeconomic phenomena (invited talk)
    25th International Conference on Difference Equations and Applications, Londyn, Anglia, 2019, Jun 24-28
    UCL Mathematical & Physical Sciences (org.)
    (a plenary talk)
  19. Ł. 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)
  20. Ł. Szeremeta
    Named Property Graphs
    Fifth openCypher Implementers Meeting, Berlin, Niemcy, 2019, Mar 6-7
    openCypher project (org.)
  21. Ł. 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)
  22. Ł. 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)
  23. Ł. 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)
  24. M. Zdanowicz
    Asymptotically periodic solution of system of nonlinear neutral difference equations with delays
    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ł)
  25. B. Łupińska
    The Lapunov-type inequality with Katugampola fractional derivative
    8th Podlasie Conference on Mathematics (8th PCM), Białystok, Poland, 2019, Dec 5-8
    Polskie Towarzystwo Matematyczne Oddział Białostocki, we współpracy z Politechnik± Białostock± i Uniwersytetem w Białymstoku (org.)
  • * Prezentacja
  • ¹ Przewodnicz±cy sesji
  • ² Członek Komitetu Organizacyjnego
Uwagi do prezentowanych tutaj danych proszę kierować do: webmaster@math.uwb.edu.pl