Differences

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

--- fmcad2014 [2013/11/21 20:42]
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 18: / Line 17: @@
 ==== Conference Location ====
-  * [[https://mapsengine.google.com/map/edit?mid=z5e3a_J7drTA.kjGOoB5OjY2U|Google Map with Conference Locations]] and
+  * [[https://mapsengine.google.com/map/edit?mid=z5e3a_J7drTA.kjGOoB5OjY2U|Google Map with Conference Locations]] and [[http://lara.epfl.ch/~kuncak/fmcad.kml|exported KML]]
-[[http://lara.epfl.ch/~kuncak/fmcad.kml|exported KML]]
   * [[http://plan.epfl.ch/?zoom=19&recenter_y=5864139.31828&recenter_x=731270.74488&layerNodes=fonds,batiments,labels,information,parkings_publics,arrets_metro&floor=2|EPFL Plan]]
@@ Line 36: / 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!]]