Welcome to FMCAD 2013 6 Apology from Barbara I am very sorry I am - - PowerPoint PPT Presentation

Welcome to FMCAD 2013

6

Apology from Barbara

“I am very sorry I am not at FMCAD 2013 in person. You can guess the reason from the picture . I hope to see many of you next year at FMCAD 2014 in Lausanne.”

7

8

Conference Setup

• Colocated events:

– ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) – International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS)

• Joint FMCAD/MEMOCODE Tutorial Day
• Three FMCAD conference days

– 2 invited talks – Student forum (14 short presentations) – 8 technical session – HWMCC – Panel

• We expect press in some of the sessions

9

Presentation Logistics

• Tight in time: High number of submissions

– Regular papers: 25 minutes (20 min talk + 5 min Q&A) – Short papers: 15 minutes (10 min talk + 5 min Q&A) – Please keep close watch on time during presentation – Minimize switching computers between talks in a session

• Please send your presentation slides to Shilpi Goel

(shigoel@cs.utexas.edu)

10

Venue Logistics

• Tight in space: High number of registrations
• All talks in this (Elowah/Multnomah) room
• Lunch downstairs at Willamette Falls
• Wireless Internet instructions in your welcome

packet

Thanks to Joe Leslie-Hurd for local arrangements

11

Social Event

Banquet tomorrow at Portland City Grill

Thanks to Joe Leslie-Hurd for local arrangements

• 1 mile (~20 min) walking
• Also accessible by street-car
• Welcome packet has directions

12

Lots of Stuff to Do in Portland

• Welcome packet has some information

– We strongly recommend Powell’s bookstore in downtown Portland

• Large number of scenic places not too far
• Weather is expected to be very nice (you are lucky)

13

Many Thanks to Our Sponsors