International Conference on
Formal Methods and Models for Codesign (MEMOCODE'2007)

May 30 - June 1st,  Nice, France


Wed, May 30th

8:30 Registration start

9:00 Welcome Opening

9:15-10:15 Timed Models of Computation   
(chair R. de Simone)

10:15 Coffee break & refreshments

10:30 Keynote Address
(chair J-P. Talpin)

12:00 Lunch

13:30-14:30 Abstraction and Analysis
(chair J. Hoe)

15:00-16:30 System Synthesis/Design
(chair S. Devadas)

16:30: Coffee break & refreshments

17:00-17:15 Poster session presentation
(chair S. Devadas)

17:30-19:00 Design Contest results and winner election
(chair Forrest Brewer)

19:00 Welcome Party

Thur, May 31st

9:00- 10:30  Comparing Modeling Levels:
(chair S. Shukla)

10:30 Coffee break & refreshments

11:00 Keynote Address
(chair J. Hoe)

12:30-13:00 Lunch

13:30-15:00 HW/SW Codesign
(chair  R. Gupta)

15:00 Coffee break & refreshments

15:30-17:00 Timing Issues & Symbolic techniques
(chair K. Schneider)

20:00 Banquet at Hotel Boscolo Plaza

Fri, June 1st

8:30-12:00 Morning tutorial
(chair R. de Simone)

10:30 Coffee Break intermission

12:30-13:30 Lunch

13:30 Keynote Address
(chair K. Schneider)

15:00-18:30 Afternoon tutorial
(chair R. Gupta)

16:30 Coffee Break intermission

18:30 End of the Conference