{
 "generated": "2026-08-13T11:47:39.310393+00:00",
 "source": "https://www.conferences-computer.science/fortress/",
 "licence": "CC BY-SA 4.0",
 "acronym": "FORTRESS",
 "name": "International Workshop on Formal Techniques for Real-Time Systems",
 "count": 2,
 "editions": [
  {
   "slug": "fortress",
   "acronym": "FORTRESS",
   "year": "2017",
   "edition": 1,
   "title": "1st International Workshop on Formal Techniques for Real-Time Systems",
   "url": "http://www.onera.fr/fr/fortress-2017",
   "page": "https://www.conferences-computer.science/fortress/2017/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2017-06-18",
   "paper_deadline_announced": "2017-05-31",
   "paper_extended_days": 18,
   "notification": "2017-07-01",
   "timezone": null,
   "event_start": "2017-08-16",
   "event_end": "2017-08-18",
   "city": "Hsinchu, Taiwan",
   "country": "TW",
   "continent": "AS",
   "lat": 24.8138,
   "lon": 120.9675,
   "online": false,
   "publisher": "?",
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "8 pages IEEE",
   "dblp": null
  },
  {
   "slug": "fortress",
   "acronym": "FORTRESS",
   "year": "2019",
   "edition": 2,
   "title": "2nd International Workshop on Formal Techniques for Real-Time Systems",
   "url": "http://www.etfa2019.org/ws02-workshop-on-formal-techniques-for-real-time-systems-fortress/",
   "page": "https://www.conferences-computer.science/fortress/2019/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2019-06-24",
   "paper_deadline_announced": "2019-05-13",
   "paper_extended_days": 42,
   "notification": "2019-07-01",
   "timezone": null,
   "event_start": "2019-09-10",
   "event_end": "2019-09-13",
   "city": "Zaragoza, Spain",
   "country": "ES",
   "continent": "EU",
   "lat": 41.6488,
   "lon": -0.8891,
   "online": false,
   "publisher": "?",
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "8 pages IEEE",
   "dblp": null
  }
 ]
}