Conferences 2010

January 2010

• HPCA 2010 16th International Symposium on High-Performance Computer Architecture, Bangalore, India, January 9-14, 2010.
• PADL '10 12th International Symposium on Practical Aspects of Declarative Languages, Madrid, Spain, January 17-18, 2010.
• PDP 2010 18th Euromicro International Conference on Parallel, Distributed and network-based Processing, Pisa, Italy, February 17-19 2010.
• VMCAI 2010 The Eleventh International Conference on Verification, Model Checking, and Abstract Interpretation, Madrid, Spain, January 17-19, 2010.
• PEPM'10 ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation, Madrid, January 18-19, 2010.
• DAMP 2010 Workshop on Declarative Aspects of Multicore Programming Madrid, Spain, January 20-22, 2010
• POPL 2010 The 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Madrid, Spain, January 20-22, 2010. with workshop
  • DAMP 2010 Declarative Aspects of Multicore Programming, January 19, 2010.
• HiPEAC 2010 2+1+ International Conference on High Performance Embedded Architectures & Compilers, Pisa, ITALY, January 25-27, 2010.

February 2010

• MODPROD 2010 4th MODPROD Workshop on Model-Based Product Development, Linköping University, February 9-10, 2009.
• 2PARMA Parma Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures, Hannover, Monday, Feb. 22, 2010.
• ARCS 2010 23rd International Conference on Architecture of Computing Systems - Heterogeneous Systems - Hannover, Germany. February 22nd - 25th, 2010.
• ABZ 2010 Int. Conf. on ASM, Alloy, B and Z, Orford, Québec, Canada, February 22-25, 2010.
• TGC 2010 Fifth International Symposium on Trustworthy Global Computing, LMU, Munich, February 26-26, 2010

March 2010

• STACS 2010 27th International Symposium on Theoretical Aspects of Computer Science, March 4-6, 2010, Nancy, France.
• DATE 2010 Design, Automation, and Test in Europe, Dresden, Germany, March 8-12, 2010
• CAL'2010 4th Conference on Software Architectures, Pau, March 9-11, 2010.
• ASPLOS 2010 Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems, Pittsburgh, PA, March 13-17 2010.
• ETAPS 2010 European Joint Conferences on Theory And Practice of Software, March 20 - 28, 2010 Paphos, Cyprus
  Including
  • CC 2010 Int. Conf. on Compiler Construction
  • ESOP 2010 European Symposium On Programming
  • FASE 2010 Fundamental Approaches to Software Engineering
  • FOSSACS 2010 Foundations of Software Science and Computation Structures
  • TACAS 2010 Tools and Algorithms for the Construction and Analysis of Systems
  • PLACEs 2010 Programming Language Approaches to Concurrency and Communication-cEntric Software, March 21.
• SAC'10 ACM Symposium on Applied Computing, March 22-26, Lausanne, Switzerland
• ICECCS 2010 The fifteenth IEEE International Conference on Engineering of Complex Computer Systems, March 22-26, 2010 University of Oxford, UK
• ISPASS-2010 2010 IEEE International Symposium on Performance Analysis of Systems and Software, March 28-30, 2010, White Plains, NY.
• LATW 2010 11th IEEE Latin-American Test Workshop, March 28-31, 2010 Punta del Este, Uruguay.
• 2nd Workshop on Timed and Infinite Systems Warwick University, UK. March, 29-31, 2010.

April 2010

• ICST 2010 Third IEEE International Conference on Software Testing, Verification and Validation, April 6-9 2010, Paris, France
• RTRTS 2010 1st International Workshop on Rewriting Techniques for Real-Time Systems, Longyearbyen, Spitsbergen, Norway, April 6-9, 2010.
• DEVS 2010 Symposium on Theory of Modeling and Simulation, April 12-15 2010. Orlando, FL.
• NFM 2010 The Second NASA Formal Methods Symposium, April 13-15, 2010, Washington D.C.
• CPSWEEK 2010 Cyber Physical Systems Week, Stockholm, Sweden April 12-16, 2010, including
  • IPSN 2010 International Conference on Information Processing in Sensor Networks April 16-19,
  • RTAS 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium, April 13-16
  • HSCC 2010 Hybrid Systems: Computation and Control, 13th Int. Workshop, April 12-16
  • CPSC 2010 Hybrid Systems: Computation and Control, 13th Int. Workshop, San Francisco, CA. April 13-16.
  • LCTES 2010 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems April 12-16.
• FLOPS 2010 Tenth International Symposium on Functional and Logic Programming April 19-21, 2010 Sendai, Japan
• NODES 10 4th Nordic Workshop on Dependability and Security, Copenhagen April 22-23, 2010 Technical University of Denmark.

May 2010

• ICSE 2010 ACM/IEEE 32nd International Conf. on Software Engineering, May 2-8, 2010, Cape Town, South Africa,
• ISORC 2010 the 13th IEEE Int'l Symposium on Object/component/service-oriented Real-time Distributed Computing, Carmona, Spain, May 4, 2010.
• ELS 2010 3rd European Lisp Symposium, May 6-7, 2010, Fundacao Calouste Gulbenkian, Lisbon, Portugal
• Reactive Modeling in Science and Engineering IST Austria Campus in Klosterneuburg, Lecture Hall May 6-7, 2010
• Amir Pnueli Memorial Symposium New York University New York, New York, USA, May 7-9, 2010.
• TFP 2010 11th Symposium on Trends in Functional Programming, May 17-19, 2010, University of Oklahoma.
• ICA3PP 2010 10th International Conference on Algorithms and Architectures for Parallel Processing, May 21-23, 2010, Busan, Korea
• EuSEC 2010 European Conference on Systems Engineering, Stockholm, Sweden, May 23-26, 2010.
• LATA 2010 4th International Conference on Language and Automata Theory and Applications, Trier, Germany, May 24-28, 2010.
• NOTERE 2010 10th annual int. conf. on New Technologies of Distributed Systems, Tozeur, Tunisia, May 31 - June 2, 2010.
• ICST 2010 Int. Conf. on Computational Science, May 31- June 2, 2010, University of Amsterdam, The Netherlands, containing (sample)
  • PAPP 2010 Seventh International Workshop on Practical Aspects of High-level Parallel Programming, May 31- June 2, 2010, University of Amsterdam, The Netherlands.

June 2010

• ISMM 2010 International Symposium on Memory Management 2010 Toronto, June 5-6, 2010
• PLDI 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, Toronto, Canada, June 5-10.
• DisCoTec 2010 5th International federated conference on Distributed Computing Techniques Amsterdam, Netherlands, June 7-9, 2010, containing
  • FMOODS/FORTE 2010 12th Formal Methods for Open Object-Based Distributed Systems and 20th Formal Techniques for Networked and Distributed Systems, June 7-9.
  • DAIS 2010 10th IFIP international conference on Distributed Applications and Interoperable Systems, June 7-9
  • Coordination 2010 Languages, Models, and Architectures for Concurrent and Distributed Software, 12th International Conference, June 7-9.
• SSIRI 2010 The Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement, Singapore, 9-11 June, 2010
• IFIPTM 2010 The 4th IFIP International Conference on Trust Management Morioka, Iwate, Japan, June 14-18, 2010.
• ECMFA 2010 Sixth European Conference on Modelling Foundations and Applications, June 15-18 2010, University of Pierre & Marie Curie (UPMC), Paris, France.
• IFIPTM 2010 Fourth IFIP International Conference on Trust Management, Morioka, Japan, June 16-18, 2010.
• GandALF 2010 1st International Symposium on Games, Automata, Logics, and Formal Verification Minori, Amalfi Coast, Italy, June 17-18, 2010.
• ISCA-37 the 37th Annual International Symposium on Computer Architecture, June 19 - 23, 2010 Saint-Malo, France
• OWASP Appsec Research 2010 OWASP AppSec Research conference, June 21-24, 2010 in Stockholm, Sweden,
• ACSD 2010 10th International Conference on Application of Concurrency to System Design 21-25 June 2010 Braga, Portugal.
• Petri Nets 2010 21-25 June 2010 Braga, Portugal.
• ECOOP 2010 24th European Conference on Object-Oriented Programming, June 21-25, 2010, Maribor, Slovenia.
• ISARCS 2010 First International Symposium on Architecting Critical Systems, Prague, Czech Republic, June 23-25 2010
• AMAST 2010 Algebraic Methodology and Software Technology, (Thirteenth International Conference) Jun 23, 2010 - Jun 26, 2010, Manoir St-Castin - Quebec, Canada.
• SCOPES 2010 13th International Workshop on Software and Compilers for Embedded Systems, June 29-30, 2010, Schloss Rheinfels, St. Goar, Germany.
• SC 2010 International Conference on Software Composition, June 28-July 2 2010 - Malaga, Spain,
• TOOLS 2010 Federated conferences, June 28-July 2 2010 - Malaga, Spain, containing
  • Tools Europe 2010 48th International Conference Objects, Models, Components, Patterns.
  • SC 2010International Conference on Software Composition,
  • ICMT 2010 International Conference on Model Transformation. June 28-July 2.
  • TAP 2010 4th International Conference on Tests & Proofs.
• Mapping of Applications to MPSOCsRheinfels Castle, St. Goar, Germany, June 29-30, 2010.

July 2010

• WADT 2010 20th International Workshop on Algebraic Development Techniques, July 1-4, 2010, Etelsen, Germany.
• RC 2010 2nd Workshop on Reversible Computation, July 2nd-3rd, 2010, Bremen, Germany.
• ICALP 2010 37th International Colloquium on Automata, Languages and Programming, July 5-12, 2010, Bordeaux, France.
• ECRTS 10 22nd Euromicro Conference on Real-Time Systems, Brussels, Belgium, July 6-9, 2010.
• CPC 2010 15th Workshop on Compilers for Parallel Computing July 7-9, 2010 Vienna University of Technology, Vienna, Austria.
• ASAP'10 21st IEEE International Conference on Application-specific Systems, Architectures and Processors, July 7-9, 2010, Rennes, Brittany, France.
• SIES 2010 IEEE Symposium on Industrial Embedded Systems, July 7-9, 2010, University of Trento, Trento, Italy
• FLoC 2010 Federated Logic Conference, July 9 - 21, 2010 Edinburgh, United Kingdom, containing
  • RTA 2010 21st International Conference on Rewriting Techniques and Applications July 11-13.
  • SAT 2010 International Conference on Theory and Applications of Satisfiability Testing July 11-14.
  • LICS 2010 25th Annual IEEE Symposium on Logic in Computer Science, July 11-14.
  • ITP 2010 Conference on Interactive Theorem Proving, July 11-14.
  • CAV 2010 22nd International Conference on Computer Aided Verification, July 15 - 19.
  • ICLP 2010 26th International Conference on Logic Programming, July 16 - 19.
  • IJCAR 2010 5th International Joint Conference on Automated Reasoning, July 16 - 19.
  • CSF 2010 Computer Security Foundations Symposium, July 17 - 19.
• ACL 2010 48th Annual Meeting of the Association for Computational Linguistics, Uppsala, Sweden, July 11-16, 2010
• DEBS 2010 4th ACM International Conference on Distributed Event-Based Systems, July 12-15, 2010, King's College, Cambridge, United Kingdom.
• ISSTA 2010 International Conference on Software Testing and Analysis, Trento, Italy - July 12-16, 2010
• QSIC 2O1O 10th International Conference on Quality Software, July 14-15, 2010, Zhangjiajie, China
• COMPSAC 2010 34th Annual International Computer Software and Applications Conference, Seoul, Korea, July 19-23, 2010.
• SAMOS X International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Samos, Greece, July 20-23, 2010
• ICSOFT 2010 5th International Conference on Software and Data Technologies, July 22 - 24, 2010 Athens, Greece.
• LOPSTR 2010 20th International Symposium on Logic-Based Program Synthesis and Transformation, July 23-25, 2010. Hagenberg, Austria
• PPDP 2010 Principles and Practice of Declarative Programming 12th International ACM SIGPLAN Symposium July 26-28, 2010. Hagenberg, Austria
• PODC 2010 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, July 25-28, 2010, Zurich, Switzerland
• MEMOCODE 2010 eighth ACM-IEEE International Conference on Formal Methods and Models for Codesign, July 26-28, 2010, Grenoble, France.

August 2010

• IGCC '10 First International Green Computing Conference, Sustainable Computing and Computing for Sustainability Chicago, IL, USA, August 15-18, 2010,
• VSTTE 2010 Third IFIP Working Conference on Verified Software: Theories, Tools, and Experiments, Edinburgh, Scotland, August 16th-19th, 2010.
• JTRES 2010 The 8th Workshop on Java Technologies for Real-Time and Embedded Systems, Charles University Faculty of Mathematics and Physics, 19-21 August 2010 Prague, Czech Republic.
• RTCSA 2010 The 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, August 23 to 25, 2010 Macau SAR, P.R.C.
• MFCS and CSL 2010 35th International Symposium on Mathematical Foundations of Computer Science, and 19th EACSL Annual Conference on Computer Science Logic, Brno, Czech Republic. August 23-27, 2010
• TASE 2010 4th IEEE Symposium on Theoretical Aspects of Software Engineering, August 25 - 27, 2010, Taipei, Taiwan, ROC.
• AiML-2010 8-th International Conference on Advances in Modal Logic, Moscow, August 25-29, 2010
• CONCUR 2010 21st International Conference on Concurrency Theory, August 31 - September 3, 2010, Paris, France.

September 2010

• IFL 2010 22nd Symposium on Implementation and Applications of Functional Languages, September 1-3, 2010, Utrecht University, Alphen aan den Rijn, The Netherlands.
• SEAA 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications, Lille, France, 1-3 September 2010
• DSD'2010 13th Euromicro Conference on Digital System Design Architectures, Methods and Tools Polytech'Lille, Lille, 1st-3rd September, 2010.
• TIME 2010 Seventeenth International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010
• FORMATS 2010 IST Austria (close to Vienna), September 8-10, 2010.
• MMM-ACNS 2010 Fifth International Conference on Mathematical Methods, Models, and Architectures for Computer Networks Security St Petersburg, Russia, September 8-11, 2010.
• Multicore Day 2010 Kista, Stockholm, September 9.
• PROMISE 2010 The 6th International Conference on Predictive Models in Software Engineering, Timisoara, Romania, Sept 12-13, 2010.
• ICSM 2010 26th IEEE International Conference on Software Maintenance 12th-18th September 2010, Timisoara, Romania,
• SCAM 2010 Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, 12th-13th September 2010, Timisoara, Romania,
• SEFM 2010 The 8th IEEE International Conference on Software Engineering And Formal Methods, Pisa, Italy 13--18 September 2010.
• SAS 2010 Static Analysis Symposium, 14-16 September 2010, Perpignan, France.
• FDL 2010 Forum for specification & Design Languages, September 14-16, 2010, Southampton, United Kingdom.
• ICTCS 2010 12th Italian Conference on Theoretical Computer Science, Camerino, Italy, September 15-17, 2010
• PPPJ 2010 Principles and Practice of Programming in Java, Vienna, Austria, September 15-17, 2010.
• WS-FM 2010 7th International Workshop on Web Services and Formal Methods: Formal aspects of service oriented and cloud computing, September 16-17, 2010, New Jersey, USA.
• SEFM 2010 8th IEEE International Conference on Software Engineering and Formal Methods, 13-18 September 2010 Pisa, Italia
• GAMES 2010 Annual Workshop of the ESF Networking Programme on Games for Design and Verification, September 19 - 23, 2010, St Anne's College, Oxford, UK.
• FMICS 2010 15th International Workshop on Formal Methods for Industrial Critical Systems, September 20-21, 2010, Antwerp, Belgium.
• WCC IFIP World Computer Congress, Brisbane, Australia, September 20-23, including (very sparse selection)
  • DIPES 2010 7th IFIP Conference on Distributed and Parallel Embedded Systems, September 20-23,
• ASE 2010 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20 - September 24, 2010 including
  • TAV-WEB 2010 4th International Workshop on Testing, Analysis, and Verification of Web Software, September 21.
• AVoCS 2010 10th International Workshop on Automated Verification of Critical Systems Düsseldorf, Germany, September 21-23, 2010
• ATVA 2010 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), Singapore 21 - 24 Sept. 2010, with workshop
  • INFINITY 2010 12th International Workshop on Verification of Infinite-State Systems, Sept. 21
• EPEW 2010 7th European Performance Engineering Workshop, Bertinoro (Italy), 23-24 September 2010.
• SPIN 2010 17th International SPIN Workshop on Model Checking of Software, University of Twente, Enschede (The Netherlands), Sept. 27-29, 2010.
• ICGT 2010 5th International Conference on Graph Transformation, University of Twente, Enschede (The Netherlands), Sept. 29 - Oct. 1, 2010.
• ICFP 2010 The 15th ACM SIGPLAN International Conference on Functional Programming, Baltimore, Maryland, September 27-29, 2010
• SOC 2010 International Symposium on System-on-Chip 2010, Tampere, Finland, September 29-30, 2010.
• Haskell 2010 ACM SIGPLAN Haskell Symposium 2010, Baltimore MD, United States 30th September, 2010.

October 2010

• CMSB 2010 8th Conference on Computational Methods in Systems Biology, September 29 - October 1, 2010 Trento, Italy
• MODELS 2010 ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, Oslo, norway, Oct. 3-8, 2010.
• GPCE 2010 Ninth International Conference on Generative Programming and Component Engineering, October 10-13, 2010, Eindhoven, The Netherlands.
• SLE 2010 3rd International Conference on Software Language Engineering, 12-13 Oct 2010 -- Eindhoven, The Netherlands.
• iFM 2010 8th International Conference on Integrated Formal Methods, October 11-14, 2010, Nancy, France.
• SEUS 2010 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Computing Systems, October 13-15, 2010, Waidhofen/Ybbs, Austria.
• FACS 2010 7th International Workshop on Formal Aspects of Component Software, October 14-16, 2010, Universidade do Minho, Guimaraes, Portugal.
• ISoLA Week Creta Maris Hersonissos, Heraklion, Crete 16-23 October 2010, containing
  • 4th ISoLA Symposium (Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation), 18-20 October 2010.
• SPLASH 2010 International Conference on Formal Methods in Computer-Aided Design, Reno/Tahoe, Nevada, USA. 17-21 October 2010.
• FMCAD 2010 International Conference on Formal Methods in Computer-Aided Design, Lugano, Switzerland, 20-23 October 2010.
• Embedded Systems Week 2010 October 24-29, 2010 Scottsdale, AZ including
  • CODES + ISSS 2010 Sixth International Conference on Hardware/Software Codesign and System Synthesis
  • EMSOFT 2010 8th International Conference on Embedded Software Oct 24-29.
  • CASES 2010 International Conference on Compilers, Architecture and Synthesis for Embedded Systems
  • ESTIMedia 2010 8th IEEE Workshop on Embedded Systems for Real-Time Multimedia October 28-29.
• VisWeek'10 21st IEEE Visualization Conference, 16th IEEE InfoVis Conference, 5th IEEE VAST Conference, Symposium on Software Visualization, Salt Lake City, Utah, USA, October 24-29, 2010
• DASIP 2010 The 2010 Conference on Design and Architectures for Signal and Image Processing, 26-28 October 2010, Edinburgh, United Kingdom.
• SSW 2010 1st International Workshop on Semantic Sensor Web, Valencia, Spain, 27-28 October, 2010.

November 2010

• HASE 2010 12th IEEE International High Assurance Systems Engineering Symposium, November 1-4, 2010, San Jose, CA, USA
• ISSRE 2010 21st IEEE International Symposium on Software Reliability Engineering, November 1-4, 2010, San Jose, CA, USA
• RV 2010 International Conference on Runtime Verification, November 1 - 4, 2010 Sliema, Malta
• ACM SenSys 2010 Zurich, Switzerland, November 3-5, 2010.
• RTNS'2010 18th International Conference on Real-Time and Network Systems, IRIT, Toulouse, France, November 4-5, 2010.
• ICTSS 2010 22nd IFIP International Conference on Testing Software and Systems, November 8 - 10, 2010, Natal, Brazil. UTP 2010
• NWPT'10 the 22nd Nordic Workshop on Programming Theory, 10-12 November 2010, Turku - Finland.
• 3rd International Symposium on Unifying Theories of Programming, Shanghai, China 15-16 November, 2010
• ICFEM 2010 The 12th International Conference on Formal Engineering Methods, Nov 16 - 19, 2010, Shanghai, China
• MMÇ'10 3rd Swedish Workshop on Multi-Core Computing, Chalmers University of Technology, Nov 18-19, 2010.
• APLAS 2010 Eighth Asian Symposium on Programming Languages and Systems, Shanghai, China, November 28-December 1, 2010.
• Synchron 2010 Seventeenth Seminar on Synchronous languages, modeling, and programming, Fréjus, France, November 29th - December 3rd, 2010.
• RTSS 2010 31st IEEE Real-Time Systems Symposium Nov. 30- Dec. 3, 2010 San Diego, CA, USA.

December 2010

• ECOWS 20102 The 8th European Conference on Web Services, December 1-3, 2010, Ayia Napa, Cyprus.
• OPODIS 2010 14th Internationnal Conference On Principles Of DIstributed Systems, December 14-17, 2010, Tozeur, Tunisia.
• FSTTCS 2010 Foundations of Software Technology and Theoretical Computer Science, December 15--18, 2010 The Institute of Mathematical Sciences, Chennai, India.