Interesting Conferences

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.

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.
• 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

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
• 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.
• 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
• 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.

July 2010

• 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.
• 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.
• 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
• 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.
• 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

• 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
• 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

• 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
• 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,
• 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,
• ATVA 2010 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), Singapore 21 - 24 Sept. 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. 27-29, 2010.
• SOC 2010 International Symposium on System-on-Chip 2010, Tampere, Finland, September 29-30, 2010.

October 2010

• CMSB 2010 8th Conference on Computational Methods in Systems Biology, September 29 - October 1, 2010 Trento, Italy

Nobember 2010

• RV 2010 International Conference on Runtime Verification, November 1 - 4, 2010 Sliema, Malta

Other Conference Pages