Conferences 2004

January 2004

• HICSS 2004 Thirty-Seventh Annual Hawaii International Conference on System Sciences 5-8 January 2004, Hilton Waikoloa Village, Big Island of Hawaii, USA
• VLSI 2004 The Seventeenth International Conference on VLSI Design and The Third International Conference on Embedded Systems Design. January 5-9, 2004, Mumbai, India.
• VMCAI'04 Fifth International Conference on Verification, Model Checking and Abstract Interpretation Venice, Italy, January 11-13, 2004
• POPL 2004 The 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 14-16, 2004 Venice, Italy

February 2004

• COORDINATION 2004 Sixth International Conference on Coordination Models and Languages. 24-27 February 2004 Pisa, Italy

March 2004

• PRDC 2004 10th IEEE International Symposium Pacific Rim Dependable Computing Papeete, Tahiti, French Polynesia -- March 3-5, 2004.
• INAclP 2004 Joint Conference on Applications of Declarative Programming and Knowledge Management and Workshop on Constraint Logic Programming Berlin, March 4-6, 2004.
• ISPASS-2004 International Symposium on Performance Analysis of Systems and Software, March 10-12, 2004 Austin, Texas
• TestCom 2004 IFIP TC 6 / WG 6.1 The 16th IFIP International Conference on Testing of Communicating Systems. St Anne's College, Oxford, United Kingdom, 17-19 March 2004
• CGO 2004 Second Annual IEEE/ACM International Symposium on Code Generation and Optimization, with special emphasis on feedback-directed and runtime optimization. March 20-24, 2004 --- San Jose, California
• HSCC 2004 7th International Workshop on Hybrid Systems : Computation and Control. March 25-27, 2004. University of Pennsylvania Philadelphia, USA

April 2004

• ETAPS 2004 The European Joint Conferences on Theory and Practice of Software, March 29 - April 2, 2004, Barcelona, Spain. Including
  • CC 2004 International Conference on Compiler Construction
  • ESOP 2004 European Symposium On Programming
  • FASE 2004 Fundamental Approaches to Software Engineering
  • FOSSACS 2004 Foundations of Software Science and Computation Structures
  • TACAS 2004 Tools and Algorithms for the Construction and Analysis of Systems
  • SPIN Workshop April 1-3
• IFM 204 Fourth International Conference on Integrated Formal Methods. April 5-7, 2004 Canterbury, Kent, England.
• IAS 2004Information Assurance and Security, The Orleans, Las Vegas, Nevada, USA April 5-7, 2004
• APPSEM'04 2nd APPSEM-II Workshop, Tallinn, Estonia, 14-16 April 2004.
• IEEE ICECCS IEEE International Conference on Engineering of Complex Computer Systems, Florence, Italy, 14-16 April, 2004.
• PERVASIVE 2004 2nd International Conference on Pervasive Computing, Linz / Vienna, Austria, April 19-23, 2004
• PMEO-PDS' 2004 3rd International Workshop on Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems. 26-30 April 2004, Santa Fe, New Mexico
• IPDPS' 2004

May 2004

• TTCN-3 User Conference 2004 ETSI, Sophia Antipolis. 3-5 May 2004
• SERA 2004 Second ACIS International Conference on Software Engineering Research, Management and Applications. May 5-7, 2004. Los Angeles, CA, US
• 2004 IEEE Symposium on Security and Privacy May 9-12, 2004, The Claremont Resort Berkeley/Oakland, California, USA
• SAT-2004 Conference on Theory and Applications of Satisfiability Testing, Vancouver, 10-13 May 2004
• ISORC 2004 The 7th IEEE International Symposium on Object-oriented Real-time distributed Computing May 12-14, 2004, Vienna, Austria.
• Workshop on Predictable Software Component Assembly, 20-21 May 2004, University of Manchester, UK.
• ICSE 2004 26th Int. Conf. on Software Engineering Edinburgh, Scotland. May 23th - 28th, 2004
  With Workshops
  • CBSE7International Symposium on Component-based Software Engineering. May 24th - 25th, 2004
  • SCESM04 3rd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools May 25th, 2004
• RTAS 2004 10th IEEE Real-Time and Embedded Technology and Applications Symposium, Le Royal Meridien, King Edward, Toronto, Canada May 25-28th, 2004
• .NET TECHNOLOGIES 2004 2nd International Workshop on .NET Technologies University of West Bohemia Pilsen (Czech Republic), May 31 - June 2, 2004

June 2004

• RDP 2004 Federated Conference on Rewriting, Deduction, and Programming, May 31 - June 5, 2004, Aachen, Germany. Containing:
  • RULE 2004 5th International Workshop on Rule-Based Programming June 1,
  • WFLP 2004 13th International Workshop on Functional and (Constraint) Logic Programming June 1-2,
  • WST 2004 7th International Workshop on Termination. June 1-2,
  • WRS 2004 4th International Workshop on Reduction Strategies in Rewriting and Programming June 2,
  • HOR 2004 International Workshop on Higher-Order Rewriting June 2,
  • RTA'04 The 15th Int. Conf. on Rewriting Techniques and Applications. June 3 - 5.
• Weighted Automata: Theory and Applications Workshop. Dresden University of Technology, June 1 - 5, 2004
• 41st DAC 41st Design Automation Conference, San Diego, California, June 7-11, 2004.
• PLDI 2004 ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, Washington, DC, June 9-11, 2004
• MDAFA 2004 Model Driven Architecture: Foundations and Applications, June 10-11, 2004 Linköping University, Sweden
• LCTES'04 ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems, Washington, DC, June 11-13, 2004
• ECOOP 2004 18th European Conference on Object-Oriented Programming, June 14-18, 2004, University of Oslo, Norway
• ACSD04 Fourth International Conference on Application of Concurrency to System Design, June 16-18, Hamilton, Canada
• PADL '04 Sixth International Symposium on Practical Aspects of Declarative Languages 2004 Dallas, Texas, USA Jun 18-19, 2004
• SASYFT2004 International Workshop on Security Analysis of Systems: Formalisms and Tools. 21-22 June 2004, Orléans, France.
• IMCSE2004 The 2004 International Multiconference in Computer Science and Computer Engineering. Monte Carlo Resort, Las Vegas, Nevada, USA June 21-24, 2004
• ATPN 2004 25th International Conference on Application and Theory of Petri Nets, Bologna, Italy, June 21-25, 2004
• 17th IEEE Computer Security Foundations Workshop June 28 - 30, 2004, Asilomar, Pacific Grove, CA, USA
• DSN 2004 IEEE International Conference on Dependable Systems and Networks , Florence, Italy, June 28- July 1, 2004.
• 16th EUROMICRO Conference on Real-Time Systems June 30 - July 2, 2004 Catania, Italy

July 2004

• IJCAR 2004 Second International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004
• ICPADS 2004 The Tenth International Conference on Parallel and Distributed Systems, Newport Beach, California=20 July 7 - 9, 2004
• ISSTA 2004 International Symposium on Software Testing and Analysis, Omni Parker House Hotel Boston, Massachusetts July 11-14, 2004
• FCS'04 Foundations of Computer Security, Turku, Finland, July 12-13, 2004
• MPC 2004 7th International Conference on Mathematics of Program Construction, 12--14 July, 2004, Stirling, Scotland, UK
• AMAST 2004 10th International Conference on Algebraic Methodology And Software Technology, 12--16 July, 2004, Stirling, Scotland, UK
• ICALP2004 31st International Colloquium on Automata, Languages and Programming. Turku, Finland. July 12-16, 2004.
• CAV 2004 16th Computer-Aided Verification conference. Boston, Massachusetts, July 14-17, 2004.
• LICS 2004 The Nineteenth IEEE Symposium on Logic In Computer Science, Turku, Finland. July 14-17, 2004.
• PODC 2004Twenty-Third Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, July 25-28, 2004, St. John's, Newfoundland, Canada
• CEAS The First Conference on Email and Anti-Spam, July 30, 31 and August 1, 2004 Mountain View, CA Immediately Follows AAAI 2004

August 2004

• CTCS'04 10th Conference on Category Theory and Computer Science, August 12-14, 2004. IT University of Copenhagen (ITU) Copenhagen, Denmark
• 18th IFIP World Computer Congress 22-27 August 2004. Toulouse, France
• TCS 2004 3rd IFIP International Conference on Theoretical Computer Science (Foundations of Global Computing), August 23-26, 2004, Toulouse, France
• LOPSTR'04 + PEPM'04 + PPDP'04 + SAS'04 Verona, Italy, August 24-28, 2004
• RTCSA Real-Time and Embedded Computing Systems and Applications Conference, August 25-27, 2004, Gothenburg, Sweden
• ISDA 2004 Fourth International Conference on Intelligent Systems Design and Applications, 26-28 August 2004, Budapest, Hungary.
• CMDS2004 workshop on Component Models for Dependable Systems, 31 Aug - 1 Sept, Rennes, France
• CONCUR 2004 15th International Conference on Concurrency Theory Aug 31 - Sept 3, 2004, Royal Society, London
  with workshop
  • PDMC 2004 3rd International Workshop on Parallel and Distributed Methods in Verification, September 4.
• Euro-Par 2004 31th Aug - 3rd Sep. 2004. Pisa, Italy
• 30th EUROMICRO Conference Component-Based Software Engineering Track Rennes - France, August 31st - September 3rd, 2004
• DSD 2004 Euromicro Symposium on Digital System Design, Architectures, Methods and Tools August 31 - September 3, 2004, Rennes - France

September 2004

• SCOPES 2004 8th International Workshop on Software and Compilers for Embedded Systems, Amsterdam, The Netherlands, September 2 - 3, 2004.
• PASM'04 First International Workshop on Practical Applications of Stochastic Modelling. Saturday 4th September 2004, Imperial College London
• ICLP'04 Twentieth International Conference on Logic Programming Saint-Malo, France, September 6 - September 10, 2004.
• CODES+ISSS Second IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, Sept. 8-10, 2004, Stockholm, Sweden.
• IFL'04 16th International Workshop on Implementation and Application of Functional Languages, September 8th -- 10th, 2004, Luebeck, Germany
• QSIC 2004 Fourth International Conference on Quality Software, Special Focus on Quality Information Systems. Braunschweig, Germany, September 8-10, 2004
• AiML-2004 Advances in Modal Logic September 9-11, 2004, Manchester
• ESORICS 2004 9th European Symposium on Research in Computer Security, Institut Eur=E9com, Sophia Antipolis, French Riviera, France September 13-15, 2004
• SCAM 2004 Fourth IEEE International Workshop on Source Code Analysis and Manipulation, September 14-15, 2004. Chicago, IL, USA.
• PATMOS 2004 Fourteenth International Workshop on Power and Timing Modeling, Optimization and Simulation, September 15 - 17, 2004, Isle of Santorini, Greece
• PDCS 2004 17th International Conference on Parallel and Distributed Computing Systems, September 15-17, 2004 Canterbury Hotel, San Francisco, California, USA
• GAMES 04 Games and Automata for Synthesis and Validation, Tutorials and Annual Meeting, September 15 - 18, 2004, Bordeaux
• ICTAC 2004 First International Colloquium on Theoretical Aspects of Computing, Guiyang, China 20-24 September 2004
• EDOC 2004 The 8th International IEEE Enterprise Distributed Object Computing Conference, 20-24 September 2004, Monterey, California, USA
• CSL 04 13th Annual Conference of the European Association for Computer Science Logic, Karpacz, Poland, September 20-24, 2004
• ASE 2004 Automated Software Engineering 2004 19th IEEE International Conference September 20-25, 2004, Linz, Austria.
  with Workshop
  • FATES 2004 Fourth International Workshop on Formal Approaches to Testing of Software, Sept. 21
• SAFECOMP 2004 The 23rd International Conference on Computer Safety, Reliability and Security, 21-24 September 2004, Potsdam, Germany
• FORMATS - FTRTFT 2004 Joint Conference on Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant Systems, September 22-24, 2004, Grenoble, France
• WFCS-04 5th IEEE Workshop on Factory Communication Systems, September 22-24, 2004, Vienna, Austria
• AISC 2004 7th International Conference on Artificial Intelligence and Symbolic Computation, September 22-24, 2004, RISC (Research Institute for Symbolic Computation), Castle of Hagenberg, Austria.
• CASES 2004 Int. Conf. on Compilers, Architecture and Synthesis for Embedded Systems, Washington D.C September 23 - 25, 2004
• VLHCC 04 IEEE Symposium on Visual Languages and Human-Centric Computing, Rome, Italy, September 26-29, 2004
• SEFM 2004 Second IEEE International Conference on Software Engineering and Formal Methods Beijing, China 26 -- 30 September 2004
• EMSOFT 2004 Fourth ACM International Conference on Embedded Software, Pisa, September 27-29, 2004
• COMPSAC 2004 The 28th IEEE Annual International Computer Software and Applications Conference, September 27-30, 2OO4, HONG KONG
• JELIA'04 9th European Conference on Logics in Artificial Intelligence, Lisbon, Portugal, September 27-30
• QEST 2004 1st International Conference on Quantitative Evaluation of SysTems, University of Twente, Enschede, the Netherlands, September 27 -- 30, 2004 FORTE 2004 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems. September 27-30, 2004, Madrid, Spain
• JELIA'04 9th European Conference on Logics in Artificial Intelligence, Lisbon, Portugal, September 27-30
• COMPSAC 2004 The 28th IEEE Annual International Computer Software and Applications Conference, Hong Kong, September 28-30, 2OO4.
• ICGT 2004 2nd International Conference on Graph Transformation Roma (Italy), September 28 - October 2, 2004
• PACT'04 13th International Conference on Parallel Architectures and Compilation Techniques, September 29 - October 3, 2004, Hotel Ambassadeur, Antibes Juan-les-Pins, France

October 2004

• DISC 2004 The 18th Annual Conference on Distributed Computing, October 5-7, 2004, Amsterdam
• MASCOTS 2004 12th Annual Meeting of the IEEE / ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Volendam, The Netherlands. (outside Amsterdam) October 5-7, 2004.
• NWPT'04 The 16th Nordic Workshop on Programming Theory, October 6-8, 2004, Uppsala, Sweden.
• MOZ 2004 Second International Mozart/Oz Conference, Charleroi, Belgium, Oct. 7-8, 2004
• CPN'04, Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools October 8-11, 2004, and MOCA'04, Third Workshop on Modelling of Objects, Components, and Agents October 11-13, 2004
• UML'2004 October 11-15, 2004, Lisbon, Portugal with workshops
  • SIVOES-Behavior Workshop on the place of behavior for designing applications, Sunday, October 10th,
  • SVERTS 2004 Second International Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems October 11.
• MIC Workshop 2004 OMG's First Annual Model-Integrated Computing Workshop. Exploring the Synergy Between MIC and MDA October 12-15, 2004 - Arlington, VA USA .
• 10th International Erlang/OTP User Conference, Stockholm, October 21.
• GPCE'04 Third International Conference on Generative Programming and Component Engineering, Vancouver, October 24-28, 2004
• ISoLA 2004 1st International Symposium on Leveraging Applications of Formal Methods, 30th October - 1st November 2004, Coral Beach Hotel & Resort, Paphos, Cyprus
• ATVA 2004 2nd International Symposium on Automated Technology for Verification and Analysis, National Taiwan University, Sunday 31 October - Wednesday 3 November 2004.
• FSE-12 12th ACM SIGSOFT Int. Symp. on the Foundations of Software Engineering. Newport Beach, California, Oct. 31 - Nov. 6, 2004.

November 2004

• ISSRE 2004 IEEE International Symposium on Software Reliability Engineering, November 2-5, 2004, Saint-Malo, FRANCE
• FMCO 2004 Third International Symposium on Formal Methods for Components and Objects, 2 - 5 November 2004, Lorentz Center, Leiden University, Leiden, The Netherlands.
• APLAS 2004 The Second ASIAN Symposium on Programming Languages and Systems, Taipei, Taiwan, November 4-6 2004
• ICFEM 2004 Sixth International Conference on Formal Engineering Methods, November 8-12, 2004, Seattle, USA.
• ICSTESTR-E Internacional Conferences on Software Testing, Nov. 10-11, Bilbao, Spain.
• HLDVT'04, IEEE International High Level Design Validation and Test Workshop 2004, November 10-12, 2004, The Lodge at Sonoma, Sonoma, California
• FMCAD 2004 Formal Methods in Computer-Aided Design: 5th International Conference. November 14--17, 2004, Hyatt Regency Hotel, Austin, Texas
• International Colognet/FMEurope Symposium on Teaching Formal Methods Ghent, Belgium, November 18--19, 2004
• TFP 2004 Fifth Symposium on Trends in Functional Programming, November 25-26th 2004, Ludwig-Maximilians University, Munich, Germany.
• Infinite Games Rheinische Friedrich-Wilhelms-Universität Bonn Mathematisches Institut, November 26-29, 2004.

December 2004

• RTSS 2004 The 25th IEEE Real-time Systems Symposium, December 5-8, 2004 Lisbon, Portugal
• OPODIS 2004 8th International Conference On Principles Of Distributed Systems, 15-17 December 2004, Grenoble, France
• FST&TCS 2004 The 24th Conference on Foundations of Software Technology and Theoretical Computer Science, December 16--18, 2004, Chennai, India
• ICMLA'04 The 2004 International Conference on Machine Learning and Applications, December 16-18, 2004, Louisville, Kentucky, USA
• BCS-FACS Christmas Meeting, The Verified Software Repository, 21 December 2004, BCS London Offices.
• ICDCIT04 International Conference on Distributed Computing & Internet Technology, Bhubaneswar, India, December 22-24, 2004.