Edit EventSeries: ITP

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.

General Information[edit]

Acronym: Acronym of the event series such as "ESWC", if same event name exists, it will be ignored.
Title: Full title of the given event series, e.g. "European Semantic Web Conference"
Twitter user/hashtag: User account or hashtag used on Twitter for the event (e.g. @EKAWConf2014)
Logo: Upload file
Proceedings Bibliography: Link to the proceedings bibliography (e.g. on DBLP) and without http://
CORE2017 Rank: Rank in the CORE2017 Conference Ranking
SC members: Steering Committee Members
Field *: Scientific field of the event, multiple fields can be separated by comma
Repeat every:
Homepage: URL of the homepage

Event series historical notes:

Cancel

Retrieved from "https://www.openresearch.org/wiki/ITP"
Facts about "ITP"
RDF feed
EventSeries acronymITP +
Has CORE RankA +
IsAEventSeries +
TitleConference on Interactive Theorem Proving (previously TPHOLs, changed in 2009) +