{
 "generated": "2026-08-13T11:47:39.312275+00:00",
 "source": "https://www.conferences-computer.science/fscd/",
 "licence": "CC BY-SA 4.0",
 "acronym": "FSCD",
 "name": "International Conference on Formal Structures for Computation and Deduction",
 "count": 3,
 "editions": [
  {
   "slug": "fscd",
   "acronym": "FSCD",
   "year": "2020",
   "edition": 5,
   "title": "5th International Conference Formal Structures for Computation and Deduction",
   "url": "http://fscd2020.org/",
   "page": "https://www.conferences-computer.science/fscd/2020/",
   "status": null,
   "abstract_deadline": "2020-02-06",
   "paper_deadline": "2020-02-09",
   "paper_deadline_announced": "2020-02-09",
   "paper_extended_days": 0,
   "notification": "2020-04-13",
   "timezone": "AoE",
   "event_start": "2020-06-29",
   "event_end": "2020-07-05",
   "city": "Paris, France",
   "country": "FR",
   "continent": "EU",
   "lat": 48.8566,
   "lon": 2.3522,
   "online": false,
   "publisher": "LIPIcs",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LIPIcs + references",
   "dblp": "fscd"
  },
  {
   "slug": "fscd",
   "acronym": "FSCD",
   "year": "2025",
   "edition": 10,
   "title": "10th International Conference on Formal Structures for Computation and Deduction",
   "url": "https://fscd2025.github.io/",
   "page": "https://www.conferences-computer.science/fscd/2025/",
   "status": null,
   "abstract_deadline": "2025-02-17",
   "paper_deadline": "2025-02-22",
   "paper_deadline_announced": "2025-02-17",
   "paper_extended_days": 5,
   "notification": "2025-04-30",
   "timezone": "AoE",
   "event_start": "2025-07-15",
   "event_end": "2025-07-18",
   "city": "Birmingham, UK",
   "country": "GB",
   "continent": "EU",
   "lat": 52.4862,
   "lon": -1.8904,
   "online": false,
   "publisher": "LIPIcs",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LIPIcs + references",
   "dblp": "fscd"
  },
  {
   "slug": "fscd",
   "acronym": "FSCD",
   "year": "2026",
   "edition": 10,
   "title": "10th International Conference on Formal Structures for Computation and Deduction",
   "url": "https://fscd2026.github.io/",
   "page": "https://www.conferences-computer.science/fscd/2026/",
   "status": null,
   "abstract_deadline": "2026-01-23",
   "paper_deadline": "2026-01-30",
   "paper_deadline_announced": "2026-01-30",
   "paper_extended_days": 0,
   "notification": "2026-04-16",
   "timezone": "AoE",
   "event_start": "2026-07-20",
   "event_end": "2026-07-23",
   "city": "Lisbon, Portugal",
   "country": "PT",
   "continent": "EU",
   "lat": 38.7223,
   "lon": -9.1393,
   "online": false,
   "publisher": "LIPIcs",
   "license": "cc-by",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LIPIcs + references",
   "dblp": "fscd"
  }
 ]
}