• Graduate Programs
    • Tinbergen Institute Research Master in Economics
      • Why Tinbergen Institute?
      • Research Master
      • Admissions
      • All Placement Records
      • PhD Vacancies
    • Facilities
    • Research Master Business Data Science
    • Education for external participants
    • Summer School
    • Tinbergen Institute Lectures
    • PhD Vacancies
  • Research
  • Browse our Courses
  • Events
    • 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
    • Events Calendar
    • Events Archive
    • Tinbergen Institute Lectures
    • 2026 Tinbergen Institute Opening Conference
    • Annual Tinbergen Institute Conference
  • News
  • Summer School
  • Alumni
    • PhD Theses
    • Master Theses
    • Selected PhD Placements
    • Key alumni publications
    • Alumni Community
Home | Events |  VECoS 2026
Workshop

 VECoS 2026

  • Speaker
    Speakers to be announced
  • Field
    Econometrics, Data Science and Econometrics
  • Location
    Tinbergen Institute, Roeterseiland campus, E1.17
    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.