Conferences 2000

January 2000

• POPL'2000
  The 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Boston, Massachusetts, January 19-21, 2000.
• PEPM'00
  ACM Sigplan Workshop on Partial Evaluation and Semantics-Based Program Manipulation Boston, Massachusetts January 22-23, 2000

February 2000

• STACS'2000
  17th International Symposium on Theoretical Aspects of Computer Science, February 17--19 2000, Lille, France.

March 2000

• 8th International Conference on Telecommunication Systems, Modeling and Analysis
  March 9-12, 2000 Nashville, Tennessee, USA
• SAC 2000
  2000 ACM Symposium on Applied Computing, Special Track on Coordination Models, Languages and Applications, March 19-21, 2000 Villa Olmo, Como, Italy
• ASM'2000
  Abstract State Machine (ASM) Workshop Monte Verita, Ticino, Switzerland, March 19th - March 24th, 2000.
• HSCC'00
  Hybrid Systems: Computation and Control Third International Workshop Pittsburgh, PA USA, March 23-25 (Thur-Sat), 2000
• ETAPS 2000
  March 25 - April 2, 2000, Technical University of Berlin, including:
  • ESOP 2000
  • FASE 2000
  • FOSSACS 2000
  • TACAS'2000
  • FMICS 5th Workshop Formal Methods for Industrial Critical Systems, April 3-4
• PERFORMANCE TOOLS 2000
  11th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation March 27 -- 31, 2000 Motorola University, Schaumburg, Illinois, USA

April 2000

• ICDCS 2000
  The 20th International Conference on Distributed Computing Systems, Taipei, Taiwan, Republic of China April 10-13, 2000
  including:
  • DSVV'2000 International Workshop on "DISTRIBUTED SYSTEM VALIDATION and VERIFICATION"
• LATIN'2000
  Latin American Theoretical Informatics April 10--14, 2000, Punta del Este, Uruguay
• MFPS 16
  Sixteenth Workshop on the Mathematical Foundations of Programming Semanticsm Stevens Institute of Technology Hoboken, NJ, April 13 - 16, 2000

May 2000

• WPDRTS 2000
  Eighth International Workshop on Parallel and Distributed Real-Time Systems, May 1-2, 2000, Westin Regina Hotel - Cancun, Mexico (held in conjunction with IPDPS 2000)
• STAREAST 2000
  Software Testing Conference, Orlando, Florida. May 1-5, 2000
• CODES 2000
  8th International Workshop on Hardware/Software Co-Design, Mission Bay, San Diego, May 3-5, 2000
• FMPPTA2000
  International Workshop on Formal Methods for Parallel Programming: Theory and Applications May 5, 2000 Cancun, Mexico
• SIGMOD / PODS 2000
  Dallas, Texas May 14-19, 2000
• FIW'00
  Sixth Int. Workshop on Feature Interactions in Telecommunications and Software Systems, 17-19 May, 2000 Glasgow, Scotland, UK.
• AMAST 2000
  8-th International Conference on Algebraic Methodology And Software Technology, May 20-27, 2000, Iowa City, Iowa, USA
• RTAS'00
  Sixth IEEE Real-Time Technology and Applications Symposium Washington D.C., USA May 31-June 2, 2000

June 2000

• ICSE '00
  22th International Conference on Software Engineering, June 7-9, Limerick Ireland.
• TCS 2000
  17th International Conference on Testing Computer Software, June 12-16, 2000, Washington, D.C.
• Lfm2000
  Fifth NASA LaRC Formal Methods Workshop, 13-15 June 2000 Hampton, Virginia, U.S.A.
• PLDI 2000
  ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation Vancouver B.C., Canada, June 18-21, 2000
  With Workshops
  • LCTES'2000
    ACM SIGPLAN 2000 Workshop on Languages, Compilers, and Tools for Embedded Systems Vancouver B.C., Canada, June 18, 2000
• ECRTS'00
  12th EUROMICRO Conference on Real-Time Systems, Royal Institute of Technology, Stockholm, Sweden June 19th-21st, 2000
• RSP 200
  IEEE Rapid Systems Prototyping Workshop, Paris, France, June 21-23 2000
• FTCS-30 and DCCA-8
  The International Conference on Dependable Systems and Networks New York City, NY June 25-28, 2000
• LICS'2000
  Fifteenth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE, June 26--29, 2000, Santa Barbara, California with workshops
  • Chu Spaces: Theory and Applications
    Sunday, June 25, 2000, Santa Barbara, California
• SAM 2000
  2nd Workshop on SDL and MSC, Grenoble, France, June, 26-28 2000
• PDPTA'2000
  The 2000 International Conference on Parallel and Distributed Processing Techniques and Applications, June 26 - 29, 2000, Monte Carlo Resort, Las Vegas, Nevada, USA
• CISST'2000
  The 2000 International Conference on Imaging Science, Systems, and Technology June 26 - 29, 2000, Monte Carlo Resort, Las Vegas, Nevada, USA
• IC-AI'2000
  The 2000 International Conference on Artificial Intelligence June 26 - 29, 2000, Monte Carlo Resort, Las Vegas, Nevada, USA
• Ada-Europe 2000
  5th Int. Coinf. on Reliable Software Technologies, June 26-30, 2000 Potsdam (Berlin), Germany
• SAS2000
  Int. Static Analysis Symposium, University of California, Santa Barbara, 29 June-1 July, 2000.

July 2000

• 13th IEEE Computer Security Foundations Workshop
  July 3-5, 2000 Cambridge, England
• MPC 2000
  5th International Conference on Mathematics of Program Construction, 3--5 July, 2000, Ponte de Lima, Portugal
• ICEIS 2000
  2nd International Conference on Enterprise Information Systems, Stafford UK, 4-7 July 2000
• ICALP '00
  27-th International Colloquium on Automata, Languages and Programming, July 9-15, 2000, Geneva, Switzerland with workshops
  • WITS '00
    Workshop on Issues in the Theory of Security, 7,8 July
  • PAPM 2000
    8th International Workshop on Process Algebra and Performance Modelling, July 15
• ASAP 2000
  12th International Conference on Application-specific Systems, Architectures and Processors Boston, Massachusetts
• CAV 2000
  Conference on Computer Aided Verification, 15--19 July 2000 Chicago, USA
• FICS 2000
  Fixed Points in Computer Science July 22 and 23, 2000, Paris, France,
• CL 2000
  First International Conference on Computational Logic Imperial College, London, UK 24th to 28th July, 2000 with workshops
  • VCL'2000
    Verification and Computational Logic, London, UK, July 24 - 29, 2000
• COCOON'2000
  Sixth Annual International Computing and Combinatorics Conference July 26-28, 2000, Bondi Beach , Sydney , Australia
• TOOLS 2000 USA
  "Software Serving Society" Santa Barbara, California July 30 - August 3, 2000

August 2000

• TPHOLs 2000
  The 13th Int. Conference on Theorem Proving in Higher Order Logics Portland, Oregon, USA, Monday 14 August - Friday 18 August 2000
• IFIP TCS2000
  IFIP Int. Conference on Theoretical Computer Science --- Exploring New Frontiers of Theoretical Informatics --- August 17 - 19, 2000, Tohoku University, Sendai, Japan
• WODES 2000
  5th Workshop on Discrete Event Systems August 21-23, 2000 Ghent, Belgium
• ISSTA 2000
  Int. Symp. on Software Testing and Analysis 2000
• CSL 2000
  Annual Conference of the European Association for Computer Science Logic, Fischbachau/Munich, Germany, August 21-26, 2000
• CONCUR 2000
  11th Int. Conference on Concurrency Theory, August 22-25, 2000, Penn State University, Pennsylvania, USA with workshops
  • EXPRESS'00
    7th Int. Workshop on Expressiveness in Concurrency, August 21
  • GETCO'00
    2nd Workshop on Geometric and Topological Methods in Concurrency Theory, August 21
  • MTCS 2000
    First Workshop on Models for Time-Critical Systems August 26 2000
  • YOO
    Why Object-Orientation, August 26
• Informatics - 10 Years Back, 10 Years Ahead
  Schloss Dagstuhl will celebrate it's 10th anniversary
• MFCS 2000
  25th Int. Symp. on Mathematical Foundations of Computer Science, August 28 - September 1, 2000 Bratislava, Slovak Republic,
• ACM SIGCOMM 2000
  Annual conf. of the ACM Special Interest Group on Data Communication August 28 - September 1, 2000 Stockholm, Sweden
• TestCom 2000
  IFIP TC 6 / WG 6.1 The IFIP 13th Int. Conference on Testing of Communicating Systems (formerly IWTCS), August 29 - September 1, 2000 Ottawa, Ontario, Canada
• Euro-Par 2000
  European Conference on Parallel Computing Munich (Germany), August 29th - September 1st, 2000.
• SPIN'2000
  The 7th Int. SPIN Workshop on Model Checking of Software Stanford University California, USA August 30- September 1, 2000

September 2000

• DSD 2000
  Digital Systems Design Symp., Maastrich, the Netherlands, September 5th-7th, 2000
• FMOODS'2000 Fourth IFIP Int. conference on Formal Methods for Open Object-based Distributed Systems, Stanford California, USA, 4th-6th September, 2000
  Important Dates 1st March 2000 Submission deadline , clt@cs.stanford.edu 30th April 2000 Notification of acceptance 23rd May 2000 Camera ready copy for participants proceedings due
• WFCS'2000
  Third IEEE Int. Workshop on Factory Communication Systems, Porto, Portugal, September 6-8, 2000
• VON Fall 2000
  Fall 2000 Voice on the Net. Atlanta, Georgia, U.S.A September 11 - 14
  with workshops
  • IPTS 2000
    IP Telecom Services Workshop 2000 co-located with Fall 2000 Voice on the Net (VON), Atlanta, Georgia, U.S.A September 11.
• COORDINATION 2000
  Fourth Int. Conference on Coordination Models and Languages Limassol, Cyprus 11-13 September 2000
• ASE'00
  Automated Software Engineering, 15th IEEE Int. Conference September 11--15, 2000, Grenoble, France
• Antenn 00
  Nordic Antenna Symp., Lund, Sweden, 12-14 September, 2000.
• ASA/MA 2000
  Second Int. Symp. on Agent Systems and Applications together with Fourth Int. Symp. on Mobile Agents. September 13-15, 2000, ETH, Zurich, Switzerland
• Logic and Algebra in Concurrency
  Dresden, September 13-16, 2000 (Wednesday - Saturday)
• FTRTFT 2000
  Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th Int. School and Symp. School: 12-14 September; Symp.: 15-16 September 2000 Pune, India
• CP2000
  Sixth Int. Conference on Principles and Practice of Constraint Programming September 18-22, 2000, Singapore
• PLI'00
  Principles, Logics, and Implementations of High-Level Programming Languagesm Montreal, Canada, September 18-23, 2000
  with workshops
  • HLCL'00
    4th Int. Workshop on High-Level Concurrent Languages, September 20.
  • PPDP 2000
    ACM Sigplan 2nd Int. Conference on Principles and Practice of Declarative Programming, September 20-22
  • HOOTS 2000
    The Fourth Int. Workshop on Higher Order Operational Techniques in Semantics, September 21-22
• ICFP 2000
  The 2000 Int. Conference on Functional Programming (ICFP) Montreal, Canada, 18-20 September 2000 with workshops
  • SAIG
    Semantics, Applications and Implementation of Program Generation, September 20
• Workshop on Emerging Issues in Computer and Systems Sciences
  Stockholm University, Sweden September 29 - 30, 2000

October 2000

• UML 2000
  Third Int. Conference on the Unified Modeling Language "Advancing the Standard" October 2-6, 2000 Royal York Hotel York, UK
• 6th Erlang/OTP User Conference
  Älvsjö, Stockholm, October 3.
• ESORICS 2000
  6th European Symp. on Research in Computer Security, October 4-6, 2000, Toulouse, France
• AiML-ICTL 2000
  Advances in Modal Logic - Int. Conference on Temporal Logic 2000, October 4-7, 2000, University of Leipzig, Germany
• FORTE/PSTV'00
  IFIP TC6/WG6.1 Joint Int. Conference FORMAL DESCRIPTION TECHNIQUES for Distributed Systems and Communication Protocols (FORTE XIII), Pisa, October 10-13, 2000
  with workshops
  • FM - ELSEwHeRE
    applications of Formal Methods to areas other than communication protocols and software engineering. Oct. 10
• NWPT '00
  The 12th Nordic Workshop on Programming Theory, University of Bergen, Norway October 11-13, 2000
• 19th IEEE Symp. on RELIABLE DISTRIBUTED SYSTEMS
  October 16-18, 2000, Nürnberg, Germany
• APAQS 2000
  the First Asia-Pacific Conference on Quality Software Hong Kong October 30-31, 2000

November 2000

• FMCAD'00
  Third Int. Conf. on Formal Methods in Computer-Aided Design November 1-3; Austin, Texas. with workshops
  • ACL2 Workshop 2000
    Oct 30-31, brief tutorial afternoon of Oct 29.
  • Workshop on Formal Specification and Verification Methods for Shared Memory Systems
    Oct 31.
• IFM2000
  2nd Int. Workshop on Integrated Formal Methods, Schloss Dagstuhl, Saarland, Germany, November 1-3.
• SIGSOFT FSE-8
  8th Int. Symp. on the Foundations of Software Engineering Shelter Island, San Diego, California, USA, November 6-10, 2000
• HLDVT'00
  IEEE Int. High Level Design Validation and Test Workshop, Nov. 8-10, The Claremont Resort & Spa, Berkeley, California
• LPAR'2000
  7th Int. Conf. on Logic for Programming and Automated Reasoning, Reunion Island, November 6-10, 2000
• CASES 2000
  Int. Conf. on Compilers, Architectures and Synthesis for Embedded Systems November 17-19, 2000 San Jose, CA, USA
• RTSS 2000
  The 21st IEEE Real-Time Systems Symp., Walt Disney World, Orlando, Florida, USA November 27-30, 2000,

December 2000

• MAMA'2000
  Int. ICSC Symp. on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce, December 11-13, 2000, Wollongong, Australia
• RTCSA 2000
  The 7th Int. Conference on Real-Time Computing Systems and Applications December 12-14, 2000, Cheju KAL Hotel, Cheju Island, South Korea.
• FST TCS 2000
  Foundations of Software Technology and Theoretical Computer Science, December 13--15, 2000, New Delhi, India