Conferences 2006

January 2006

• Logic and Algorithms Isaac Newton Institute for Mathematical Sciences, 16 January - 7 July 2006
• VMCAI'06 The Seventh Int. Conf. on Verification, Model Checking, and Abstract Interpretation, Charleston, South Carolina, U.S.A., January 8-10, 2006
• PADL '06 Eighth Int. Symposium on Practical Aspects of Declarative Languages, Charleston, South Carolina, January 9-10
• POPL 2006 The 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 11-13, 2006, Charleston, South Carolina
• ERTS2006 Embedded Real Time Software, Toulouse, January 25-27, 2006,

February 2006

• UTP'06 First Int. Symposium on Unifying Theories of Programming, 5(evening), 6 and 7 February 2006. Walworth Castle, County Durham.
• Dynamic Languages Day Vrije Universiteit Brussel, VUB Campus Etterbeek Monday, February 13, 2006.
• EWSN 2006 3rd European Workshop on Wireless Sensor Networks, ETH Zurich, Switzerland February 13 - 15, 2006
• STACS 2006 22nd Int. Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006

March 2006

• DATE 2006 Design, Automation, and Test in Europe, Munich, 6 - 10 March 2006, with
  • Subtrack on Real-Time systems
• PerCom 2006 Fourth IEEE Int. Conf. on Pervasive Computing and Communications, Pisa, March 13-17, 2006
• ISPASS-2006 Int. Symposium on Performance Analysis of Systems and Software, March 19-21, 2006. Austin, Texas
• CGO-4 Fourth Annual IEEE Computer Society/ACM Int. Symposium On Code Generation and Optimization, March 26-29, 2006 New York, New York
• ETAPS 2006 European Joint Conf.s on Theory And Practice of Software, March 25 - April 2, 2006 Vienna, Austria
  Including
  • CC 2006 Int. Conf. on Compiler Construction
  • ESOP 2006 European Symposium On Programming
  • FASE 2006 Fundamental Approaches to Software Engineering
  • FOSSACS 2006 Foundations of Software Science and Computation Structures
  • TACAS 2006 Tools and Algorithms for the Construction and Analysis of Systems
  with workshops, including (sparse sample)
  • MBT 2006 Second Workshop on Model Based Testing, March 25-26
• CGO-4 Fourth Annual IEEE Computer Society/ACM Int. Symposium On Code Generation and Optimization, March 26-29, 2006 New York, New York
• PPoPP'06 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. March 29-31, 2006, New York, New York
• HSCC 2006 Hybrid Systems: Computation and Control, 8th Int. Workshop, Santa Barbara, CA, March 29-31, 2006.

April 2006

• RTAS 2006 12th IEEE Real-Time and Embedded Technology and Applications Symposium San Jose, California, April 4-7,2006.
• BCTCS 2006 22nd British Colloquium for Theoretical Computer Science 4-7 April 2006, Swansea University
• ASWEC 2006 17th Australian Software Engineering Conf., April 18-21 2006, Sydney, Australia.
• TFP 2006 Seventh Symposium on Trends in Functional Programming, Nottingham, UK, 19 - 21 April, 2006.
• ARES 2006 The First Int. Conf. on Availability, Reliability and Security, April, 20th - April, 22nd 2006, Vienna University of Technology
• Workshop on Logic, Models and Computer Science In memory of Sauro Tulipani, Camerino (Italy), April 20-22, 2006
• SAC 2006 ACM Symposium on Applied Computing April 23-27, 2006, Dijon, France.
• ISORC 2006 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing, April 24-26, 2006 Gyeongju, Korea
• ZUM 2006 16th International Z User Meeting, Columbia, MD, USA 25 April 2006
• 2nd Systems and Software Week 2006 Columbia, MD, USA 24-28 April 2006, containing
  • ZUM 2006, 16th International Z User Meeting
  • SEW-30, 30th Annual NASA/IEEE Software Engineering Workshop
  • EASe 2006, 3rd IEEE Workshop on Engineering Autonomic Systems
  • DSSNS 2006, 2nd IEEE Workshop on Dependability and Reliability in Sensor Networks and Systems
• WPDRTS 2006 The 14th International Workshop on Parallel and Distributed Real-Time Systems Island of Rhodes, Greece April 25-26, 2006
• IPDPS 2006 20th Int. Parallel and Distributed Processing Symposium APRIL 25-29, 2006 Rhodes Island, Greece,

May 2006

• CF'06 2006 ACM International Conference on Computing Frontiers Ischia, Italy, 3-5 May 2006,
• Global and Peer-to-Peer Computing 6th Int. Workshop, organized at the IEEE/ACM Int. Symposium on Cluster Computing and the Grid 2006 IEEE/ACM CCGRID 2006 Singapore, 16-19, May 2006
• iTrust'2006 4th International Conference on Trust Management (iTrust'2006) 16-19 May 2006, Pisa, Tuscany, Italy with
  • ARTIST-2 informal workshop on security of embedded systems
• ICSE 2006 28th Int. Conf. on Software Engineering, Shanghai, China, May 20-28, 2006. With Workshops
  • CBSE9International Symposium on Component-based Software Engineering.
• MSVVEIS'06 4th Int. Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, May 23-24, 2006 - Paphos, Cyprus.
• .NET Technologies 2006 4th International Conference on .NET Technologies University of West Bohemia, Pilsen (Czech Republic) May 29-June 1, 2006
• RTNS'06 14th Int. Conf. on Real-Time and Network Systems, Poitiers, France, May 30-31, 2006.
• SAM'06 5th Workshop on System Analysis and Modelling (formerly SDL and MSC Workshop), May 31st - June 2nd, 2006, Kaiserslautern, Germany

June 2006

• WADT'06 18th International Workshop on Algebraic Development Techniques, Chateau Floreal La Roche en Ardenne, Belgium 1-3 June 2006
• ICAPS'06 The International Conference on Automated Planning & Scheduling Ambleside, The English Lake District, U.K., June 6 - 10.
• PLDI 2006 ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Canada, June 10-16, 2006,
• EFTS 2006 International Workshop on Engineering of Fault Tolerant Systems, 12 - 14 June 2006 Luxembourg.
• DisCoTec'06 federated conferences on Distributed Computing Techniques, Bologna, Italy 14-16 June 2006, containing
  • COORDINATION 2006 8th Int. Conf. on Coordination Models and Languages
  • DAIS'06 6th IFIP WG 6.1 Int. Conf. on Distributed Applications and Interoperable Systems
  • FMOODS'06 8th IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems
• TIME 2006 International Symp. on Temporal Representation and Reasoning, Budapest, Hungary, June 15-17, 2006.
• ISCA 2006 The 33rd Annual International Symposium on Computer Architecture, June 17-21, 2006, Park Plaza Hotel, Boston, MA, USA
• Basic Concepts in Mobile Embedded Systems Artist2 Workshop Baden, Austria, June 19-20, 2006
• MobiSys 2006 4th Int. Conf. on Mobile Systems, Applications, and Services. Uppsala, Sweden, June 19-22, 2006.
• ATPN 2006 Int. Conf. on Application and Theory of Petri Nets, 26-30 june 2006, Åbo Akademi University, Turku, Finland
• ACSD 2006 Sixth Int. Conf. on Application of Concurrency to System Design, 27-30 june 2006, Åbo Akademi University, Turku, Finland
• Perspectives of System Informatics, Sixth Int. Andrei Ershov Memorial Conf., 27--30 June 2006, Novosibirsk, Akademgorodok, Russia
• DSN-2006 The Int. Conf. on Dependable Systems and Networks. Yokohama, Japan, June 28 - July 1,2006.
• CBSE 2006 The 9th International Symposium on Component-Based Software Engineering, Future Directions for CBSE, Mälardalen University, Västerås, Sweden June 29th -1st July 2006
• CiE 2006 Computability in Europe 2006: New Computational Paradigms, Swansea, UK, June 30 - July 5, 2006

July 2006

• MPC '06 8th International Conference on Mathematics of Program Construction, Kuressaare, Estonia, 3-5 July 2006
• CORDIE'06 1st International Symposium on Concurrency, Real-Time and Distribution in Eiffel-like Languages, York, United Kingdom, 4-5 July 2006.
• ICDCS 2006 The 26th Int. Conf. on Distributed Computing Systems, Lisboa, Portugal July 4-7, 2006
• CSFW-19 19th IEEE Computer Security Foundations Workshop, July 5 - 7, 2006 Venice, Italy
• 18th EUROMICRO Conf. on Real-Time Systems, Dresden, Germany July 5-7, 2006. With Workshops
  • OSPERT 2006 2nd Intl Workshop on Operating Systems Platforms for Embedded Real-Time applications Dresden, Germany, July 4, 2006
• AMAST'06 11th International Conference on Algebraic Methodology and Software Technology, Kuressaare, Estonia, 5-8 July 2006.
• SWAT 2006 10th Scandinavian Workshop on Algorithm Theory, July 6-8, 2006 Riga, Latvia
• ICALP 2006 33rd International Colloquium on Automata, Languages and Programming, S. Servolo, Venice - Italy, July 9-13, 2005
• PPDP 2006 8th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming Venice, Italy, July 10-12, 2006
• RNC7 7th Conference on Real Numbers and Computers, July 10-12, 2006 LORIA, Nancy, France.
• ECMDA-FA 2006 The Second European Conference on Model Driven Architecture(r), Foundations and Applications, July 10th - 14th , 2006, Bilbao, Spain
• LOPSTR'06 International Symposium on Logic-based Program Synthesis and Transformation July 12 - 14, 2006 : Venice, Italy.
• ICPADS 2006 Twelfth Int. Conf. on Parallel and Distributed Systems Minneapolis, Minnesota July 12-15, 2006
• ISSTA 2006 Int. Symposium on Software Testing and Analysis, Portland, Maine, July 17-20, 2006
• MEMOCODE'2006 The Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design, July 27-29, 2006 Napa Valley, California

August 2006

• FLoC'06 The 2006 Federated Logic Conference Seattle, Washington, USA August 10 -- 22, 2006
  Including
  • CAV 2006 Computer Aided Verification 18th Int. Conf. August 16-21.
  • ICLP 2006 22nd Int. Conf. on Logic Programming, August 17-20
  • IJCAR 2006 3rd Int. Joint Conf. on Automated Reasoning August 16-21.
  • LICS 2006 IEEE Symposium on Logic in Computer Science August 12-15.
  • RTA 2006 17th Int. Conf. on Rewriting Techniques and Applications August 16-21.
  • SAT 2006 9th Int. Conf. on Theory and Applications of Satisfiability Testing August 12-15.
  • FATES/RV 2006 1st Joint International Workshop on Formal Aspects of Testing and Runtime Verification. August 15-16.
• Ad Hoc Now 2006 5th International Conference on Ad hoc Networks and Wireless Ottawa, August 17-19, 2006
• CIAA 2006 11th International Conference on Implementation and Application of Automata, August 21-23, 2006, Taipei, Taiwan.
• FM'06 14th Int. Symposium on Formal Methods, 21 - 27 August 2006 McMaster University, Hamilton, Canada.
• FMICS 2006 11th International Workshop on Formal Methods for Industrial Critical Systems 26th-27th of August 2006, Bonn, Germany.
• CONCUR 2006 17th International Conference on Concurrency Theory Aug 27-30, Bonn, Germany.
• JCKBSE'06 Joint Conference on Knowledge-Based Software Engineering 2006, August 28-31, 2006, Tallinn, Estonia.
• SAS'06 The 13th International Static Analysis Symposium, Seoul, Korea 29-31 August 2006
• DSD'2006 9th EUROMICRO Conf. on Digital System Design, Architectures, Methods and Tools Cavtat near Dubrovnik, Croatia , August 30th - September 1st, 2006.
• RelMiCS/AKA 2006 Joint 9th Int. Conf. on Relational Methods in Computer Science, and 4th Int. Workshop on Applications of Kleene Algebra, 29 August - 2 September 2006 Manchester, UK

September 2006

• SOFTVIS'06 ACM Symposium on Software Visualization, September 4-5, 2006 Brighton, UK
• IFL 2006 18th International Workshop on Implementation and Application of Functional Languages, September 4-6, 2006 Budapest, Hungary
• P2P 2006 6th IEEE International Conference on Peer-to-Peer Computing "Distributed computing at the edge of the Internet", Cambridge, UK September 6-8, 2006
• WS-FM 2006 3rd International Workshop on Web Services and Formal Methods 8-9 September 2006, Vienna, Austria
• ASAP 2006 IEEE 17th International Conference on Application-specific Systems, Architectures and Processors, Steamboat Springs, Colorado, September 11-13, 2006. QEST 2006 - CALL FOR PAPERS 3rd International Conference on Quantitative Evaluation of SysTems University of California, Riverside, CA, USA September 11-14, 2006
• QEST 2006 3rd International Conference on Quantitative Evaluation of SysTems, University of California, Riverside, CA, USA, September 11-14, 2006.
• PATMOS 2006 Sixteenth International Workshop on Power and Timing Modeling, Optimization and Simulation, 13-15 September 2006, Montpellier, France.
• JMLC2006 Joint Modular Languages Conference 2006 13-15th September 2006 Jesus College, Oxford, England
• VODCA'06 2nd International Workshop on Views On Designing Complex Architectures, Bertinoro, Italy 16-17 September, 2006.
• PACT'2006 International Conference on Parallel Architectures and Compilation Techniques Seattle, Washington, September 16-20,2006
• SBMF 2006 Brazilian Symposium on Formal Methods
• ICGT 2006 3rd International Conference on Graph Transformation, Natal (Rio Grande do Norte. Brazil), Sunday 17 - Saturday 23 September 2006,
• AVoCS 2006 Sixth Intl. Workshop on Automated Verification of Critical Systems, Nancy, France September 18-19, 2006.
• ESORICS 2006 11th European Symposium On Research In Computer Security Hamburg, Germany | 18 -- 20 September 2006.
• DISC 2006 20th International Symposium on Distributed Computing, Stockholm, Sweden | 18 -- 20 September 2006.
• COMPSAC 2006 30th IEEE Annual International Computer Software and Applications Conference, Chicago, September 18-21, 2OO6.
• ASE 2006 Automated Software Engineering 2006 21st IEEE International Conference Tokyo, JAPAN, September 18-22, 2006
• FACS'06 Third International Workshop on Formal Aspects of Component Software, Prague, Czech Republic, September 20 -- 22, 2006
• ICSM 2006 22nd IEEE International Conference on Software Maintenance, 24-27 September 2006, Philadelphia.
• FORMATS'06 4th International Conference on Formal Modelling and Analysis of Timed Systems September 25-27, 2006 Paris, France
• FORTE 2006 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems September 25-28 2006, Paris, France
• AiML-2006 Advances in Modal Logic 25-28 September 2006, Noosa (Queensland, Australia),
• CSL'06 Computer Science Logic, 25-29 September, 2006, Szeged, Hungary.
• CP 2006 Twelfth International Conference on Principles and Practice of Constraint Programming, September 25 - 29, 2006 Nantes, France.
• CSTVA'06 Workshop on Constraints in Software Testing, Verification and Analysis. September 25 - 29, 2006 Nantes, France.

October 2006

• MoDELS 2006 9th International Conference on Model-Driven Engineering Languages and Systems, October 1 - 6, 2006 Genoa, Italy With Workshops
  • MARTES Workshop on Modeling and Analysis of Real-Time and Embedded Systems, October 2 or 3, 2006
• ISPLEDSL'06 International Symposium on Low Power Electronics and Design, Tegernsee (Munich area), Germany, October 4-6, 2006
• International Conference on Computational Methods in Systems Biology, The Microsoft Research - University of Trento Centre for Computational and Systems Biology Trento - Italy, 18 and 19 October 2006
• NWPT'06, The 18th Nordic Workshop on Programming Theory, Reykjavik, Iceland, 18-20 October, 2006
• SET 2006, IFIP Working Conference on Software Engineering Techniques, Warsaw, Poland, October 18-20, 2006
• EDCC-6, 6th European Dependable Computing Conference, Coimbra, Portugal, October 18-20, 2006
• ASPLOS XII, 12th International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, CA, October 21st - 25th, 2006.
• GPCE'06, Fifth International Conference on Generative Programming and Component Engineering, October 22-26, 2006 Portland, Oregon
• OOPSLA 2006, ACM SIGPLAN Int. Conf. on Object-Oriented Programming, Systems, Languages, and Applications, October 22-26, 2006 Portland, Oregon With Workshops
  • M-TOOS Model-Based Testing and Object-Oriented Systems, October 23, 2006
• ATVA 2006 Fourth International Symposium on Automated Technology for Verification and Analysis, Beijing, China, 23-26 October 2006.
• Embedded Systems Week 2006 October 22-27, 2006 Hotel Lotte World, Seoul, South Korea, consisting of
  • CODES + ISSS 2006 Third IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis
  • EMSOFT 2006 Sixth Annual ACM Conference on Embedded Software October 22-25 2006.
  • CASES 2006 International Conference on Compilers, Architecture and Synthesis for Embedded Systems.
• ICFEM 2006 Eighth International Conference on Formal Engineering Methods, 30 October - 3 November 2006, Macao SAR, China
• CCS 2006 13th ACM Conference on Computer and CommunicationsSecurity, Johnson Center, George Mason University, Fairfax, Virginia, USA. Oct 30 - Nov 3, 2006.

November 2006

• FSE-14 Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering Portland Oregon, USA, November 5-11, 2006, With Workshop
  • SOQUA 2006 Third International Workshop on Software Quality Assurance November 6, 2006
• ISSRE 2006 The 17th IEEE International Symposium on Software Reliability Engineering, November 6-10, 2006 Raleigh (Research Triangle), North Carolina, USA.
• 2006 International Symposium on "Trustworthy Global Computing" IMT, Lucca, November 7-9, 2006.
• FMCO 2006 5th International Symposium on Formal Methods for Objects and Components, 7 - 10 November 2006 CWI, Amsterdam, The Netherlands.
• APLAS 2006 The Fourth ASIAN Symposium on Programming Languages and Systems, Sydney, Australia, November 8-10, 2006.
• FMCAD 2006 International Conference on Formal Methods in Computer-Aided Design November 12-16, 2006, San Jose, California
• LPAR-13 The 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning. Hotel Cambodiana, Phnom Penh, Cambodia. 13th-17th November 2006.
• ISoLA 2006 Safety and Security Track, 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. 15-19 November 2006 in Cyprus.
• ICTAC 2006 3rd International Colloquium on Theoretical Aspects of Computing Gammarth/Tunis, Tunisia, 20-24 November 2006,

December 2006

• ARTIST Workshop on Basic Concepts in Mobile Embedded Systems Vienna University of Technology in Vienna, December 4-5, 2006.
• ICSSEA 2006 19th International Conference Software & Systems Engineering and their Applications, December 5-7, 2006, CNAM/CMSL, Paris, France
• RTSS 2006 27th IEEE Real-Time Systems Symposium, December 5-8, 2006, Rio de Janeiro, Brazil
• ASIAN 06 11th Annual Asian Computing Science Conference, focusing on Secure Software and related issues, hosted by the National Institute of Informatics, Tokyo, Japan. December 6-8, 2006
• FSTTCS 2006 The 26th Conference on Foundations of Software Technology and Theoretical Computer Science December 13-15, 2006 Indian Statistical Institute Kolkata, INDIA
• OPODIS 2006 10th International Conference On Principles Of Distributed Systems December 18-20, 2006, Saint-Emilion, France