Record Beta
TAP 2010
https://id.confref.org/data/confident/30606
This record is part of the confref event International Conference of Tests and Proofs.
| rdf:type | cf:Category_Event |
|---|---|
| schema:location | Málaga (wd:Q8851) |
| rdfs:label | TAP 2010 |
| cf:Acronym | TAP 2010 |
| cf:City | ES/AN/Málaga |
| cf:Country | https://id.confref.org/data/confident/31058 |
| cf:Country_Missing | false |
| cf:Creation_date | 2022-09-02T06:47:55 |
| cf:Display_Title | TAP 2010 |
| cf:End_Date | 2010-07-02 |
| cf:Event_Mode | on site |
| cf:Event_Status | as scheduled |
| cf:Has_Metric | false |
| cf:In_Event_Series | https://id.confref.org/data/confident/30602 |
| cf:Modification_date | 2022-09-22T18:27:01 |
| cf:Month | 7 |
| cf:Official_Website | https://www.st.cs.uni-saarland.de/tap2010/ |
| cf:Ordinal | 4 |
| cf:Organizer_Missing | true |
| cf:Single_Day_Event | no |
| cf:Start_Date | 2010-07-01 |
| cf:Start_Date_Missing | false |
| cf:Title | International Conference of Tests and Proofs |
| cf:Year | 2010 |
| cf:page | https://www.confident-conference.org/index.php/Event:A8958bbe-8589-4765-9a36-05a40d1d79fd |
| cf:pageTitle | Event:A8958bbe-8589-4765-9a36-05a40d1d79fd |
| cr:sameAs | wd:Q106335640 |
| cr:sameAs | https://dblp.org/db/conf/tap/tap2010 |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.