Conferences 2018

January 2018

• PEPM 2018 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 8-9 January 2018, Los Angeles, USA
• POPL 2018 The 45th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 8-13 January 2018, Los Angeles, USA
• HiPEAC 2018 13th International Conference on High-Performance and Embedded Architectures and Compilers, January 22-24, 2018, Manchester, UK
• ERTS² 2018 Embedded Real Time Software and Systems, Jan 31st - Feb 2nd 2018, Toulouse - France

February 2018

• CC 2018 2018 International Conference on Compiler Construction, February 24-25, 2018 Vienna, Austria
• HPCA 2018 24th IEEE International Symposium on High-Performance Computer Architecture, 24-28 February 2018, Vienna, Austria
• CGO 2018 2018 IEEE/ACM International Symposium on Code Generation and Optimization, February 24-28, 2018, Vienna, Austria

April 2018

• CPSWEEK 2018 Cyber Physical Systems Week, Porto, Portugal, April 10-13, 2018.
  including
  • HSCC 2018 Hybrid Systems: Computation and Control, April 11-13
  • ICCPS 2018 9th ACM/IEEE International Conference on Cyber-Physical Systems, April 11-13,
  • IPSN 2018 17th ACM/IEEE International Conference on Information Processing in Sensor Networks, April 11-13
  • RTAS 2018/a> 24th IEEE Real-Time and Embedded Technology and Applications Symposium, April 11-13,
• SAC 2018 33rd Annual ACM Symposium on Applied Computing, Pau, France, April 9 - 13, 2018
• ICPE 2018 9th ACM/SPEC International Conference on Performance Engineering, Berlin, Germany, April 9-13, 2018
• ICST 2018 11th IEEE International Conference on Software Testing, Verification and Validation, 9-13 April 2017, Vasterås, Sweden
• ETAPS 2018 21st European Joint Conferences on Theory and Practice of Software, Thessaloniki, Greece, 14-21 April 2018
• TMS/DEVS'18 Theory of Modeling and Simulation/DEVS Symposium, April 15-18, 2018 Baltimore, MD, USA,
• NFM 2018 The 10th NASA Formal Methods Symposium, April 17-19, 2018 Newport News, VA, USA

May 2018

• CF'18 ACM International Conference on Computing Frontiers 2018, May 8 - 10, 2018, Ischia, Italy
• FLOPS 2018 14th International Symposium on Functional and Logic Programming, 9-11 May, 2018, Nagoya, Japan
• SCSSS 2018 6th Scandinavian Conference on System and Software Safety, Stockholm, May 21-22, 2018
• IPDPS 2018 32nd IEEE International Parallel and Distributed Processing Symposium, May 21-25, 2018. Vancouver, BC, Canada
• ACM SIGSIM PADS 2018 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, May 23 - 25, 2018 Sapienza, University of Rome, Rome, Italy
• ICSE 2018 The 40th International Conference on Software Engineering, 27 May - 3 June 2018, Gothenburg, Sweden
• ISORC 2018 The 21st IEEE International Symposium on Real-Time Computing, Nanyang Technological University, Singapore, 29th - 31st May 2018.

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

September 2018

• 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.
• RTNS 2018 26th International Conference on Real-Time Networks and Systems, Poitiers, France, October 10-12, 2018
• 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

December 2018

• RTSS 2018 The 39th IEEE Real-Time Systems Symposium, Nashville, Tennessee, USA, 11-14th, December 2018