Skip to content

PhD ICT

University of L'Aquila

  • Welcome
  • Doctoral program
    • Current students
    • Past students (from XXXIII cycle)
    • Curriculum 1
    • Curriculum 2
    • Reference Groups
    • Deadlines
    • Doctoral Program Committee
      • Doctoral Program Committee – XL cycle
      • Doctoral Program Committee – XXXIX cycle
    • CFU Recognition Rules
    • Guidelines for assessors
  • Documents
  • Admission
  • Collaborations
  • Ad-hoc Courses
    • A.Y. 2024/2025
    • Previous Accademic Years
  • News and Events
    • External Seminars
    • Internal Seminars
    • PhD School
    • Events
    • PhD announcement
    • PhD thesis defense
    • Awards
  • Contact us
September 30, 2019

Combining Epistemic and Operational Aspects in Compositional Verification of Protocols

External Seminars 0 38 sec read
September 19, 2019

Distinguished lectures del Prof. K. GOPAKUMAR

External Seminars 0 58 sec read
  • A.Y. 2024/2025
  • Activity
  • Ad-hoc Courses
  • Admission
  • Collaborations
  • Contact us
  • Course and Seminar Materials
  • Courses and seminar
  • Current students
  • Curriculum 1
  • Curriculum 2
  • Deadlines
  • Doctoral program
  • Doctoral Program Committee
  • Doctoral Program Committee – XXXIX cycle
  • Doctoral Program Committee – XL cycle
  • Documents
  • Members
  • News
  • Newsletter
  • Open PhD Positions in ICT at the University of L’Aquila (Italy)
  • Open PhD Positions in ICT at the University of L’Aquila (Italy) – 2022/2023
  • Past students (from XXXIII cycle)
  • Previous Accademic Years
  • Students And Alumni
  • Welcome
  • XXIX Cycle
  • XXX Cycle
  • XXXI Cycle

Copyright ©2025 PhD ICT . All rights reserved. Powered by WordPress & Designed by Bizberg Themes