MEMOCODE'19

Partha Roop, Naijun Zhan

The 17th ACM-IEEE International Conference on Formal Methods and Models for System Design

University of California San Diego

<p>Over the last decade, the boundaries between computer system components, such as hardware, software, firmware, middleware, and applications, have blurred. This evolution in system design and development practices led in 2014 to a change in the title and scope of the MEMOCODE conference from its original focus on hardware/software co-design to its new focus on formal methods and models for developing computer systems and their components. MEMOCODE's objective is to emphasize the importance of models and methodologies in correct system design and development, and to bring together researchers and industry practitioners interested in all aspects of computer system development, to exchange ideas, research results and lessons learned.</p>

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

MEMOCODE'19

More events from Partha Roop, Naijun Zhan

Discover more events from Partha Roop, Naijun Zhan, from Science & Tech to other experiences you might love.

MEMOCODE'19

More events from Partha Roop, Naijun Zhan

Discover more events from Partha Roop, Naijun Zhan, from Science & Tech to other experiences you might love.

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.