View source for Event Series:ITP

From ConfIDent

← ITP - Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)

Jump to:navigation, search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

You can view and copy the source of this page.

{{Main Image}}
{{Event Series
|Title=Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
|Acronym=ITP
|pageCreator=User:Curator 89
|pageEditor=User:Curator 89
|contributionType=1
}}
{{Event Series Related Identifier}}
{{Event Series CORE Ranking
|CORE Rank Year=2017
|CORE Rank=A
}}
{{S Event Series}}

Templates used on this page:

Template:Event Series (view source) (protected)
Template:Event Series CORE Ranking (view source) (protected)
Template:Event Series Related Identifier (view source) (protected)
Template:G (view source) (protected)
Template:Main Image (view source) (protected)
Template:Query:Events In Event Series Filtered (view source) (protected)
Template:S Event Series (view source) (protected)

Return to ITP - Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009).

Retrieved from "https://www.confident-conference.org:443/index.php/Event_Series:ITP"

Cookies help us deliver our services. By using our services, you agree to our use of cookies.