ITP 2023 Organization

Program co-chairs

Adam Naumowicz (University of Bialystok)
René Thiemann (University of Innsbruck)

Program Committee

Andreas AbelGothenburg University
Jesús AransayUniversidad de La Rioja
Jeremy AvigadCarnegie Mellon University
Mauricio Ayala-RinconUniversidade de Brasília
Christoph BenzmüllerUniversity of Bamberg
Jasmin BlanchetteVrije Universiteit Amsterdam
Sandrine BlazyUniversity of Rennes 1 – IRISA
Sylvie BoldoInria and Université Paris-Saclay
Cyril CohenUniversité Côte d'Azur - Inria
Liron CohenBen-Gurion University
Luis Cruz-FilipeUniversity of Southern Denmark
Ruben GamboaUniversity of Wyoming
Jason GrossMassachusetts Institute of Technology
John HarrisonAmazon Web Services
Hugo HerbelinINRIA
Cezary KaliszykUniversity of Innsbruck
Chantal KellerUniversité Paris-Saclay
Peter LammichUniversity of Twente
Andreas LochbihlerDigital Asset GmbH
Marco MaggesiUniversità degli Studi Firenze
Assia MahboubiINRIA
Magnus O. MyreenChalmers University of Technology
Cláudia NalonUniversity of Brasília
Adam Naumowicz (co-chair)University of Bialystok
Tobias NipkowTechnical University of Munich
Michael NorrishAustralian National University
John O’LearyIntel
Lawrence PaulsonUniversity of Cambridge
Andrei PopescuUniversity of Sheffield
Bas SpittersAarhus University
René Thiemann (co-chair)University of Innsbruck
Josef UrbanCzech Technical University in Prague
Freek WiedijkRadboud University Nijmegen
Akihisa YamadaNational Institute of Advanced Industrial Science and Technology
Local organizers
Mizar group at the University of Bialystok (UwB) and Polish Information Processing Society (PTI) - Sekcja Analizy Danych
  • Artur Kornilowicz (UwB, PTI)
  • Adam Grabowski (UwB, PTI)
  • Karol Pak (UwB)
  • Czeslaw Bylinski (UwB)
  • Roman Matuszewski (UwB)
Extra motivation for organizing the meeting in 2023 - 50 years of the Mizar project

From R. Matuszewski and P. Rudnicki - MIZAR: the first 30 years:

(...) The first presentation of the MIZAR ideology understood here as visionary speculation was presented by Andrzej [Trybulec] on November 14, 1973 at a seminar in the Institute of Library Science and Scientific Information at Warsaw University. During the seminar Andrzej postulated a language for recording mathematical papers such that:

  • the papers could be stored in a computer and later, at least partially, translated into natural languages,
  • the papers would be formal and concise,
  • it would form a basis for the construction of an automated information system for mathematics,
  • it would facilitate detection of errors, verification of references, elimination of repeated theorems, etc.
  • it would open a way to machine assisted education of the art of proving theorems,
  • it would enable automated generation of input into typesetting systems.

If you have any problems or questions, please contact us via e-mail at: