Conferences 2009

January 2009

• VMCAI2009 The Tenth International Conference on Verification, Model Checking, and Abstract Interpretation, Savannah, GA, USA, January 18-20, 2009
• PADL '09 Eleventh International Symposium on Practical Aspects of Declarative Languages 2009, Savannah Georgia, USA. January 19-20, 2009
• PEPM 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, January 19-20, 2009. Savannah, Georgia, USA
• POPL 2009 The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Savannah, GA, USA, January 21-23, 2008.
• SOFSEM'09 35th International Conference on Current Trends in Theory and Practice of Computer Science, January 24-30, 2009, Hotel Arnika, Spindleruv mlýn, Czech Republic.
• HiPEAC 2009 2009 International Conference on High Performance Embedded Architectures & Compilers, Paphos, Cyprus, Göteborg, SWEDEN, January 25-28, 2009.

February 2009

• APV 2009 Automatic Program Verification, February 14-15, 2009 Argentina
• iFM 2009 7th International Conference on integrated Formal Methods, Duesseldorf, Germany, 16 - 19 February, 2009.
• STACS 2009 26th Int. Symposium on Theoretical Aspects of Computer Science, February 26 - 28, 2009 Freiburg - Germany

March 2009

• AOSD 2009 8th Int. Conf. on Aspect-Oriented Software Development, Charlottesville, Virginia, USA, March 2-6, 2009
• SAC'09 ACM 2009 Symposium on Applied Computing, March 8-12, 2009 Honolulu, Hawaii, USA.
• PerCom 2009 Seventh Annual IEEE International Conference on Pervasive Computing and Communications, Galveston, Texas, March 9-13, 2009.
• Symposium on Programming, Types, and Languages Dedicated to Bengt Nordström in connection with his 60th birthday. Chalmersska Huset, Gothenburg, 19 March 2009.
• ETAPS 2009 European Joint Conferences on Theory And Practice of Software, March 22 - 29, 2009 York, UK
  Including
  • CC 2009 Int. Conf. on Compiler Construction
  • ESOP 2009 European Symposium On Programming
  • FASE 2009 Fundamental Approaches to Software Engineering
  • FOSSACS 2009 Foundations of Software Science and Computation Structures
  • TACAS 2009 Tools and Algorithms for the Construction and Analysis of Systems
  with workshops, including (sparse sample)
  • MBT 2009 5th Workshop on Model Based Testing

April 2009

• ICST 2009 2nd IEEE International Conference on Software Testing, Verification and Validation, April 1-4, 2009, Denver, Colorado.
• DMCD'09 Dutch Model Checking Day 2009, April 2, 2009, University of Twente
• LATA 2009 3rd International Conference on Language and Automata Theory and Applications, Tarragona, Spain, April 2-8, 2009.
• MFPS XXV Twenty-fifth Conference on the Mathematical Foundations of Programming Semantics, University of Oxford, UK, April 3 - 7, 2009.
• NFM 2009 The First NASA Formal Methods Symposium, April 6 - 8, 2009 Moffett Field, California, USA
• CPSWEEK 2009 Cyber Physical Systems Week, San Francisco, CA. April 14-17,
  Including
  • IPSN 2009 International Conference on Information Processing in Sensor Networks April 15-17,
  • RTAS 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium
  • HSCC 2009 Hybrid Systems: Computation and Control, 12th Int. Workshop, San Francisco, CA. April 13-16.
• DATE 2009 Design, Automation, and Test in Europe, Nice, 20-12 April 2009,
• FSEN '09 Third International Conference on Fundamentals of Software Engineering 2009, Kish Island, Iran April 15-17 2009.
• FET09 The European Future Technologies Conference, April 21-23, Prague.
• SCOPES 2009 12th International Workshop on Software and Compilers for Embedded Systems, April 23-24, 2009 http://ec.europa.eu/information_society/events/fet/2009/ Acropolis, Nice, France.

May 2009

• NOCS 2009 3rd ACM/IEEE International Symposium on Networks-On-Chip, May 10-13, 2009, San Diego, CA.
• ICSE 2009 31st International Conference on Software Engineering, Vancouver, Canada, May 16-24, 2009.
• ICESS-09 The 6th IEEE International Conference on Embedded Software and Systems Hangzhou, Zhejiang, China, May 25-27, 2009.
• IPDPS 2009 23rd IEEE International Parallel & Distributed Processing Symposium May 25-29, 2009, Rome, Italy.
• QuEST09 The 2009 IEEE International Workshop on Quantitative Evaluation of large-scale Systems and Technologies, Bradford, UK --- May 26-29, 2009.
• AINA-09 The IEEE 23rd International Conference on Advanced Information Networking and Applications University of Bradford, Bradford, UK, May 26-29, 2009

June 2009

• WST 2009 Tenth International Workshop on Termination, Leipzig, Germany, June 3-5, 2009.
• Ada-Europe 2009 14th International Conference on Reliable Software Technologies, 8 - 12 June 2009, Brest, France.
• DisCoTec'09 4th International federated conference on Distributed Computing Techniques Lisbon, Portugal, June 9-12, 2009, containing
  • FMOODS/FORTE 2009 11th Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems, Lisbon, Portugal, June 9-11, 2009.
  • DAIS 2009 9th IFIP international conference on Distributed Applications and Interoperable Systems, Lisbon, Portugal, June 9-11, 2009.
  • Coordination 2009 Languages, Models, and Architectures for Concurrent and Distributed Software, 11th International Conference, Lisbon, Portugal 9 - 12 June 2009.
• PSI 2009 Seventh International Andrei Ershov Memorial Conference Perspectives of System Informatics, 15-19 June, 2009, Novosibirsk, Akademgorodok, Russia
• First International Workshop on Morphogenetic Engineering Complex Systems Institute, Paris, June 19, 2009.
• PLDI 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, Dublin, Ireland Monday, June 15 - Saturday, June 20, 2009.
• LCTES 2009 ACM SIGPLAN/SIGBED 2009 Conference on Languages, Compilers, and Tools for Embedded Systems Dublin, Ireland, June 19-20, 2009.
• ISMM 2009 The 2009 International Symposium on Memory Management, Dublin, Ireland, June 19-20, 2009.
• SSV 09 4th International Workshop on Systems Software Verification: Real Software, Real Problems, Real Solutions, June 22-24 2009, Aachen, Germany.
• PETRI NETS 2009 International Conference on Application and Theory of Petri Nets and other Models of Concurrency, June 22-26, 2009, Paris, France
• CBSE 12 12th International ACM SIGSOFT Symposium on Component-Based Software Engineering, East Stroudsburg University, Pennsylvania, USA June 22-26, 2009
• ECMDA-FA 2009 Fifth European Conference on Model-Driven Architecture Foundations and Applications, University of Twente, Enschede, The Netherlands. 23-26 June 2009.
• CAV 2009 21st International Conference on Computer Aided Verification, June 26 - July 2, 2009 Grenoble, France.
• SPIN 2009 16th International SPIN Workshop on Model Checking of Software, June 26--28, 2009, Grenoble, France.
• RDP 2009 Federated Conference on Rewriting, Deduction, and Programming, Brasilia, Brazil June 28 - July 3, 2009, containing
  • RTA 2009 20th International Conference on Rewriting Techniques and Applications June 29 - July 1, 2009
  • TCLA 2009 Ninth International Conference on Typed Lambda Calculi and Applications July 1-3, 2009
• 2nd Workshop on Mapping of Applications to MPSoCs Schloss Rheinfels, St. Goar, Germany, June 29-30th, 2009.
• DSN 2009 The 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Estoril, Lisbon, Portugal June 29 - July 2, 2009.
• TOOLS EUROPE 2009 47th International Conference Objects, Models, Components, Patterns, ETH Zurich, Switzerland 29 June - 3 July 2009. With workshops (e.g.,)
  • GraBaTs 2009 5th International Workshop on Graph-Based Tools, 1- 2 July 2009
• ICMT 2009 International Conference on Model Transformation 2009, ETH Zurich, Switzerland 29 June - 3 July 2009.

July 2009

• ECRTS 09 21st Euromicro Conference on Real-Time Systems, Dublin, Ireland, July 1-3, 2009.
• ACSD 2009 9th International Conference on Application of Concurrency to System Design, 1-3 July 2009 University of Augsburg, Germany.
• TAP 2009 International Conference on Tests And Proofs 2-3 July, ETH Zurich, Switzerland
• VeCOS 2009 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems July, 2-3, 2009, Rabat, Morroco,
• ICALP 2009 36th International Colloquium on Automata, Languages and Programming, Rhodes - Greece, July 5-12, 2009.
• ECOOP'09 European Conference on Object-Oriented Programming July 6-10, 2009, Genova, Italy.
• SIES 2009 4th IEEE Symposium on Industrial Embedded Systems, July 8-10, 2009, Lausanne, Switzerland.
• CSF 22 22nd IEEE Computer Security Foundations Symposium, July 8-10, 2008 Port Jefferson, New York, USA
• MEMOCODE 2009 Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign, 13-15 July 2009, Cambridge, Massachusetts, USA.
• IJCAI 2009 Twenty-first International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 13--17, 2009.
• ICLP 2009 25th International Conference on Logic Programming, Pasadena, California, USA, July 14--17, 2009.
• DSL WC IFIP Working Conference on Domain Specific Languages, July 15-17, 2009, Oxford.
• ISSTA 2009 International Conference on Software Testing and Analysis 19-23 July 2009, Chicago, Illinois, USA. 3rd IEEE International Symposium on
• SAMOS IX International Symposium on Systems, Architectures, MOdeling, and Simulation, Samos, Greece, July 20-23, 2009.
• TIME 2009 Sixteenth International Symposium on Temporal Representation and Reasoning, Brixen, Italy, July 23-25, 2009.
• DAC Design Automation Conference 26-31 July 2009 San Francisco CA USA
• SASP 2009 7th IEEE Symposium on Application Specific Processors 27-28 July 2009 San Francisco CA USA
• TASE 2009 Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China.

August 2009

• CADE-22 22nd International Conference on Automated Deduction McGill University, Montreal, Canada, August 2-7, 2009.
• FCS'09 Workshop on Foundations of Computer Security, August 9-10, 2009, Los Angeles, California, USA
• LICS 2009 24th IEEE Symposium on Logic in Computer Science, 11 - 14 August 2009, Los Angeles, California, USA.
• ICTAC'09 6th International Colloquium on Theoretical Aspects of Computing, Equatorial Hotel Bangi, Malaysia, August 18th - 20th 2009.
• RTiS 2009 SNART Summer School and Real-Time in Sweden, August 18-20 2009 in Lund
• ESEC/FSE 2009 The 7th joint meeting of the European Software Engineering Conference, and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, August 24-28 2009, Amsterdam, The Netherlands.
• SPLST09 11th Symposium on Programming Languages and Software Tools, Tampere, Finland August 26-28, 2009.
• EUC-09 The 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, Vancouver, Canada, August 29-31, 2009.
• CMSB 2009 International Conference on Computational Methods in Systems Biology, August 31 -- September 1, 2009, Bologna, Italy
• ICFP 2009 The 14th ACM SIGPLAN International Conference on Functional Programming, Edinburgh, Scotland 31st August - 2nd September, 2009 with workshops (sample)
  • Eighth ACM SIGPLAN Erlang Workshop, September 5, 2009
• PaCT-2009 Parallel Computing Technologies, Tenth International Conference August 31 - September 4, 2009, Novosibirsk, Russia.

September 2009

• FIS2009 Future Internet Symposium 2009, Berlin, Germany, September 1st-3rd, 2009.
• CONCUR 2009 20th International Conference on Concurrency Theory, September 1-4, 2009 Bologna, Italy.
• Multicore Day 2009 Kista, Stockholm, September 4.
• CALCO 2009 3rd Conference on Algebra and Coalgebra in Computer Science September 6-10 2009, Udine, Italy
• PPDP 2009 11th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Coimbra, Portugal, September 7-9, 2009
• ISDT 2009 5th Internatiional Symposium on Domain Theory, September 12-14, 2009 East China Normal University, Shanghai, China
• FORMATS 2009 7th International Conference on Formal Modelling and Analysis of Timed Systems, Budapest, Hungary, 13-16 September 2009.
• QEST 2009 6th International Conference on Quantitative Evaluation of SysTems, Budapest, Hungary, 13-16 September 2009.
• LPNMR'09 10th International Conference on Logic Programming and Nonmonotonic Reasoning, Potsdam, Germany, Sept. 14-18.
• IESS 2009 International Embedded Systems Symposium, Schloß Langenargen (Germany) Sept. 14. - 16. 2009.
• GAMES 2009 Annual Workshop of the ESF Networking Programme on Games for Design and Verification, September 14 - 17, 2009, Udine, Italy.
• IEEE/IFIP WICSA/ECSA 2009 Joint Working International Conference on Software Architecture (WICSA) & European Conference on Software Architecture (ECSA) 2009 14-17 September 2009, Cambridge, UK,
• FroCoSÇ09 7th International Symposium on Frontiers of Combining Systems, Trento, Italy, September 16-18th, 2009
• ADHSÇ09 3rd IFAC Conference on Analysis and Design of Hybrid Systems Zaragoza, Spain September 16-18, 2009.
• SCAM 2009 9th IEEE International Working Conference on Source Code Analysis and Manipulation 20th - 21st, September 2009, Edmonton, Canada.
• ICSM 2009 25th IEEE International Conference on Software Maintenance, Edmonton, Canada -- September 20-26, 2009.
• AVoCS 2009 Ninth International Workshop on Automated Verification of Critical Systems, Swansea, UK, 23.9. - 25.9.2009 .
• JTRES 2009 7th Workshop on Java Technologies for Real-Time and Embedded Systems, 23-25 September 2009. Madrid, Spain
• IFL 2009 Implementation and Application of Functional Languages 23th-25th September 2009, Seton Hall University, South Orange, NJ, USA
• RP'2009 LIX Colloquium: 3rd Workshop on Reachability Problems, September 23-25, 2009, Ecole Polytechnique, France.
• ATPS'09 Fourth Working Conference on Programming Languages, Part of the 39th annual conference of the German Gesellschaft für Informatik Luebeck (Germany), 28.9.-2.10. 2009.

October 2009

• GPCE 2009 ighth International Conference on Generative Programming and Component Engineering, October 4-5, 2009 Denver, Colorado.
• MODELS 2009 ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems, Denver, Colorado, USA October 4-9, 2009.
• DESDes 2009 4th International IFAC Workshop on Discrete-Event System Design Gandia, Valencia (SPAIN), 6 - 8 October 2009.
• ECSS 2009 European Computer Science Summit - 5th Annual INFORMATICS-Europe Meeting, 8-9 October 2009, Paris.
• SEEC'2009 Workshop: Smart and Efficient Energy Council, Fondazione Bruno Kessler (FBK), Italy October 8-9, 2009
• SOSP 2009 22nd ACM Symposium on Operating Systems Principles October 11-14, 2009. Big Sky Resort, Big Sky, MT
• Embedded Systems Week 2009 October 11 - 16, 2009 Grenoble, France. including
  • WFCD'09: 4th Workshop on Foundations and Applications of Component-based Design: Sunday October 11th.
  • CODES + ISSS 2009 Fifth International Conference on Hardware/Software Codesign and System Synthesis
  • EMSOFT 2009 Seventh International Conference on Embedded Software Oct 12-16.
  • CASES 2009 International Conference on Compilers, Architecture and Synthesis for Embedded Systems
  • RePP'09 Workshop on Reconciling Predictability with Performance: Thursday October 15th.
• KPS 2009 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Maria Taferl, Österreich, 12.-14. Oktober 2009 Anmeldeschluss: 11. September 2009.
• Malware 2009 4th International Conference on Malicious and Unwanted Software, Montreal, Quebec, Canada, October 13th-14th, 2009
• ATVA 2009 7th International Symposium on Automated Technology for Verification and Analysis, 14-16 October 2009, Macao SAR, China.
• NWPT '09 The 21st Nordic Workshop on Programming Theory, 14-16 October 2009, Technical University of Denmark, Lyngby - Denmark
• OOPSLA 2009 October 25-29, 2009 Orlando, Florida.
• RTNS'2009 17th International Conference on Real-Time and Network Systems, October 26-27, 2009, Paris, France.
• FM2009 16th FM Symposium and 2nd World Congress. October 30 - November 7, 2009, Eindhoven, the Netherlands, including (sparse sample)
  • FACS 2009 6th International Workshop on Formal Aspects of Component Software, November 2-3, 2009
  • FMICS 2009 14th International Workshop on Formal Methods for Industrial Critical Systems November 2-3, 2009
  • CompMod 2009 Second International Workshop on Computational Models for Cell Processes November 3.
  • FOPARA 2009 International workshop on Foundational and Practical Aspects of Resource Analysis, November 3.
• TESTCOM/FATES 2009 The 21st IFIP Int. Conference on Testing of Communicating Systems, and the 9th Int. Workshop on Formal Approaches to Testing of Software. November 2-4 2009, Eindhoven, the Netherlands

November 2009

• SSS 2009 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, November 3-6, 2009, Lyon, France.
• EUC 2009 5th International Erlang User Conference, Stockholm, Sweden, 12th November 2009.
• MEMICS 2009 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, November 13--15, 2009, Hotel Prestige, Znojmo, Czech Republic
• SEUS 2009 7th Workshop on Software Technologies for Future Embedded and Ubiquitous Computing Systems, November 16-18, 2009 Newport Beach, CA, USA
• SEFM 2009 The 7th IEEE International Conference on Software Engineering and Formal Methods, Hanoi, Vietnam, 23--27 November 2009.
• MCC 2009 2nd Swedish Workshop on Multi-Core Computing, Uppsala, Sweden, November 26-27, 2009

December 2009

• RTSS 2009 30th IEEE Real-Time Systems Symposium December 1-4, 2009, Washington, D.C., USA.
• ICFEM 2009 The 11th International Conference on Formal Engineering Methods, December 9-12, 2009 Rio de Janeiro, Brazil
• FSTTCS 2009 Foundations of Software Technology and Theoretical Computer Science, December 15 to 17, 2009, IIT Kanpur, India.
• OPODIS'09 13th Internationnal Conference On Principles Of DIstributed Systems, December 15th-18th 2008, Nimes, France.
• APLAS 2009 The Seventh Asian Symposium on Programming Languages and Systems, Seoul, December 14-16, 2009.