{
 "generated": "2026-08-14T14:58:38.365239+00:00",
 "source": "https://www.conferences-computer.science/synt/",
 "licence": "CC BY-SA 4.0",
 "acronym": "SYNT",
 "name": "International Workshop on Synthesis",
 "count": 9,
 "editions": [
  {
   "slug": "synt",
   "acronym": "SYNT",
   "year": "2014",
   "edition": 3,
   "title": "3rd Workshop on Synthesis",
   "url": "http://vsl2014.at/synt",
   "page": "https://www.conferences-computer.science/synt/2014/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2014-04-25",
   "paper_deadline_announced": "2014-04-25",
   "paper_extended_days": 0,
   "notification": "2014-06-03",
   "timezone": null,
   "event_start": "2014-07-23",
   "event_end": "2014-07-24",
   "city": "Vienna, Austria",
   "country": "AT",
   "continent": "EU",
   "lat": 48.2082,
   "lon": 16.3738,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages EPTCS (regular) / 7 pages (tool papers)",
   "dblp": "synt"
  },
  {
   "slug": "synt",
   "acronym": "SYNT",
   "year": "2015",
   "edition": 4,
   "title": "4th Workshop on Synthesis",
   "url": "http://formal.epfl.ch/synt/2015/",
   "page": "https://www.conferences-computer.science/synt/2015/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2015-04-24",
   "paper_deadline_announced": "2015-04-24",
   "paper_extended_days": 0,
   "notification": "2015-06-02",
   "timezone": null,
   "event_start": "2015-07-18",
   "event_end": null,
   "city": "San Francisco, CA, USA",
   "country": "US",
   "continent": "NA",
   "lat": 37.7749,
   "lon": -122.4194,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "4-16 pages EPTCS + references",
   "dblp": "synt"
  },
  {
   "slug": "synt",
   "acronym": "SYNT",
   "year": "2016",
   "edition": 5,
   "title": "5th Workshop on Synthesis",
   "url": "http://formal.epfl.ch/synt/2016/",
   "page": "https://www.conferences-computer.science/synt/2016/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2016-05-06",
   "paper_deadline_announced": "2016-04-22",
   "paper_extended_days": 14,
   "notification": "2016-05-30",
   "timezone": null,
   "event_start": "2016-07-17",
   "event_end": null,
   "city": "Toronto, Canada",
   "country": "CA",
   "continent": "NA",
   "lat": 43.6532,
   "lon": -79.3832,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages EPTCS + references (long) / 7 pages + references (tool)",
   "dblp": "synt"
  },
  {
   "slug": "synt",
   "acronym": "SYNT",
   "year": "2017",
   "edition": 6,
   "title": "6th Workshop on Synthesis",
   "url": "https://www.react.uni-saarland.de/synt2017/",
   "page": "https://www.conferences-computer.science/synt/2017/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2017-05-01",
   "paper_deadline_announced": "2017-05-01",
   "paper_extended_days": 0,
   "notification": "2017-05-29",
   "timezone": null,
   "event_start": "2017-07-22",
   "event_end": null,
   "city": "Heidelberg, Germany",
   "country": "DE",
   "continent": "EU",
   "lat": 49.3988,
   "lon": 8.6724,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages EPTCS + references (long) / 7 pages + references (tool)",
   "dblp": "synt"
  },
  {
   "slug": "synt",
   "acronym": "SYNT",
   "year": "2018",
   "edition": 7,
   "title": "7th Workshop on Synthesis",
   "url": "http://synt2018.seas.ucla.edu/",
   "page": "https://www.conferences-computer.science/synt/2018/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2018-05-01",
   "paper_deadline_announced": "2018-05-01",
   "paper_extended_days": 0,
   "notification": "2018-05-08",
   "timezone": null,
   "event_start": "2018-07-18",
   "event_end": null,
   "city": "Oxford, England",
   "country": "GB",
   "continent": "EU",
   "lat": 51.752,
   "lon": -1.2577,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages EPTCS + references (long) / 7 pages + references (tool)",
   "dblp": "synt"
  },
  {
   "slug": "synt",
   "acronym": "SYNT",
   "year": "2019",
   "edition": 8,
   "title": "8th Workshop on Synthesis",
   "url": "https://cs.nyu.edu/acsys/synt2019/",
   "page": "https://www.conferences-computer.science/synt/2019/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2019-05-10",
   "paper_deadline_announced": "2019-05-03",
   "paper_extended_days": 7,
   "notification": "2019-06-03",
   "timezone": null,
   "event_start": "2019-07-14",
   "event_end": null,
   "city": "New York, NY, USA",
   "country": "US",
   "continent": "NA",
   "lat": 40.7128,
   "lon": -74.006,
   "online": false,
   "publisher": "informal",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "3 pages ACM",
   "dblp": "synt"
  },
  {
   "slug": "synt",
   "acronym": "SYNT",
   "year": "2022",
   "edition": 11,
   "title": "11th Workshop on Synthesis",
   "url": "https://www.cs.technion.ac.il/~shaull/SYNT2022/",
   "page": "https://www.conferences-computer.science/synt/2022/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2022-05-10",
   "paper_deadline_announced": "2022-05-10",
   "paper_extended_days": 0,
   "notification": "2022-05-31",
   "timezone": null,
   "event_start": "2022-08-11",
   "event_end": null,
   "city": "Haifa, Israel",
   "country": "IL",
   "continent": "AS",
   "lat": 32.794,
   "lon": 34.9896,
   "online": false,
   "publisher": "informal",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages ACM (full) / 3 pages ACM (abstract)",
   "dblp": "synt"
  },
  {
   "slug": "synt",
   "acronym": "SYNT",
   "year": "2025",
   "edition": 14,
   "title": "14th Workshop on Synthesis",
   "url": "https://synt2025.github.io/",
   "page": "https://www.conferences-computer.science/synt/2025/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2025-05-18",
   "paper_deadline_announced": "2025-05-18",
   "paper_extended_days": 0,
   "notification": "2025-06-03",
   "timezone": "AoE",
   "event_start": "2025-07-22",
   "event_end": null,
   "city": "Zagreb, Croatia",
   "country": "HR",
   "continent": "EU",
   "lat": 45.815,
   "lon": 15.9819,
   "online": false,
   "publisher": "informal",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "3 pages LNCS (extended abstract)",
   "dblp": "synt"
  },
  {
   "slug": "synt",
   "acronym": "SYNT",
   "year": "2026",
   "edition": 15,
   "title": "15th International Workshop on Synthesis",
   "url": "https://synt2025.github.io/",
   "page": "https://www.conferences-computer.science/synt/2026/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2026-05-01",
   "paper_deadline_announced": "2026-05-01",
   "paper_extended_days": 0,
   "notification": "2026-05-14",
   "timezone": "AoE",
   "event_start": "2026-07-25",
   "event_end": null,
   "city": "Lisbon, Portugal",
   "country": "PT",
   "continent": "EU",
   "lat": 38.7223,
   "lon": -9.1393,
   "online": false,
   "publisher": "informal",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "3 pages LNCS (extended abstract) + references",
   "dblp": "synt"
  }
 ]
}