C. Bagiński; Mizar: a formal logical-algebraic approach to mathematics7th European Congress of Mathematics, Berlin, Germany, Jul 17-23, 2016; European Mathematical Society (org.)
M. Muzalewski; Equality in computer proof-assistants10th Federated Conference on Computer Science and Information Systems, Łódź, Poland, Sep 13-16, 2015; Polish Information Processing Society (org.)
M. Muzalewski; Medical Distance Education - Good Practices7th Annual International Scientific Conference Theoretical and Practical Aspects of Distance Learning, Cieszyn, Poland, Oct 12-13, 2015; University of Silesia, Faculty of Ethnology and
M. Muzalewski; Communication Tools in E-Learning Portals7th Annual International Scientific Conference Theoretical and Practical Aspects of Distance Learning, Cieszyn, Poland, Oct 12-13, 2015; University of Silesia, Faculty of Ethnology and Sciences
M. Muzalewski, A. Stocka, M. Zdanowicz; Social networking services vs. e-learning portals in medical educationX Konferencja Technologie Eksploracji i Reprezentacji Wiedzy, Hołny Mejera, Sep 9-12, 2015; Polskie Towarzystwo Informatyczne (org.)
M. Muzalewski, A. Stocka, M. Zdanowicz; Management of e-learning portal for medical educationX Konferencja Technologie Eksploracji i Reprezentacji Wiedzy, Hołny Mejera, Sep 9-12, 2015; Polskie Towarzystwo Informatyczne (org.)
M. Muzalewski, A. Stocka, M. Zdanowicz; Modele badania efektywności zdalnego nauczania w edukacji medycznejX Konferencja Technologie Eksploracji i Reprezentacji Wiedzy, Hołny Mejera, Sep 9-12, 2015; Polskie Towarzystwo Informatyczne (org.)
M. Muzalewski; Koncepcja współpracy nauczyciela matematyki i nauczyciela informatyki w zakresie przygotowania ucznia do korzystania ze środków multimedialnych w kształceniu matematycznym2nd East-West Conference on Mathematics Education, Warsaw,
M. Muzalewski; Afinizacja produktu Segre zanurzalnych przestrzeni Grassmanna: zastosowania i przykładyX Północne Spotkania Geometryczne, Olsztyn, Jun 29-30, 2016; PTM, UWM, UG (org.)
M. Muzalewski; „Regularne” przestrzenie GrassmannaX Północne Spotkania Geometryczne, Olsztyn, Jun 29-30, 2016; PTM, UWM, UG (org.)
