Conferences 1999

January 1999

• AMAST '98
  Seventh Int. AMAST Conf. AMAST '98, January 5 - 9 , 1999, Amazonia, Brazil.
• DCCA-7
  DEPENDABLE COMPUTING FOR CRITICAL APPLICATIONS (DCCA-7) January 6-8, 1999, San Jose California, USA.
• POPL '99
  The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas, January 20-22, 1999

February 1999

• SAC '99
  1999 ACM Symposium on Applied Computing February 28 - March 2, 1999, The Menger, San Antonio, Texas, U. S. A.

March 1999

• FEMSYS '99
  Formal Design of Safety Critical Embedded Systems, March 15-19, 1999.
• Hybrid Systems and AI: Modeling, Analysis and Control of Discrete + Continuous Systems
  part of the 1999 AAAI SPRING SYMPOSIUM SERIES ON ARTIFICIAL INTELLIGENCE March 22 -- 24, 1999 Stanford University Stanford, California
• ETAPS 99
  European Joint Conf.s on Theory and Practice of Software March 22 - 26, 1999, Amsterdam, containing
  TACAS '99 , FOSSACS '99 GTLD '99 (3rd Int. Workshop on Generating Tools from Language Definitions)
• DIMACS Workshop on Mobile Networks and Computing
  March 24-26, 1999 DIMACS, Rutgers University.
• HYBRID SYSTEMS: COMPUTATION AND CONTROL
  Second Int. Workshop March 29-31, 1999 Berg en Dal, The Netherlands

April 1999

• HIPS'99
  Fourth Int. Workshop on High-Level Parallel Programming Models and Supportive Environments() San Juan, Puerto Rico, USA, April 12, 1999 (in conjunction with IPPS/SPDP'99)
• FMPPTA'99 : <>
  Int. Workshop on Formal Methods for Parallel Programming: Theory and Applications to be held in conjunction with 12th Int. Parallel Processing Symposium IPPS'99 April 12, 1998, San Juan, Puerto Rico
• BCTSC 15
  15th British Colloquium for Theoretical Computer Science, 14th - 16th April 1999, Keele University
• COORDINATION '99
  Third Int. Conf. on Coordination Models and Languages, Amsterdam, The Netherlands, 26-28 April 1999
• MFPS XV
  Fifteenth Conf. on the Mathematical Foundations of Programming Semantics, Tulane University New Orleans, LA USA April 28 - May 1, 1999 Programme

May 1999

• FRCR '99
  Federated Computing Research Conf., Atlanta, GA, USA April 30 - May 9, 1999
• PODC '99
  Eighteenth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC '99) Atlanta, GA, USA May 4-6, 1999
• M4M
  METHODS FOR MODALITIES 1, Institute for Logic, Language and Computation, University of Amsterdam, May 6-7, 1999
• ARTS'99
  5th Int. AMAST Workshop on Real-Time and Probabilistic Systems, May 26 -- 28, 1999, Bamberg, Germany
• WRTP'99 & ARTDB-99
  Joint 24th IFAC/IFIP Workshop on Real-Time Programming and the Third Int. Workshop on Active and Real-Time Database Systems Schloss Dagstuhl, Saarland, Germany May 31st - June 2nd, 1999

June 1999

• RTAS '99
  Fifth IEEE Real-Time Technology and Applications Symposium Vancouver, British Columbia, Canada June 2-4, 1999
• WSS '99
  Fourth Workshop on Self-Stabilizing Systems, Austin, Texas, USA, June 5, 1999
• 11th EUROMICRO Conf. on Real-Time Systems
  University of York, York, England June 9-11th, 1999
• RVK 99
  RadioVetenskap och Kommunikation 99, Karlskrona, 14-17 juni 1999
• ECOOP 99
  13th European Conf. on Object-Oriented Programming Lisbon, Portugal, June 14-18, 1999
  Workshops include:
  • 5th Mobile Object Systems Workshop:
    Programming Languages for Wide Area Networks
  • Workshop on Object-oriented and Constraint programming for time critical applications
    June 15,
  • SOAP '99
    2nd Int. Workshop on Semantics of Objects As Processes, June 15
• RSP '98
  10th IEEE Int. Workshop on Rapid System Prototyping, June 16-18, 1999, Sheraton Sankley, Clearwater, Florida, U.S.A
• ITiCSE'99
  4th Annual SIGCSE/SIGCUE Conf. on Innovation and Technology in Computer Science Education, Cracow, Poland June 27 - July 1, 1999
• IFM '99
  Integrated Formal Methods 1999: A Workshop on Combining State-based and Behavioural Formalisms June 28th-29th 1999, York, UK.
• 12th IEEE Computer Security Foundations Workshop
  June 28-30, 1999 Mordano, Italy
• PDPTA'99
  The 1999 Int. Conf. on Parallel and Distributed Processing Techniques and Applications, June 28 - July 1, 1999, Monte Carlo Resort, Las Vegas, Nevada, USA

July 1999

• FLoC'99
  The 1999 Federated Logic Conf. July 2 -10, 1999 Trento, Italy, containing
  • CAV '99,
    CONFERENCE ON COMPUTER-AIDED VERIFICATION, July 7-10,
  • 5th SPIN Workshop
    , July 5
  • SMC99
    Workshop on Symbolic Model Checking, July 6,
  • Fourth International Workshop on Formal Methods for Industrial Critical Systems
    , July 11-12
• CIA-99
  Third Int. Workshop, COOPERATIVE INFORMATION AGENTS July 31 - August 2, 1999, Stockholm.

August 1999

• SNART '99
  The Fifth Swedish National Conference on Real-Time Systems August 24-25, 1999 Linköping University
• CONCUR '99
  10 Int. Conf. on Concurrency Theory, Eindhoven, Aug. 24-27
  with satelite events
  • PROBMIV '99
  • EXPRESS '99
• FCT '99
  12-th International Symposium on FUNDAMENTALS OF COMPUTATION THEORY August 30 - September 3, 1999 Iasi, Romania
• Euro-Par'99
  Toulouse, France August 31 - September 3, 1999

September 1999

• The IFIP 12th Int. Workshop on Testing of Communicating Systems
  September 1 - September 3, 1999 Budapest, Hungary
• CTCS '99
  Category Theory and Computer Science 10-12 September 1999, Edinburgh, Scotland
• WADT 99
  14th Int. Workshop on Algebraic Development Techniques, Bonas, France 15-18 September 1999
• CMS '99
  Communications and Multimedia Security Joint working Conf. IFIP TC6 and TC11 September 20-21, 1999 Katholieke Universiteit Leuven, Belgium
• SAS '99
  Int. Static Analysis Symposium Venezia, Italy, 22--24 September 1999
• FM '99
  Formal Methods 1999, World Conf. on Formal Methods in the Development of Computing Systems, September 20-24, 1999.
  With workshops:
  • 6th SPIN Workshop Sept. 21
• CSL '99
  Annual Conference of the European Association for Computer Science Logic, September 20-25, 1999, Madrid, Spain
• CSL '99
  Annual Conf. of the European Association for Computer Science Logic September 20-25, 1999, Madrid, Spain
• CHARME '99
  10th IFIP WG10.5 Advanced Research Working Conf. on Correct Hardware Design and Verification Methods 27-29 September 1999, Bad Herrenalb (Germany)
• OOSDS'99
  Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours Paris, France, September 27, 1999
• 5th Int. Erlang/OTP User Conference
  September 30, Stockholm, Sweden

October 1999

• CASES '99
  The Second International Workshop on Compiler and Architecture Support for Embedded Systems October 1-3, 1999 Washington, D.C.
• FORTE/PSTV'99
  FORMAL DESCRIPTION TECHNIQUES (FORTE XII) for Distributed Systems and Communication Protocols, and PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION (PSTV XIX) Beijing, China, October 5-8, 1999
• NWPT'99
  The 11th Nordic Workshop on Programming Theory Uppsala University, Sweden, October 6-8, 1999
• ASE'99
  Automated Software Engineering 14th IEEE International Conference October 12 - 15, 1999 Cocoa Beach, Florida, USA
• RTC'99
  International Workshop on "REAL-TIME CONSTRAINTS" A Post-Conference Workshop of the 5th International Conference on Principles and Practice of Constraint Programming (CP'99) October 16, 1999, Alexandra, Virginia, USA
• UML '99
  2nd Int. Conf. on the Unified Modeling Language, Oct. 28-30, 1999, Fort Collins, Colorado, USA

November 1999

• OOPSLA'99 Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations
  Workshop #23 Denver, Colorado, Tuesday, November 2nd, 1999
• HLDVT'99
  IEEE International High Level Design Validation and Test Workshop, Nov. 4-6, 1999, San Diego, California
• ISSS'99
  12th INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS San Jose, CA, USA November 10-12, 1999
• HASE 99
  Fourth IEEE International Symposium on High Assurance Systems Engineering, Special Theme in 1999: Integration Issues in High Assurance Embedded Systems, Washington DC Metropolitan Area November 17-19, 1999
• SMARTNET'99
  The Fifth IFIP Conf. on Intelligence in Networks 22-26 November 1999, Bangkok, Thailand
• The 1999 Synchronous Workshop
  Hyeres, French Mediterranean coast, Nov. 29 - Dec. 3, 1999.

December 1999

• RTSS '99
  The 20th IEEE Real-Time Systems Symposium December 1-3, 1999 Phoenix, Arizona
• Workshop on Modelling and Verification
  Journees Modelisation et Verification C.I.S., Besancon, 9 -- 11 Decembre, 1999,
• ASIAN '99
  Asian Computing Science Conference Phuket, Thailand, December 10-12, 1999
• RTCSA 99
  Sixth International Conference on Real-Time Computing Systems and Applications part of the federated 1999 International Computer Congress December 13 - 15, 1999, Hong Kong.
  with workshops
  • AGENTS IN E-COMMERCE
    December 14, 1999
• FSTTCS '99
  Foundations of Software Technology and Theoretical Computer Science December 13--15, 1999, Chennai, India with workshops
  • Foundations of Mobile Computation
    A Post-Conference Satellite Workshop of FST & TCS 99, December 16-17, 1999 Institute of Mathematical Sciences Chennai, India
• IP Based Synthesis and System Design
  International Workshop on IP Based Synthesis and System Design, December 14-15, 1999, Grenoble
• ASIAN'99
  Asian Computing Science Conference, December 10-12, 1999, Phuket, Thailand.