Conferences 2001

January 2001

• POPL 01
  The 28th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages London, January 17-19, 2001
• CATS 2001
  Computing: The Australasian Theory Symp., Bond University, Gold Coast, Queensland, Australia, January 29 - February 2.
• DUTCH MODEL CHECKING DAY
  January 30, 2001, University of Twente

March 2001

• FME 2001 "Formal Methods for Increasing Software Productivity" Int. Symp. and Tutorials 12-16 March 2001
  with workshops
  • IEEE 1394 (FireWire) Workshop Int. Workshop on Application of Formal Methods to the IEEE 1394 Standard
• FEmSys '01 Third Workshop on Formal Design of Safety Critical Embedded Systems, March, 21st - 23rd, 2001 Munich, Germany
• HSCC 2001 Hybrid Systems: Computation and Control, Fourth International Workshop Rome, ITALY. March 28-30 (Wed-Fri), 2001

April 2001

• ETAPS 2001 The European Joint Conferences on Theory and Practice of Software, April 2 - 6, 2001, Genova - Italy including:
  • CC 2001
  • ESOP 2001
  • FASE 2001
  • FOSSACS 2001
  • TACAS 2001
  Workshops:
  • WADT/CoFI 2001 15th International Workshop on Algebraic Development Techniques joint with General Workshop of the CoFI WG & CASL Tutorial, 1-3 April
  • CMCS2001 4th International Workshop on Coalgebraic Methods in Computer Science 6-7 April
  • PFM 01 Proofs For Mobility Workshop, April 7
  • WTUML01 Workshop on Transformations in the Unified Modeling Language April 7
  • RelMiS 2001 Relational Methods in Software April 7-8
• NRS 01 Nordic Radio Symposium 2001. Nynäshamn, Sweden. April 3-5 2001
• AVoCS'01 Workshop on Automated Verification of Critical Systems, Oxford, April 19-20, 2001
• HIPS'01 Sixth Int. Workshop on High-Level Parallel Programming Models and Supportive Environments, San Francisco, California, USA, April 23, 2001 (in conjunction with IPDPS'01)
• FMPPTA'2001 6th Int. Workshop on Formal Methods for Parallel Programming: Theory and Applications San Francisco, California, USA, April 23-27, 2001 (in conjunction with IPDPS'01)
• IHW 2001 Information Hiding Workshop. Holiday Inn University Center, Pittsburgh, PA, USA. 25 - 27 April, 2001.
• CODES'01 9th. Int'l Symposium on Hardware/Software Co-Design, Copenhagen, Denmark, April 25-27, 2001

May 2001

• LANMAN 2001 IEEE Local and Metropolitan Area Networks Workshop May 18 - ??
• ICSE 2001 23rd International Conference on Software Engineering May 12-19, 2001. Westin Harbour Castle, Toronto, Canada.
• SPIN'2001 The 8th International SPIN Workshop on Model Checking of Software, May 19-20, 2001 Toronto, Canada
• MFPS XVII 17th Conference on the Mathematical Foundations of Programming Semantics, Aarhus University Aarhus, Denmark May 24 - May 27, 2001
• WRS 2001 International Workshop on Reduction Strategies in Rewriting and Programming held in conjunction with RTA 2001 Utrecht, The Netherlands, May 26, 2001
• NWEC'01 Nordic Workshop on Electronic Commerce, Halmstad, Sweden, May 28-29, 2001
• ETW'01 IEEE European Test Workshop Saltsjöbaden, Stockholm, May 29 - June 1.

June 2001

• Java Grande - ISCOPE 2001 ACM Java Grande and Int. Symposium on Computing in Object-oriented Parallel Environments, Stanford University, June 2-4, 2001
• ICECCS 2001 Seventh IEEE International Conference on Engineering of Complex Computer Systems, Skövde, Sweden, June 11-15, 2001
• ECRTS'01 13th EUROMICRO Conference on Real-Time Systems, Technical University of Delft, Delft, The Netherlands June 13-15, 2001.
• LICS'2001 Sixteenth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE June 16 - 19, 2001, Boston, Massachusetts
  with workshops
  • Workshop on Theory and Applications of Satisfiability Testing June 14-15, 2001.
• IJCAR 2001 International Joint Conference on Automated Reasoning Siena, Italy, June 18-23, 2001.
  with workshops
  • STRATEGIES 2001 4th International Workshop on Strategies in Automated Deduction June 18 or 19, 2001
  • VERIFICATION WORKSHOP What are the verification problems? What are the deduction techniques? June 18-19.
  • MERLIN 2001 Workshop on MEchanized Reasoning about Languages with variable bINding June 18-19, 2001
  • Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics June 18-19, 2001
• ECOOP'2001 15th European Conference on Object-Oriented Programming Budapest, Hungary, June 18-22, 2001
• SIVOOES'2001 Specification, Implementation and Validation of Object-Oriented Embedded Systems, ECOOP workshop 19 June 2001
• PLDI 2001 ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, Snowbird, Utah, June 20 - 22, 2001 with wokshops
  • LCTES 2001 ACM SIGPLAN 2001 Workshop on Languages, Compilers, and Tools for Embedded Systems June 22 - 23
• RSP'2001 IEEE Int. Workshop on Rapid System Prototyping, Monterey, California, USA, June 25-27 2001
• ICACSD 2001 International Conference on Application of Concurrency to System Design 25-29 June, 2001, Newcastle upon Tyne, U.K.
• Petri Nets 2001 22nd International Conference on Application and Theory of Petri Nets 25-29 June, 2001, Newcastle upon Tyne, U.K.
• Tenth SDL FORUM Copenhagen 26th-29th June 2001
• ISCA 2001 28th Annual International Symposium on Computer Architecture Goteborg, Sweden June 30-July 4, 2001

July 2001

• ConCoord International Workshop on Concurrency and Coordination, Lipari Island, Italy 6-8 July 2001. A workshop associated to the 13th Lipari School
• ICALP'2001 Twenty - Eighth International Colloquium on Automata, Languages and Programming Crete, Greece, July 8 to 12, 2001.
  with workshops
  • Second International Workshop on Graph Transformation and Visual Modeling Techniques, July 12 and 13, 2001
  • VEPAS 2001 Verification of Parameterized Systems 13 July 2001.
• FMICS 2001 6th International Workshop on Formal Methods for Industrial Critical Systems, Paris, 16-17 July 2001
• SAS'01 8th INTERNATIONAL STATIC ANALYSIS SYMPOSIUM La Sorbonne, Paris 16-18 July, 2001
• CAV'01 Conference on Computer Aided Verification, 18-22 July 2001 Paris, France.
  with workshops
  • RV'01 Runtime Verification, 23 July 2001
  • SCODES'2001 Symposium on the Supervisory Control of Discrete Event Systems 23 July 2001.
  • Workshop on Software Model Checking 23 July 2001

August 2001

• FGMOL'01 Formal Grammar/Mathematics of Language Conference, August 10--12, 2001 Helsinki, Finland
• SEA 2001 Software Engineering and Applications. August 21-24, 2001 - Anaheim, California, USA
• PDCS 2001 Parallel and Distributed Computing and Systems. August 21-24, 2001 - Anaheim, California, USA
• CONCUR 2001 12th International Conference on Concurrency Theory Aalborg, Denmark, 21-24 August, 2001
  with workshops
  • EXPRESS'01 8th International Workshop on Expressiveness in Concurrency, August 20.
  • IMCTP'01 Integration of Model Checking and Theorem Proving, August 20th.
  • RT-TOOLS'2001 Workshop on Real-Time Tools. August 20th.
  • FATES'01 Formal Approaches to Testing of Software, August 25
  • MTCS 2001 Models for Time-Critical Systems, August 25
• RTiS2001 Real-Time in Sweden 2001 Aug. 21-22, 2001, Halmstad, Sweden.
• PODC 2001 20th ACM Symposium on Principles of Distributed Computing, Newport, Rhode Island, Aug. 26-29.
• FPL'2001 11th International Conference on Field Programmable Logic and Applications, 27 - 29 August 2001 Belfast, Northern Ireland
• RE'01 5th IEEE International Symposium on Requirements Engineering August 27-31, 2001 Royal York Hotel, Toronto, Canada
• Euro-Par 2001 Manchester, U.K. August 28th-31st, 2001

September 2001

• PLI 2001 Principles, Logics, and Implementations of high-level programming languages. Firenze, Italy, September 2 - September 8, 2001
  with workshops
  • Erlang Workshop September 2
  • 2001 Haskell Workshop September 2
  • VCL'2001 The Second International Workshop on Verification and Computational Logic, September 4
• PaCT-2001 Parallel Computing Technologies Sixth International Conference September 3-7, 2001 Novosibirsk, Russia
• DSD 2001 Euromicro Symposium on Digital Systems Design, Architectures, Methods, and Tools Warsaw, Poland, September 4-6, 2001
• 27th EUROMICRO CONFERENCE Euromicro Workshop on COMPONENT-BASED SOFTWARE ENGINEERING, Warsaw, Poland, September 4th-6th, 2001
• CHARME 2001 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, 4-7 September 2001 Livingston-Edinburgh (Scotland)
• HCC'01 IEEE Symposium on Human-Centric Computing Languages and Environments, Stresa, Italy, September 5-7, 2001
  with workshops
  • VLFM'01 Visual Languages and Formal Methods, September 5-7
• PACT'01 International Conference on Parallel Architectures and Compilation Techniques September 8-12, 2001, Barcelona, Catalunya, Spain
  with workshops
  • WBT-2001 Workshop on Binary Translation - 2001
  • COLP'01 Workshop on Compilers and Operating Systems for Low Power, September 9.
• CSL 2001 15th Annual Conference of the European Association for Computer Science Logic, Paris, France, September 10-13, 2001
• ALT-C 2001: Changing Learning Environments 8th annual conference of the Association for Learning Technology 11-13 September 2001, University of Edinburgh, UK
• 2001 Aachen International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems September 11-14, 2001 RWTH Aachen, Germany Including
  • PNPM 2001 9th International Workshop on Petri Nets and Performance Models , September 11-14, 2001
  • MMB 2001 11th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems September 11-14, 2001
  • Joint PAPM-PROBMIV 2001 Workshop (Process Algebra and Performance Modelling, Probabilistic Methods in Verification) Aachen, Germany September 12-14, 2001
• EUROBOT '01 Fourth European Workshop on Advanced Mobile Robots, Lund, Sweden, 19-21 September 2001
• IFL 2001 13th International Workshop on the Implementation of Functional Languages, Stockholm Sweden September 24 - 26, 2001
• 7th Erlang/OTP User Conference Älvsjö, Stockholm, Sept. 27

October 2001

• UML 2001 Fourth International Conference on the UNIFIED MODELING LANGUAGE, `Modeling Languages, Concepts and Tools', October 1-5, 2001, Toronto, Canada
• COMPSAC 2001 25th Annual International Computer Software and Applications Conference, Chicago, Illinois, USA, October 8-12, 2OO1
• NWPT'01 The 13th Nordic Workshop on Programming Theory Technical University of Denmark, October 10-12, 2001
• Mekatronikmöte 2001 Sveriges forsta nationella Mekatronikmoete. Aronsborg, Stockholm, Sweden, Oct 24-25, 2001.
• SERP'01 First Swedish Conference on Software Engineering Research and Practice, Blekinge Inst. of Technology, Sweden, Oct 25-26, 2001.
• TACS 2001 Fourth Int. Symposium on Theoretical Aspects of Computer Science October 29-31, 2001 Tohoku University, Sendai, Japan

November 2001

• NordSec 2001 Nordic Workshop on Secure IT-Systems, DTU, Lyngby, Denmark, 1.-2. November 2001
• ICSM2001 IEEE Int. Conference on Software Maintenance 2001 FLORENCE, ITALY, 5-9 November 2001, Theme: Systems and Software Evolution in the era of the Internet
• 3rd Dutch Model Checking Day 7th November 2001 TUE, Eindhoven
• 7th Dutch Testing Day 8th November 2001, TUE, Eindhoven
• FeT'2001 4th FeT Conference, Fieldbus Systems and their Applications ­ Nancy (France), 15-16 November 2001
• CASES 2001 International Conference on Compilers, Architectures and Synthesis for Embedded Systems November 16-17, 2001 Grand Hyatt Atlanta Altanta, GA, USA
• ASE 2001 Automated Software Engineering 2001 16th IEEE International Conference November 26-29, 2001, San Diego, USA with workshops
  • MBRE01 First International Workshop on Model-based Requirements Engineering November 30, 2001
• ICLPCP01 Seventeenth International Conference on Logic Programming Paphos, Cyprus, November 26-Dec. 1, 2001, with workshops
  • CLPSE'01 (Constraint) Logic Programming and Software Engineering Dec. 1.
  • CRGD Complex Reasoning on Geographical Data, Dec. 1.
• LOPSTR 2001 11th International Workshop on Logic-based Program Synthesis and Transformation. Paphos, Cyprus, November 28 - 30, 2001
• ICDM '01 The 2001 IEEE International Conference on Data Mining San Jose, California, USA November 29 - December 2, 2001.

December 2001

• MICRO-34 The 34th International Symposium on Microarchitecture, Austin, Texas, Dec. 1-5 2001
• RTSS'01 The 22nd IEEE Real-Time Systems Symposium, December 3-6, 2001, London, UK
• LPAR'2001 8th International Conference on LOGIC for PROGRAMMING, AI and REASONING, La Habana, Cuba, December 3-7, 2001.
• APAQS 2001 Second Asia-Pacific Conference on Quality Software, 10-11 December 2001, HONG KONG
• HIS'2001 International Workshop on Hybrid Intelligent Systems, Adelaide, South Australia. Date: 11-12, December 2001
• RTCSA 2001 The 8th International Conference on Real-Time Computing Systems and Applications. Keio University, Mita Campus Tokyo, Japan. December 11-13, 2001
• FSTTCS 21st Foundations of Software Technology and Theoretical Computer Science, December 13--15, 2001 Indian Institute of Science, Bangalore, India