BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:FMCAD 2014: Formal Methods in Computer-Aided Design
DTSTART;VALUE=DATE:20141022
DTSTAMP:20260406T162923Z
UID:baf9570855843cb8d1ab3661db95fae732c7b044c3fa1f2faee52c01
CATEGORIES:Miscellaneous
DESCRIPTION:FMCAD 2014 will this year take place at EPFL from October 22 
 to 24\, 2014.\nFMCAD 2014 is the fourteenth in a series of conferences on 
 the theory and applications of formal methods in hardware and system verif
 ication. FMCAD provides a leading forum to researchers in academia and ind
 ustry for presenting and discussing groundbreaking methods\, technologies\
 , theoretical results\, and tools for reasoning formally about computing s
 ystems. FMCAD covers formal aspects of computer-aided system design includ
 ing verification\, specification\, synthesis\, and testing.\nFMCAD 2014 wi
 ll be co-located with MEMOCODE\, the ACM/IEEE International Conference on 
 Formal Methods and Models for Codesign\, and DIFTS\, International Worksho
 p on Design and Implementation of Formal Tools and Systems in Lausanne\, S
 witzerland. MEMOCODE will take place from October 19 to October 20\, 2014\
 , following by a joint FMCAD/MEMOCODE tutorial day on October 21\, 2014. D
 IFTS will take place on October 20\, 2014. FMCAD 2014 will continue from O
 ctober 22 to 24\, 2014.\nThe program and all information are available onl
 ine: http://www.fmcad.org/FMCAD14
LOCATION:CE 1515 (Salle Polyvalente) http://plan.epfl.ch/?q=CE_1515
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR