; Formalization of the Jordan Curve Theorem in MizarInternational Congress of Mathematicians 2006, Madrid, Spain, Aug 22-30, 2006
; 5th International Conferences on Intelligent Computer Mathematics, Bremen, Germany, Jul 8-13, 2012; Jacobs University (org.)
; Tentative Experiments with Ellipsis in Mizar5th International Conferences on Intelligent Computer Mathematics, Bremen, Germany, Jul 8-13, 2012; Jacobs University (org.)
A. Gomolińska; Introduction to the Mizar proof-assistantThird Indian School on Logic and its Applications, Gachibowli, India, Jan 18-29, 2010; University of Hyderabad (org.)
A. Gomolińska; Practical presentation of Mizar and the contents of Mizar Mathematical LibraryThird Indian School on Logic and its Applications, Gachibowli, India, Jan 18-29, 2010; University of Hyderabad (org.)
A. Gomolińska, M. Wolski; Code Europe 2016, Warszawa, Dec 7, 2016; Team Code Europe (org.)
B. Kwaśniewski; Mixed boundary valued problemApplication of Discrete Symmetries 2016, Děčín, Czech Republic, Aug 1-4, 2016
S. Stepin; RDF Data in Property Graph Model10th International Conference on Metadata and Semantics Research, Göttingen, Germany, Nov 22-25, 2016; MTSR Group (org.)
A. Antonevich; Coherent States and their Applications: A Contemporary Panorama, Marseille, France, Nov 14-18, 2016; Centre International de Rencontres Mathématiques (org.)
A. Antonevich; Classical and quantum Kummer shape algebrasCoherent States and their Applications: A Contemporary Panorama, Marseille, France, Nov 14-18, 2016; Centre International de Rencontres Mathématiques (org.)
