[FM-India] Call for Posters 14th ACM-IEEE International Conference on Methods and Models for System Design (MEMOCODE 2016) at IIT Kanpur
Sandeep K. Shukla
sandeeps at cse.iitk.ac.in
Tue Oct 4 13:31:51 IST 2016
Please note -- deadline for sending in your 2 page poster abstracts is less
than a week away. The deadline is October 10th, 2016.
Also, if you want to register for the conference, the registration link is
now up -- http://security.cse.iitk.ac.in/MEMOCODE2016/
14th ACM/IEEE International Conference on Formal Methods and Models for
System Design (MEMOCODE 2016)
Call for Posters
Researchers in India
The 14th ACM/IEEE International Conference on Formal Methods and Models for
System Design (MEMOCODE 2016) will be organized at IIT Kanpur between
November 18, 2016 till November 20, 2016. This is an international
conference which started in 2003 in France, and has been alternating between
locations in the United States, and in Europe for the first 13 years. This
is the first time, this conference will be held outside the US, and Europe.
It is a well known and respected conference where hardware and software
practitioners, and researchers meet to present their work on application of
formal methods in system design. You can find more information on the
conference at http://memocode.irisa.fr/2016/.
There are several unique attractions of this conference since its inception.
Usually 3 key note speeches high light the conference theme by inviting
keynote speakers from software design, hardware design, and formal methods.
This year the three keynotes will be delivered by Prof. Andre' Platzer
(CMU), Dr. Robert De Simone (INRIA), and Dr. Sriram Rajamani (Microsoft
Research). MEMOCODE also organizes a design contest which invites
participants from around the world to design in hardware/software or in
mixed hardware/software some embedded system, and awards are given to top
three based on various criteria. Other than the 3 keynotes, this year's
MEMOCODE program has 15 papers selected from above 80 submissions, and 5
work-in-progress (WIP) papers. There will be special session on the design
contest, and embedded security challenge where the winners of the MEMOCODE
design contest and CSAW Embedded Security Challenge will be presenting their
design and results.
The 14th edition of this conference will be held at IIT Kanpur which is a
great opportunity for faculty, post doctoral fellows, researchers, and
students to interact with world class researchers, attend the talks, and
also network with researchers for further collaboration. In order that
participants can provide a glimpse of their own work while attending the
conference, we are organizing a poster session during the conference dinner
hours on the 19th November evening. Up to 20 posters will be selected from
this open call for poster proposals and the selected posters will be put on
display for three hours for all attendees to browse and discuss with the
researchers. It is also a good opportunity for networking with well known
faculty around the world in the area of formal methods and system design. A
separate collection of the 2 page poster proposals will be compiled and
distributed at the conference.
We therefore request researchers from India to submit a poster proposal (2
page maximum) with title, the author list and their affiliations, author
emails, a 100 word abstract explaining what the poster will be about, and a
main body containing a narrative on the context, main results, novelty,
and comparison with related work. Please submit your proposal as a pdf file
before October 10, 2016 to the email address sandeeps at cse.iitk.ac.in
<file:///C:\Users\cse\Documents\firstname.lastname@example.org> . We will inform
you of selection of the posters by October 20, 2016 so you have enough time
to register for the conference, and make travel arrangements.
Dr. Sandeep K. Shukla
Poonam and Prabhu Goel Chair Professor
Department of Computer Science and Engineering
Indian Institute of Technology, Kanpur
More information about the FMIndia