10times
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.

Timings

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

Entry Fees

Check Official Website

Participants

upto 100 DelegatesEstimated Count

Category & Type

Conference
Science & Research
Education & Training

Editions

08-13 Sep 2019 Interested


Frequency Newly Listed

Official Links

Website Contacts


Report Error
Claim this event

Organizer

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
USA

Get Directions

Featured Hotels in Portland

More Hotels