• Graduate Programs
  • Research
  • Browse our Courses
  • Events
    • Events Calendar
    • Events Archive
    • Summer School
      • Applied Public Policy Evaluation
      • Deep Learning
      • Development Economics
      • Economics of Blockchain and Digital Currencies
      • Economics of Climate Change
      • The Economics of Crime
      • Foundations of Machine Learning with Applications in Python
      • From Preference to Choice: The Economic Theory of Decision-Making
      • Inequalities in Health and Healthcare
      • Marketing Research with Purpose
      • Markets with Frictions
      • Modern Toolbox for Spatial and Functional Data
      • Sustainable Finance
      • Tuition Fees and Payment
      • Business Data Science Summer School Program
    • Tinbergen Institute Lectures
    • 2026 Tinbergen Institute Opening Conference
    • Annual Tinbergen Institute Conference
  • News
  • Summer School
    • Applied Public Policy Evaluation
    • Deep Learning
    • Development Economics
    • Economics of Blockchain and Digital Currencies
    • Economics of Climate Change
    • The Economics of Crime
    • Foundations of Machine Learning with Applications in Python
    • From Preference to Choice: The Economic Theory of Decision-Making
    • Inequalities in Health and Healthcare
    • Marketing Research with Purpose
    • Markets with Frictions
    • Modern Toolbox for Spatial and Functional Data
    • Sustainable Finance
    • Tuition Fees and Payment
  • 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.