10th Edition  Conference

Conference On Interactive Theorem Proving

The Conference On Interactive Theorem Proving provides the attendees with the opportunity to gain information relating to Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects to applications in program verification, security, and formalization of mathematics.


09:00 AM-06:00 PM (expected)
Not Verified

Entry Fees

Check Official Website


upto 100 DelegatesEstimated Count

Category & Type

Science & Research
Education & Training


08-13 Sep 2019 Interested

Frequency Newly Listed

Official Links

Website Contacts

Report Error
Claim this event


Logo Send Stall Book Request

Portland State University USA

19 events listed
+ Add me as user

User Community [Users who have shown interest for this Event]

Yvette McLain

Yvette McLain

Green witch at KPEMM Artistry Portland, United States
Share Alwadian

Share Alwadian

Partner at - Prince Sattam Bin Abdul-aziz University Riyadh, Saudi Arabia
Share Aiyed M Aldosari

Share Aiyed M Aldosari

Prof. at PSAU Riyadh, Saudi Arabia
45.511757 -122.684286

Venue Map & Directions

map of Portland State University

Portland State University

1825 SW Broadway, Portland, OR 97201

Get Directions

Featured Hotels in Portland

More Hotels