W dniach 31 lipiec-4 sierpień 2023 r. odbędzie się w Białymstoku 14. edycja międzynarodowej konferencji Interactive Theorem Proving (ITP), której historia sięga 1988 roku. ITP zajmuje się aspektami interaktywnego dowodzenia twierdzeń i jego zastosowań. Szczegółowe tematy obejmują między innymi:
- formalizację modeli obliczeniowych,
- ulepszenia technologii dowodzenia twierdzeń,
- formalizację matematyki,
- integrację z automatycznymi programami dowodzenia twierdzeń,
- weryfikację algorytmów bezpieczeństwa,
- zastosowania przemysłowe interaktywnych programów dowodzenia twierdzeń,
- aspekty dotyczące sprzętu i oprogramowania,
- interfejsy interaktywnych programów dowodzenia twierdzeń,
- wykorzystanie programów dowodzenia twierdzeń w edukacji,
- przykłady formalizacji.
Szczególną motywacją do zorganizowania edycji 2023 konferencji ITP w Białymstoku była okrągła rocznica 50-lecia projektu Mizar. Pierwszą prezentację ideologii systemu Mizar, rozumianej wtedy jeszcze jako wizjonerską spekulację, przedstawił Andrzej Trybulec 14 listopada 1973 r. na seminarium w Instytucie Bibliotekoznawstwa i Informacji Naukowej Uniwersytetu Warszawskiego.
Podczas konferencji odbędą się trzy workshop-y, z tym jeden dotyczący właśnie 50-lecia powstania projektu Mizar.
Głównym organizatorem konferencji jest Instytut Informatyki Uniwersytetu w Białymstoku, współorganizatorem jest Sekcja Analizy Danych Polskiego Towarzystwa Informatycznego.
Terminy rejestracji na konferencję już minęły, jednak każdy członek PTI może wziąć udział w przedstawianych podczas konferencji wykładach, prezentacjach i workshop-ach, bez konieczności rejestracji oraz ponoszenia opłat rejestracyjnych. Szczegółowe informacje znajdują się na stronie konferencji: https://mizar.uwb.edu.pl/ITP2023/
W imieniu organizatorów serdecznie zapraszam!
Przewodniczący Sekcji Analizy Danych PTI
dr hab. Robert Milewski, prof. UMP