Conferences 2008

January 2008

• PADL '08 Tenth International Symposium on Practical Aspects of Declarative Languages San Francisco, USA January 7-8, 2008
• PEPM 2008 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation January 7-8, 2008, San Francisco.
• POPL 2008 The 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. San Francisco, USA, January 10-12, 2008.
• HiPEAC 2008 2008 International Conference on High Performance Embedded Architectures & Compilers, Göteborg, SWEDEN, January 27-29, 2008.

March 2008

• ASPLOS'08 Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems, Seattle, USA, March 1-5, 2008
• VEE 2008 The 2008 ACM International Conference on Virtual Execution Environments Seattle, USA, March 5-7, 2008
• DATE 2008 Design, Automation, and Test in Europe, Munich, 10-14 March 2008,
• SCOPES 2008 11th International Workshop on Software and Compilers for Embedded Systems, March 13-14, 2008 ICM, Munich, Germany
• SAC 2008 23rd ACM Symposium on Applied Computing, March 16-20, 2008, Fortaleza, Ceará, Brazil.
• ETAPS 2008 European Joint Conferences on Theory And Practice of Software, March 29 - April 6, 2008 Budapest, Hungary
  Including
  • CC 2008 Int. Conf. on Compiler Construction
  • ESOP 2008 European Symposium On Programming
  • FASE 2008 Fundamental Approaches to Software Engineering
  • FOSSACS 2008 Foundations of Software Science and Computation Structures
  • TACAS 2008 Tools and Algorithms for the Construction and Analysis of Systems
  with workshops, including (sparse sample)
  • MBT 2008 Fourth Workshop on Model Based Testing
  • RV 2008 8th International Workshop on Runtime Verification
• AOSD 2008 7th International Conference on Aspect-Oriented Software Development, March 31st - April 4th, 2008 Brussels, Belgium

April 2008

• ICECCS 2008 The thirteenth IEEE International Conference on Engineering of Complex Computer Systems April 02 , 2008 Belfast, Northern Ireland with workshops, including (sparse sample)
  • UML AADL 2008 April 02 , 2008
• CGO-2008 6th Annual IEEE/ACM International Symposium on Code Generation and Optimization, April 6 - 9, 2008, Boston, Massachusetts
• NOCS 2008 2nd IEEE International Symposium on Networks on Chip, April 7-11 2008, Newcastle upon Tyne, UK.
• ICST 2008 1st IEEE International Conference on Software Testing, Verification and Validation, April 9-11, 2008, Lillehammer, Norway.
• WPDRTS 2008 The 16th International Workshop on Parallel and Distributed Real-Time Systems, April 14, 2008 Miami, Florida, USA
• IPDPS 2008 22nd IEEE International Parallel & Distributed Processing Symposium April 14-18, 2008 Miami, Florida, USA
• FLOPS 2008 Ninth International Symposium on Functional and Logic Programming, April 14-16, 2008, Ise, Japan
• CPSWEEK 2008 Cyber Physical Systems Week, St. Louis, MO, United States April 21 - April 24, 2008.
  Including
  • IPSN 2008 International Conference on Information Processing in Sensor Networks April 22-24,
  • RTAS 2008 14th IEEE Real-Time and Embedded Technology and Applications Symposium April 22 - April 24,
  • HSCC'08 11th International Conference on Hybrid Systems: Computation and Control April 22 - April 24,
• ELS 2008 1st European Lisp Symposium, Bordeaux, France, May 22-23, 2008 LaBRI, Université Bordeaux 1

May 2008

• WISTP 2008 Workshop in Information Security Theory and Practices 2008: Smart Devices, Convergence and Next Generation Networks, May 13-16, 2008, Sevilla, Spain.
• FM'08 15th International Symposium on Formal Methods, May 26 - 30, 2008 Åbo Akademi University Turku, Finland
• WODES'08 International Workshop on Discrete Event Systems, Göteborg, Sweden, May 28-30, 2008.

June 2008

• RSP'08 19th IEEE/IFIP International Symposium on Rapid System Prototyping, Monterey, CA, USA, 2-5 June 2008
• DisCoTec 08 The federated conferences on Distributed Computing Techniques, Oslo, Norway 4 - 6 June 2008, including
  • COORDINATION 2008 10th International Conference on Coordination Models and Languages
  • DAIS'08 8th IFIP International Conference on Distributed Applications and Interoperable Systems
  • FMOODS 2008 10th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, Oslo, Norway 4 - 6 June 2008
• ISMM 2008 The 2008 International Symposium on Memory Management 7-8 June, Tucson, Arizona
• PLDI 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 7-13, Tucson, Arizona.
• SASP 2008 6th IEEE Symposium on Application Specific Processors 8-9 June 2008, Anaheim CA USA
• DAC 2008 Design Automation Conference, 8-13 June 2008, Anaheim CA USA
• ECMDA 2008 Fourth European Conference on Model Driven Architecture, Foundations and Applications. June 09-12, 2008. Berlin, Germany
• SIES 2008 IEEE Third Symposium on Industrial Embedded Systems June 11- 13, 2008 Montpellier - La Grande Motte, FRANCE
• The B Method: from Research to Teaching 16 June 2008, Nantes France
• ICCs 2008 The International Conference on Computational Science, June 23-25, 2008, Krakow, Poland
• CSF 2008 21st IEEE Computer Security Foundations Symposium, Pittsburgh, PA, USA, June 23-25, 2008.
• LICS 2008 23rd IEEE Symposium on Logic in Computer Science, Pittsburgh, PA, USA, June 24-27, 2008.
• WOSP 2008 7th ACM International Workshop on Software and Performance Princeton NJ June 23 - 26, 2008.
• ACSD-ATPN 2008 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2008, ATPN 2008)
  8th International Conference on Application of Concurrency to System Design (ACSD 2008)
  Institute of Computing Theory and technology at Xidian University , Xi'an, China, June 23-27, 2008.
• DSN-2008 The Int. Conf. on Dependable Systems and Networks. June 24-27, 2008, Anchorage, Alaska, USA
• TOOLS EUROPE 2008 46th International Conference Objects, Models, Components, Patterns ETH Zurich, Switzerland 30 June-4 July 2008
• ICMT 2008 International Conference on Model Transformation, Theory and Practice of Model Transformations 1-2 July, 2008, EH Zurich, Switzerland

July 2008

• 20th Euromicro Conference on Real-Time Systems Prague, Czech Republic, July 2-4, 2008
• ASAP 2008 19th IEEE International Conference on Application-specific Systems, Architectures and Processors, July 2-4, 2008 Leuven, Belgium
• Meta 2008 First International Workshop on Metacomputation in Russia, Pereslavl-Zalessky, Russia (120 km north-east from Moscow) July 2-5, 2008.
• MoCC 2008 2nd Artist Workshop on Models of Computation and Communication, 3-4 July 2008, Eindhoven, Netherlands.
• ICALP 2008 35th International Colloquium on Automata, Languages and Programming, Reykjavik - Iceland, July 7-11, 2008.
• ECOOP'2008 European Conference on Object Oriented Programming July 7 - 11, 2008, Paphos, Cyprus.
• CAV 2008 19th International Conference on Computer Aided Verification, July 7 - 13, 2008, Princeton, USA
• Intelligent Solutions in Embedded Systems Sixth International Workshop, University of Applied Sciences Regensburg, Germany July 10/11, 2008.
• SSIRI 2008 The Second IEEE International Conference on Secure System Integration and Reliability Improvement, July 14-17, 2008 Yokohama, Japan
• RTA 2008 International Conference on Rewriting Techniques and Applications, July 15-17, 2008. Hagenberg, Austria.
• PPDP 2008 10th ACM-SIGPLAN* International Symposium on Principles and Practice of Declarative Programming, Valencia, Spain, July 15-17, 2008.
• SAS 2008 Static Analysis Symposium, 16-18 July 2008, Valencia, Spain
• LOPSTR 2008 18th International Symposium on International Symposium on Logic-Based Program Synthesis and Transformation, July 17-18, 2008, Valencia, Spain
• ISSAC 2008 International Symposium on Symbolic and Algebraic Computation, July 20-23, 2008. Hagenberg, Austria.
• PADTAD VI 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, July 20-21 2008 Seattle, WA.
• ISSTA 2008 Int. Symposium on Software Testing and Analysis, Seattle, WA July 20-24, 2008
• SAMOS VIII International Symposium on Systems, Architectures, MOdeling, and Simulation, Samos, Greece, July 21-24, 2008.
• COMPSAC 2008 32nd Annual International Computer Software and Applications Conference, Turku, Finland, July 28 - August 1, 2008
• AMAST 2008 The 12th International Conference on Algebraic Methodology and Software Technology, July 28-31, 2008, Urbana-Champaign, Illinois, USA.

August 2008

• SPIN 2008 15th Int. SPIN Workshop on Model Checking of Software August 10-12, 2008, Los Angeles, USA
• IJCAR 08 4th International Joint Conference on Automated Reasoning, Aug. 10-15, Sydney, Australia.
  Including
  • CADE Conference on Automated Deduction,
  • FroCoS Symposium on Frontiers of Combining Systems,
  • FTP Workshop on First-order Theorem Proving,
  • TABLEAUX Conference on Analytic Tableaux and Related Methods
• PODC 2008 27th Annual ACM SIGACT-SIGOPS Symposium on the Principles of Distributed Computing, Toronto, Canada, August 18-21, 2008.
• CONCUR 08 19th International Conference on Concurrency Theory, Toronto, Canada, August 19-22, 2008.
• Automata and Verification Workshop, University of Mons-Hainaut, Mons, Belgium, 25 - 26 August 2008.
• RTCSA 2008 The 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, August 25 to 27, 2008 Kaohsiung, Taiwan
• SBLP 2008 12th Brazilian Symposium on Programming Languages, Fortaleza, Ceara, Brazil August 27-29, 2008

September 2008

• ICTAC 2008 5th International Colloquium on Theoretical Aspects of Computing, 1-3 September 2008 The Marmara, Istanbul, Turkey (Tutorials & Workshops 30-31 August 2008, Sabanci University, Istanbul).
• DSD'2008 11th Euromicro Conference on Digital System Design, Architectures, Methods and Tools University of Parma, Parma (Italy), 3-5, September,2008
• WS-FM 2008 5th International Workshop on Web Services and Formal Methods, September 4-5, 2008, Milan, Italy.
• ICGT 2008 4th International Conference on Graph Transformation, Leicester (United Kingdom), September 7 - 13, 2008
• FPL 2008 International Conference on Field Programmable Logic and Applications, Heidelberg, Germany, September 8-10
• PPPJ 2008 The 6th ACM International Conference on Principles and Practice of Programming in Java, Modena, Italy, Sept 9-11 2008.
• FACS 2008 5th International Workshop on Formal Aspects of Component Software, September 10-12, 2008 Malaga, Spain.
• CP 2008 14th International Conference on Principles and Practice of Constraint Programming Sydney, Australia, 14-18 September 2008.
• FMICS 2008 13th International ERCIM Workshop on Formal Methods for Industrial Critical Systems September 15-16, 2008, L'Aquila, Italy.
• QEST 2008 5th International Conference on Quantitative Evaluation of SysTems, September 14-17, 2008, Palais du Grand Large, Saint Malo, France.
• FORMATS'08 6th International Conference on Formal Modelling and Analysis of Timed Systems Saint-Malo, France, September 15--17, 2008.
• ASE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, September 15-19 2008 L'Aquila, Italy
• Visions of Computer Science International Academic Research Conference, Imperial College London, September 22-24, 2008
• ICFP'08 ACM SIGPLAN International Conference on Functional Programming, September 22-24, 2008 Victoria, British Columbia, Canada. with workshops, including (sparse sample)
  • 7th Erlang Workshop September 27.
• FDL'08 Forum on specification \& Design Languages, Stuttgart, Germany September 23-25, 2008
• JTRES 2008 The 6th International Workshop on Java Technologies for Real-Time and Embedded Systems, 24-26 September 2008 Santa Clara, California, USA.
• SYNASC 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Timisoara, Romania September 26 - 29, 2008.
• SCAM 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation 28th-29th September 2008, Beijing, China.
• ICSM 2008 24th IEEE International Conference on Software Maintenance, Beijing, China -- September 28 to October 4, 2008.
• MODELS 2008 ACM/IEEE 11th International Conference on Model-Driven Engineering Languages and Systems, September 28 - October 3, 2008, Toulouse, France with workshops, including (sparse sample)
  • ACES-MB 2008 1st International Workshop on Model Based Architecting and Construction of Embedded Systems September 28th, 29th or 30th (TBD)
• SLE 2008 1st International Conference on Software Language Engineering, Toulouse, France, September 29-30, 2008

October 2008

• SRDS 2008 27th International Symposium on Reliable Distributed Systems October 6 - 8, 2008 - Napoli, Italy
• ESORICS 2008 13th European Symposium on Research in Computer Security, Malaga, Spain 6-8 October, 2008.
• VSTTE 2008 Second IFIP Working Conference on Verified Software: Theories, Tools, and Experiments, Oct 6--9, 2008, Toronto, Canada.
• SEC 2008 The Fifth IEEE International Symposium on Embedded Computing Beijing, China, October 6-9, 2008
• NordSec 2008 The 13th Nordic Workshop on Secure IT Systems, October 9-10 2008, Copenhagen, Denmark.
• CMSB 2008 International Conference on Computational Methods in Systems Biology, 12th to 15th October 2008, Rostock, Germany.
• ISoLA 2008 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. 13-15 October 2008, Porto Sani, Greece.
• IFIP/IEEE VLSI-SoC 2008 16th International Conference on Very Large Scale Integration October 13-15, 2008, Rhodes Island, Greece.
• COMPARCH 2008 Federated Events on Component-Based Software Engineering and Software Architecture October 14th-17th, 2008, Karlsruhe, Germany.
  Including
  • QoSA 2008 Fourth International Conference on the Quality of Software-Architectures, "Models and Architectures"
  • CBSE 2008
  • COMPFRAME 2008
• RTNS 2008 16th International Conference on Real-Time and Network Systems, Rennes, France, October 16-17, 2008.
• GPCE 2008 Seventh International Conference on Generative Programming and Component Engineering, October 19-23, 2008 Nashville, Tennessee
• OOPSLA 2008 October 19-23, 2008 Nashville, Tennessee
• Embedded Systems Week 2008 October 19 - 24, 2008 Atlanta, Georgia, USA, containing
  • CODES + ISSS 2008 Fifth International Conference on Hardware/Software Codesign and System Synthesis
  • EMSOFT 2008 Seventh International Conference on Embedded Software
  • CASES 2008 International Conference on Compilers, Architecture and Synthesis for Embedded Systems
• ATVA 2008 Sixth International Symposium on Automated Technology for Verification and Analysis, Seoul, South Korea, October 20-23, 2008
• FMCO 2008 Fourth International Symposium on Formal Methods for Components and Objects, 21-23 October 2008 INRIA Sophia-Antipolis France.
• ICFEM 2008 10th International Conference on Formal Engineering Methods, October 27, 2008m Kitakyushu-City, Japan.

November 2008

• TGC 2008 Trustworthy Global Computing 2008, November 3-4, 2008, Barcelona, Spain
• SEFM 2008 The 6th IEEE International Conference on Software Engineering and Formal Methods, Cape Town, South Africa 10 - 14 November, 2008.
• EUC'2008 14th Int. Erlang/OTP User Conf., Stockholm, Nov. 13.
• NWPT '08 20th Nordic Workshop on Programming Theory, Tallinn, Estonia, 19-21 November 2008.
• iiWAS 2008 0th International Conference on Information Integration and Web-based Applications & Services Linz, Austria, Nov. 24-26.
• MoMM 2008 6th International Conference on Advances in Mobile Computing & Multimedia, Linz, Austria, Nov. 24-26.
• ICT 2008 Europe's biggest research event for information and communication technologies, Lyon, Nov. 25-27.
• BIONETICS 2008 3rd International Conference on Bio inspired Models of Network, Information and Computing Systems, Awaji Island, Hyogo, Japan, Nov 25-28, 2008.
• MCC-08 First Swedish Workshop on Multi-Core Computing, Ronneby, November 27-28, 2008
• FLACOS'08 Second Workshop on Formal Languages and Analysis of Contract-Oriented Software, Malta, 27-28 November, 2008
• RTSS 2008 29th IEEE Real-Time Systems Symposium November 30 - December 3, 2008, Barcelona, Spain.

December 2008

• HASE 2008 11th IEEE High Assurance Systems Engineering Symposium Nanjing, China, December 3 - 5, 2008.
• ICPADS'08 The 14th IEEE International Conference on Parallel and Distributed Systems, December 8-10, 2008 -- Melbourne, Australia
• ICSSEA 2008 Software and Systems Engineering and their Applications, Paris, December 9-11, 2008
• FSTTCS 2008 Foundations of Software Technology and Theoretical Computer Science, December 9-11, 2008 Indian Institute of Science, Bangalore, India
• OPODIS'08 12th Internationnal Conference On Principles Of DIstributed Systems, December 15th-18th 2008, Luxor, Egypt
• EUC 2008 The 2008 IEEE/IFIP International Conference On Embedded and Ubiquitous Computing, December 17-20,2008 Shanghai,Chinacon