Differences

This shows you the differences between two versions of the page.

--- fmcad2014 [2013/11/21 20:43]
vkuncak
+++ fmcad2014 [2013/11/21 21:00]
vkuncak
@@ Line 2: / Line 2: @@
 Formal Methods in Computer-Aided Design 2014, 21-24 October 2014
+  * collocated and sharing tutorials with MEMOCODE 2014, 19-21 October 2014
 Conference Google Calendar:
   * [[https://www.google.com/calendar/embed?src=bil9valoi36dkp1r9tj12bi6j0%40group.calendar.google.com&ctz=Europe/Zurich|HTML]], [[https://www.google.com/calendar/feeds/bil9valoi36dkp1r9tj12bi6j0%40group.calendar.google.com/public/basic|XML]], [[https://www.google.com/calendar/ical/bil9valoi36dkp1r9tj12bi6j0%40group.calendar.google.com/public/basic.ics|ICAL (.ics)]]
-  * Thanks to [[http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD13/committees.shtml|last year's organizers!]]
 ===== Updates =====
@@ Line 35: / Line 34: @@
   * [[http://www.aulac.ch/|Au Lac]], a good-value 3-star hotel on the lake shore in Lausanne
   * [[http://www.voyageurs.ch/en/|Hotel Voyageurs]], a small hotel in the city center
+----
+Thanks to [[http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD13/committees.shtml|last year's organizers!]]