[FM-India] ACM/IEEE MEMOCODE at IIT Kanpur -- Call for Posters from Indian Researchers and Students

[Sandeep K. Shukla]

14th ACM/IEEE International Conference on Formal Methods and Models for
System Design (MEMOCODE 2016) 

 

Call for Posters 

For

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\sandeeps@cse.iitk.ac.in> . 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

Kanpur, India

http://www.cse.iitk.ac.in/users/sandeeps/