Interesting Conferences

May 2017

• LPAR-21 The 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, May 7 - 12, Cresta Riley's Hotel, Maun, Botswana
• CF '17 ACM International Conference on Computing Frontiers 2017, May 15 - 17, 2017, Siena, Italy
• NFM 2017 The 9th NASA Formal Methods Symposium May 16 - 18, 2017, NASA Ames Research Center Moffett Field, CA, USA
• ICSE 2017 The 39th International Conference on Software Engineering, Buenos Aires, Argentina, May 20-28, 2017
• SIGSIM PADS 2017 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation , May 24 - 26, 2017 Nanyang Technological University, Singapore
• 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,
• SIES 2017 12th IEEE International Symposium on Industrial Embedded Systems, June 7-9, 2017, Toulouse, France
• ECYPS'2017 5th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems, Bar, Montenegro, June 11-15, 2016
• SCOPES 2017 20th International Workshop on Software and Compilers for Embedded Systems, June 12-14, 2017, Schloss Rheinfels, St. Goar, Germany
• MFPS 2017 The 33rd Conference on the Mathematical Foundations of Programming Semantics, Ljubljana University, Slovenia, 12 - 15 June 2017
• Ada-Europe 2017 22nd International Conference on Reliable Software Technologies, 12-16 June 2017, Vienna, Austria
• DisCoTec 2017 10th International Federated Conference on Distributed Computing Techniques, Neuchâtel, Switzerland, 19-22 June 2017
  • FORTE 2017 36th Formal Techniques for Networked and Distributed Systems,
  • DAIS 2017 17th IFIP international conference on Distributed Applications and Interoperable Systems,
  • Coordination 2017 Languages, Models, and Architectures for Concurrent and Distributed Software,
• PLDI 2017 ACM Conference on Programming Language Design and Implementation June 19-23, 2017 in Barcelona, Spain, Submissions: 15 Nov 2016
• ECOOP 2017 The 31st European Conference on Object-Oriented Programming 19-23 June 2017, Barcelona, Spain
• LICS 2017 Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, 20-23 June 2017, Reykjavik, Iceland
• HPDC-2017 The 26th International ACM Symposium on High-Performance Parallel and Distributed Computing, Washington D.C., United States - June 26-30, 2017
• Petri Nets 2017 - ACSD 2017 38th International Conference on Application and Theory of Petri Nets and Concurrency, Zaragoza, Spain, June 25-30, 2017
• ECRTS 17 29th EUROMICRO Conference on Real-Time Systems, June 27-30, 2017, Dubrovnik, Croatia
• CIAA 2017 22nd International Conference on Implementation and Application of Automata, June 27-30, 2017, Universite Paris-Est Marne-la-Vallee (France)

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
• 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
• 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

• 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