Conferences 2013

January 2013

• PEPM 2013 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, January 20-21, 2013 Rome, Italy
• POPL 2013 The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Rome, Italy, January 20-22, 2013.
• PADL'13 15th International Symposium on Practical Aspects of Declarative Languages, Rome, Italy, January 21-22, 2013.
• VMCAI 2013 The 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Rome, Italy, January 20-22, 2013.
• HiPEAC 2013 8th International Conference on High-Performance and Embedded Architectures and Compilers January 21-23, 2013, Berlin, GERMANY

February 2013

• HPCA 2013 The 19th International Symposium on High-Performance Computer Architecture,Feb. 23-27, 2013, Shenzhen, China
• CGO 2013 2013 Int. Symp. on Code Generation and Optimization, Feb. 23-27, 2013, Shenzhen, China
• PPoPP'13 18th ACM SIGPLAN Ann. Symp. on Principles and Practice of Parallel Programming, February 23-27, Shenzhen, China
• PDP 2013 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 27th February - 1st March 2013, Belfast, Northern Ireland
• STACS 2013 30th International Symposium on Theoretical Aspects of Computer Science, February 27-March 2, 2013, Kiel, Germany.Submission Deadline: Sep 21, 2012

March 2013

• ASPLOS 2013 18th International Conference on Architectural Support for Programming Languages and Operating Systems, Houston, Texas, March 16-20, 2013
• ETAPS 2013 European Joint Conferences on Theory And Practice of Software, March 16th-24th, 2013 Rome, Italy
  Including
  • CC 2013 Int. Conf. on Compiler Construction
  • ESOP 2013 European Symposium On Programming
  • FASE 2013 Fundamental Approaches to Software Engineering
  • FOSSACS 2013 Foundations of Software Science and Computation Structures
  • TACAS 2013 Tools and Algorithms for the Construction and Analysis of Systems
  • POST 2013 First Conference on Principles of Security and Trust
  • PLACES 2013 Programming Language Approaches to Concurrency and Communication-Centric Software, March 23.
• SAC'13 ACM 2013 Symposium on Applied Computing, March 18-22, 2013, Coimbra, Portugal
• DATE 2013 Design, Automation, and Test in Europe, Grenoble, France, March 18-22, 2013
• British Colloquium for Theoretical Computer Science Bath, UK. 24th-27th March 2013

April 2013

• LATA 2013 7th International Conference on Language and Automata, Theory and Applications Bilbao, Spain, April 2-5, 2013
• LATW2013 14th IEEE Latin-American Test Workshop, Cordoba, Argentina, April 2nd - 5th, 2013
• CPSWEEK 2013 Cyber Physical Systems Week, Philadelphia, USA, April 8-11, 2013.
  including
  • HSCC 2013 Hybrid Systems: Computation and Control
  • ICCPS 2013 4th ACM/IEEE International Conference on Cyber-Physical Systems, April 8-11, 2013
  • IPSN 2013 12th ACM/IEEE International Conference on Information Processing in Sensor Networks
  • HiCoNS 2nd ACM International Conference on High Confidence Networked Systems
  • RTAS 2013 19th IEEE Real-Time and Embedded Technology and Applications Symposium
• ISPASS 2013 IEEE International Symposium on Performance Analysis of Systems and Software, 21-23 April 2013, Austin, TX.
• ICPE 2013 4th ACM/SPEC International Conference on Performance Engineering, Prague, Czech Republic, April 21-24, 2013.
• FSEN '13 Fifth International Conference on Fundamentals of Software Engineering 2013 Theory and Practice, Tehran, Iran April 24-26, 2013

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

October 2013

• Workshop on Software Correctness and Reliabilitya Oct 4-5, Zurich
• 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

• ASE 2013 The 28th IEEE/ACM International Conference on Automated Software Engineering, Silicon Valley, CA, Nov. 11-15, 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
• 2013 25th Nordic Workshop on Programming Theory, November 20-22, 2013, Tallinn University of Technology, Estonia.
• MCC13 6th Swedish Workshop on Multicore Computing, November 25-26, 2013, Halmstad, Sweden

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
• ValueTools 2013 7th International Conference on Performance Evaluation Methodologies and Tools, 10-12 December, 2013, Torino, Italy
• FSTTCS 2013 Foundations of Software Technology and Theoretical Computer Science, Dec. 10-14, 2013, IIT Guwahati, India.
• LPAR-19 The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Stellenbosch, South Africa, 14-19 December 2013
• ICPADS 2013 The 19th IEEE International Conference on Parallel and Distributed Systems Seoul, Korea December 15-18, 2013
• 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