Interesting Conferences

September 2016

• PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming, September 5-7, 2016, Edinburgh, UK
• LOPSTR 2016 25th International Symposium on Logic-Based Program Synthesis and Transformation September 6-8, 2016, Edinburgh, UK
• SAS 2016 Static Analysis Symposium 2016, September 8--10, 2016, Edinburgh, UK
• FedCSIS 2016 Federated Conference on Computer Science and Information Systems Gdansk, Poland, 11 - 14 September, 2016, containing
  • IWCPS International Workshop on Cyber-Physical Systems
• PACT 2016 The 25th International Conference on Parallel Architectures and Compilation Techniques, Haifa, Israel, September 11-15, 2016.
• GandALF 2016 The Seventh International Symposium on Games, Automata, Logics and Formal Verification, Catania, Italy, September 14 - 16.
• RP 2016 The 10th International Workshop on Reachability Problems, 19 - 21 September 2016, Aalborg, Denmark
• MCSoC-16 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, Lyon, France, September 21-23, 2016
• DS-RT 2016 20th IEEE/ACM* International Symposium on Distributed Simulation and Real Time Applications, September 21 - 23, 2016, London, UK
• CMSB 2016 14th International Conference on Computational Methods in Systems Biology 21st-23rd September 2016, University of Cambridge (UK)
• FMICS-AVoCS 2016 International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, 26-29 September 2016, Pisa, Italy
• DISC 2016 30th International Symposium on Distributed Computing September 26-30, 2016, Paris, France
• RV 2016 16th International Conference on Runtime Verification September 23-30, Madrid, Spain

October 2016

• Embedded Systems Week 2016 Pittsburgh, PA, US, October 2-7, 2016, including (old links)
  • CODES + ISSS International Conference on Hardware/Software Codesign and System Synthesis
  • EMSOFT International Conference on Embedded Software
  • CASES International Conference on Compilers, Architecture and Synthesis for Embedded Systems
  • ESTIMedia 14th IEEE Workshop on Embedded Systems for Real-Time Multimedia, Oct. 6-7
  • IoT Day Internet of Things: A Holistic Perspective
• FMCAD 2016 International Conference on Formal Methods in Computer-Aided Design, Mountain View, CA, USA, October 3-6, 2016
• VECoS 2016 10th International Workshop on Verification and Evaluation of Computer and Communication Systems, Tunis, Tunisia, October 6-7, 2016
• 4th ETH Workshop on Software Correctness and Reliability October 07-08, 2016 ETH Zurich, Switzerland
• ISOLA 2016 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 10 - 14 of October, 2016, Corfu, Greece
• ATVA 2016 14th International Symposium on Automated Technology for Verification and Analysis, October 17 - 19, 2016, Chiba, Japan
• TIME 2016 23rd International Symposium on Temporal Representation and Reasoning, October 17-19, 2016, Technical University of Denmark
• ICLP 2016 32nd International Conference on Logic Programming, New York City, USA October 17-21, 2016
• RTNS 2016 24th International Conference on Real-Time Networks and Systems, Brest, Brittany, France, October 19-21, 2016
• ICTAC 2016 13th International Colloquium on Theoretical Aspects of Computing 24-31 October 2016, Taipei, Taiwan, ROC,
• SPLASH 2016 The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity, October 30 - November 4, 2016 in Amsterdam, The Netherlands.
• SLE 2016 9th ACM SIGPLAN International Conference on Software Language Engineering, Oct 31-Nov 1, 2016, Amsterdam, Netherlands
• NWPT'16 28th Nordic Workshop on Programming Theory, October 31 - November 2, 2016, Rold Storkro, Skoerping (Aalborg), Denmark

November 2016

• FM 2016 21st International Symposium on Formal Methods, Limassol, Cyprus, 7-11 November 2016
• HVC 2016 Twelfth Haifa Verification Conference 2016, November 14 - 17, 2016 Haifa, Israel
• MEMOCODE 2016 14th ACM/IEEE International Conf. on Formal Methods and Models for System Design, Indian Institute of Technology, Kanpur, India, November 18-20, 2016
• RTSS 2016 36th IEEE Real-Time Systems Symposium, Porto, Portugal

December 2016

• SYNCHRON 2016 International Open Workshop on Synchronous Programming December 5 - 9, 2016, Bamberg, Germany
• Winter Simulation Conference 2016 December 11-14, 2016, Washington, D.C.
• FSTTCS 2016 36th Foundations of Software Technology and Theoretical Computer Science, December 13--15, 2016, Chennai, India

January 2017

• VMCAI 2017 18th International Conference on Verification, Model Checking, and Abstract Interpretation, January 15-17 2017, Paris, France
• POPL 2017 The 44th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Wed 18 - Fri 20 January 2017 Paris, France,
• HiPEAC 2017 12th International Conference on High-Performance and Embedded Architectures and Compilers, January 23-25, 2017, Stockholm, Sweden

February 2017

• CGO 2017 International Symposium on Code Generation and Optimization, Sat 4 - Wed 8 February 2017 Austin, Texas
• HPCA 2017 23rd IEEE International Symposium on High-Performance Computer Architecture, 4 - 8 February 2017 Austin, Texas
• PPoPP 2017 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Sat 4 - Wed 8 February 2017 Austin, Texas
• CC 2017 26th International Conference on Compiler Construction, Feb 5-6 2016, Austin, TX, USA

April 2017

• SAC'17 32nd ACM Symposium on Applied Computing, April 3 - 7, 2017, Marrakech, Morocco.
• ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering, L'Aquila, Italy April 22-26, 2017
• ETAPS 2017 20th European Joint Conferences on Theory and Practice of Software, Uppsala, Sweden, April 22-29, 2017
  Including
  • ESOP 2017 European Symposium On Programming
  • FASE 2017 Fundamental Approaches to Software Engineering
  • FOSSACS 2017 Foundations of Software Science and Computation Structures
  • TACAS 2017 Tools and Algorithms for the Construction and Analysis of Systems
  • POST 2017 First Conference on Principles of Security and Trust
• FSEN '17 Seventh International Conference on Fundamentals of Software Engineering 2017 - Theory and Practice, Tehran, Iran April 26-28, 2017

May 2017

• NFM 2017 The 9th NASA Formal Methods Symposium May 16 - 18, 2017, NASA Ames Research Center Moffett Field, CA, USA
• IPDPS 2017 31st IEEE International Parallel and Distributed Processing Symposium, May 29 – June 2, 2017. Orlando, Florida USA

June 2017

• ACM SIGMETRICS 2017 June 5-9, 2017 Urbana-Champaign, Illinois, USA,
• PLDI 2017 ACM Conference on Programming Language Design and Implementation June 19-23, 2017 in Barcelona, Spain, Submissions: 15 Nov 2016