Conferences 2005

January 2005

• ICDT 2005 10th International Conference on Database Theory, January 5-7, 2005, Edinburgh, Scotland
• WITS'05 2005 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS, Workshop on Issues in the Theory of Security, January 10-11, 2005, Long Beach, California.
• PADL 05 Seventh International Symposium on Practical Aspects of Declarative Languages 2005, Long Beach, California, USA, January 10-11, 2005
• POPL 2005 The 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 12-14, 2005, Long Beach, California.
• VMCAI'05 Sixth International Conference on Verification, Model Checking and Abstract Interpretation January 17-20, 2005, Paris, France, with workshop
  • AIOOL'05 First International Workshop on Abstract Interpretation of Object-oriented Languages 21st January

February 2005

• STACS 2005 22nd International Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005

March 2005

• RTAS 2005 11th IEEE Real-Time and Embedded Technology and Applications Symposium March 7 - 10, 2005, San Francisco, California.
• DATE 05 7-11 March, 2005 ICM, MESSE, Munich, Germany with Subtrack on Real-Time systems and workshop: "Embedded Systems Design: An Emerging Unified Discipline" on March 11.
• ASM 2005 International Workshop on Abstract State Machines, Paris, France, March 8-11, 2005
• HSCC 2005 Hybrid Systems: Computation and Control, 8th International Workshop Swiss Federal Institute of Technology (ETH) Zurich, Switzerland, March 9-11, 2005.
• LPAR-11 The 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Montevideo, Uruguay. March 14-18, 2005
• AOSD'05 Fourth International Conference on Aspect-Oriented Software Development, Chicago, USA March 14-18, 2005
• WWV'05 1st International Workshop on Automated Specification and Verification of Web Sites, March 14-15 2005, Valencia, Spain
• VISSAS 2005 NATO Advanced Research Workshop Verification of Infinite State Systems with Applications to Security, March 17--22, 2005, Timisoara, Romania.
• ISPASS-2005 International Symposium on Performance Analysis of Systems and Software, March 20-22, 2005 Austin, Texas
• CGO 2005" International Symposium on Code Generation and Optimization, March 20-23, 2005 --- San Jose, California
• OMG Workshop on MDA, SOA and Web Services Designing and Building the Integrated Enterprise – Practice, not Promise, Orlando, Florida March 21-24, 2005.
• BCTCS 2005 21st British Colloquium for Theoretical Computer Science, 22-24 March 2005, University of Nottingham, England
• ISQED 2005 6th IEEE International Symposium on Quality Electronic Design, March 28-30, 2005 San Jose, CA, USA.

April 2005

• ETAPS 2005 European Joint Conferences on Theory And Practice of Software, 2-10 April 2005. Edinburgh, Scotland, United Kingdom
  Including
  • CC 2005 International Conference on Compiler Construction
  • ESOP 2005 European Symposium On Programming
  • FASE 2005 Fundamental Approaches to Software Engineering
  • FOSSACS 2005 Foundations of Software Science and Computation Structures
  • TACAS 2005 Tools and Algorithms for the Construction and Analysis of Systems
• WPDRTS 2005 13th International Workshop on Parallel and Distributed Real-Time Systems, April 4-5, Omni Interlocken Hotel, Denver, Colorado
• IPDPS 2005 19th International Parallel and Distributed Processing Symposium April 4-8, 2005, Denver, Colorado
• RTS'2005 13th International Conference on Real-Time Systems, April 5-6, 2005, Paris, France (Paris-Expo, Porte de Versailles).
• SPC2005 2nd International Conference on Security in Pervasive Computing, April 6-8, 2005 Boppard, Germany
• ZB2005 4th International Conference of B and Z Users, 13-15 April 2005 University of Surrey, Guildford, UK
• RDP 2005 Federated Conference on Rewriting, Deduction and Programming, Nara, Japan, April 19 - 23, 2005, containing
  • RTA 2005 International Conference on Rewriting Techniques and Applications, April 19 - 21, 2005
  • TLCA 05 Seventh International Conference on Typed Lambda Calculi and Applications, 21-23 April 2005
• EDCC-5 5th European Dependable Computing Conference, Budapest, Hungary, 20-22 April, 2005.
• COORDINATION 2005 7th International Conference on Coordination Languages and Models, Namur, Belgium 20-23 April 2005

May 2005

• PERVASIVE 2005 3rd International Conference on Pervasive Computing, May 8-13, 2005 Munich, Germany
• IEHSC 2005 International Embedded and Hybrid Systems Conference, 10 May - 13 MAY 2005, Singapore.
• ICSE 2005 27th Int. Conf. on Software Engineering, St. Louis, Missouri, USA, May 15-21, 2005. With Workshops
  • CBSE8International Symposium on Component-based Software Engineering. May 14 - 15, 2005.
• MFPS XXI Mathematical Foundations of Programming Semantics, May 18 - May 21, 2005 University of Birmingham Edgbaston, Birmingham, UK.
• .NET TECHNOLOGIES 2005 3rd International Conference on .NET Technologies, University of West Bohemia Pilsen (Czech Republic), May 30 - June 1, 2005

June 2005

• ICAPS 2005 International Conference on Automated Planning and Scheduling, Monterey, CA USA, June 5-10 2005. With Workshops
  • VVPS'05 1st Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems. June 6, 7 - 2005
• ACSD 2005 Fifth International Conference on Application of Concurrency to System Design, 6-9th of June 2005, Palais du Grand Large, St Malo, France.
• ICDCS05 25th International Conference on Distributed Computing Systems Columbus, Ohio, June 6-9, 2005 With Workshops
  • DEBS '05 4th International Workshop on Distributed Event-Based Systems, June 10
• PODS 2005 ACM Symposium on Principles of Database Systems, Baltimore, Maryland, USA, June 13 - 15, 2005
• RVK 2005 RadioVetenskap och Kommunikation, Linköping 14-16 juni, 2005.
• PLDI 2005 ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, Illinois, USA, June 12-15, 2005.
• ICAC 2005 The 2nd IEEE International Conference on Autonomic Computing, June 13-16, 2005, Renaissance Seattle Hotel, Seattle, WA.
• LCTES'05 ACM SIGPLAN/SIGBED 2005 Conference on Languages, Compilers, and Tools for Embedded Systems. Chicago, Illinois, June 15-17, 2005.
• FMOODS 2005, 7th th IFIP International conference on Formal Methods for Open Object-based Distributed Systems, 15-17 June, 2005 Athens, Greece
• REALWSN'05 Workshop on Real-World Wireless Sensor Networks, June 20-21, 2005 Stockholm, Sweden.
• CSFW 18 18th IEEE Computer Security Foundations Workshop, June 20 - 22, 2005, Aix-en-Provence, France.
• SDL Forum 2005 12th SDL Forum: Integration of System Design Languages, June 20-24, 2005, Grimstad, Norway
• ATPN 2005 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Miami, Florida, June 20-25, 2005
• TIME 2005 Temporal Representation and Reasoning, Burlington, Vermont, USA, June 23-25, 2005
• CIAA 2005 10th International Conference on Implementation and Application of Automata, June 27-29, Sophia Antipolis, France.
• DSN-2005 The International Conference on Dependable Systems and Networks. Sheraton Society Hill, Philadelphia, PA, USA. Sunday June 25 - Wednesday June 28, 2006,

July 2005

• 17th EUROMICRO Conference on Real-Time Systems Palma de Mallorca, Balearic Islands, Spain. July 6-8, 2005
• IOLTS 2005 ECSQARU-2005, Eighth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, July 6-9, 2005 Barcelona, Spain
• CAV 2005 Computer Aided Verification, 17th International Conference, July 6 -- 10 , 2005, University of Edinburgh, Scotland, UK With Workshops
  • FATES 2005 Formal Approaches To Testing of Software. July 11.
• PPDP 2005 Seventh ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming Lisboa, Portugal, 11-13 July 2005
• ICALP 2005 32nd International Colloquium on Automata, Languages and Programming, Lisbon, Portugal, July 11-15, 2005
• MEMOCODE 2005 Third International Conference on Methods and Models for Codesign, July 11-15, 2005, Verona, Italy.
• The 12th International Workshop on Design, Specification and Verification of Interactive Systems The Devonshire Building, University of Newcastle-upon-Tyne, England July 13-15, 2005
• MKM 2005 Fourth International Conference on Mathematical Knowledge Management. 15. - 16. July 2005. Bremen --- Germany.
• SAMOS - V Embedded Computer Systems: Architectures, Modeling, and Simulation, July 18 - 20, 2005, Greece.
• FM05 13th Formal Methods Symposium, Newcastle, UK, 18-22 July 2005.
• CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22 - July 27, 2005.
• 2nd European Lisp and Scheme Workshop July 26, Glasgow, Scotland.
• FTfJP'2005 7th ECOOP Workshop on Formal Techniques for Java-like Programs, July 25 or 26, 2005
• COMPSAC 2005 29th IEEE Annual International Computer Software and Applications Conference, Edinburgh, Scotland, July 25-28, 2005.
• AAMAS 2005 Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, Utrecht University, Utrecht (The Netherlands), July 25-29, 2005
• ECOOP 2005 The 19th European Conference on Object Oriented Programming, Scottish Exhibition and Conference Centre, Glasgow, Scotland, 25-29 July.
• LICS 2005 The 20th IEEE Symposium on Logic In Computer Science, Chicago, US. July 26-29, 2005.
• IJCAI 2005 19th International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK July 30 Aug. 5 , 2005.

August 2005

• Algebraic Process Calculi: The First Twenty Five Years and Beyond University of Bologna, Residential Center, Bertinoro (Forlì), Italy, August 1-5, 2005.
• ESSLLI'05 European Summer School in Logic, Language and Information. 8-19 August, Edinburgh Student Session.
• RTiS 2005 Real-Time in Sweden, the 8th biennial SNART conference on real-time systems August 16-17, in Skövde
• ICSEng05 Eighteenth International Conference on Systems Engineering, Las Vegas, USA, August 16-18, 2005.
• SPIN 2005 12th International SPIN Workshop on Model Checking of Software, August 22-24, 2005, San Francisco, USA
• CSL'05 Computer Science Logic, 22-25 August 2005. Oxford, UK
• CONCUR 2005 16th International Conference on Concurrency Theory Aug 23-26, San Francisco, California. With Workshops, e.g.,
  • FIT 2005 Foundations of Interface Technologies, August 21.
• 31st EUROMICRO CONFERENCE on Software Engineering and Advanced Applications, Porto, Portugal, August 30th - September 3rd, 2005
• DSD'2005 8th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN Architectures, Methods and Tools Porto, Portugal, August August 30th - September 3rd, 2005
• EURO-PAR 2005 August 30 - September 2, 2005 Universidade Nova de Lisboa, Portugal,

September 2005

• WS-FM 2005 2nd International Workshop on Web Services and Formal Methods, 1-3 September 2005, Versailles, France.
• PaCT-2005 Parallel Computing Technologies, Eighth International Conference September 5-9, 2005 Krasnoyarsk, Russia
• ESEC/FSE'05 10th European Software Engineering Conference / 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, September 5-9, 2005 - Lisbon, Portugal
• SAS'05 The 12th International Static Analysis Symposium 7-9 September 2005, London, UK.
• SEFM 2005 Third IEEE International Conference on Software Engineering and Formal Methods, Koblenz, Germany 7-9 September 2005
• KI 2005 28th German Conference on Artificial Intelligence, September 11-14, 2005 Koblenz, Germany.
• AVoCS '05 Fifth International Workshop on Automated Verification of Critical Systems, University of Warwick, UK, 12-13 September 2005.
• PACT'05 International Conference on Parallel Architectures and Compilation Techniques. Saint Louis, Missouri, September 17-21, 2005.
• CODES+ISSS 2005 Third IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, September 19-21, 2005 New York Metropolitan area Hyatt Regency Jersey City, Jersey City, USA
• FroCoS 2005 5th International Workshop on Frontiers of Combining Systems, Vienna, Austria, September 19-21, 2005
• QSIC 2OO5 Fifth International Conference on Quality Software, Melbourne, Australia, September 19 -21, 2005.
• AADEBUG 2005 Sixth International Symposium on Automated and Analysis-Driven Debugging, Monterey, California, September 19-21, 2005
• QEST 2005 2nd International Conference on Quantitative Evaluation of SysTems, Torino, Italy, September 19 -- 22, 2005
• ETFA'2005 10th IEEE International Conference on Emerging Technologies and Factory Automation, September 19-22, 2005, Catania, Italy
• EMSOFT 2005 September 19-22, 2005, Jersey City Hyatt (New York City area).
  With Workshop
  • Workshop on Embedded Systems Education, September 22nd, 2005
• GAMES 05 Annual Meeting of the Research Training Network GAMES, Paris, September 21 - 24, 2005
• ISoLA 2005 2nd International Symposium on Leveraging Applications of Formal Methods, 23-24 September 2005, Loyola College Graduate Center, Columbia, MD Special track theme: Formal Methods in Human and Robotic Space Exploration.
• CASES 2005 2005 International Conference on Compilers, Architecture and Synthesis for Embedded Systems, San Francisco, CA. 24 - 27 September 2005
• ICSM 2005 IEEE International Conference on Software Maintenance 2005, 25-30 September 2005, Budapest, Hungary.
• FORMATS'05 3rd International Conference on Formal Modelling And Analysis of Timed Systems, September 26-28, 2005, Uppsala, Sweden
• ICFP 2005The 10th ACM SIGPLAN International Conference on Functional Programming, Tallinn, Estonia, September 26-28, 2005.
  With Workshop
  • Fourth ACM SIGPLAN Erlang Workshop September 25.
• UK Model Checking Days York, UK, 27-28 September 2005.
• GPCE'05 4th International Conference on Generative Programming and Component Engineering Sep 29 - Oct 1, 2005, Tallinn (Estonia).

October 2005

• FSEN 2005 IPM Int. Workshop on Foundations of Software Engineering, 1-3 October 2005, Tehran, Iran.
• ICLP'05 Twenty first Int. Conf. on Logic Programming 2-5 October, 2005 Sitges (Barcelona) Spain
• FORTE 2005 25th IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, National Taiwan University, 2 - 5 October 2005.
• ATVA 2005 Third Int. Symposium on Automated Technology for Verification and Analysis. Taipei, Taiwan, October 4-7, 2005
• ICLP'05 Twenty first Int. Conf. on Logic Programming, 2-5 October, 2004 Barcelona, Spain.
• MoDELS/UML2005 8th Int. Conf. on Model Driven Engineering Languages and Systems, Half Moon Resort, Montego Bay, Jamaica, Oct. 2-7.
  with workshops
  • Model Transformations in Practice Oct. 3.
  • MARTES Workshop on Modeling and Analysis of Real-Time and Embedded Systems, Oct. 4.
• CHARME 2005 13th Advanced Research Working Conf. on Correct Hardware Design and Verification Methods, 3-6 October 2005 Saarbrücken (Germany)
• IRISA 30TH Anniversary Colloquium in Honor of David Harel and Alan S. Willsky, 10-11 October 2005, IRISA, Rennes, France
• ICTCS 2005 Eight Italian Conf. on Theoretical Computer Science, Certosa di Pontignano, Siena, 12 - 14 October 2005
• HASE 2005 High Assurance Systems Engineering Conf., Heidelberg, Germany, Oct 12-13, 2005.
• OMER 3 3rd Workshop on Object-oriented Modeling of Embedded Real-Time Systems. October 13 and 14, 2005, Heinz Nixdorf MuseumsForum, Paderborn, Germany.
• MEMICS 2005 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, October 14 - 17, 2005, Znojmo, Czech Republic
• ICTAC05 Int. Colloquium on Theoretical Aspects of Computing, Hanoi, Vietnam - 17--21 October, 2005.
• NWPT'05 The 17th Nordic Workshop on Programming Theory, 19-21 October, 2005, Copenhagen, Denmark
• SERPS'05 Fifth Conf. on Software Engineering Research and Practice in Sweden Västerås, October 20th-21st, 2005.
• FACS'05 II Int. Workshop on Formal Aspects of Component Software, Macao October 24-25, 2005
• SRDS 2005 4th Symposium on Reliable Distributed Systems, October 26-28, 2005, Orlando, Florida.
• fSVV'05 3rd Int. Workshop on Software Verification and Validation, October 31, 2005, Manchester, UK

November 2005

• ICFEM 2005 Seventh Int. Conf. on Formal Engineering Methods 1-4 November 2005, Manchester, UK.
• APLAS 2005 The Third Asian Symposium on Programming Languages and Systems, November 3-5, 2005 Tsukuba, Japan
• ECMDA-FA'05 European Conf. on Model Driven Architecture® - Foundations and Applications, November 7-10, 2005, Nürnberg, Germany
  with workshop
  • Workshop on "Consistency in Model Driven Engineering" November 7th
• ISSRE 2005 The 16th IEEE Int. Symposium on Software Reliability Engineering, November 8-11, 2005, Chicago, Illinois, USA
• EUC'2005 11th Int. Erlang/OTP User Conf., Stockholm, Nov. 10.
• PDCS 2005, The 17th IASTED Int. Conf. on Parallel and Distributed Computing and Systems, November 14-16, 2005 Phoenix, AZ, USA
• HiPEAC 2005 2005 Int. Conf. on High Performance Embedded Architectures & Compilers, Barcelona, Spain, 17-18 November 2005
• Perspectives in Verification in honour of Prof. Dr. Wolfgang Thomas (RWTH Aachen), on the occasion of his doctorate Honoris Causa, Cachan, Nov. 18, 2005, November 17-18, 2005, Cachan.
• SEEFM'05 2nd South-Eastern European Workshop on Formal Methods Theme: "Practical dimensions: Challenges in the business world" Ohrid, 18-19 November 2005
• VVSS2005 Innovative testing and feasible Verification & Validation of Software Systems, Eindhoven University of Technology, Eindhoven, the Netherlands. 24th of November 2005
• IFM 2005 Fifth Int. Conf. on Integrated Formal Methods, November 29 - December 2, 2005 Eindhoven, The Netherlands.
• HLDVT'05 IEEE Int. High-Level Design Validation and Test Workshop Napa Valley Marriott Hotel & Spa, Napa, California Nov. 30 - Dec. 2, 2005

December 2005

• LPAR-12 12th Int. Conf. on Logic for Programming Artificial Intelligence and Reasoning, 2nd-6th December 2005, Montego Bay, Jamaica
• RTSS 2005 26th IEEE Real-Time Systems Symposium December 5-8, 2005 Miami, Florida, USA.
• EUC'2005 The 2005 IFIP Int. Conf. on Embedded And Ubiquitous Computing, Nagasaki, Japan, 6-9 December 2005
• OPODIS 2005 9th Int. Conf. on Principles of Distributed Systems, Pisa, Italy, December 12-14, 2005
• ICSOC'05 3rd Int. Conf. on Service-Oriented Computing, Amsterdam, the Netherlands December 12-15, 2005.
• FST&TCS 2005 The 25th Conf. on Foundations of Software Technology and Theoretical Computer Science, December 15--18, 2004, Hyderabad, India
• ICESS-05 The 2005 Int. Conf. on Embedded Software and Systems, December 16-18, 2005 Northwestern Polytechnical University, Xi'an, P.R. China.
• ISOCO 2005 4th WSEAS Int. Conf. on Information Security, Communications and Computers Puerto De La Cruz, Tenerife, Canary Islands, Spain, December 16-18, 2005