Conferences 2002

January 2002

• POPL 2002 The 29th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages Prtland, Oregon, January 16-18, 2002 with workshops
  • PEPM'02 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Portland, Oregon, USA, January 14-15.
  • WITS '02 Workshop on Issues in the Theory of Security, January 14-15.
  • SAFE-NL Safe-NL Workshop Security: Applications, Formal aspects and Environments, University of Twente January 18, 2002
  • FOOL9 The Ninth International Workshop on Foundations of Object-Oriented Languages, January 19,
• PADL '02 Fourth International Symposium on Practical Aspects of Declarative Languages, Portland, Oregon, USA Jan 19-20, 2002
• VMCAI'02 Third International Workshop on Verification, Model Checking and Abstract Interpretation January 21-22, 2002 Auditorium S.Margherita - Venice, Italy
• MTV'02 Microprocessor Test and Verification January 21-22, 2002, Austin, Texas, USA.
• CNDS'2002 Communication Networks and Distributed Systems Modeling and Simulation Conference, 2002 Part of the 2002 SCS Western Multiconference on Computer Simulation January 27-31, 2002 San Antonio, Texas

February 2002

• CATS 2002 Computing: The Australasian Theory Symposium 2002 Monash University, Melbourne, Australia January 28th to February 1st, 2002

March 2002

• Weighted Automata: Theory and Applications Dresden University of Technology, March 4 - 8, 2002
• SAC'02 2002 ACM Symposium on APPLIED COMPUTING Madrid, Spain, 10-13 March 2002
• STACS 2002 19th International Symposium on Theoretical Aspects of Computer Science, Antibes Juan-les-Pins, France March 14--16 2002
• The 10th Anniversary Colloquium of UNU/IIST Formal Methods at the Crossroads from Panacea to Foundational Support Lisbon - Portugal March 18-21, 2002
• TestCom 2002 The IFIP 14th Intern. Conf. on Testing of Communicating Systems - Testing Internet Technologies and Services - March 19-22. 2002, Berlin, Germany
• FMOODS'2002 Fifth IFIP International Conference on Formal Methods for Open Object-based Distributed Systems 20-22 March 2002, University of Twente, the Netherlands
• ROOM 4 The Fourth Workshop on Rigorous Object-Oriented Methods, King's College London, UK March 21-22, 2002
• HSCC 2002 Hybrid Systems: Computation and Control, Fifth International Workshop Stanford, California USA, March 25-27.
• AAAI 2002 Spring Symposium Logic-Based Program Synthesis: State-of-the-Art & Future Trends. Stanford University, Stanford, CA. March 25-27, 2002

April 2002

• ETAPS 2002 The European Joint Conferences on Theory and Practice of Software, April 2002, Grenoble, France Containing
  • CC 2002 International Conference on Compiler Construction
  • ESOP 2002 European Symposium On Programming
  • FASE 2002 Fundamental Approaches to Software Engineering
  • FOSSACS 2002 Foundations of Software Science and Computation Structures
  • TACAS 2002 Tools and Algorithms for the Construction and Analysis of Systems
  with workshops
  • TPTS 2002 Theory and Practice of Timed Systems, April 6-7
  • ACL2 workshop April 8-9
  • SPIN 2002 The 9th International SPIN Workshop on Model Checking of Software, April 11-13
  • COCV 2002 International Workshop on Compiler Optimization Meets Compiler Verification, April 13
  • LDTA 2002 2nd Workshop on Language Descriptions, Tools and Applications, April 13
  • SLAP 2902 Synchronous Languages, Applications, and Programming, April 13
• FroCoS'2002 ``Frontiers of Combining Systems'', Fourth International Workshop, Santa Margherita (near Genova), Italy. April 8-10, 2002
• COORDINATION 2002 Fifth International Conference on Coordination Models and Languages, York 8-11 April 2002
• ECBS02 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Lund, Sweden, April 8-11, 2002 with workshops
  • Formal Specifications of Computer-Based Systems April 10-11
  • Performance, Interoperability, and Applications of Mobile Agent Systems April 10-11
  • Workshop on CBSE - Composing Systems from Components April 11
• RAW 2002 The 9th Reconfigurable Architectures Workshop, Fort Lauderdale, Florida, April 15, 2002
• AVoCS'02 Second Workshop on Automated Verification of Critical Systems, Birmingham, April 15-16, 2002.
• PERFORMANCE TOOLS 2002 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, London, United Kingdom, April 15--17, 2002
• ISORC 2002 5th IEEE International Symposium on Object-oriented Real-time distributed Computing, April 29 - May 1, 2002, Washington DC

May 2002

• Learning and Formal Verification: A Workshop in Honor of Eli Shamir May 6-8, 2002k Neve Ilan, Israel
• CODES'02 10th. Int'l Symposium on Hardware/Software Co-Design, Estes Park, Colorado, May 6-8, 2002
• IFM 2002 Third International Conference on Integrated Formal Methods, May 15-18, 2002 Turku, Finland.
• ISCA 2002 International Symposium on Computer Architecture, Anchorage, Alaska, May 25-29.

June 2002

• MTV'02 Microprocessor Test and Verification, June 6-7, 2002, Austin, Texas, USA
• RVK 02 RadioVetenskap och Kommunikation, 10-13 juni 2002, Stockholm.
• ECOOP 2002 16th European Conference on Object-Oriented Programming University of M?laga, Spain June 10-14, 2002
  with Workshops
  • FTfJP workshop on Formal Techniques for Java-like Programs June 10-14.
• PLDI 2002 ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, June 17-19, 2002, Berlin, Germany
• LCTES'02 and SCOPES'02 ACM SIGPLAN Joint Conference on Languages, Compilers, and Tools for Embedded Systems, and
  Software and Compilers for Embedded Systems Berlin, Germany, June 19-21, 2002
• ISMM 2002 International Symposium on Memory Management, Sponsored by ACM SIGPLAN, Berlin, Germany, June 20-21, 2002
• 14th Euromicro Conference on Real-Time Systems Technical University of Vienna, Austria, 19-21 June, 2002
• CD 2002 First International IFIP/ACM Working Conference on Component Deployment. June 20 - 21, 2002, Berlin, Germany
• WFLP 2002 11th International Workshop on Functional and (Constraint) Logic Programming. Grado, Italy June 20 - 22, 2002
• 15th IEEE Computer Security Foundations Workshop Keltic Lodge, Cape Breton, Nova Scotia, Canada. June 24-26, 2002
• 3rd SAM (SDL And MSC) Workshop Telecommunication and Beyond The broader applicability of SDL and MSC Aberystwyth 24th-26th June 2002
• PDPTA'2002 The 2002 Int. Conf. on Parallel and Distributed Processing Techniques and Applications June 24 - 27, 2002 Monte Carlo Resort, Las Vegas, Nevada, USA
  With Special session
  • Coordination and Component-Oriented Computing (Languages, Models, Systems)

July 2002

• PACS'02 Workshop on Power-Aware Computer Systems PACS'02 Cambridge, MA to be held in conjunction with the 8th International Symposium on High Performance Computer Architecture HPCA-8
• RSP 2002 13th IEEE International Workshop on Rapid System Prototyping, Darmstadt, Germany, July 1-3, 2002
• CIAA 2002 Seventh International Conference on Implementation and Application of Automata University of Tours, July 3 - 6, 2002.
• TIME-2002 9th International Symposium on Temporal Representation and Reasoning Manchester, UK, 7-9 July, 2002
• MPC 2002 Sixth International Conference on Mathematics of Program Construction, Schloß Dagstuhl July 8 - 10, 2002
• WCGP '02 IFIP WG2.1 Working Conference on Generic Programming, Schloß Dagstuhl July 11 - 12, 2002
• ICALP 2002 29th International Colloquium on Automata, Languages and Programming July 8-13, 2002, Malaga, Spain with workshops including
  • Formal Methods and Component Interaction 12-13 July.
  • FMICS 02 7th Int. Workshop on Formal Methods for Industrial Critical Systems July 12-13.
  • F-WAN Foundations of Wide Area Network Computing 12-13 July.
• WCGP '02 IFIP TC2 Working Conference on GENERIC PROGRAMMING July 8 - July 13, 2002, Dagstuhl, Germany
• SCI 2002 Systemics, Cybernetics and Informatics 2002 July 14-18, 2002 Orlando, Florida (USA)
• SEMAS-2002 Second International Workshop on Security of Mobile Multiagent Systems, Bologna, Italy July 15-19 2002
• FLoC '02 The 2002 Federated Logic Conference Copenhagen, Denmark, July 20 -- August 1, 2002, containing
  • FME 2002 Formal Methods Europe July 20-24
  • RTA'02 Conf. on Rewriting Techniqeus and Applications July 22-24
  • LICS'02 IEEE Symp. on Logic in Computer Science July 22-25
  • CADE'02 Automated Deduction July 27-30
  • CAV'02 Computer Aided Verification, July 27-31
  • ICLP'02 Int. Conference on Logic Programming, July 29 - Aug. 1
  • TABLEAUX'02 AUtomated Reasoning with Analytic Tableaux and Related Methods, July 30 - Aug. 1
  And a large number of workshops, including
  • PAPM-ProbMiV 2002 July 25/26.
  • IMLA 2 Intuitionistic Modal Logic and Applications '02. July 26.
  • RT-TOOLS'2002 2nd Workshop on Real-Time Tools, August 1.
• ISSTA 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis Rome, Italy, July 22-24, 2002.
• HPDC-11 The International Symposium on Grid Computing July 24 - 26, 2002, Edinburgh.
• WOSP 2002 Third Int. Workshop on Software and Performance. Rome, Italy, July 24-26, 2002.

August 2002

• CONCUR 2002 13th International Conference on Concurrency Theory Brno, Czech Republic, August 20-23, 2002 with workshops
  • EXPRESS'02 9th International Workshop on Expressiveness in Concurrency, August 19.
  • 1st Int. Workshop on Games for Verification August 19.
  • PDMC 2002 Parallel and Distributed Model Checking, August 19.
  • MTCS 2002 Models for Time-Critical Systems, August 24.
• TCS 2002 2nd IFIP International Conference on Theoretical Computer Science, Montreal, August 25-30, 2002
• COMPSAC 2002 26th In. Computer Software and Applications Conf., Oxford, England, Aug. 26-29.
• Euro-Par 2002 Paderborn, Germany August 27-30, 2002

September 2002

• EDILOG 2002 Sixth Workshop on the Semantics and Pragmatics of Dialogue, The University of Edinburgh Sept 4th-6th 2002
• DSD'2002 Euromicro Symposium On Digital System Design: Architecture, Methods, and Tools , Dortmund, Germany, September 4 - 6, 2002.
  Also including Component-Based Software Engineering Track
• CP-2002 8th Int. Conf. on Principles and Practice of Constraint Programming, September 7 - 13, 2002, Ithaca, NY, USA
• ECCE 11 - Cognition, Culture and Design Eleventh European Conference on Cognitive Ergonomics Catania, Italy, 8-11 September 2002
• SAFECOMP 2002 The 21st International Conference on Computer Safety, Reliability and Security Catania, Italy, 10-13 September 2002.
• FTRTFT `02 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems 9 -- 12 September 2002, University of Oldenburg Germany
• RE'02 the IEEE Joint International Requirements Engineering Conference in Essen, Germany, Sept. 9-13.
• AMAST'2002 9-th International Conference on Algebraic Methodology And Software Technology AMAST 2002, September 9-13, 2002 St. Gilles les Bains, Reunion Island, France
• ASIA-PEPM'02 ACM SIGPLAN Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation Aizu, Japan, September 12-14 2002.
• FLOPS 2002 Sixth International Symposium on Functional and Logic Programming University of Aizu, Aizu, Japan September 15--17, 2002.
• SAS'02 The 9th International Static Analysis Symposium, September 17 - 20 2002, Madrid, Spain
• EDOC 2002 The 6th IEEE International Enterprise Distributed Object Computing Conference September 17 - 20, 2002, Ecole Polytechnique Fédérale de Lausanne (EPFL) Switzerland
• LOPSTR'02 International Workshop on Logic Based Program Development and Transformation, Technical University of Madrid, 18 - 20 September 2002
• COLOGNET Joint Workshop on Component-based Software Development and Implementation Technology for Computational Logic Systems. 19 - 20 September 2002, Madrid, Spain
• SECI 02 Workshop SEcurity of Communication on Internet, 'Internet Communication Security' Tunis Tunisie 19-21 September 2002.
• CSL'02 Annual Conference of the European Association for Computer Science Logic 22--25 September 2002, Edinburgh, UK
• PACT 2002 The Eleventh International Conference on Parallel Architectures and Compilation Techniques, Charlottesville, Virginia, September 22-25, 2002
• ASE 2002 Automated Software Engineering 2001 17th IEEE International Conference September 23-27, 2002, Edinburgh, UK
• RTAS 2002 8th IEEE Real-Time Technology and Applications Symposium Sept. 24-27, 2002, San Jose, CA.
• 9th EuroPVM/MPI Johannes Kepler University Linz, Austria September 29-October 02, 2002
• 4th DAPSYS 4th Austrian-Hungarian Workshop on Distributed and Parallel Systems, Johannes Kepler University Linz, Austria September 29-October 02, 2002

October 2002

• UML'2002 Fifth International Conference on UML - the Language and its Applications 'Model Engineering, Concepts and Tools' Sep. 30-Oct. 4, 2002, Dresden, Germany with workshops
  • Critical Systems Development with UML September 30.
  • Workshop on "Consistency Problems in UML-Based Software Development" October 1.
  • Workshop on "Component-Based Software Engineering and Modeling Non-Functional Aspects" October 1.
• PLI 2002 Coll. on Principles, Logics and Implementations of High-Level Programming Languages Pittsburgh, PA, USA. First Weekend of Oct 2002
  Containing
  • ICFP 2002 International Conference on Functional Programming, 3--5 October.
  • PPDP 2002 International Conference on the Principles and Practice of Declarative Programming
  • GCSE/SAIG'02 The First ACM SIGPLAN/SIGSOFT Conference on Generators and Components (GCSE/SAIG'02): Generative Component-based Software Engineering (GCSE), and the Semantics, Applications, and Implementation of Program Generators, Oct. 6-8
  with workshops
  • VCL 2002 The Third International Workshop on Verification and Computational Logic, October 5.
  • Erlang Workshop October 7,
  • WAAAPL 2002 Workshop on Algorithmic Aspects of Advanced Programming Languages, October 7,
• ICSM 2002 Int. Conf. on Software Maintenance, 3-6 October 2002 Montreal, Canada.
• EMSOFT'02 EMSOFT 2002 Workshop, Grenoble, France, October, 7-9, 2002.
• CASES 2002 International Conference on Compilers, Architectures and Synthesis for Embedded Systems October 8-11, 2002 Grenoble, France
• ICGT 2002 1st International Conference on Graph Transformation Barcelona (Spain), October 7-12, 2002
• SREIS 2002 Second Symposium on Requirements Engineering for Information Security. Raleigh, North Carolina, October 15-16, 2002
• ICFEM 2002 4th International Conference on Formal Engineering Methods, October 22-25, 2002 Shanghai, China
• EDCC-4 4th European Dependable Computing Conference, Toulouse, France. October 23-25, 2002
• SERP'02 Second Conference on Software Engineering Research and Practice, Blekinge Inst. of Technology, Sweden, Oct 24-25, 2002.
• DASC 21st Digital Avionics Systems Conference. Irvine, CA, October 27-31, 2002.
• DISC 2002 16th Int. Symp. on Distributed Computing. ENSEEIHT, Toulouse, France. October 28-30, 2002
  with Workshops
  • GETCO 2002 4th workshop on GEometric and Topological methods in COncurrency and distributed systems theory. ENSEEIHT, Toulouse, France. October 30-31, 2002
• WCRE 2002 9th IEEE Working Conference on Reverse Engineering, Richmond, Virginia, USA, 28 October - 1 November
• IP BASED SOC DESIGN 2002 October 30-31, 2002 Grenoble, France

November 2002

• FMCO 2002 First International Symposium on Formal Methods for Objects and Components, November 5-8, 2002, Leiden, The Netherlands.
• FMCAD 2002 Fourth International Conference on Formal Methods in Computer-Aided Design November 6-8, 2002 Portland, Oregon, USA
• ICCAD-2002 Doubletree Hotel San Jose San Jose, California USA November 10-14, 2002.
• FORTE 2002 Formal Techniques for Networked and Distributed Systems, November 11 -- 14 , 2002, Houston, Texas
• 8th Erlang/OTP User Conference Älvsjö, Stockholm, Nov. 19
• NWPT'02 14th Nordic Workshop on Programming Theory, Tallinn, Estonia, Nov. 20-22.
• SYNCHRON'02 November, 25-30, La Londe les Maures, France.
• FIDJI'2002 International Workshop on scientiFic engIneering of Distributed Java applIcations November 28-29, 2002 Luxembourg,

December 2002

• HIS02 2nd International Conference on Hybrid Intelligent Systems, December 01 - 04, 2002 Universidad de Chile, Santiago, Chile
• ICECCS 2002 The Eighth IEEE International Conference on Engineering of Complex Computer Systems. Greenbelt, Maryland, USA, December 2 - 4, 2002
• RTSS-2002 23rd IEEE International Real-Time Systems Symposium, Austin, Texas, December 3-5, 2002.
• FSTTCS 2002 22nd Foundations of Software Technology and Theoretical Computer Science, December 12--14, 2002. Indian Institute of Technology, Kanpur, India
• FASec BCS-FACS Formal Aspects of Security, Royal Holloway, University of London, UK 19 - 20 December, 2002