Conferences 2019

January 2019

• VMCAI 2019 20th International Conference on Verification, Model Checking, and Abstract Interpretation, Cascais/Lisbon, Portugal, January 13th-January 15th, 2019
• POPL 2019 The 46th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 13 - 19 January 2019, Cascais/Lisbon, Portugal.
• HiPEAC 2019 14th International Conference on High-Performance and Embedded Architectures and Compilers, January 21-23, 2019, Valencia, Spain.

February 2019

• CC 2019 International Conference on Compiler Construction, February 16-17, 2019, Washington DC, USA
• CGO 2019 International Symposium on Code Generation and Optimization February 16-20, 2019, Washington DC, USA
• PPoPP 2019 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, February 16-20, 2019, Washington DC, USA
• HPCA 2019 25th IEEE International Symposium on High-Performance Computer Architecture, February 16-20, 2019, Washington DC, USA

March 2019

• DATE 2019 Design, Automation, and Test in Europe, Florence, Italy, 25-29 March, 2019
• LATA 2019 13th International Conference on Language and Automata Theory and Applications, Saint Petersburg, Russia March 26-29, 2019

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

• USENIX Security Symposium August 14–16, 2019, Santa Clara, CA, USA
• 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
• QONFEST 2020, Vienna, Austria, Aug. 31 - Sept. 5, 2020, comprising
  • CONCUR 2020 The 31st International Conference on Concurrency Theory, Sept. 1-4
  • QEST 2020 17th International Conference on Quantitative Evaluation of SysTems, Aug. 31 - Sept. 3
  • FORMATS 2020 Int. Conf. on Formal Modeling and Analysis of Timed Systems, bSept. 1-3.

September 2019

• FedCSIS 2019 Federated Conference on Computer Science and Information Systems, Leipzig, 1 - 4 September, 2019
• GandALF 2019 The Tenth International Symposium on Games, Automata, Logics, and Formal Verification, 2 - 4 September 2019, Bordeaux, France
• AVM'19 2019 Alpine Verification Meeting, September 9-11 in Brno, Czechia
• 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
• AVoCS 2019 19th International Workshop on Automated Verification of Critical Systems, September 30 - October 1, 2019, Grenoble, France

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
• LOPSTR 2019 29th International Symposium on Logic-Based Program Synthesis and Transformation Porto, Portugal, 8-10 October 2019
• RV 2019 19th International Conference on Runtime Verification Porto, Portugal, 8-11 October 2019
• MEMOCODE 2019 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, San Diego, USA, October 9-11, 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.
• 7th Scandinavian Conference on System and Software Safety, Stockholm, October 22-23, 2019
• 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
• CCS 2019 26th ACM Conference on Computer and Communications Security, London, United Kingdom, November 11 - 15, 2019
• NWPT'19 31st Nordic Workshop on Programming Theory, 13-15 November 2019, Tallinn, Estonia
• NordSec 2019 The 24th Nordic Conference on Secure IT Systems, Aalborg, Denmark, 18 - 20 November 2019
• MCC2019 12th Nordic Workshop on Multi-Core Computing, Karlskrona, Sweden, November 27-28, 2019.

December 2019

• iFM 2019 15th International Conference on integrated Formal Methods, 2-6 December 2019, Bergen, Norway
• FSTTCS 2019 Foundations of Software Technology and Theoretical Computer Science December 11-13, 2019, IIT BOMBAY, Mumbai, India