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

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 8

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) 9

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 10

Social Event Banquet tomorrow at Portland City Grill • 1 mile (~20 min) walking • Also accessible by street-car • Welcome packet has directions Thanks to Joe Leslie-Hurd for local arrangements 11

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) 12

Many Thanks to Our Sponsors 13