Important Dates

Early Registration Deadline: October 14, 2008 Hotel Registration Deadline: October 18, 2008

Conference Overview

FMCAD 2008 is the eighth in a series of conferences on the theory and application of formal methods in hardware and system design and verification. In 2005, the bi-annual FMCAD and sister conference CHARME decided to merge to form an annual conference with a unified community. The resulting unified FMCAD provides a leading international forum to researchers and practitioners in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for formally reasoning about computing systems, as well as open challenges therein.

Local Information

The Conference will be held at the Embassy Suites (Downtown) in Portland, Oregon. We have negotiated a special rate with the hotel for conference attendees. Please book early to secure the reduced rate. For details, please see the conference web page. A dinner cruise on the Willamette River is planned.

Technical Program

The technical program is available at the conference web page. It includes 2 invited keynotes, 4 invited tutorials, 24 regular papers, 4 short papers, and 2 panels.

Keynotes

o Ken McMillan (Cadence): Interpolation -- Theory and Applications o Carl Seger (Intel): Formal Methods and Physical Design: Match Made in Heaven or Fools' Paradise?

Tutorials

o Kevin Jones (Rambus): Analog and Mixed Signal Verification: The State of the Art and some Open Problems o Moshe Levinger (IBM): Building a Bridge: From Pre-Silicon Verification to Post-Silicon Validation o Byron Cook (Microsoft): Computing Bounds on Space and Time for Hardware Compilation. o David Hardin (Rockwell Collins): Considerations in the Design and Verification of Microprocessors for Safety-Critical and Security-Critical Applications.

Panels

o High Level Design and ESL: Who Cares? o The Future of Formal: Academic, IC, EDA, and Software Perspectives

Sponsors

    Sponsored by: IEEE CEDA

In cooperation with: ACM SIGDA Financial support: Cadence, Galois, IBM, Intel, NEC, Synopsys

Succeeding with External Alliances: Applying Tested Tools to the New Environment

(presented by the Technology Management Chapter (TMC) of the IEEE)

Objective: provide managers with a fresh look at the external alliances as a tool to succeed in a challenging economy.

Time: March 25, 2009. 6:00-7:00 P.M. Networking and snacks begin at 5:30 P.M.

Registration: To sign up now, click here. Walk-ins welcome, but pre-registration is preferred.

Speaker: Dr. Ron Khormaei, Director of Engineering for the Audio Business Electrical group, Logitech.

Location: PCC Central Portland Workforce Training Center, 1626 SE Water Avenue, Portland, Oregon 97214. Room 202/203.

Price: $10. Includes snacks and beverages. Parking not included.

VoIP: Not your grandmother's phone any more

Speaker: Prof. Henning Schulzrinne When: Thursday, June 11, 2009 Time: 6:00 PM ~ 8:30 PM Cost: Free and open to the public (registration required). Register: here

Place: JFCC Auditorium, Intel Corporation- Jones Farm, 2111, NE 25th Ave Hillsboro OR 97124

Abstract Since its emergence in the mid-1990s, voice-over-IP products and services have mainly attempted to mimic the "black phone" of decades past, providing cheaper basic phone service. However, VoIP has the potential to significantly improve real-time communications if it is combined with presence, context-aware and location-based services. Peer-to-peer networks can allow building highly-scalable, self-configuring systems. This talk will give a broad overview of VoIP, including its IMS variant, and some of the advanced services that are now in development, standardization or starting to appear as products.

Bio Prof. Schulzrinne co-developed protocols such as RTP, RTSP and SIP, are now Internet standards, used by almost all Internet telephony and multimedia applications. His research interests include Internet multimedia systems, ubiquitous computing, mobile systems, quality of service, and performance evaluation.

The Applied Research & Technology Series (ARTS) invites you to an ARTS event where we will explore modern technology and its effect on research and the human experience. Brain Activity and Imaging: Applied Nuclear Medicine and MRI Technology is the theme of this event. The presenters will share the fundamentals, technology, applications and research behind their topics. Free event, including pizza, but please register if you plan to attend.

Registration

Event Flyer

Presentation by Robert Strictland of Stickland Consulting LLC., on the realities of Mobility and its use as the optimal distribution endpoint for Big Data.

Explore why mobility solutions are challenged by interrelated decisions that cross applications development, infrastructure, security, and risk management. Gain a perspective on why mobility is an Enterprise issue and as IT leaders we need to focus on creating blueprints, business driven policies, and BYOD programs that help build high value mobile Enterprises.

The Technology Management Chapter of IEEE invites you to....

Envisioneering -- Leveraging Technology for Future Innovation With guest speaker Paul Menig, CEO of Tech-I-M Formerly intrapreneurial leader at General Electric, Eaton and Daimler

The pace of technology progress is continually increasing. Innovations in the vehicle industry is an example. Whether On-Highway or Off, future vehicles are going to be more complex, more durable, more varied than today. Our ability to engineer products that perform as expected will depend on our vision of the future, our ability to model the vehicle in its environment and solid engineering. We can probably see with our eyes what commercial vehicles in 2020 will look like. It will take something more to envisioneer the vehicle of 2030 and prepare the models and tools we will need to make them amazingly reliable and easy to use and maintain

By the end of the session, attendees will better understand: How long does it take from concept to production What are the trends driving innovation What are the challenges to product development of new innovations What drives innovation What is the future of moving products from factories to consumers

Date: December 6th 2012 5:30 P.M. Registration table opens 5:30 – 6:00 P.M. Food and networking 6:00 – 8:30 P.M. Presentation and Q & A

Location: Portland State Business Accelerator, SW Corbett & SW Meade, Portland, OR 97201. Mt. Hood Room, 2nd floor. Free Parking

$10 IEEE and SAE members. $15 non-members. IEEE Sr. Members and IEEE Students- free Register: On-Line: https://meetings.vtools.ieee.org/meeting_view/list_meeting/15223

also accepting checks and cash at the door. no-shows will be invoiced.

Contact: Chris Dennis, Registration Volunteer, 503-803-7627, [email protected]

This event is sponsored by the IEEE - Oregon Technology Management Chapter Special thank you to our yearly sponsor: Business Accelerator, PSU.

About the Speaker: Paul Menig is CEO of Tech-I-M, a consulting company focused on helping companies succeed by leveraging technology in products and processes. Savvy Technology creates Powerful Results. As an intrapreneurial leader at General Electric, Eaton and Daimler, Paul successfully brought advanced technology to market in medical systems, industrial automation, military systems and commercial vehicles.

November 18, 2012 - The Applied Research & Technology Series (ARTS) is proud to extend an open invitation to Studying the Art of MIDI, Part 1: What is MIDI and Drum Sequencing? The presenter will share the fundamentals, technology, and applications behind his topics. This is the first in a two-part hands-on workshop to educate and explore the technologies behind electronic music production. Part 2 of the event series is planned for January 2013.

Refreshments will be provided. Attendance is free and open to all ages.

Registration is suggested at event website.

This technical event is sponsored by IEEE Oregon chapters of the Instrumentation and Measurement Society and the Control Systems Society. Nominations will also be opened at the event for the chapter 2013 officer elections.

The Technology Management Chapter of IEEE invites you to....

Oregon Electric Vehicles: Prospects and Proof

The Brammo Experience: Developing BEV Motorcycles in Southern Oregon Electric Transportation: Opportunities and Trends

With speakers Roger Gerson, Electrical Engineering Manager, Brammo, Inc. and Jeff Allen, Executive Director, Drive Oregon

In 2009 Brammo re-invented itself with the ambition of producing fully roadworthy battery-electric motorcycles that are high quality, and cost/performance competitive with traditional internal- combustion engine bikes. Now in 2012 we are launching serial production of our 3rd model motorcycle, and achieving our dream.

This presentation provides a glimpse into the culture and philosophy of electrical engineering and electronics manufacturing at the most exciting young company in the motorcycle industry.

Date: January 10th, 2013 5:30 P.M. Registration table opens 5:30 – 6:00 P.M. Food and networking 6:00 – 8:00 P.M. Presentation and Q & A

Free parking in the Accelerator lot Seating is limited. RSVP strongly recommended. $10 IEEE members. $15 non-members. IEEE Sr. Members and IEEE Students—free Register on-line: http://www.ieee-oregon.org Find the event on the front page and click “Register” Pay by credit card on web site or pay by cash/check at door

Contact: Chris Dennis, Registration Volunteer, 503-803-7627, [email protected]