CONFERENCES RELATED TO TEST, TEST GENERATION, DESIGN FOR TEST, ETC.

1991

• ITC91: Table of contents International Test Conference IEEE Comp. Soc. Nashville, TN. USA. Oct. 1991. Table of contents. It is connected to german search engine so you can find all papers written by the author. Very useful. This search engine is useful in intself not only in test, but in other areas to look for papers if you know an author.

  1992

  1993

  1994

• ReportThe Seventh IEEE International ASIC Conference and Exhibit. A Report on ASIC'94.
• Mentor Users Group - PCB Technical SessionDesign for Manufacturing/Design for Test. Socket Use in Circuit Card Assembly (CCA) Michael B. Baker - GTE. Abstract.

  1995

• ATS '95The Fourth Asian Test Symposium (ATS '95) Table of Contents.
• ATS-95 PROGRAM. Fourth Asian Test Symposium.India. November 23-24, 1995.
• Author/Panelist Index DAC'95
• ATS '95 Proceedings of fourth Asian Test Symposium, abstracts.
• Table of Contents EDT '95 Organising and Programme Committee Keynote Speakers Welcome Address Tutorials Best Paper Awards.
• BAST 1995 Workshop The Fifth CRC-IEEE BAST Workshop. February 7-10, 1995. Bodega Bay, California. Guest Speaker. Technical Program. Gifts, Food and Entertainment.
• RASSP Conference AgendaPreliminary Agenda. 2nd Annual RASSP Conference. July 24 - 27, 1995. Monday July 24. RASSP TUTORIAL DAY. 8:30 - 5:00 VHDL Based, Top-Down, Virtual...

  1996

• Third International Test Synthesis Workshop Santa Barbara, CA, USA May 6-8, 1996
• Third International Test Synthesis Workshop - Call for ParticipationThird International Test Synthesis Workshop.
• Third International Test Synthesis WorkshopThird International Test Synthesis Workshop.
• ICCD '96 Program
• 2nd IEEE International Mixed Signal Testing Workshop 2nd IEEE Intern. Mixed Signal Testing Workshop. General Chair , Bozena Kaminska, Quebec City, May 1996. List of papers.
• Author Index ED&TC '96 All authors of the European Design and Test conference in 1996. Several papers from LIRMM were presented there. Papers available in Postscript.
• Montpellier 96 Call for Participation. IEEE European Test Workshop. Montpellier (Hotel la Corniche in Sete), France June 12-14, 1996.

  1997

• AUTOTESTCON '97 Call for Papers September 22-25, 1997 / Anaheim, CA. PRELIMINARY CALL FOR TECHNICAL PAPERS.
• IEEE TC-FTC =*= FTCS-28 =*= Call For Papers Fault Tolerant Computing Conference. List of people in Fault Tolerant Computing.
• cab-event-entry: EWDC-8 Advance Program Eighth European Workshop on Dependable Computing (EWDC-8), EXPERIMENTAL VALIDATION OF DEPENDABLE SYSTEMS, April 2-4, 1997, Göteborg, Sweden List of papers.
• http://normate.tet.uni-hannover.de/public/online97.htm 3rd IEEE International On-Line Testing Workshop Sofitel Capsis Beach Resort, Aghia Pelaghia headland, Crete, Greece July 7-9, 1997.
• ETW'97: IEEE European Test Workshop - Call for papers.
• ETW'97: IEEE European Test Workshop - Remind
• ETW'97: Advance Program and Registration information
• IOLTW'97: Advance Program and Registration
• Call for papers, Distributed Algorithms Conference
• Reine Mathematik (und Titel der angewandten Mathematik und Informatik LIST OF BOOKS
• IIS Library : February in 199703-12-1997 Upd
• http://griao.iro.umontreal.ca/Int_conf/VTS97_VLSI_TEST_SYMP.html Call for papers of 1997 IEEE VLSI Test Symposium, with links to Dr. Zorian, one of top test people now.
• VLSI'97 Conference Call for papers of IFIP Intern. Conf. on VLSI. I had contact with this group in France. They work on test.

  1998

• ETW98IEEE. Computer. Society. Universitat. Politècnica. Catalunya. ETW'98. IEEE European Test Workshop. Sitges, Barcelona SPAIN. May 27-29, 1998...

  CONFERENCES RELATED TO FORMAL VERIFICATION.

• The International Conference on Formal Methods in Computer-Aided Design.
• Ninth Annual Conference on Computer Assurance
• pre-conference Workshop on Applied Formal Methods
• FMCAD 96 Program.
• Programme The 1996 International Conference on Theorem Proving in Higher Order Logics.
• The TPCD ProceedingsTheorem Provers in Circuit Design. Proceedings of the IFIP WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and...
• No TitleCALL FOR PAPERS | | | | The International Conference on | | | | Formal Methods in Computer-Aided Design: | | (FMCAD -- Successor to TPCD) |

  WORKSHOPS AND CONFERENCES RELATED TO VERIFICATION.

  ETW'97: IEEE European Test Workshop.
• EDCC-2EDCC-2. Conference Details: Second European Dependable Computing Conference Taormina, Italy. Contact Person: Luca Simoncini Tel.: Fax: E-Mail: Homepage:
• IEEE European Test WorkshopIEEE European Test Workshop. Call for Participation.
• EDCC-2 Advance Program