Conferences 1996-97

• 8th Nordic Workshop on Programming Theory Oslo, Norway, 4-6 December 1996
• : International Workshop on Application of Formal Methods to System Development : Telecommunications, VLSI and Real-Time Computerized Control Systems
• FORTE/PSTV'96 Kaiserslautern, Germany, October 8-11, 1996
• Third International Erlang User Conference Kista, October 30-31.
• ICNP-96 1996 International Conference on Network Protocols, October 29 -- November 1, 1996, Hyatt Regency Hotel, Columbus, Ohio, U.S.A.
• POPL 97 The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, La Sorbonne, Paris, France January 15-17, 1997.
• First ACM SIGPLAN Workshop on Automated Analysis of Software affiliated with POPL '97 Paris, France * 14 January 1997
• MFPS XIII Thirteenth Conference on the Mathematical Foundations of Programming Semantics , Carnegie Mellon University Pittsburgh, PA USA March 23 - 26, 1997
• Formal methods for parallel programming: theory and applications 1-5 April 1997, University of Geneva,
• TACAS '97 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. 2-4 April 1997, University of Twente, Enschede, The Netherlands
• Workshop on Nomadic Computing, Geneva, April 5, 1997
• FEmSys '97 Workshop ong Formal Design of Safety Critical Embedded Systems , 16-18 April 1997, Munich, Germany
• ETW'97 IEEE European Test Workshop, Cagliari (Grand Hotel Chia Laguna), Italy, May 28 - 30, 1997.
• SICCSE 97 June 1-5
• HIPPARCH 97 June 12-13 1997
• CAV '97 , Conference on Computer-Aided Verification, June 22--25, 1997, Haifa, ISRAEL
• LICS '97
• PAPM'97 5th International Workshop on Process Algebra and Performance Modelling, 30th June and 1st July 1997, University of Twente, Enschede, NL
• FIW '97 Fourth IEEE* Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems, Centre de recherche en informatique de Montreal (CRIM), Montreal, June 17-19, 1997.
• ICALP 97
• AIN'97, Second International Workshop on Advanced Intelligent Networks, Cesena, Italy, 4-5 July 1997.
• Second International Workshop on Formal Methods for Industrial Critical Systems CESENA (Italy), July 4-5, 1997
• CADE-14 14 International Conference on Automated Deduction, Townsville, Australia, July 13-17, 1997.
• ICTL'97 SECOND INTERNATIONAL CONFERENCE ON TEMPORAL LOGIC Hulme Hall, Oxford Place, Victoria Park, Manchester, England July 14 - 18, 1997
• FMOODS'97 Formal Methods for Open Object-based Distributed Systems 21st-23rd July, 1997, Canterbury UK.
• Workshop: Special Year on Logic and Algorithms - One Year Later July 23-25, 1997, DIMACS Center, CoRE Building, Rutgers University
• PODC '97 , Sixteenth ACM Symposium on Principles of Distributed Computing Santa Barbara, CA, USA, August 21-24, 1997
• CSL '97 Annual Conference of the European Association for Computer Science Logic, August 23-29, 1997, Aarhus, Denmark
• MFCS '97 The 22nd International Symposium on Mathematical Foundations of Computer Science, August 25--29, 1997, Bratislava, Slovakia
• COORDINATION'97 Second International Conference on Coordination Models and Languages, Berlin, September 1-3, 1997.
• Workshop on Design and Formal Verification of Security Protocols DIMACS Special Year on Networks September 3-5, 1997 DIMACS Center, CoRE Building, Rutgers University

September 1997

• CTCS'97
  CATEGORY THEORY AND COMPUTER SCIENCE 4-6 SEPTEMBER 1997, S. MARGHERITA LIGURE (GENOA), ITALY
• Compositionality - The Significant Difference
  International Symposium, Sept. 7-12, Malente, Holstein, Germany
• SAS 97
  Fourth International Static Analysis Symposium Paris, France, September 8-10, 1997
• PaCT-97
  Fourth International Conference on Parallel Computing Technologies, September 8 - 12, 1997, Yaroslavl, Russia.
• EXPRESS 97
  4th Workshop on EXPRESSIVENESS IN CONCURRENCY 8-12 September 1997, Santa Margherita Ligure, Italy
• HS 97
  HYBRID SYSTEMS V (HS'97) September 11-13, 1997 at the University of Notre Dame, Notre Dame, Indiana, USA
• WRTP 97
  22nd IFAC/IFIP Workshop on Real-Time Programming Pavillon du Parc, Lyon, France=20 September 15-17th, 1997
• ISSS 97
  10TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS (ISSS) Antwerp, Belgium, September 17-19, 1997
• SDL '97
  SDL Forum'97 Institut National des Telecom Evry, France September 22-26, 1997
• TACS '97
  International Symposium on Theoretical Aspects of Computer Software, September 24 - 26, 1997, Tohoku University, Sendai, Japan
• DAIS'97
  IFIP WG 6.1* International Working Conference on Distributed Applications and Interoperable Systems Cottbus, Germany September 30 - October 2, 1997

October 1997

• ILPS'97 WORKSHOP ON PARALLELISM AND IMPLEMENTATION TECHNOLOGY FOR (CONSTRAINT) LOGIC PROGRAMMING LANGUAGES (in conjunction with ILPS'97, Port Jefferson, USA) October 12--17, 1997
• 9TH NORDIC WORKSHOP ON PROGRAMMING THEORY
  Tallinn, Estonia, 15-17 October 1997
• Conference on Domain-Specific Languages
  October 15-17, 1997 Red Lion Resort--Santa Barbara, California
• Applications of Tree Automata in Rewriting, Logic and Programming
  Daghsthul seminar October 20-24, 1997
• RTCSA97
  Fourth International Workshop on Real-Time Computing Systems and Applications October 27 -- October 29, 1997, Taipei, Taiwan,
• CP97
  Third International Conference on Principles and Practice of Constraint Programming (CP97) Schloss Hagenberg, Austria, October 29 - November 1, 1997

November 1997

• Traces and Logic
  November 3-5, 1997 at Technische Universit\"at Dresden
• First IEE International Conference on Formal Engineering Methods
  Hiroshima, Nov. 12-14
• IEEE TTTC
  IEEE International High Level Design Validation and Test Workshop The Claremont Resort and Spa, Oakland, California November 14-15, 1997
• FORTE/PSTV'97
  1997 IFIP TC6/WG6.1 Joint International Conference on FORMAL DESCRIPTION TECHNIQUES for Distributed Systems and Communication Protocols, and PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION, NEC C&C Plaza Hall, Osaka, Japan, November 18-21, 1997
• FORMAL METHODS DAY
  Thursday 27 November 1997 ROYAL HOLLOWAY, UNIVERSITY OF LONDON DEPARTMENT OF COMPUTER SCIENCE

December 1997

• FSTTCS 1997
  Seventeenth Conference on the Foundations of Software Technology and Theoretical Computer Science December 18-20, 1997, IIT Kharagpur, India