BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:CFV — deadlines and dates
X-WR-CALDESC:Every recorded edition of CFV. https://www.conferences-compute
 r.science/cfv/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:cfv-2013-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20130930
DTEND;VALUE=DATE:20131001
SUMMARY:CFV 2013 — abstract deadline
DESCRIPTION:Eighth International Workshop on Constraints in Formal Verifica
 tion\nNo time zone stated by the organisers\; this site assumes Anywhere o
 n Earth.\nShown as an all-day event: the deadline is a moment\, not a day\
 , so check the exact time on the conference site.\nHeld in San Jose\, Cali
 fornia\, USA.\nConference dates: 21 Nov 2013.\nhttps://www.conferences-com
 puter.science/cfv/2013/
URL:https://www.conferences-computer.science/cfv/2013/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CFV
END:VEVENT
BEGIN:VEVENT
UID:cfv-2013-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20131007
DTEND;VALUE=DATE:20131008
SUMMARY:CFV 2013 — paper deadline
DESCRIPTION:Eighth International Workshop on Constraints in Formal Verifica
 tion\nNo time zone stated by the organisers\; this site assumes Anywhere o
 n Earth.\nShown as an all-day event: the deadline is a moment\, not a day\
 , so check the exact time on the conference site.\nHeld in San Jose\, Cali
 fornia\, USA.\nConference dates: 21 Nov 2013.\nhttps://www.conferences-com
 puter.science/cfv/2013/
URL:https://www.conferences-computer.science/cfv/2013/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CFV
END:VEVENT
BEGIN:VEVENT
UID:cfv-2013-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20131015
DTEND;VALUE=DATE:20131016
SUMMARY:CFV 2013 — notification
DESCRIPTION:Eighth International Workshop on Constraints in Formal Verifica
 tion\nNo time zone stated by the organisers\; this site assumes Anywhere o
 n Earth.\nShown as an all-day event: the deadline is a moment\, not a day\
 , so check the exact time on the conference site.\nHeld in San Jose\, Cali
 fornia\, USA.\nConference dates: 21 Nov 2013.\nhttps://www.conferences-com
 puter.science/cfv/2013/
URL:https://www.conferences-computer.science/cfv/2013/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CFV
END:VEVENT
BEGIN:VEVENT
UID:cfv-2015-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150718
DTEND;VALUE=DATE:20150719
SUMMARY:CFV 2015 — abstract deadline
DESCRIPTION:9th International Workshop on Constraints in Formal Verificatio
 n\nNo time zone stated by the organisers\; this site assumes Anywhere on E
 arth.\nShown as an all-day event: the deadline is a moment\, not a day\, s
 o check the exact time on the conference site.\nHeld in Austin\, Texas\, U
 SA.\nConference dates: 5 Nov 2015.\nhttps://www.conferences-computer.scien
 ce/cfv/2015/
URL:https://www.conferences-computer.science/cfv/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CFV
END:VEVENT
BEGIN:VEVENT
UID:cfv-2015-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150725
DTEND;VALUE=DATE:20150726
SUMMARY:CFV 2015 — paper deadline
DESCRIPTION:9th International Workshop on Constraints in Formal Verificatio
 n\nNo time zone stated by the organisers\; this site assumes Anywhere on E
 arth.\nShown as an all-day event: the deadline is a moment\, not a day\, s
 o check the exact time on the conference site.\nHeld in Austin\, Texas\, U
 SA.\nConference dates: 5 Nov 2015.\nhttps://www.conferences-computer.scien
 ce/cfv/2015/
URL:https://www.conferences-computer.science/cfv/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CFV
END:VEVENT
BEGIN:VEVENT
UID:cfv-2015-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150901
DTEND;VALUE=DATE:20150902
SUMMARY:CFV 2015 — notification
DESCRIPTION:9th International Workshop on Constraints in Formal Verificatio
 n\nNo time zone stated by the organisers\; this site assumes Anywhere on E
 arth.\nShown as an all-day event: the deadline is a moment\, not a day\, s
 o check the exact time on the conference site.\nHeld in Austin\, Texas\, U
 SA.\nConference dates: 5 Nov 2015.\nhttps://www.conferences-computer.scien
 ce/cfv/2015/
URL:https://www.conferences-computer.science/cfv/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CFV
END:VEVENT
BEGIN:VEVENT
UID:cfv-2013-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20131121
DTEND;VALUE=DATE:20131122
SUMMARY:CFV 2013 — San Jose\, California\, USA
DESCRIPTION:Eighth International Workshop on Constraints in Formal Verifica
 tion\nHeld in San Jose\, California\, USA.\nPaper deadline was 07 October 
 2013.\nhttps://www.conferences-computer.science/cfv/2013/
URL:https://www.conferences-computer.science/cfv/2013/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,CFV
END:VEVENT
BEGIN:VEVENT
UID:cfv-2015-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20151105
DTEND;VALUE=DATE:20151106
SUMMARY:CFV 2015 — Austin\, Texas\, USA
DESCRIPTION:9th International Workshop on Constraints in Formal Verificatio
 n\nHeld in Austin\, Texas\, USA.\nPaper deadline was 25 July 2015.\nhttps:
 //www.conferences-computer.science/cfv/2015/
URL:https://www.conferences-computer.science/cfv/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,CFV
END:VEVENT
END:VCALENDAR