Steve,

>I am trying to assemble material from prior FMCAD meetings, and would also
>like to include anything I can find from the TPCDs.  If you are Kumar
>could locate URLs, CFPs, etc.  Do you think you could bundle copies
>into a tarfile and send them to me.

I just digged into my laptop and - surprise - found a TPCD94 
directory! There is not too much left though. Anyway, I managed to 
produce some PDF files from ancient FrameMaker documents. Enclosed 
you will find the CfP, the Preface of the Proceedings including the 
table of contents and a list of participants.
I probably still have some spare Proceedings somewhere in the attic. 
In case you are interested I could try to locate them and send you a 
copy.

>It looks like we are moving toward some kind of organizational entity
>for FMCAD, so I would like to initialize a history and archive.

I already followed the discussion - post mortem - as I just returned 
from an extended vacation (South California, was great!). Naturally, 
I am very interested in the further development and  - if desired - 
could play a more active role in this process.

>As I understand it, there were three TPCD meetings.  I have almost
>no information on the first.  I believe the second and third were
>in 93 and 94, and are archived in LNCS?  The last was at Bad Herrenalb,
>and the previous at Karlsrhule?  Anyway, and information you could
>provide me with would help fill in the details.

I am not sure about this. Obivously, there was a TPCD94. Our Preface 
states that  a prior conference was held June 1992 in Nijmegen. To my 
knowledge this was also the first TPCD. The organizers then were 
V. Stavridou, T. Melham, and R. Boute, editors.
By the way, my paper database says that Warren had a paper then. So 
you may want to ask him for the proceedings (or contact one of the 
former organizers):

B. Brock, W. Hunt, and W. Young, "Introduction to a Formally Defined 
Hardware Description Language", in International Conference on 
Theorem Provers in Circuit Design (TPCD), pp. 3-35, Nijmegen, June 
1992. IFIP TC10/WG 10.2, North-Holland.

Thus TPCD92 was a Nrth-Holland publication.

I remember that already 1994 we informally decided to have CHARME and 
TPCD as alternating biannual conferences. Thus, there was a CHARME93, 
CHARME97 and CHARME99 (at least I published on these - probably there 
also was a CHARME95). The organizers who grabbed the TPCD96 token 
decided to rename it to FMCAD96 to deemphasize theorem proving. So 
FMCAD really was born as TPCD and then just changed name and scope. 
Then we had the clash between FMCAD96 and DCC96. The latter being the 
workshop on Designing Correct Circuit, already been held a couple of 
times before. This event finally brought us to the quite firm - but 
never officialized - rule of having FMCAD in even years and CHARME in 
odd years. DCC was thus just killed.

That is all what I can put together spontaneously. I will try to 
reach Kumar for further details but first have to look after his new 
business card. As you probably know he is totally out of verification 
and academia as a whole, being responsible for marketing ERP software 
for pharmaceutical companies.

Please keep me informed about the further developments. Naturally, I 
am quite interested in the future of FMCAD.

Thanks,

   --Thomas--