Conferences 2003

January 2003

• VMCAI'03 Fourth International Conference on Verification, Model Checking, and Abstract Interpretation NYU, January 9--11, 2003.
• PADL '03 Fifth International Symposium on Practical Aspects of Declarative Languages, New Orleans, Louisiana, USA Jan 13-14, 2002
• POPL'03 The 30th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisiana, USA Jan 15-17, 2002

February 2003

• CATS 2003 Computing: The Australasian Theory Symposium, Adelaide, South Australia, 4-7th February, 2003.
• MKM 2003 Second International Conference on Mathematical Knowledge Management, February 16-18 2003 Bertinoro - Italy
• RTCSA 2003 The 9th International Conference on Real-Time and Embedded Computing Systems and Applications, February 18 - 20, 2003 National Cheng-Kung University Tainan City, Taiwan, R.O.C.
• STACS 2003 20th International Symposium on Theoretical Aspects of Computer Science, Berlin, Germany February 27 - March 1, 2003

March 2003

• DATE 2003 6th Design, Automation and Test in Europe Conference, Munich, Germany, March 3-7, 2003.
• SAC 2003 ACM Symposium on Applied Computing, 9-12/03/2003 in Melbourne (USA)
• SPC-2003 First International Conference on Security in Pervasive Computing, March 12 - 14, 2003 in Boppard, Germany
• CGO 2003 First Annual IEEE/ACM International Symposium on Code Generation and Optimization, March 23-26, 2003, San Francisco, California
• THE FUN OF PROGRAMMING A symposium in honour of Professor Richard Bird's 60th birthday, Examination Schools, Oxford. 24-25 March 2003
• csmr 2003 Seventh European Conference on Software Maintenance and Reengineering Benevento, Italy March 26-28, 2003

April 2003

• AVoCS'03 Workshop on Automated Verification of Critical Systems, April 2-3, 2003, Southampton, UK.
• HSCC 2003 Sixth International Workshop on Hybrid Systems: Computation and Control, Prague, The Czech Republic, April 3-5 2003,
• ETAPS 2003 The European Joint Conferences on Theory and Practice of Software, 5-13 April 2003, Warshaw Poland. Containing
  • CC 2003 International Conference on Compiler Construction
  • ESOP 2003 European Symposium On Programming
  • FASE 2003 Fundamental Approaches to Software Engineering
  • FOSSACS 2003 Foundations of Software Science and Computation Structures
  • TACAS 2003 Tools and Algorithms for the Construction and Analysis of Systems
• SAIS & SSLS 2003 Swedish Artificial Intelligence Society (SAIS) and the Swedish Society for Learning Systems (SSLS). First Joint Workshop Örebro, April 10-11, 2003
• VVEIS-2003 The First International Workshop on Verification and Validation of Enterprise Information Systems. April 22, 2003 - Angers, France
• FMPPTA'2003 8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, April 22-26, 2003 Nice Acropolis Convention Center, Nice, France
• IDEAS'2003 6th Iberoamerican Workshop on Requirements Engineering and Software Environments, Asunción, Paraguay 30th April - 2nd May 2003

May 2003

• ICSE 2003 International Conference on Software Engineering May 3-10, 2003 Portland, Oregon
  with workshops
  • SCESM 2nd Int. Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, May 3
  • CBSE 6 6th Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction. May 3-4, 2003
  • SPIN 2003 The 10th Int. SPIN Workshop on Model Checking of Software, May 9-10.
• WORKSHOP on SEMANTICS and VERIFICATION of HARDWARE and SOFTWARE SYSTEMS MAY 20-22 Tel Aviv, Israel
• TestCom 2003 15th International Conference on Testing of Communicating Systems, May, 26th - 29th, 2003, Sophia Antipolis, France.

June 2003

• FMICS 03 Eighth International Workshop on Formal Methods for Industrial Critical Systems, Trondheim, Norway, June 5-7, 2003
• PEPM'03 ACM SIGPLAN 2003 Workshop on Partial Evaluation and Semantics Based Program Manipulation, San Diego, California, Saturday June 7, 2003
• RDP 2003 Federated Conference on Rewriting, Deduction and Programming (RDP) Valencia, Spain, June 8 - 14, 2003. Containing
  • RTA'03 14th Int. Conference on Rewriting Techniques and Applications,
  • TLCA'03 6th Int. Conference on Typed Lambda Calculi and Applications,
  • FTP'03 4th Int. Workshop on First Order Theorem Proving,
  • IFIP Working Group 1.6 on Term Rewriting
  • RULE'03 4th Int. Workshop on Rule Based Programming,
  • UNIF'03 16th Int. Workshop on Unification,
  • WFLP'03 12th Int. Workshop on Functional and Logic Programming,
  • WRS'03 3rd Int. Workshop on Red. Strat. in Rewriting and Programming,
  • WST'03 6th Int. Workshop on Termination,
• PODS 2003 ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, San Diego, California, June 9-11, 2003
• FIW'03 7th Int. Workshop on Feature Interactions in Telecommunications and Software Systems, June 9-11, 2003, Ottawa, Canada
• ISCA-2003 The 30th Annual International Symposium on Computer Architecture San Diego, California, USA June 9-11, 2003
• SOFTVIS '03 ACM Symposium on Software Visualization, June 11-13, 2003, San Diego, USA
• SAS '03 10th Annual International Static Analysis Symposium June 11-13, 2003 : San Diego, California
• LCTES'03 ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems, San Diego, California, June 11-13, 2003
• Ada-Europe 2003 Reliable Software Technologies 2003 June 16 - 20, 2003, Toulouse, France
  with workshop
  • QoSCBSE'2003 Quality of Service in Component-Based Software Engineering June 20th.
• ACSD 2003 International Conference on Application of Concurrency to System Design, 18-20th of June 2003 Guimaraes, Portugal
• LICS 2003 IEEE Symposium On Logic In Computer Science 2003, Ottawa, Ontario, Canada, 22-25 June 2003
• DSN 2003 The International Conference on Dependable Systems and Networks, San Francisco, CA, June 22rd - 25th, 2003
  with workshop on
  • Model-Checking for Dependable Software-Intensive
• WISP Workshop on Issues in Security and Petri Nets Eindhoven (NL), 23 June 2003
• PDPTA'2003 The 2003 International Conference on Parallel and Distributed Processing Techniques and Applications, June 23 - 26, 2003 Monte Carlo Resort, Las Vegas, Nevada, USA
  with a special session on Coordination and Component-Oriented Computing (Languages, Models, Systems)
• ATPN 2003 24th Int. Conf. on Application and Theory of Petri Nets, Eindhoven, The Netherlands, June 23-27, 2003.
• MEMOCODE 2003 Formal Methods and Models for Codesign, Mont Saint-Michel, France, June 24-26, 2003.
• ICSERA'03 1st International Conference on Software Engineering Research & Applications, Crowne Plaza Union Square, San Francisco, USA. June 25 - 27, 2003
• CSFW 2003 16th IEEE Computer Security Foundations Workshop, June 30 - July 2, 2003, Asilomar, Pacific Grove, CA, USA
• ICALP2003 Thirtieth International Colloquium on Automata, Languages and Programming. Eindhoven, The Netherlands, June 30 - July 4, 2003
  Pre-conference workshops (June 28-29)
  • Algorithms for Massive Data Sets
  • Foundations of Global Computing
  • Logic and Communication in Multi-Agent Systems
  • Quantum Computing
  • Security Issues in Coordination Models, Languages and Systems
  • Stochastic Petri-Nets
  • UML PITPAT Piecing Together Practice And Theory
  Post-conference workshops (July 5-6)
  • Algorithmics of Mobility and Networks
  • Evolutionary Algorithms
  • Neural Networks
  • Lambda Calculus and Type Theory

July 2003

• SLAP 2003 Synchronous Languages, Applications, and Programming. Tuesday July 1st, 2003, Porto, Portugal
• 15th Euromicro Conference on Real-Time Systems Porto, Portugal, 2-4 July, 2003
• FeT 2003 5th IFAC International Conference on Fieldbus Systems and their Applications, July 7 - 8, 2003, Universidade de Aveiro, Aveiro, Portugal
• CAV 2003 15th Computer-Aided Verification conference. Boulder, Colorado, USA, July 8--12, 2003.
  with workshops:
  • ACL2 Workshop, July 13 -- 14, 2002
  • Bounded Model Checking, July 13, 2002
  • PDMC 2003 Parallel and Distributed Model Checking July 14.
• SICICA 2003 5th IFAC Symposium on Intelligent Components and Instruments for Control Applications, July 9-11, 2003, Universidade de Aveiro, Aveiro, Portugal
• PSI'03 Andrei Ershov Fifth International Conference Perspectives of System Informatics, 9 - 12 July 2003, Novosibirsk (Siberia), Russia
• PODC 2003 Twenty-second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing. 13-16 July 2003 Boston, Massachusetts, USA
• CIAA 2003 Eighth International Conference on Implementation and Application of Automata July 16-18, 2003, Santa Barbara, CA, USA
• ECOOP 2003 European Conference on Object-Oriented Programming, July 21 - July 25, 2003, Darmstadt, Germany

August 2003

• RTiS=B403 SNART Real-Time in Sweden Conference 2003, M=E4lardalen University, V=E4ster=E5s, Sweden. August 18-19, 2003
• CSL'03 & KGC Annual Conference of the European Association for Computer Science Logic and 8th Kurt Goedel Colloquium, 25 August afternoon - 30 August 2003, Vienna, Austria
• EURO-PAR 2003 Klagenfurt, Austria, August 26-29, 2003.
• LOPSTR'03 International Symposium on Logic-based Program Synthesis and Transformation, August 25 - 27, 2003 Uppsala, Sweden
• PLI'03 Principles, Logics, and Implementations of High-Level Programming Languages, Uppsala, Sweden, 25-29 August 2003, containing:
  • ICFP 2003, 8th ACM SIGPLAN International Conference on Functional Programming 25-27 August
  • PPDP 03 Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming 27-29 August

September 2003

• 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems, Urbana, Illinois, USA September 2-7, 2003
  including
  • PNPM 2003 the 10th International Workshop on Petri Nets and Performance Models, September 2-5, 2003
  • TOOLS 2003 13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, September 2-5, 2003
  • NSMC'03 International Conference on the Numerical Solution of Markov Chains, September 3-5, 2003
  • 29th EUROMICRO CONFERENCE COMPONENT-BASED SOFTWARE ENGINEERING TRACK Antalya - Turkey, September 3rd-5th, 2003.
  • PMCCS-6 The Sixth International Workshop on Performability Modeling of Computer and Communication Systems, September 5-7, 2003
• CONCUR 2003 14th International Conference on Concurrency Theory 2-6 September 2003, Marseille, France.
• FORMATS 2003 First International Workshop on Formal Modeling and Analysis of Timed Systems. September 6-7 2003, Marseille, France
• TPHOLs 2003 The 16th International Conference on Theorem Proving in Higher Order Logics, Rome, Italy. Monday 8 September - Friday 12 September.
• FM 2003 The 12th International Formal Methods Europe Symposium, Pisa, Italy - September 8-14, 2003
• PATMOS 2003 Thirteenth International Workshop on Power And Timing Modeling, Optimization and Simulation, September 10-11-12, 2003 Torino, Italy
• ETFA-2003 Tha 9th IEEE International Conference on Emerging Technologies and Factory Automation; September 16-19, 2003, Lisbon, Portugal
• ISDT'03 The 3rd International Symposium on Domain Theory. September 19-23, 2003, Xi'an, China
• GPCE'03 The International Conference on Generative Programming and Component Engineering. September 22, 2003 Erfurt, Germany
• LPAR 2003 International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, September 22-26th, 2003, Almaty, Kazakhstan
• ICSM 2003 IEEE International Conference on Software Maintenance, 22-26 September, 2003 in Amsterdam, The Netherlands.
  associated workshops: ELISA, SCAM, WSE.
• SAFECOMP 2003 The 22nd International Conference on Computer Safety, Reliability and Security, 23-26 September 2003, Edinburgh, Scotland, United Kingdom
• S E F M 2 0 0 3 International Conference on Software Engineering and Formal Methods, Brisbane - Australia 22nd - 27th September, 2003
• SCOPES'03 7th International Workshop on Code Generation for Embedded Processors, Vienna, Austria, September 24-26, 2003.
• QSIC 2003 Third International Conference on Quality Software, Beijing, September 25-26, 2003
• PACT'03 12th International Conference on Parallel Architectures and Compilation Techniques September 27 - October 1, 2003. Chateau Sonesta Hotel, New Orleans, LA
• FORTE 2003 IFIP TC 6 / WG 6.1 The 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems. Berlin,Germany, September 29th - October 2nd, 2003.
• ISESE 2003 IEEE International Symposium on Empirical Software Engineering, Roma, Italy, September 30 - Oct. 1
• COMPSAC 2003 Sept 30 - Oct 3 2003

October 2003

• CODES-ISSS 2003 Merged Conference International Symposia on Hardware/Software Codesign and System Synthesis. Marriott Hotel, Newport Beach, California, USA Oct. 1-3, 2003
• ASE 2003 18th IEEE Int'l Conference on Automated Software Engineering, Montreal, Canada, October 6-10th, 2003. with workshop
  • FATES 2003 3rd Int'l Workshop on Formal Approaches to Testing of Software, October 6th.
• EMSOFT 2003 3rd International Conference on Embedded Software, Philadelphia, USA October 13 -- 15, 2003.
• ESORICS 2003 8th European Symposium on Research in Computer Security, October 13-15, 2003 Gjövik, Norway
• ICTCS'03 Eight Italian Conference on Theoretical Computer Science, University Center, Bertinoro, Italy October, 13 - 15, 2003
• UML 2003 Sixth International Conference on UML - Modeling Languages and Applications, October 20-24, 2003, San Francisco, USA
  with workshops
  • SVERTS International Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems October 20, 2003.
  • SIVOES-MDA Specification, Implementation and Validation of Object-oriented Embedded Systems - Model Driven Architecture Oct 20 or 21.
  • Compositional Verification of UML Models Oct 21.
• CHARME 2003 The 12th Advanced Research Working Conference on: Correct Hardware Design and Verification Methods, 21-24 October 2003, University of L'Aquila, L'Aquila, Italy
• NWPT'03 The 15th Nordic Workshop on Programming Theory. Aabo Akademi University, Turku, Finland, October 29-31, 2003
• CASES 2003 Int. Conf. on Compilers, Architecture and Synthesis for Embedded Systems Doubletree Hotel, San Jose, California. October 30 - November 1, 2003

November 2003

• FMCO 2003 Second International Symposium on Formal Methods for Components and Objects, 4 - 7 November 2003, Lorentz Center, Leiden University, Leiden, The Netherlands.
• ICFEM 2003 Fifth International Conference on Formal Engineering Methods. 5-7 November 2003 National University of Singapore
• Third International Conference on Quality Software Omni Richardson Hotel, Dallas, USA, Nov. 6-7, 2003
• HLDVT'03 IEEE International High Level Design Validation and Test Workshop 2003 November 12-14, 2003, Hyatt Regency Hotel, San Francisco, California
• WCRE 2003 The 10th Working Conference on Reverse Engineering Victoria, British Columbia, Canada November 13 - 16, 2003
• EUC 2003 9th International Erlang/OTP User Conference, Tuesday November 18, 2003. Ericsson, Älvsjö, Sweden
• DAIS 2003 Fourth International IFIP Working Conference on Distributed Applications and Interoperable Systems. 19-21 November 2003, Paris, France
• FMOODS'03 International Conference on Formal Methods for Open Object-based Distributed Applications Systems 19-21 November 2003, Paris, France
• NCWS'03 The 2nd Nordic Conference on Web Services. Växjö, Sweden 20 - 21 November 2003
• Metamodelling for MDA November 24th - 25th York, England
• APLAS03 The First Asian Symposium on Programming Languages and Systems, Beijing, China. November 27-29, 2003

December 2003

• ICSSEA 2003 16emes Journees Internationales "Genie Logiciel & Ingenierie de Systemes et leurs Applications", Paris - 2 - 4 Dec. 2003
• SEW-28 28th Annual IEEE/NASA Software Engineering Workshop Greenbelt Marriott Hotel, Greenbelt, MD, USA December 3-4, 2003
• Modocop Workshop Thursday December 4, 2003 Amphitheatre of INRIA Rhône-Alpes Montbonnot
• RTSS 2003 The 24th IEEE Real-Time Systems Symposium. December 3-5, 2003 Cancun, Mexico
• ICLP'03 Nineteenth International Conference on Logic Programming, 9-13 Dec, 2003 Mumbai (Bombay), INDIA. with workshop
  • SVV 2003 International Workshop on Software Verification and Validation. Mumbai (India), December 2003
• ASIAN'03 Eighth Asian Computing Science Conference Tata Institute of Fundamental Research, Mumbai, India. December 10-13, 2003
• ATVA 2003 1st International Workshop on Automated Technology for Verification and Analysis National Taiwan University, Wednesday-Saturday 10-13 December 2003.
• OPODIS 2003 7th International Conference On Principles of Distributed Systems. December 10-13 2003, La Martinique, France
• IWDC 2003 Fifth International Workshop on Distributed Computing Calcutta, India December 27-30, 2003