Conference Information
ITP 2018: International Conference on Interactive Theorem Proving
Submission Date:
Notification Date:
Conference Date:
Oxford, UK
CORE: a   Viewed: 3092   Tracked: 2   Attend: 0
Conference Location
Call For Papers
General Information

The ITP conference series is concerned with all topics related to interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. ITP is the evolution of the TPHOLs conference series to the broad field of interactive theorem proving. TPHOLs meetings took place every year from 1988 until 2009. The ninth ITP conference, ITP 2018, will be held in Oxford, July 9-12, 2018, as part of the Federated Logic Conference 2018.

Scope of Conference

ITP welcomes submissions describing original research on all aspects of interactive theorem proving and its applications. Suggested topics include but are not limited to the following:

    formal aspects of hardware and software
    formalizations of mathematics
    improvements in theorem prover technology
    user interfaces for interactive theorem provers
    formalizations of computational models
    verification of security algorithms
    use of theorem provers in education
    industrial applications of interactive theorem provers
    concise and elegant worked examples of formalizations (proof pearls)
Last updated by Dou Sun in 2017-09-30
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICT4SInternational Conference on ICT for Sustainability2016-04-182016-06-142016-08-30
3CEAsia Conference on Communications and Computer Engineering2021-04-152021-05-152021-10-14
ba*a2COLTAnnual Conference on Learning Theory2021-01-292021-05-142021-08-15
IFCAE-IOTInternational Forum on Construction, Aviation and Environmental Engineering-Internet of Things2018-04-302018-05-052018-05-11
MATInternational Conference of Advances in Materials Science and Engineering2020-11-292021-01-102021-02-20
WSSEThe World Symposium on Software Engineering 2021-06-302021-07-202021-09-24
bb1LATINLatin American Symposium on Theoretical Informatics2013-09-172013-12-022014-03-31
QoMEXInternational Conference on Quality of Multimedia Experience2018-01-152018-02-262018-05-29
ICT4AWEInternational Conference on Information and Communication Technologies for Ageing Well and e-Health2015-12-072016-02-012016-04-21
CCIOTInternational conference on cloud computing and Internet of things2021-07-102021-07-302021-09-22
Related Journals
CCFFull NameImpact FactorPublisherISSN
Interactive Learning Environments1.929Taylor & Francis1049-4820
Journal of Cyber Security and MobilityRiver Publishers2245-1439
bComputational Complexity0.487Springer1016-3328
aIEEE Transactions on Information Theory2.728IEEE0018-9448
IEEE Pervasive Computing4.418IEEE1536-1268
bIEEE Transactions on Affective Computing6.288IEEE1949-3045
Journal of Internet Technology0.481Taiwan Academic Network1607-9264
bACM Transactions on Internet Technology1.489ACM1533-5399
Physics of Life Reviews14.79Elsevier1571-0645
ACM Transactions on Interactive Intelligent SystemsACM2160-6455