Interesting Conferences

June 2018

• ISCA 2018 45th International Symposium on Computer Architecture, Los Angeles, CA, USA, June 2-6, 2018
• SIES 2018 13th IEEE International Symposium on Industrial Embedded Systems, June 6-8, 2018, Graz, Austria
• DisCoTec 2018 13th International Federated Conference on Distributed Computing Techniques, Madrid, Spain, 18-21 June 2018
  • FORTE 2018 37th Formal Techniques for Networked and Distributed Systems,
  • DAIS 2018 19th IFIP international conference on Distributed Applications and Interoperable Systems,
  • Coordination 2018 Languages, Models, and Architectures for Concurrent and Distributed Software,
• PLDI 2018 ACM Conference on Programming Language Design and Implementation June 18-22, 2017 in Philadelphia, Penn. Submissions: 16 Nov 2017
• Ada-Europe 2018 23rd International Conference on Reliable Software Technologies, 18-22 June 2018, Lisbon, Portugal
• LCTES'18 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems, 19-20 June 2018 Philadelphia, Pennsylvania, United States
• SPIN 2018 25th International Symposium on Model Checking of Software Málaga, Spain, June 20-22, 2018
• ICESS 2018 The 15th IEEE International Conference on Embedded Software Systems, San Francisco, USA, June 24-25, 2018.
• Petri Nets 2018 - ACSD 2018 39th International Conference on Application and Theory of Petri Nets and Concurrency, Bratislava, Slovakia, June 24-29, 2018
• STAF 2018 Software Technologies: Applications and Foundations, Toulouse, France, 25-29 June 2018. containing, among others:
  • ICMT 2018 11th International Conference on Model Transformation, June 25-28, 2018
  • SEFM 2018 16th International Conference on Software Engineering and Formal Methods, 27-29 June 2018.

July 2018

• WCET 2018 18th International Workshop on Worst-Case Execution Time Analysis, Barcelona, Spain July 3, 2018
• FLoC 2018 The 2018 Federated Logic Conference, 6-19 July 2018, Oxford, England UK, including
  • CAV 2018 30th International Conference on Computer Aided Verification, July 14-17
  • CSF 31st IEEE Computer Security Foundations Symposium
  • FM 23rd International Symposium on Formal Methods
  • FSCD 2018 3rd International Conference on Formal Structures for Computation and Deduction
  • 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
• ICALP 2018 45th International Colloquium on Automata, Languages and Programming, 9-13 July 2018, Prague (Czech Republic)
• ICML 2018 35th Int. Conf. on Machine Learning, Stockholm, Sweden, July 10-15, 2018.
• IJCAI 2018 27th International Joint Conference on Artificial Intelligence, and 23rd European Conference on Artificial Intelligence, Stockholm, Sweden, July 13-19, 2018.
• SAMOS XVIII International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Samos, Greece, July 15-19 2018
• ECOOP 2018 The 32nd European Conference on Object-Oriented Programming 16-21 July 2018, Amsterdam, Netherlands
• ISSTA2018 ACM SIGSOFT International Symposium on Software Testing and Analysis, 16-21 July 2018, Amsterdam, Netherlands
• CIAA 2018 23rd International Conference on Implementation and Application of Automata, July 30 -- August 2, 2018, University of Prince Edward Island (Canada)

August 2018

• AiML 2018 12th International Conference on Advances in Modal Logic, Bern, 27 August -- 31 August 2018
• SAS 2018 25th Static Analysis Symposium, Freiburg im Breisgau, Germany, August 29th-August 31st, 2018
• DSD 2018 21st Euromicro Conference on Digital System Design, Prague, Czech Republic, Aug. 29th – Aug. 31st, 2018

September2018

• PPDP | LOPSTR | WFLP 2018 The 20th International Symposium on Principles and Practice of Declarative Programming,
  The 28th International Symposium on Logic-based Program Synthesis and Transformation,
  The 26th International Workshop on Functional and Logic Programming,
  Frankfurt, Germany, September 3-6, 2018
• CSL 2018 Computer Science Logic 2018 Birmingham, United Kingdom 4–7 September
• CONFESTA 2018, including
  • CONCUR 2018 The 29th International Conference on Concurrency Theory, Beijing, China, September 4-7, 2018
  • QEST 2018 15th International Conference on Quantitative Evaluation of SysTems Beijing, China, September 4-7, 2018
  • FORMATS 2018 Int. Conf. on Formal Modeling and Analysis of Timed Systems
  • SETTA 2018 Symposium on Dependable Software Engineering
• FMICS 2018 23rd International Conference on Formal Methods for Industrial Critical Systems, September 3-4, 2018, Maynooth, Irland
• iFM 2018 14th International Conference on integrated Formal Methods, September 5-7, 2018, Maynooth, Irland
• FedCSIS 2018 Federated Conference on Computer Science and Information Systems, Poznan, Poland, 9 - 12 September, 2018
• CMSB 2018 16th International Conference on Computational Methods in Systems Biology, 12-14 September 2018, Brno (CZ)
• ICTCS 2018 19th Italian Conference on Theoretical Computer Science, 18-20 September 2018, Urbino, Italy
• SAFECOMP 2018 The 37th International Conference on Computer Safety, Reliability and Security, 18 - 21 September 2018, VästerÃ¥s, Sweden
• ICFP 2018 The 23rd ACM SIGPLAN International Conference on Functional Programming, St.Louis, Missouri, September 23-29, 2018, with
  • Erlang Workshop, September 29
• VECoS 2018 12th International Conference on Verification and Evaluation of Computer and Communication Systems, September 26-28, 2018, Grenoble, France
• Embedded Systems Week 2018 Sept. 30 - Oct. 5, 2018, Torino, Italy, 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
  • IoT Day Internet of Things: A Holistic Perspective

October 2018

• ATVA 2018 16th International Symposium on Automated Technology for Verification and Analysis, October 7-10, 2018, Los Angeles, California, USA.
• FACS 2018 15th International Conference on Formal Aspects of Component Software, Pohang, Korea, October 10-12, 2018
• TIME 2017 25th International Symposium on Temporal Representation and Reasoning, Warsaw (Poland), 15-17 October 2018
• MEMOCODE'18 16th ACM-IEEE International Conference on Formal Methods and Models for System Design, Beijing, China, October 15-18, 2018
• MICRO 51st The 51st Annual IEEE/ACM International Symposium on Microarchitecture, Fukuoka, October 20 - 24, 2018
• NWPT'18 30th Nordic Workshop on Programming Theory, October 24-26, Univ of Oslo.

November 2018

• PACT 2018 The 25th International Conference on Parallel Architectures and Compilation Techniques, Limassol, Cyprus, November 1-4, 2018
• SPLASH 2018 (w. OOPSLA) The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity, November 4-9, 2018, Boston, MA.
• ISOLA 2018 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov. 5-9, 2018, Limassol, Cyprus
• RV 2018 The 18th International Conference on Runtime Verification, November 10-13, 2018, Limassol, Cyprus

January 2019

• POPL 2019 The 46th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 13 - 19 January 2019, Cascais/Lisbon, Portugal.

April 2019

• ETAPS 2019 22nd European Joint Conferences on Theory and Practice of Software, Prague, Czech Republic, April 6-12, 2019

May 2019

• FSEN '19 Seventh International Conference on Fundamentals of Software Engineering 2019, Theory and Practice, Tehran, Iran May 1-3, 2019