{
 "generated": "2026-08-17T15:38:26.328356+00:00",
 "source": "https://www.conferences-computer.science/ifs/",
 "licence": "CC BY-SA 4.0",
 "acronym": "iFS",
 "name": "International Conference on Foundations and Formal Methods for Software and Systems",
 "count": 1,
 "editions": [
  {
   "slug": "ifs",
   "acronym": "iFS",
   "year": "2027",
   "edition": 1,
   "title": "First International Conference on Foundations and Formal Methods for Software and Systems",
   "url": "https://etaps.org/2027/conferences/ifs/",
   "page": "https://www.conferences-computer.science/ifs/2027/",
   "status": null,
   "abstract_deadline": "2026-10-15",
   "paper_deadline": "2026-10-15",
   "paper_deadline_announced": "2026-10-15",
   "paper_extended_days": 0,
   "notification": "2026-12-22",
   "timezone": "AoE",
   "event_start": "2027-04-10",
   "event_end": "2027-04-15",
   "city": "Copenhagen, Denmark",
   "country": "DK",
   "continent": "EU",
   "lat": 55.6761,
   "lon": 12.5683,
   "online": false,
   "publisher": "Springer ARCoSS LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + 2 pages of references (regular paper) + 6 pages of appendix / 8 pages (short)",
   "dblp": null
  }
 ]
}