{
 "generated": "2026-08-13T08:58:19.515540+00:00",
 "source": "https://www.conferences-computer.science/utp/",
 "licence": "CC BY-SA 4.0",
 "acronym": "UTP",
 "name": "International Symposium on Unifying Theories of Programming",
 "count": 2,
 "editions": [
  {
   "slug": "utp",
   "acronym": "UTP",
   "year": "2016",
   "edition": 6,
   "title": "6th International Symposium on Unifying Theories of Programming",
   "url": "http://utp2016.ecnu.edu.cn",
   "page": "https://www.conferences-computer.science/utp/2016/",
   "status": null,
   "abstract_deadline": "2016-02-19",
   "paper_deadline": "2016-03-04",
   "paper_deadline_announced": "2016-03-04",
   "paper_extended_days": 0,
   "notification": "2016-04-15",
   "timezone": null,
   "event_start": "2016-06-04",
   "event_end": "2016-06-05",
   "city": "Reykjavík, Iceland",
   "country": "IS",
   "continent": "EU",
   "lat": 64.1466,
   "lon": -21.9426,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS",
   "dblp": null
  },
  {
   "slug": "utp",
   "acronym": "UTP",
   "year": "2019",
   "edition": 7,
   "title": "7th International Symposium on Unifying Theories of Programming",
   "url": "https://www.cs.york.ac.uk/circus/utp2019/",
   "page": "https://www.conferences-computer.science/utp/2019/",
   "status": null,
   "abstract_deadline": "2019-10-08",
   "paper_deadline": "2019-10-08",
   "paper_deadline_announced": "2019-10-08",
   "paper_extended_days": 0,
   "notification": null,
   "timezone": null,
   "event_start": "2019-10-08",
   "event_end": null,
   "city": "Porto, Portugal",
   "country": "PT",
   "continent": "EU",
   "lat": 41.1579,
   "lon": -8.6291,
   "online": false,
   "publisher": "Springer",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "Springer",
   "dblp": null
  }
 ]
}
