Conferences and Workshops:

• ITP 2022  Thirteenth International Conference, Interactive Theorem Proving, ITP 2022, Haifa, Israel, 2022, August 7-10, 2022
  [BibTex, Publisher's site, PDF(openaccess)]
• CICM 2021  14th Conference on Intelligent Computer Mathematics, Timisoara, Romania, July 26-31, 2021.
  • FMM 2021  Fifth Workshop on Formal Mathematics for Mathematicians.
    [PDF (preprint)]
• ITP 2019  Tenth International Conference, Interactive Theorem Proving, Portland, OR, USA, September 8-13, 2019
  [BibTex, Publisher's site, PDF(openaccess)]
  [BibTex, Publisher's site, PDF(openaccess)]
• CICM 2019  12th Conference on Intelligent Computer Mathematics, CIIRC, Prague, Czech Republic, July 8-12, 2019.
  • MKM  Mathematical Knowledge Management.
    [BibTex, Publisher's site, PDF (preprint)]
• FedCSIS 2018   Federated Conference on Computer Science and Information Systems, Poznan, Poland, September 9-12, 2018.
  • AIRIM'18  3rd International Workshop on AI aspects of Reasoning, Information, and Memory.
    [BibTex, Publisher's site, PDF(openaccess), PDF]
    [BibTex, Publisher's site, PDF(openaccess), PDF]
• CICM 2018  11th Conference on Intelligent Computer Mathematics, RISC, Hagenberg, Austria, August 13-17, 2018.
  • MKM  Mathematical Knowledge Management.
    [BibTex, Publisher's site, PDF (preprint)]
  • FM4M  Formal Mathematics for Mathematicians.
    [PDF (preprint)]
• AITP 2018  3rd Conference on Artificial Intelligence and Theorem Proving, Aussois, France, 25-30 Mar, 2018. [PDF]
• MACIS 2017  7th International Conference on Mathematical Aspects of Computer and Information Sciences, Vienna, Austria, November 15-17, 2017.
  [BibTex, Publisher's site, PDF(preprint)]
• FedCSIS 2017  Federated Conference on Computer Science and Information Systems, Praga, Czech Republic, September 3-6, 2017.
  • AIRIM'17  2nd International Workshop on AI aspects of Reasoning, Information, and Memory.
    [BibTex, Publisher's site, PDF(openaccess)]
    [BibTex, Publisher's site, PDF(openaccess)]
• CICM 2017  10th Conference on Intelligent Computer Mathematics, Edinburgh, Scotland, July 17-21, 2017.
  • MKM  Mathematical Knowledge Management.
    [BibTex, Publisher's site, PDF (preprint)]
• AITP 2017  2nd Conference on Artificial Intelligence and Theorem Proving, Obergurgl, Austria, 26-30 Mar, 2017. [PDF]
• CICM 2016  9th Conference on Intelligent Computer Mathematics, Bialystok, Poland, July 25-29, 2016.
  • MKM  Mathematical Knowledge Management - Work in progress
    [BibTex, Publisher's site, PDF(openaccess)]
    [BibTex, Publisher's site, PDF(openaccess)]
  • FM4M  Formal Mathematics for Mathematicians.
    [BibTex, Publisher's site, PDF(openaccess)]
• CPP 2016  The 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, Florida, USA, January 18-19, 2016.
  [BibTex, Publisher, PDF(openaccess)]
• PIW  2nd Prague Inter-reasoning Workshop, Praga, Czech Republic, November 7–11, 2015. K. Pąk, Encoding Mizar in Isabelle.
• CICM 2015  9th Conference on Intelligent Computer Mathematics, Washington DC, USA, July 13-17, 2015.
  • MKM  Mathematical Knowledge Management - Work in progress.
    [BibTex, Publisher's site, PDF(preprint)]
    [BibTex, Publisher's site]
  • FM4M  Formal Mathematics for Mathematicians. [PDF]
• CICM 2014  8th Conference on Intelligent Computer Mathematics, Coimbra, Portugal, July 7-11, 2014.
  • MKM  Mathematical Knowledge Management .
    [BibTex, Publisher's site, PDF(preprint)]
• PCM 2014  6th Podlasie Conference on Mathematics, Białystok, Poland, July 1-4, 2014
  • Track: Computer-assisted Formalization of Mathematics - In memoriam of Andrzej Trybulec.
    [BibTex, Publisher, PDF(openaccess)]
• Formalization of mathematics in proof assistants, Institut Henri Poincare, Paris, France, May 5-9, 2014. K. Pąk, Formalization of n-dimensional manifolds in Mizar.
• TERW 2014  9th Conference on Technologies of Knowledge Exploration and Representation, Hołny Mejera, Poland, September 17 - 20, 2014. K. Pąk, Improving Legibility of Proof Scripts Based on SMT Technology.
• TERW 2013  8th Conference on Technologies of Knowledge Exploration and Representation, Hołny Mejera, Poland, September 25 - 28, 2013. K. Pąk, Improving Legibility of Formal Proofs Based on Quantity of Introduced Labels.
  [Extended Version: BibTex, Publisher, PDF(openaccess)]
• TERW 2012  7th Conference on Technologies of Knowledge Exploration and Representation, Hołny Mejera, Poland, September 12 - 15, 2012. K. Pąk, The Complexity of Improving Legibility Problems in Natural Deduction Proofs. [Extended Version: BibTex, arXiv, PDF(openaccess)]
• TERW 2011  6th Conference on Technologies of Knowledge Exploration and Representation, Hołny Mejera, Poland, September 7 - 10, 2011. K. Pąk, Towards a Lemma Extraction in Natural Deduction Proofs. [Extended Version: BibTex, Publisher's site, PDF(openaccess)]
• TERW 2010  5th Conference on Technologies of Knowledge Exploration and Representation, Hołny Mejera, Poland, September 15 - 18, 2010. K. Pąk, Selected Algorithms of Improving Legibility in Natural Deduction Proofs [Extended Version: BibTex, Publisher's site, PDF(openaccess)]
• CICM 2010 Conference on Intelligent Computer Mathematics, Paris, France, July 5-10, 2010.
  • MathUI  6th Workshop on Mathematical User-Interfaces. K. Pąk, The Methods of Improving and Reorganizing Natural Deduction Proofs
    [Extended Version: BibTex, Publisher's site, PDF(openaccess)]
• II Północne Spotkanie Geometryczne, Olsztyn, Poland, Jun 23-24, 2008. K. Pąk, The Doubel Partial Linear Spaces.
• I Północne Spotkanie Geometryczne, Olsztyn, Poland, Jun 1-3, 2007. K. Pąk, Obcięta Przestrzeń Afiniczna i jej Automorfizm.