• Graduate Program
  • Research
  • Browse our Courses
  • Events
    • Events Calendar
    • Events Archive
    • Tinbergen Institute Lectures
    • Summer School
      • Deep Learning
      • Economics of Blockchain and Digital Currencies
      • Foundations of Machine Learning with Applications in Python
      • Marketing Research with Purpose
      • Modern Toolbox for Spatial and Functional Data
      • Sustainable Finance
      • Tuition Fees and Payment
      • Tinbergen Institute Summer School Program
    • Annual Tinbergen Institute Conference archive
  • News
  • Summer School
    • Deep Learning
    • Economics of Blockchain and Digital Currencies
    • Foundations of Machine Learning with Applications in Python
    • Marketing Research with Purpose
    • Modern Toolbox for Spatial and Functional Data
    • Sustainable Finance
  • Alumni
Home | Events | VECoS2026
Conference

VECoS2026

  • Speaker
    To be announced
  • Field
    Complexity
  • Location
    Tinbergen Institute, Roeterseiland campus, UvA-REC E0.22
    Amsterdam
  • Date and time

    November 19 2026, 09:30 until November 20 2026, 17:00

The 19th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) continues the tradition established by a Euro-Mediterranean network of computer science researchers. VECoS addresses the analysis of computer and communication systems with interdependent functional and extra-functional properties, and promotes the integration of formal verification and evaluation methods, particularly for concurrent and distributed hardware/software systems.