Logic-based Program Synthesis and Transformation
{
"id": 2131400292,
"name": "Logic-based Program Synthesis and Transformation",
"year": 2015,
"location": "University of Siena, Siena, IT",
"start_date": "2015-07-13",
"end_date": "2015-07-15",
"url": "http://alpha.diism.unisi.it/lopstr15/",
"Abstract_Registration_Due": "2015-04-06",
"Submission_Deadline": "2015-04-13"
}
{
"total": 5,
"List": [
{
"conference_instance_id": 2131400292,
"name": "LOPSTR 2015",
"year": 2015,
"location": "University of Siena, Siena, IT",
"url": "http://alpha.diism.unisi.it/lopstr15/",
"paper_count": 28,
"hindex": 6,
"citation_count": 78,
"start_date": "2015-07-13",
"end_date": "2015-07-15",
"abstract_registration_date": "2015-04-06",
"submission_deadline_date": "2015-04-13",
"notification_due_date": "2015-05-25",
"final_version_due_date": "2015-06-15"
},
{
"conference_instance_id": 2130468440,
"name": "LOPSTR 2014",
"year": 2014,
"location": "University of Kent, Canterbury, UK",
"url": "http://www.iasi.cnr.it/events/lopstr14/",
"paper_count": 20,
"hindex": 5,
"citation_count": 78,
"start_date": "2014-09-09",
"end_date": "2014-09-11",
"abstract_registration_date": "2014-06-11",
"submission_deadline_date": "2014-06-18",
"notification_due_date": "2014-07-18",
"final_version_due_date": "2014-08-25"
},
{
"conference_instance_id": 2130151286,
"name": "LOPSTR 2013",
"year": 2013,
"location": "Madrid, Spain",
"url": "http://www.utdallas.edu/~gupta/lopstr/",
"paper_count": 12,
"hindex": 5,
"citation_count": 68,
"start_date": "2013-09-18",
"end_date": "2013-09-20",
"abstract_registration_date": "2013-06-04",
"submission_deadline_date": "2013-06-11",
"notification_due_date": "2013-07-20",
"final_version_due_date": "2013-07-27"
},
{
"conference_instance_id": 2131315923,
"name": "LOPSTR 2012",
"year": 2012,
"location": "Leuven, Belgium",
"url": "",
"paper_count": 16,
"hindex": 6,
"citation_count": 75,
"start_date": "2012-09-18",
"end_date": "2012-09-18",
"abstract_registration_date": null,
"submission_deadline_date": "2012-05-25",
"notification_due_date": null,
"final_version_due_date": null
},
{
"conference_instance_id": 2134488737,
"name": "LOPSTR 2011",
"year": 2011,
"location": "Odense, Denmark",
"url": "http://users.dsic.upv.es/~lopstr11/",
"paper_count": 20,
"hindex": 5,
"citation_count": 122,
"start_date": "2011-07-18",
"end_date": "2011-07-20",
"abstract_registration_date": null,
"submission_deadline_date": "2011-03-27",
"notification_due_date": "2011-05-16",
"final_version_due_date": "2011-06-12"
}
]
}
University of Siena, Siena, IT
Recent Conference