Interesting Conferences

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
• AVM 2018 2018 Alpine Verification Meeting September 24-27, Wagrain, Austria
• 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
• SAC 2019 34st Annual ACM Symposium on Applied Computing, Limassol, Cyprus April 8 - 12, 2019

May 2019

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