Conferences 2016

January 2016

• HiPEAC 2016 11th International Conference on High-Performance and Embedded Architectures and Compilers January 18-20, 2016, Prague, Czech Republic
• VMCAI 2016 17th International Conference on Verification, Model Checking, and Abstract Interpretation, January 17-19, 2016, St. Petersburg, Florida, United States
• POPL 2016 The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Wed 20 - Fri 22 January 2016, St. Petersburg, Florida, United States

March 2016

• CGO 2016 2016 International Symposium on Code Generation and Optimization, Barcelona, Spain, March 12-18, 2016.
• LATA 2016 10th International Conference on Language and Automata Theory and Applications, Prague, Czech Republic, March 14-18, 2016
• DATE 2016 Design, Automation, and Test in Europe, Dresden, 14-18 March, 2016
• HPCA 2016 22nd IEEE Symposium on High Performance Computer Architecture March 12-16 2016, Barcelona, Spain
• PPoPP 2016 Principles and Practice of Parallel Programming, March 12-16 2016, Barcelona, Spain
• CGO 2016 2016 International Symposium on Code Generation and Optimization, March 12-18 2016, Barcelona, Spain
• CC 2016 25th International Conference on Compiler Construction, March 17-18 2016, Barcelona, Spain

April 2016

• ETAPS 2016 19th European Joint Conferences on Theory and Practice of Software, Eindhoven, The Netherlands, April 2-8, 2016
  Including
  • ESOP 2016 European Symposium On Programming
  • FASE 2016 Fundamental Approaches to Software Engineering
  • FOSSACS 2016 Foundations of Software Science and Computation Structures
  • TACAS 2016 Tools and Algorithms for the Construction and Analysis of Systems
  • POST 2016 First Conference on Principles of Security and Trust
• SPIN 2016 23rd International SPIN Symposium on Model Checking of Software 7--8 April 2016, Eindhoven, The Netherlands
• SAC'16 31st ACM Symposium on Applied Computing, April 4 - 8, 2016 Pisa, Italy
• ICST 2016 9th IEEE International Conference on Software Testing, Verification and Validation, April 10-15, 2016, Chicago, IL, US
• CPSWEEK 2016 Cyber Physical Systems Week, Vienna, Austria, April 11-14, 2016.
  including
  • HSCC 2016 Hybrid Systems: Computation and Control, April 12-14
  • ICCPS 2016 7th ACM/IEEE International Conference on Cyber-Physical Systems, April 11-14,
  • IPSN 2016 15th ACM/IEEE International Conference on Information Processing in Sensor Networks, April 11-14,,
  • RTAS 2016 22nd IEEE Real-Time and Embedded Technology and Applications Symposium, April 11-14,
• ISPASS 2016 2015 IEEE International Symposium on Performance Analysis of Systems and Software, April 17-19, Uppsala Sweden

May 2016

• ICSE 2016 The 38th International Conference on Software Engineering, Austin, TX, May 14 - 22, 2016
• SIGSIM PADS 2016 ACM SIGSIM Conf. on Principles of advanced Discrete Simulation, May 15-18, 2016, Banff, Alberta, Canada
• CF'16 ACM International Conference on Computing Frontiers 2016, May 16 - 18, 2016, Como, Italy
• NETYS 2016 the Fourth International Conference on Networked Systems, May 18-20, 2016, Rabat, Morocco
• ICSE 2016 International Conference on Software Engineering 2016 May 14-22, 2016 Austin, Texas (USA)
• SIES 2016 11th IEEE International Symposium on Industrial Embedded Systems, Krakow, Poland, 23-25 May 2016
• SCOPES 2016 19th International Workshop on Software and Compilers for Embedded Systems, May 23-25, 2016, Schloss Rheinfels, St. Goar, Germany
• IPDPS 2016 30th IEEE International Parallel and Distributed Processing Symposium May 23-27, 2016, Chicago, Illinois, USA

June 2016

• iFM 2016 12th International Conference on integrated Formal Methods, June 1-5, 2016 - Reykjavik, Iceland
• UTP 2016 6th International Symposium on Unifying Theories of Programming, June 4–5, 2016, Reykjavík, Iceland
• ICSR 2016 5th International Conference on Software Reuse, June 5-7, 2016, St. Raphael Resort, Limassol, Cyprus
• DisCoTec 2016 10th International Federated Conference on Distributed Computing Techniques, Heraklion, Greece, 6-9 June 2016, containing
  • FORTE 2016 36th Formal Techniques for Networked and Distributed Systems,
  • DAIS 2016 16th IFIP international conference on Distributed Applications and Interoperable Systems,
  • Coordination 2016 Languages, Models, and Architectures for Concurrent and Distributed Software, 18th International Conference,
• NFM 2016 8th NASA Formal Methods Symposium, 7-9 June 2016 Minneapolis, USA
• PLDI 2016 37th annual ACM SIGPLAN conference on Programming Language Design and Implementation, June 13 - 17, Santa Barbara, CA
• ACM SIGMETRICS / IFIP PERFORMANCE 2016 June 14-18, 2016 Antibes Juan-les-Pins, France
• ISCA 2016 43rd International Symposium on Computer Architecture, Seoul, June 18-22
• PN 2016 37th International Conference on Application and Theory of Petri Nets and Concurrency, Torun, Poland, June 19-24, 2016
  hosting the Model Checking Contest 2016
• FSCD'16 First International Conference on Formal Structures for Computation and Deduction, 22 June -- 26 June 2016, Porto, Portugal
• CiE 2016 Computability in Europe 2016: Pursuit of the Universal, Paris, France, June 27 - July 1st, 2016
• IJCAR 2016 The 8th International Joint Conference on Automated Reasoning Coimbra, Portugal, 27 June- 2 July, 2016, containing
  • CADE (Conference on Automated Deduction),
  • FroCoS (Workshop on Frontiers of Combining Systems) and
  • TABLEAUX (Conference on Analytic Tableaux and Related Methods).
  CSF 2016 29th IEEE Computer Security Foundations Symposium, June 27-July 1, 2016 Lisbon, Portugal

July 2016

• HLPP 2016 9th International Symposium on High-level Parallel Programming and Applications Münster, Germany, July 4-5, 2016
• STAF 2016 Software Technologies: Applications and Foundations, Vienna, July 4-8, 2016, containing, among others:
  • ICGT 2016 9th International Conference on Graph Transformation July 5-6,
  • SEFM 2016 The 14th International Conference on Software Engineering and Formal Methods, July 4-8, 2016
  • ICMT'16 9th International Conference on Model Transformation
  • TAP 2016 10th International Conference on Tests & Proofs, 5-7 July
• SAT 2016 19th International Conference on Theory and Applications of Satisfiability Testing, Bordeaux, 5th-8th July, 2016
• LICS 2016 31st ACM/IEEE Symposium on Logic in Computer Science. July 5-8, 2016, New York City, USA
• ECRTS 2016 28th Euromicro Conference on Real-Time Systems, Toulouse, France, 5-8th July 2016
• RC 2016 8th Conference on Reversible Computation, July 7th-8th, 2016, Bologna, Italy
• ISSTA 2016 International Conference on Software Testing and Analysis, Saarland University, Saarbrücken, Germany, July 16–20, 2016
• TASE 2016 10th International Symposium on Theoretical Aspects of Software Engineeringk July 17-19, 2016, Shanghai, China
• CAV 2016 28th International Conference on Computer Aided Verification, July 17-23 2016, Toronto, CA.
• SAMOS XVI International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Samos, Greece, July 18-21, 2016
• CIAA 2016 21st International Conference on Implementation and Application of Automata, July 19-22, 2016, Seoul (South Korea)
• ICAC 2016 13th IEEE International Conference on Autonomic Computing, Wuerzburg, Germany, July 19-22, 2016
• RSSR 2016 International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification, June 28-30, 2016, Paris, France
• FMi 2016 The 4th IEEE International Workshop on Formal Methods Integration, Pittsburgh, USA, July 28-30, 2016

August 2016

• ICPP 2016 The 45th International Conference on Parallel Processing, Philadelphia, PA, August 16-19, 2016
• EISIC 2016 European Intelligence and Security Informatics Conference, Uppsala, Sweden, August 17-19, 2016
• MFCS-2016 41st International Symposium on Mathematical Foundations of Computer Science, Krakow, Poland, August 22--26, 2016
• QEST 2016 13th International Conference on Quantitative Evaluation of SysTems Québec City, Canada, August 23-25, 2016
• CONCUR 2016 27th Conference on Concurrency Theory, Québec City, Canada, August 23-26, 2016
• FORMATS 2016 14th International Conference on Formal Modeling and Analysis of Timed Systems Québec City, Canada, August 24-26, 2016
• CSL 2016 25th EACSL Annual Conference on Computer Science Logic, August 29 -- September 1, 2016, Marseille, France
• AiML-2016 11th International Conference on Advances in Modal Logic, Budapest, 29 August - 2 September, 2016
• SEAA 2016 42nd Euromicro Conference on Software Engineering and Advanced Applications, Aug. 31st - Sept. 2nd, 2016, St. Raphael Resort, Limassol, Cyprus
• Euromicro DSD 2016 19th Euromicro Conference on Digital System Design, Aug. 31st - Sept. 2nd, 2016, St. Raphael Resort, Limassol, Cyprus

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