Conference Information
ITP 2018: International Conference on Interactive Theorem Proving
Submission Date:
Notification Date:
Conference Date:
Oxford, UK
CORE: a   Viewed: 1967   Tracked: 1   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-02-102021-02-252021-03-11
ba*a2COLTAnnual Conference on Learning Theory2020-01-312020-05-012020-07-09
IFCAE-IOTInternational Forum on Construction, Aviation and Environmental Engineering-Internet of Things2018-04-302018-05-052018-05-11
bb1LATINLatin American Symposium on Theoretical Informatics2013-09-172013-12-022014-03-31
MATInternational Conference of Advances in Materials Science and Engineering2020-01-042020-01-272020-06-27
WSSEThe World Symposium on Software Engineering 2020-07-102020-07-302020-09-25
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 things2020-07-312020-08-152020-09-22
Related Journals
CCFFull NameImpact FactorPublisherISSN
Interactive Learning Environments1.929Taylor & Francis1049-4820
Journal of Cyber Security and MobilityRiver Publishers2245-1439
aIEEE Transactions on Information Theory2.728IEEE0018-9448
bComputational Complexity0.487Springer1016-3328
bACM Transactions on Internet Technology1.489ACM1533-5399
bIEEE Transactions on Affective Computing6.288IEEE1949-3045
Journal of Internet Technology0.481Taiwan Academic Network1607-9264
IEEE Pervasive Computing3.022IEEE1536-1268
ACM Transactions on Interactive Intelligent SystemsACM2160-6455
Physics of Life Reviews11.04Elsevier1571-0645