From: Julien Schmaltz
Organization: TIMA Laboratory
Subject: Next week in ACL2
Date: Fri, 14 Nov 2003 11:15:44 -0600


Greetings,

[Editor:  second word below has been changed from "monday" to "wednesday".]

next wednesday will be my last meeting for this semester (I'm leaving the US on 
Monday 24th, but will be back in January or February :-). I will talk about 
what I have done during the last 3 months. Here is an "abstract" of my talk:

I have modeled a (messy) network on chip and prove some theorems on that 
model. I will present to you what does my network and what kind of theorems I 
have proved on it.  After discussing these properties and other possible 
ones, I would like to show you some of my theorems. In a lot of proofs, I 
have a lot of :use hints and I would like to discuss it with you. Do I really 
need these hints? If no, what should I do to get rid of them? If yes, why do 
I need them? Is there a better way to handle them?

Julien