Search this site
Embedded Files
CS@GSSI
  • Home
  • Research
    • Publications
    • Projects
    • Tools
    • Awards and Honors
  • People
    • Faculty
    • Postdocs
    • Ph.D. Students
    • Expressions of Interest
  • Ph.D. Program
    • Current Academic Year
    • Completed Ph.D. Theses
    • Academic Board
    • National PhD Programs
    • Collaborations
    • Resources
  • Seminars
    • CS@GSSI seminars
    • Past CS@GSSI seminars
      • ICE-TCS + CS@GSSI
      • CS@GSSI Seminar
      • Guest Seminar
    • Reading Group
  • Events
  • Contact
CS@GSSI
  • Home
  • Research
    • Publications
    • Projects
    • Tools
    • Awards and Honors
  • People
    • Faculty
    • Postdocs
    • Ph.D. Students
    • Expressions of Interest
  • Ph.D. Program
    • Current Academic Year
    • Completed Ph.D. Theses
    • Academic Board
    • National PhD Programs
    • Collaborations
    • Resources
  • Seminars
    • CS@GSSI seminars
    • Past CS@GSSI seminars
      • ICE-TCS + CS@GSSI
      • CS@GSSI Seminar
      • Guest Seminar
    • Reading Group
  • Events
  • Contact
  • More
    • Home
    • Research
      • Publications
      • Projects
      • Tools
      • Awards and Honors
    • People
      • Faculty
      • Postdocs
      • Ph.D. Students
      • Expressions of Interest
    • Ph.D. Program
      • Current Academic Year
      • Completed Ph.D. Theses
      • Academic Board
      • National PhD Programs
      • Collaborations
      • Resources
    • Seminars
      • CS@GSSI seminars
      • Past CS@GSSI seminars
        • ICE-TCS + CS@GSSI
        • CS@GSSI Seminar
        • Guest Seminar
      • Reading Group
    • Events
    • Contact
  • Jul 4. Roberto Bruni (University of Pisa): Local Completeness for Program Correctness and Incorrectness

  • Jul 1. Luciano Heitor Gallegos Marin (University of Paraná): Knowledge representation for information ethics inspired by biased data

  • Jun 20. Edith Elkind (Northwestern University): Towards fair and efficient public transportation: the bus stop model

  • Jun 20. Lionel C. Briand (University of Ottawa & University of Limerick): Automated Testing and Safety Analysis of Deep Neural Networks

  • Jun 19. Maria Fomenko (GSSI): Non-obvious Manipulability in Hedonic Games with Friends Appreciation Preferences

  • Jun 11. Arianna Fedeli (GSSI): From IoT to Digital Twins: A model-driven roadmap

  • Jun 5. Daniele Masti (GSSI): Let's Take Back Control: A Journey through a Novel Generation of Control Techniques for Performance Engineering

  • May 26. Christos Tsigkanos (University of Athens): Leitmotifs on Space Software Engineering: From Specification to Architecture to Verification

  • May 6. Minh Trieu Tran (GSSI): Unlocking Spatial Insights from Tabular Data in Agriculture

  • Apr 22. Sachin Sharma (GSSI): AI-Powered Road Safety: From Smart Detection to Animal Welfare

  • Apr 16. Ivan Comopagnucci (GSSI): Experimenting Architectural Patterns in Federated Learning Systems

  • Apr 11. Sara Pettinari (GSSI): Revealing Insights in Robotic System Missions

  • Apr 10. Marco Carbone (IT University of Copenhagen): On the Mechanisation of Multiparty Asynchronous Session Types

  • Apr 7. Roberto Casadei (Università di Bologna): On software engineering for artificial collective intelligence

  • Mar 18. Andres Diaz-Pace (UNICEN University): Software Architecture Design meets LLM Technology: Applications, Challenges and Opportunities

  • Feb 5. Xinyi Tu (Aalto University): Industrial Metaverse: Revolutionizing Industry 5.0 with digital twins and extended reality

Gran Sasso Science Institute - Viale Francesco Crispi, 7 67100, L'Aquila, Italy - CF e PI: 01984560662 - PEC: protocollo@pec.gssi.it - Fatturazione elettronica, Codice Univoco Ufficio: UF3RU9
Report abuse
Report abuse