Interesting Conferences

July 2017

• LPNMR 2017 14th International Conference on Logic Programming and Non-monotonic Reasoning, Hanasaari, Espoo, Finland, July 3-6, 2017
• ICALP 2017 44th International Colloquium on Automata, Languages and Programming, 10-14 July 2017, Warsaw (Poland),
• ISSTA2017 ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10-14, 2017
• SPIN 2017 24th International Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 13-14, 2017
• STAF 2017 Software Technologies: Applications and Foundations, July 17-21, 2017, Marburg, Germany containing, among others:
  • ICGT 2017 10th International Conference on Graph Transformation
  • ECMFA 2017 13th European Conference on Modelling Foundations and Applications
  • ICMT'17 19th International Conference on Model Transformation
  • TAP 2017 10th International Conference on Tests & Proofs,
• VSTTE 2017 9th Working Conference on Verified Software: Theories, Tools, and Experiments, July 22-23, 2017, Heidelberg, Germany
• CAV 2017 29th International Conference on Computer-Aided Verification, Heidelberg, Germany, July 24-28, 2017

August 2017

• CADE-26 The 26th International Conference on Automated Deduction, Gothenburg, Sweden, 6-11 August 2017
• CSL 2017 26th Annual EACSL Conference on Computer Science Logic, Stockholm, August 20-24, 2017
• NSS 2017 The 11th International Conference on Network and System Security August 21-23, 2017, Helsinki, Finland
• MFCS 2017 42nd International Symposium on Mathematical Foundations of Computer Science, Aalborg, Denmark, August 21-25, 2017
• VECoS 2017 11th International Conference on Verification and Evaluation of Computer and Communication Systems, August 24-25, 2017 Montréal, Canada
• SAS 2017 24th Static Analysis Symposium, New York City, NY, August 30th-September 1st, 2017

September 2017

• FSCD 2017 Second International Conference on Formal Structures for Computation and Deduction, Oxford, September 3-6, 2017
• PaCT-2017 Parallel Computing Technologies, 14th International Conference, Sept 4-8, 2017 Nizhni Novgorod, Russia
• QEST 2017 International Conference on Quantitative Evaluation of SysTems Berlin, September 5-7 201,
• FORMATS 2017 15th International Conference on Formal Modelling and Analysis of Timed Systems, Berlin, Sept. 5-7, 2017.
• CONCUR 2017 28th Conference on Concurrency Theory, Berlin, Sept. 5-8, 2017.
• SEFM 2017 The 15th International Conference on Software Engineering and Formal Methods, Trento, Italy, September 6-10, 2017
• RP'17 11th International Workshop on Reachability Problems, 7 - 9 September 2017, Royal Holloway, University of London, UK
• FCT 2017 21st International Symposium on Fundamentals of Computation Theory, September 11-13, 2017 Bordeaux, France
• TTCS 2017 Topics in Theoretical Computer Science, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran September 12-14, 2017
• HIGHLIGHTS 2017 5th Conference on Highlights of Logic, Games and Automata, 12-15 September 2017, London, UK
• TASE 2017 11th International Symposium on Theoretical Aspects of Software Engineering, 13 - 15 September 2017, Nice, France,
• RV'17 The 17th International Conference on Runtime Verification, September 13-16, Seattle, WA, USA
• AVM 2017 11th Alpine Verification Meeting Visegrád, Hungary, Sept 18 2017 – Sept 21 2017
• FMICS-AVoCS 2017 International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, 18-20 September, 2017, University of Torino, Italy
• iFM 2017 13th International Conference on integrated Formal Methods, Torino, Italy, September 20-22
• PATMOS 2017 27th International Symposium on Power and Timing Modeling, Optimization and Simulation, Thessaloniki, Greece, September 25 to 27, 2017
• Tableaux 2017 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Brasilia, Brazil September 25-28, 2017
• FroCos 2017 11th International Symposium on Frontiers of Combining Systems, Brasilia, Brazil September 25-29, 2017
• ITP 2017 8th International Conference on Interactive Theorem Proving, Brasilia, Brazil September 26-29, 2017
• CMSB 2017 15th International Conference on Computational Methods in Systems Biology, 27th-29th September 2017 Technische Universität Darmstadt (Germany)
• MEMOCODE 2017 International Conference on Formal Methods and Models for System Design, September 29 - October 2, 2017, Vienna, Austria

October 2017

• FMCAD 2017 International Conference on Formal Methods in Computer-Aided Design, Vienna, Austria, October 2-6, 2017
• FACS 2017 14th International Conference on Formal Aspects of Component Software, Braga, Portugal, 10-13 October 2017.
• Embedded Systems Week 2017 October 15-20, 2017, Seoul, South Korea, including
  • 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,
  • IoT Day Internet of Things: A Holistic Perspective
• TIME 2017 24th International Symposium on Temporal Representation and Reasoning, Mons (Belgium), 16-18 October 2017
• ICTAC 2017 14th International Colloquium on Theoretical Aspects of Computing 23-27 October 2017, Hanoi, Vietnam

November 2017

• HVC 2017 Thirteenth Haifa Verification Conference 2017, November 13 - 15, 2017 IBM Research Haifa, Israel
• RSSRail 2017 International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification, November 14-16, 2017, Pistoia, Italy

December 2017

• Winter Simulation Conference 2017 December 3-6, 2017, Las Vegas, NV.
• RTSS 2017 38th IEEE Real-Time Systems Symposium, Paris, France

January 2018

• POPL 2018 The 45th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 8-13 January 2018, Los Angeles, USA

April 2018

• ETAPS 2018 21st European Joint Conferences on Theory and Practice of Software, Thessaloniki, Greece, 14-21 April 2018

May 2018

• ICSE 2018 The 40th International Conference on Software Engineering, 27 May - 3 June 2018, Gothenburg, Sweden

Julys 2018

• FLoC 2018 The 2018 Federated Logic Conference, 6-19 July 2018, Oxford, England UK, including
  • CAV 30th International Conference on Computer Aided Verification
  • CSF 31st IEEE Computer Security Foundations Symposium
  • FM 23rd International Symposium on Formal Method
  • FSCD 3rd International Conference on Formal Structures for Computation and Deduhttp://fscdconference.or
  • ICLP 35th International Conference on Logic Programming
  • IJCAR International Joint Conference on Automated Reasonin
  • ITP 9th International Conference on Interactive Theorem Proving
  • LICS 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
  • SAT 21st International Conference on Theory and Applications of Satisfiability Testing