Interesting Conferences

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

January 2014

• VMCAI 2014 The 15th Int. Conf. on Verification, Model Checking, and Abstract Interpretation, January 19-21, 2014, San Diego, California, USA
• PADL 2014 16th International Symposium on Practical Aspects of Declarative Languages, January 20-21, 2014, San Diego, California, USA
• PEPM 2014 ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation, January 20-21, 2014, San Diego, California, USA
• 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
• HPCA-2014 The 20th International Symposium on High-Performance Computer Architecture, Orlando, Florida, February 15-19, 2014
• CGO 2014 2014 Int. Symp. on Code Generation and Optimization, Orlando, Florida, February 15-19, 2014
• PPoPP'14 19th ACM SIGPLAN Ann. Symp. on Principles and Practice of Parallel Programming, Orlando, Florida, February 15-19, 2014
• ARCS 2014 27th GI/ITG International Conference on Architecture of Computing Systems. This year’s focus: Connecting Computing with the Physical World. Luebeck, Germany February 25 - 28, 2014

March 2014

• ASPLOS 2014 19th International Conference on Architectural Support for Programming Languages and Operating Systems, Salt Lake City, UT, March 1-5, 2014
• STACS 2014 31st International Symposium on Theoretical Aspects of Computer Science, March 5 - March 8, 2014, Lyon, France
• LATA 2014 8th International Conference on Language and Automata Theory and Applications, Madrid, Spain, March 10-14, 2014
• ISPASS 2014 2014 IEEE International Symposium on Performance Analysis of Systems and Software, March 23-25, 2014 Monterey, CA
• ICPE 2014 5th ACM/SPEC International Conference on Performance Engineering, Dublin, Ireland, March 23-26, 2014
• DATE 2014 Design, Automation, and Test in Europe, Dresden, Germany, March 24-28, 2014,
• SAC'14 ACM 2014 Symposium on Applied Computing, March 24-28, 2014, Gyeongju, Korea
• ICST’14 7th IEEE International Conference on Software Testing, Verification, and Validation, Cleveland, Ohio, U.S.A., March 31 - April 4, 2014

April 2014

• ETAPS 2014 European Joint Conferences on Theory And Practice of Software, April 5-13, 2014 Grenoble, France
  Including
  • CC 2014 Int. Conf. on Compiler Construction
  • ESOP 2014 European Symposium On Programming
  • FASE 2014 Fundamental Approaches to Software Engineering
  • FOSSACS 2014 Foundations of Software Science and Computation Structures
  • TACAS 2014 Tools and Algorithms for the Construction and Analysis of Systems
  • POST 2014 First Conference on Principles of Security and Trust
  • PLACES 2014 Programming Language Approaches to Concurrency and Communication-Centric Software.
• CPSWEEK 2014 Cyber Physical Systems Week, Berlin, Germany, April 14-17, 2014.
  including
  • HSCC 2014 Hybrid Systems: Computation and Control, April 15-17
  • ICCPS 2014 5th ACM/IEEE International Conference on Cyber-Physical Systems, April 14-17,
  • IPSN 2014 13th ACM/IEEE International Conference on Information Processing in Sensor Networks, April 15-17,
  • HiCoNS 3nd ACM International Conference on High Confidence Networked Systems April 15-17,
  • RTAS 2014 20th IEEE Real-Time and Embedded Technology and Applications Symposium, April 15-17
• NFM 2014 The Sixth NASA Formal Methods Symposium, 29 April - 1 May 2014 NASA Johnson Space Center, Houston, Texas, USA.

May 2014

• FM 2014 19th International Symposium on Formal Methods, Singapore, May 14-16, 2014
• IPDPS 2014 28th IEEE International Parallel & Distributed Processing Symposium May 19-23, 2014, Phoenix (Arizona) USA
• TFP 2014 15th Symposium on Trends in Functional Programming, May 26-28, 2014 Utrecht University Soesterberg, The Netherlands

June 2014

• DAC 2014 Design Automation Conference 2014, San Francisco, CA June 1 - 5, 2014
• ICSE 2014 International Conference on Software Engineering, June 1-7, Hyderabad, India.
• DisCoTec 2014 9th International Federated Conference on Distributed Computing Techniques, Berlin, June 3-6, 2014, containing
  • FORTE 2014 15th Formal Methods for Open Object-Based Distributed Systems and 33rd Formal Techniques for Networked and Distributed Systems,
  • DAIS 2014 14th IFIP international conference on Distributed Applications and Interoperable Systems,
  • Coordination 2014 Languages, Models, and Architectures for Concurrent and Distributed Software, 16th International Conference,
• ABZ 2014 4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z, June 2-6, 2014 Toulouse, France
• PLDI 2014 35th ACM SIGPLAN conference on Programming Language Design and Implementation, Edinburgh, UK 9-11 June 2014.
• ISORC 2014 17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing, June 10 - 12, 2014 Reno, Nevada, USA
• ACSD 2014 14th International Conference on Application of Concurrency to System Design, Tunis, Tunisia, June 23-27, 2014
• Petri Nets 2014 35th International Conference on Application and Theory of Petri Nets and Concurrency, Tunis, Tunisia, June 23-27, 2014

July 2014

• Vienna Summer of Logic 9-24 July, 2014, including
  • CAV 2014 26th International Conference on Computer Aided Verification July 18-22
  • CSF 2014 27th IEEE Computer Security Foundations Symposium 2014,
  • ICLP 2014 30th International Conference on Logic Programming, July 19-22
  • ITP 2014 5th Conference on Interactive Theorem Proving, July 14-17
  • IJCAR 2014 7th International Joint Conference on Automated Reasoning, July 19-22
  • CSL and LICS 2014 23rd EACSL Annual Conference on Computer Science Logic, and 29th ACM/IEEE Symposium on Logic in Computer Science, July 14-18
  • RTA and TLCA 2014 25th International Conference on Rewriting Techniques and Applications, joint with the 12th International Conference on Typed Lambda Calculi and Applications, July 14-17
  • SAT 2014 17th International Conference on Theory and Applications of Satisfiability Testing, July 14-17
• ISSTA 2014 International Conference on Software Testing and Analysis, Bay Area, California, July 21 – 26, 2014
• ICGT 2014 8th International Conference on Graph Transformation - Modeling and Analysis of Dynamic Structures - York, UK. 22-24 July, 2014
• ECOOP 2014 European Conference on Object-Oriented Programming, Uppsala, Sweden July 28th -- August 1st, 2014

August 2014

• MFCS 2014 39th International Symposium on Mathematical Foundations of Computer Science, Budapest, August 25--29, 2014,

September 2014

• SEFM 2014 12th International Conference on Software Engineering and Formal Methods, Grenoble, France, September 1-5, 2014
• Florence 2014 Florence, 8-12 September 2014, Comprising
  • FORMATS2014 - International Conference on Formal Modeling and Analysis of Timed Systems
  • QEST 2014 Int. Conf. on Quantitative Evaluation of SysTems, September 8th-11th
  • SAFECOMP2014 - International Conference on Computer Safety, Reliability and Security
  • EPEW2014 - European Workshop on Performance Engineering
  • FMICS2014 - International Workshop on Formal Methods for Industrial Critical System
• RV 2014 14th International Conference on Runtime Verification September 22-25, 2014 Toronto, Canada