Conferences 1998

January 1998

• F O O L ' 5
  The Fifth International Workshop on Foundations of Object-Oriented Languages January 17-18, 1998 San Diego, USA
• POPL98
  The 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages San Diego, California, January 19-23, 1998

March 1998

• ISSTA 98
  1998 ACM/SIGSOFT Symposium on Software Testing and Analysis, Florida, USA, March 2-4, 1998.
• 2nd EUROMICRO CONFERENCE on SOFTWARE MAINTENANCE AND REENGINEERING and 6th REENGINEERING FORUM
  March 8-11, 1998, Florence, Italy
• Workshop on Nucleic Acid Selection and Computing,
  DIMACS Special Focus on DNA Computing , March 15-17, 1998, Princeton University, Princeton NJ
• WORKSHOP ON COALGEBRAIC METHODS IN COMPUTER SCIENCE
  Lisbon, 28-29 March 1998, Satelite workshop to ETAPS'98
• RTA 98
  The 9th International Conference on REWRITING TECHNIQUES AND APPLICATIONS March 30 - April 1, 1998, Tsukuba, Japan
• TACAS'98
  First International Conference on Tools and Algorithms for the Construction and Analysis of Systems, March 31 - April 2, 1998 Lisbon (Portugal)
• ETAPS 98
  European Joint Conferences on Theory and Practice of Software March 30 - April 3, 1998, Lisbon, Portugal
• IPPS98
  11th International Parallel Processing Symposium IPPS'98 March 30 - April 3, 1998, Orlando, Florida, USA
• BCTCS 14
  BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE, March 31 - April 2, 1998, University of St Andrews

April 1998

• ACoS '98
  ETAPS/TACAS International Workshop on Advanced Communication Services April 3 - 4, 1998, Lisbon, Portugal
• FMPPTA'98
  International Workshop on Formal Methods for Parallel Programming: Theory and Applications to be held in conjunction with 11th International Parallel Processing Symposium IPPS'98 April 3, 1998, Florida, USA
• Object Technology 98
  April 6-8, 1988, Oxford, England
• COTSR 98
  COLLOQUIUM ON OBJECT TECHNOLOGY AND SYSTEM RE-ENGINEERING , Oxford University, 6-8 April, 1998
• ICSE 98
  The 20th International Conference on Software Engineering (ICSE-20) April 19-25, 1998, Kyoto International Conference Hall, Kyoto, JAPAN
• PSMT
  Workshop on Precise Semantics for Software Modeling Techniques in Kyoto, Japan, April 20th.
• PDSE '98
  Software Engineering for Parallel and Distributed Systems April 20-21, 1998, Kyoto International Conference Hall, Kyoto, JAPAN (at ICSE-20)
• B '98
  The 2nd International B Conference Montpellier, France April 22-24 1998

May 1998

• TABLEAUX'98
  INTERNATIONAL CONFERENCE ON ANALYTIC TABLEAUX AND RELATED METHODS, Conference Centre Boschoord, Oisterwijk (near Tilburg), the Netherlands May 5 - 8, 1998
• MFPS 14
  MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS Queen Mary Westfield College, University of London May 10-13, 1998
• Agents '98
  Second International Conference on AUTONOMOUS AGENTS Minneapolis/St Paul, May 10-13, 1998
• Workshop on Internet Programming Languages
  in conjunction with the Loyola University, Chicago, USA, May 13, 1998
• FMICS ' 98
  Third International Workshop on Formal Methods for Industrial Critical, CWI, Amsterdam, May 25-26, 1998
• ICDCS 98
  The 18th International Conference on Distributed Computing Systems Center of Mathematics and Computer Science (CWI) Amsterdam, The Netherlands May 26 - 29, 1998
• CDB '98
  WORKSHOP ON CONSTRAINT DATABASES in conjunction with ACM SIGMOD/PODS '98 Seattle, Washington, USA, May 31, 1998

June 1998

• TOOLS '98
  Workshop on Tool Support for System Specification, Development, and Verification June 2-4, 1998, Malente, Germany
• RTAS '98
  Real-Time Technology & Applications Symposium Denver, Colorado, USA June 3-5, 1998
• 9th IEEE International Workshop on Rapid System Prototyping
  June 3-5, 1998, Leuven, Belsium
• Oz/Mozart Days
  Workshop on Intelligent Distributed Computing with Mozart June 5-8, 1998, SICS
• Workshop and Tutorial on Practical Use of Coloured Petri Nets and Design/CPN
  Tutorial, June 8-10, 1998, Workshop, June 11-12, 1998, University of Aarhus, Denmark.
• (PROCOMET'98)
  "Programming Concepts and Methods", Shelter Island, New York, 8-12 June 1998.
• Ada-Europe '98
  June 8-12, 1998 Uppsala, Sweden
• 11th IEEE Computer Security Foundations Workshop
  June 9-11, 1998 Rockport, Massachusetts, USA
• 8th International Workshop on Logic-Based Program Synthesis and Transformation
  Manchester, United Kingdom, 15 - 19 June 1998
• MPC98
  Fourth International Conference on = MATHEMATICS OF PROGRAM CONSTRUCTION June 15 - 17, 1998 Marstrand, Sweden
• FORMAL TECHNIQUES FOR HARDWARE AND HARDWARE-LIKE SYSTEMS
  Workshop, June 18, 1998 Marstrand, Sweden
• WORKSHOP ON GENERIC PROGRAMMING
  June 18th 1998, Marstrand, Sweden
• ACM Workshop on Program Analysis for Software Tools and Engineering (PASTE '98)
  Montreal, Canada, June 16, 1998.
• ACM Conference on Programming Language and Design (PLDI '98)
  Montreal, Canada, June 17-19, 1998.
• 10th Euromicro Workshop on Real-Time Systems '98
  Berlin, June 17-19, 1998.
• FUN WITH ALGORITHMS
  An International Conference, June 18-20, 1998 Elba Island, Italy
• ACM Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES '98)
  Montreal, Canada, June 19-20, 1998.
• PROBMIV'98
  Pre-LICS'98 Workshop on PROBABILISTIC METHODS IN VERIFICATION June 19-20, 1998 Indianapolis, Indiana, USA
• LICS '98
  Indianapolis, June 21-25, 1998.
• Workshop on Formal Methods and Security Protocols
  25 June, 1998 Indianapolis, Indiana
• LDI '98
  LICS'98 WORKSHOP ON LOGIC AND DIAGRAMMATIC INFORMATION 25 June, 1998 Indianapolis, Indiana
• CAV '98
  Conference on Computer-Aided Verification, June 28 - July 2, 1998 Vancouver, British Columbia, CANADA
• PODC '98
  Seventeenth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, June 28th -- July 2nd, 1998, Puerto Vallarta, Mexico

July 1998

• ICALP '98
  25th International Colloquium on Automata, Languages, and Programming July 13 - 17, 1998 BRICS, Aalborg, Denmark
• INFINITY '98
  3rd INTERNATIONAL WORKSHOP ON VERIFICATION OF INFINITE STATE SYSTEMS, Aalborg, Denmark July 17-18, 1998 (A Satellite Workshop to ICALP'98)

August 1998

• (ESSLLI-98)
  10th European Summer School in Logic, Language and Information August 17-28, 1998, Saarbrucken, Germany
  WORKSHOPS
  
• MFCS '98
  The 23rd International Symposium on Mathematical Foundations of Computer Science August 24-28, 1998, Brno, Czech Republic
• MFCS'98 Workshop on Concurrency - Algorithms and Tools
  A Satellite Workshop to MFCS'98, August 27-28, 1998, Brno, Czech Republic

September 1998

• SIGCOMM 98
  Vancouver, British Columbia, Canada TUTORIALS: August 31 to September 1 CONFERENCE: September 2 to September 4
• IWTCS'98
  The IFIP 11th International Workshop on Testing of Communicating Systems August 31 - September 2, 1998 Tomsk, Russia
• Euro-Par'98
  Southampton September 1st-4th
• LD '98
  FIRST INTERNATIONAL WORKSHOP ON LABELED DEDUCTION, Freiburg, Germany, September 7 - 9, 1998
• EXPRESS '98
  5th Workshop on EXPRESSIVENESS IN CONCURRENCY Nice, France, September 7, 1998 Held in conjunction with the conference CONCUR'98 and the workshops HLCL'98, PAPM'98, COTIC'98
• CONCUR '98
  9th International Conference on Concurrency Theory Nice, France, September 8-11, 1998
• FTRTFT98
  the 5th International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Sept 14-15 (School) and Sept 16-18 (symposium) 1998, Lyngby, Denmark.
• SAS'98 AND PLILP/ALP'98
  Pisa, Italy, 14--18 September 1998
• Workshop on Principles of Abstract Machines
  in conjunction with SAS'98 and PLILP/ALP'98 Pisa, Italy 14-18. September 1998
• PART '98
  The 5th Annual Australasian Conference on Parallel And Real-Time Systems 28th - 29th September 1998 The University of Adelaide, Adelaide, Australia
• FIW'98
  Fifth International Workshop on Feature Interactions in Telecommunications and Software Systems Lund, Sweden, September 29 - October 1, 1998.

October 1998

• FroCoS '98
  2nd WORKSHOP ON FRONTIERS OF COMBINING SYSTEMS October 2-4, 1998, Amsterdam
• FMLDO'98
  Workshop on Foundations of Models and Languages for Data and Objects, Ostfriesland, Germany, October 5 - 9, 1998
• INTERNATIONAL WORKSHOP ON CURRENT TRENDS IN APPLIED FORMAL METHODS
  Boppard, Germany, 7-9 October, 1998
• The 10th Nordic Workshop on Programming Theory (NWPT'98)
  Turku, Finland, October 14-16th, 1998
• AiML'98
  Advances in Modal Logic '98 October 16-18, 1998 Uppsala University, Uppsala, Sweden
• Formalizing a subset of UML. Why? How? An OOPSLA'98 Workshop, Oct. 18, 1998, Vancouver, British Columbia
• Formal Underpinnings of Java
  An OOPSLA'98 Workshop, Oct. 18, 1998, Vancouver, British Columbia
• OOPSLA'98
  Oct. 18-22, 1998, Vancouver, British Columbia
• 4th ERCIM Workshop on "USER INTERFACES FOR ALL"
  Stockholm, Sweden 19-21 October 1998 Call for Papers
• CSC '98
  2nd International Conference on: "Circuits, Systems and Computers " October 26-28, 1998 Military Institutions of University Education, Hellenic Naval Academy, Terma Hatzikyriakou, 18539, Piraeus, Greece,

November 1998

• Estelle'98
  November 2, 1998, Evry, France A satellite workshop of FORTE PSTV '98
• 4th SPIN Workshop
  A satellite workshop of FORTE PSTV '98
• FORTE PSTV '98
  1998 IFIP TC6/WG6.1 Joint International Conference FORMAL DESCRIPTION TECHNIQUES (FORTE XI) & PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION (PSTV XVIII) PARIS, 3-6 November 1998
• FMCAD'98
  1998 International Conference on Formal Methods in Computer-Aided Design, November 4-6, 1998, Palo Alto, CA.

December 1998

• RTSS '98
  The 19th IEEE Real-Time Systems Symposium Madrid, Spain December 2-4, 1998
• FST and TCS 98
  Foundations of Software Technology and Theoretical Computer Science December 17--19, 1998, Chennai, India
• LOFT3
  Third Conference on "Logic and the Foundations of the Theory of Games and Decisions" ICER, Torino (Italy), December 17-20, 1998