Interesting Conferences

April 2019

• 2019 : The Art, Science, and Engineering of Programming, April 1-4, 2019, Genova, Italy
• 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
• Workshop on Security protocols Trinity College, Cambridge, UK, April 10-12, 2019.
• CPS-IoT Week 2019 Cyber Physical Systems and Internet-of-Things Week, Montreal, CA, April 15-18, 2019.
  including
  • HSCC 2019 Hybrid Systems: Computation and Control, April 16-18
  • ICCPS 2019 9th ACM/IEEE International Conference on Cyber-Physical Systems, April 16-18,
  • IPSN 2019 17th ACM/IEEE International Conference on Information Processing in Sensor Networks, April 16-18
  • RTAS 2019 24th IEEE Real-Time and Embedded Technology and Applications Symposium, April 16-18,
  • IoTDI 2019 ACM/IEEE Conference on Internet of Things Design and Implementation, April 16-18,
• ICST 2019 12th IEEE International Conference on Software Testing, Verification and Validation, 22-27 April 2019, Xian, China

May 2019

• FSEN '19 Seventh International Conference on Fundamentals of Software Engineering 2019, Theory and Practice, Tehran, Iran May 1-3, 2019
• CF'18 ACM International Conference on Computing Frontiers 2019, May 1 - 3, 2018, Alghero, Italy
• NFM 2019 The Eleventh NASA Formal Methods Symposium, 7 - 9 May 2019 Rice University, Houston, Texas, USA
• ISORC 2019 The 22nd IEEE International Symposium on Real-Time Distributed Computing, Valencia, Spain, May 7-9, 2019
• ICSE 2019 The 41st International Conference on Software Engineering, 25-31 May 2019, Montreal Canada
• SCOPES 2019 23nd International Workshop on Software and Compilers for Embedded Systems, May 27-29, 2019, Schloss Rheinfels, St. Goar, Germany

June 2019

• MFPS 2019 The 35th Conference on the Mathematical Foundations of Programming Semantics, University College London, UK, June 4-7, 2019
• EuroS and P 2019 4th IEEE European Symposium on Security and Privacy June 17-19, 2019 in Stockholm, Sweden
• DisCoTec 2019 14th International Federated Conference on Distributed Computing Techniques, Copenhagen, 18-21 June 2019
  • FORTE 2019 37th Formal Techniques for Networked and Distributed Systems,
  • DAIS 2019 19th IFIP international conference on Distributed Applications and Interoperable Systems,
  • Coordination 2019 Languages, Models, and Architectures for Concurrent and Distributed Software,
• NETYS 2019 the International Conference on Networked Systems, June 19-21, 2019, Marrakech, Morocco
• PLDI 2019 ACM Conference on Programming Language Design and Implementation June 22-26, 2019 in Phoenix, Arizona.
• LCTES 2019 ACM International Conference on Languages Compilers, Tools and Theory of Embedded Systems, June 22-28, 2019, Phoenix, Arizona, United States
• ACSD 2019 19th International Conference on Application of Concurrency to System Design Aachen, Germany, June 23-28, 2019
• ICPM 2019 1st International Conference on Process Mining, June 24-26, 2019, Aachen, Germany
• LICS 2019 Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science, 24–27 June 2019 • Vancouver
• CSSR Computer Science Summer in Russia (CSSR) June 24 - July 5, 2019, including Summer School, CSR, and PSI. The 12th Ershov Informatics Conference, and CSSR The 14th Computer Science Symposium in Russia.

July 2019

• SAMOS XIX International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Samos, Greece, July 7-11 2098
• ICALP 2019 The 46th International Colloquium on Automata, Languages, and Programming, Patras, Greece, on 8-12 July 2019
• ECRTS 19 31st EUROMICRO Conference on Real-Time Systems, July 9-12, 2019 | Stuttgart, Germany
• CAV 2019 31st International Conference on Computer Aided Verification, New York City, July 15-18
• SPIN 2019 24th International Symposium on Model Checking of Software, Beijing, China, July 15-19, 2019
• STAF 2019 Software Technologies: Applications and Foundations, Eindhoven, NL, 15-19 July, 2019. containing, among others:
  • ICGT 2019 12th International Conference on Graph Transformation, Eindhoven, NL, 15-19 July, 2019.
  • Tenth ACM Scala Symposium London, UK July 17, 2019
• TASE 2019 The 13th International Symposium on Theoretical Aspects of Software Engineering, July 29-31, Guilin, China

August 2019

• PaCT-2019 Parallel Computing Technologies, 15th International Conference, August 19-23, 2019 Almaty, Kazakhstan
• FORMATS 2019 August 26-31, Amsterdam, the Netherlands
• CONCUR 2019 The 30th International Conference on Concurrency Theory, Amsterdam, The Netherlands, 27-30 August 2019
• FMICS 2019 24th International Conference on Formal Methods for Industrial Critical Systems, Aug 30-31, 2019, Amsterdam, The Netherlands

September 2019

• FedCSIS 2019 Federated Conference on Computer Science and Information Systems, Leipzig, 1 - 4 September, 2019
• RP 2019 13th International Conference on Reachability Problems, Brussels, Belgium, September 11-13, 2019.
• SEFM 2019 17th International Conference on Software Engineering and Formal Methods, 16-20 September 2019, Oslo, Norway.
• ESORICS 2019 The European Symposium on Research in Computer Security 23-27 September • Luxembourg

October 2019

• VECoS 2019 13th International Conference on Verification and Evaluation of Computer and Communication Systems, October 7-9, 2019, Porto, Portugal
• FM 2019 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods, Porto, Portugal, October 7-11, 2019
• SAS 2019 26th Static Analysis Symposium, Porto, Portugal, 8-11 October 2019
• RV 2019 19th International Conference on Runtime Verification Porto, Portugal, 8-11 October 2019
• Embedded Systems Week 2019 New York City, USA, October 13 - 18, 2019, 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
  • IoMT Internet of Medical Things
• IFIP-ICTSS 2019 The 31st IFIP International Conference on Testing Software and Systems, Paris, France, October 15-17, 2019
• TIME 2019 26th International Symposium on Temporal Representation and Reasoning Málaga (Spain), 16th-19th October 2019
• SPLASH 2019 (w. OOPSLA) The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity, October 20-25, 2019, Athens, Greece.
• FMCAD 2019 International Conference on Formal Methods in Computer-Aided Design, San Jose, CA, October 22-25, 2019
• FACS 2019 16th International Conference on Formal Aspects of Component Software, 23-25 October 2019, Amsterdam
• ATVA 2019 17th International Symposium on Automated Technology for Verification and Analysis, October 28-31, 2019, Taipei, Taiwan.
• ICTAC 2019 16th International Colloquium on Theoretical Aspects of Computing, 30th October to 4th November 2019, in Hammamet, Tunisia.

November 2019

• ICFEM 2019 21st International Conference on Formal Engineering Methods, November 5th-9th Shenzhen, China

December 2019

• iFM 2019 15th International Conference on integrated Formal Methods, 2-6 December 2019, Bergen, Norway

January 2020

• CSL 2020 Computer Science Logic, 13-16 January 2020, Barcelona, Spain
• CPP 2020 Certified Programs and Proofs, 20-21 January 2020 in New Orleans, Louisiana, United States
• SOFSEM 2020 46th International Conference on Current Trends in Theory and Practice of Computer Science, Limassol, Cyprus, January 20-24, 2020
• ERTS 2020 Embedded Real Time Systems, 29 - 31 January 2020, Toulouse France