{
 "generated": "2026-08-14T14:44:36.083177+00:00",
 "source": "https://www.conferences-computer.science/journees-annuelles-gt-verif/",
 "licence": "CC BY-SA 4.0",
 "acronym": "Journées Annuelles GT Verif",
 "name": "Premières journées annuelles du Groupe de Travail Vérification",
 "count": 1,
 "editions": [
  {
   "slug": "journees-annuelles-gt-verif",
   "acronym": "Journées Annuelles GT Verif",
   "year": "2013",
   "edition": 1,
   "title": "Premières journées annuelles du Groupe de Travail Vérification",
   "url": "http://gt-verif.loria.fr/2013",
   "page": "https://www.conferences-computer.science/journees-annuelles-gt-verif/2013/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2013-05-03",
   "paper_deadline_announced": "2013-05-03",
   "paper_extended_days": 0,
   "notification": "2013-05-17",
   "timezone": null,
   "event_start": "2013-06-17",
   "event_end": "2013-06-18",
   "city": "Cachan, France",
   "country": "FR",
   "continent": "EU",
   "lat": 48.7919,
   "lon": 2.3311,
   "online": false,
   "publisher": "(No formal proceedings)",
   "license": null,
   "doi": null,
   "core_rank": null,
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "1 page abstract",
   "dblp": null
  }
 ]
}