Interesting Conferences

May 2013

• NFM 2013 5th NASA Formal Methods Symposium, NASA Ames Research Center Moffett Field, CA, USA May 14-16, 2013
• VSTTE 2013 Fifth Working Conference on Verified Software: Theories, Tools, and Experiments, May 17--19, 2013, Atherton, California
• ICSE 2013 International Conference on Software Engineering 17 May 2013 - 27 May 2013; San Francisco, California, United States
• IPDPS 2013 27th IEEE International Parallel and Distributed Processing Symposium Boston-Cambridge, USA, 20 - 24 May 2013

June 2013

• DisCoTec 2013 8th International Federated Conference on Distributed Computing Techniques, Firenze, Italy, June 3-6 2013 containing
  • FMOODS/FORTE 2013 15th Formal Methods for Open Object-Based Distributed Systems and 33rd Formal Techniques for Networked and Distributed Systems,
  • DAIS 2013 13th IFIP international conference on Distributed Applications and Interoperable Systems,
  • Coordination 2013 Languages, Models, and Architectures for Concurrent and Distributed Software, 15th International Conference,
• ASAP 2013 24th IEEE International Conference on Application-specific Systems, Architectures and Processors 5-7 June 2013 Washington D.C., USA
• CADE-24 24th International Conference on Automated Deduction, Lake Placid, USA, 9-14 June 2013.
• iFM 2013 10th International Conference on integrated Formal Methods, June 10 - 14, 2013 - Turku, Finland
• PLDI 2013 34rd ACM SIGPLAN conference on Programming Language Design and Implementation, Seattle, Washington, USA, 16 June 2013 -- 21 June 2013
• LCTES 2013 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, June 16-23, 2013 in Seattle WA,
• SEUS 2013 The 9th Workshop on Software Technologies for Embedded and Ubiquitous Systems, Paderborn, Germany. June 17-18, 2013.
• SAS 2013 20th International Static Analysis Symposium 20-22 June 2013, Seattle, WA.
• ISORC 2013 16th IEEE Computer Society symposium on object/component/service-oriented realtime distributed computing, June 19.-21., 2013, Paderborn, Germany
• ISMM 2013 International Symposium on Memory Management, Seattle, Washington, USA, June 20-21
• CompArch 2013 Federated conference, Vancouver, Canada, June 17-21, 2013, including
  • CBSE 16th ACM SigSoft International Symposium on Component-Based Software Engineering, June 18-20
  • QoSA: 9th ACM SigSoft International Conference on Quality of Software Architecture
  • ISARCS: 4th ACM SigSoft International Symposium on Architecting Critical Systems
  • WCOP: 18th International Doctoral Symposium on Components and Architecture
  • sROSS: Workshop on Reusing Open-Source Software Components
• TAP 2013 7th International Conference on Tests and Proofs, Budapest, Hungary, June 17-21, 2013
• SERE 2013 The Seventh IEEE International Conference on Software Security and Reliability, Washington, D.C., USA, 18-20 June, 2013
• M-SCOPES 2013 16th International Workshop on Software and Compilers for Embedded Systems, June 19-21, 2013, Schloss Rheinfels, St. Goar, Germany.
• SIES 2013 8th IEEE International Symposium on Industrial Embedded Systems Polytechnic Institute of Porto, 19-21 June 2013
• SAS 2013 The 20th International Static Analysis Symposium 20-22 June 2013, Seattle, WA.
• ISCA 2013 40th International Symposium on Computer Architecture, June 23-27, 2013, Tel-Aviv, Israel.
• RDP 2013 Federated Conference on Rewriting, Deduction, and Programming June 23 - 28, 2013, Eindhoven, The Netherlands, including
  • RTA 2013 International Conference on Rewriting Techniques and Applications, June 24 - 26,
  • DSN 2013 43th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 24-27, 2013, Budapest, Hungary
  • TLCA 2013 International Conference on Typed Lambda Calculi and Applications, June 24 - 28,
• PETRI NETS 2013 34th International Conference on Application and Theory of Petri Nets and Concurrency, Milano, Italy, June 24-28, 2013.
• LICS 2013 28th Annual IEEE Symposium on Logic in Computer Science, June 25–28, 2012, 2013, New Orleans, USA

July 2013

• ECMFA, ECOOP and ECSA 2013 July 1-6, 2013, Montpellier, France
• HLPP2013 International Symposium on High-level Parallel Programming and Applications Paris 1-2 July 2013.
• TASE 2013 The 7th International Symposium on Theoretical Aspects of Software Engineering, 1st – 3rd July 2013, Birmingham, UK
• SCSS 2013 5th International Symposium on Symbolic Computation in Software Science July 5-6, 2013, Castle of Hagenberg, Austria
• SPIN 2013 International SPIN Symposium on Model Checking of Software, Stony Brook, NY, USA, July 8-9 2013
• ACSD 2013 13th International Conference on Application of Concurrency to System Design, Barcelona, Spain, July 8-10
• SAT 2013 Sixteenth International Conference on Theory and Applications of Satisfiability Testing, Helsinki, Finland, July 8-12, 2013
• ECRTS 13 25th Euromicro Conference on Real-Time Systems, Paris, France, 10-12 July 2013
• CAV 2013 25th International Conference on Computer Aided Verification July 13-19, 2013 St Petersburg, Russia.
• SAMOS XIII International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation Samos, Greece, July 15-18, 2013
• ISSTA 2013 International Conference on Software Testing and Analysis, Lugano, Switzerland, July 15-20, 2013.
• ICECCS 2013 Eighteenth IEEE International Conference on Engineering of Complex Computer Systems, 17-19 July 2013, National University of Singapore.
• PODC 2013 ACM Symposium on Principles of Distributed Computing 22-24 July 2013, Montreal, Canada
• SPAA 2013 25th ACM Symposium on Parallelism in Algorithms and Architectures 23-25 July 2013, Montreal, Canada
• ITP 2013 4th International Conference on Interactive Theorem Proving, 23-26 July 2013, Rennes, France

August 2013

• RTCSA 2013 The 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, August 19 - 22, 2013, Taipei, Taiwan
• ESEC/FSE 2013 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, St Petersburg, Russia, Aug. 19-23, 2013
• ICLP 2013 29th International Conference on Logic Programming, Istanbul, Turkey, August 24-28, 2013
• Euro-Par 2013 August 26th-30th, 2013 - Aachen, Germany
• QEST 2013 10th International Conference on Quantitative Evaluation of SysTems, August 26th-30th, 2013 - Buenos Aires, Argentina.
• CONCUR 2013 23nd International Conference on Concurrency Theory, August 27-30, 2013 - Buenos Aires, Argentina.
• FORMATS 2013 11th International Conference on Formal Modeling and Analysis of Timed Systems, Buenos Aires, Argentina 29 – 31 August, 2013.
• GandALF 2013 4th International Symposium on Games, Automata, Logics, and Formal Verification Borca di Cadore, Dolomites, Italy - August 29th - 31th, 2013

September 2013

• CSL 2013 Computer Science Logic 2013, Torino, September 2-5 2013
• ICTAC 2013 10th International Colloquium on Theoretical Aspects of Computing, September 4-6, 2010, Shanghai, China.
• DSD 2013 16th EUROMICRO Conference on Digital System Design, Santander, Spain, 4 – 6 September, 2013
• PATMOS 2013 International Conference on Power and Timing Modeling, Optimization and Simulation, Karlsruhe, Germany September 9-11, 2013
• ESOCC 2013 European Conference on Service-Oriented and Cloud Computing, Malaga, Spain, Sept. 11-13.
• FOCLASA 2013 The 13th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems, September 11, 2013, Malaga (Spain)
• AVOCS 013 13th Automated Verification of Critical Systems (AVOCS) 2013 Workshop, 11-13 September, 2013, University of Surrey, UK
• FroCoS 2013 9th International Symposium on Frontiers of Combining Systems, Nancy, France September 18-20, 2013
• CMSB 2013 The 11th Annual Conference on Computational Methods in Systems Biology, 23-25 September, 2013 IST Austria, Klosterneuburg, Austria
• FMICS 2013 18th International Workshop on Formal Methods for Industrial Critical Systems September 23-24, 2013 Madrid (Spain)
• SEFM 2013 11th International Conference on Software Engineering and Formal Methods, 23rd-27th September 2013 Madrid, Spain
• RV'13 Fourth International Conference on Runtime Verification, INRIA Rennes, France 24-27 September 2013
• ICFP 2013 18th ACM SIGPLAN International Conference on Functional Programming, Boston, MA, USA, 25-27 September 2013
• RP 2013 7th International workshop on Reachability Problems 25 - 27 September 2013, Uppsala, Sweden
• TIME 2013 20th International Symposium on Temporal Representation and Reasoning, 26 - 28 September, Pensacola, FL, USA
• Embedded Systems Week 2013 Montreal, Canada, September 29 - October 04, 2013
  • CODES + ISSS 2013 International Conference on Hardware/Software Codesign and System Synthesis
  • EMSOFT 2013 13th International Conference on Embedded Software
  • CASES 2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems
  • ESTIMedia 2013 10th IEEE Workshop on Embedded Systems for Real-Time Multimedia,
• PaCT-2013 12th International Conference on Parallel Computing Technologies, Saint-Petersburg, Russia, September 30-October 4, 2013

October 2013

• ICCD 2013 31st IEEE International Conference on Computer Design, Asheville, NC, USA October 6-9, 2013
• ATVA 2013 11th International Symposium on Automated Technology for Verification and Analysis October 15 - 18, 2013, Hanoi, Vietnam
• MEMOCODE 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign, 18-20 October 2013, Portland, Oregon, USA
• FMCAD 2013 International Conference on Formal Methods in Computer-Aided Design, Portland, OR, USA October 20-23, 2013
• 1st UCAAT 1st User Conference on Advanced Automated Testing, Paris, Oct. 22-24, 2013.
• FACS 2013 10th International Symposium on Formal Aspects of Component Software Jiangxi Normal University, Nanchang, China. October 28 - 30, 2013
• ICFEM 2013 15th International Conference on Formal Engineering Methods, Queenstown, New Zealand, 29 October - 1 November 2013

November 2013

• SenSys 2013 The 11th ACM Conference on Embedded Networked Sensor Systems, November 11-15, 2013 Rome, Italy
• ICTSS'13 25th IFIP International Conference on Testing Software and Systems, November 13-15, 2013, Istanbul, Turkey

December 2013

• RTSS 2013 34th IEEE Real-Time Systems Symposium, December 3 - 6, 2013 Vancouver, Canada.
• APLAS 2013 11th Asian Symposium on Programming Languages and Systems, 9-11 December 2013, Melbourne, Australia
• FSTTCS 2013 Foundations of Software Technology and Theoretical Computer Science, Dec. 10-14, 2013, IIT Guwahati, India.
• OPODIS 2013 17th International Conference On Principles Of DIstributed Systems - December 16-18, Nice, France.
• HiPC 2013 20th IEEE International Conference on High Performance Computing December 18-21, 2013, Hyderabad, INDIA

January 2014

• POPL 2014 The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. San Diego, USA January 22-24, 2014
• HiPEAC 2014 9th International Conference on High-Performance and Embedded Architectures and Compilers January 22-24, 2014, Vienna, Austria

February 2014

• PDP 2014 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Computing, 12th - 14th February, 2014 Turin, Italy

Other Conference Pages

• Conference Service Mandl