To unsubscribe, just enter your email address at the bottom of the following
page: https://lists.cs.columbia.edu/mailman/listinfo/memocode
and click "Unsubscribe or edit options."
On the next page, just click "Unsubscribe." You do not have to register or
enter a password.
Unsubscribe: <mailto:[email protected]>
CALL FOR PARTICIPATION
13th ACM/IEEE International Conference of Methods and Models for System Design
(MEMOCODE 2015)
University of Texas at Austin, USA
September 21-23, 2015
Collocated with FMCAD, SAT, DIFTS, and ACL2
WEBSITE: http://www.memocode-conference.com
CONFERENCE OVERVIEW
The 13th ACM-IEEE International Conference on Methods and Models for System
Design (MEMOCODE 2015) will be held at the University of Texas at Austin,
21-23 September 2015. This year, for the third time, MEMOCODE’15 will be
collocated with FMCAD'15, the 15th Conference on Formal Methods in
Computer-Aided Design, SAT'15, the 18th International Conference on Theory and
Applications of Satisfiability Testing, DIFTS'15, the International Workshop on
Design and Implementation of Formal Tools and Systems, and ACL2'15, the 13th
International Workshop on the ACL2 Theorem Prover and Its Applications.
MEMOCODE’15 provides an excellent venue for researchers working on formal
methods for CAD, and methodologies and models for embedded hardware and/or
software design.
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.
KEYNOTES
The conference features three exciting keynotes talks:
Rajeev Alur, University of Pennsylvania
“Syntax-Guided Synthesis”
Derek Chiou, Microsoft Research and University of Texas, Austin
“Accelerating Data Center Scale Applications using Reconfigurable Logic”
Paul Clements, BigLever Software
“A Formal Methods Perspective on Product Line Engineering”
PROGRAM
This year’s program features 21 full length papers, six short papers, three
keynotes, and a panel discussion on the topic of “Formal Methods: How Can We
Increase Usage in Practice?”. The list of accepted papers, keynote details, and
a preliminary program are available on the conference webpage.
DESIGN CONTEST
As in previous years, MEMOCODE'15 included a design contest, posing a
computational challenge that participants could solve using hardware or
software on FPGAs, GPUs, and CPUs. Three teams with working solutions have been
invited to present their results at the conference, and the two winning teams
will receive their awards in a special conference session. Details about this
year’s winners can be found on the conference webpage.
REGISTRATION
Secure online registration is available via the conference’s registration
website: http://memocode.irisa.fr/2015/registration.html
Early registration at reduced rates is available through August 21, 2015.
SPONSORS
MEMOCODE’15 is sponsored by IEEE Computer Society, ACM, IEEE Circuits and
Systems Society, IEEE Council on Electronic Design Automation, the University
of Texas Electrical and Computer Engineering Department, Intel, Microsoft, and
Xilinx.
_______________________________________________
Memocode mailing list
[email protected]
------------------------------------------------------------------------------
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
