Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
fmcad2014 [2013/11/21 20:21] vkuncak |
fmcad2014 [2013/11/21 20:42] vkuncak |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| Formal Methods in Computer-Aided Design 2014, 21-24 October 2014 | Formal Methods in Computer-Aided Design 2014, 21-24 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!]] | * Thanks to [[http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD13/committees.shtml|last year's organizers!]] | ||
| Line 15: | Line 18: | ||
| ==== Conference Location ==== | ==== Conference Location ==== | ||
| - | * [[https://mapsengine.google.com/map/viewer?mid=z5e3a_J7drTA.kjGOoB5OjY2U|Google Map with Conference Locations]] | + | * [[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://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]] | * [[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]] | ||