Follow on

Department
Research
Teaching
Community Engagement
People
contacts

English Italiano

Department
Overview
Organisation
Contact us
Research
Research in brief
- Research strategy
- Facts & Figures
Research activities
Facilities
Teaching
Courses
- Bachelor's degrees
- Master's degrees
PhD programmes and postgraduate training
Teaching services
Community Engagement
Information for community
Innovation and partnership
Contact us
People
contacts
searchAll

searchPeople

searchAnnouncements

searchNews

Search on UniVerSe

Search in the whole University Site

Search in department website

All forthcoming seminars - Interactive Theorem Proving - (2023/2024)

Home
Teaching
Seminars

Studying

Courses

Bachelor's degrees
Master's degrees

PhD programmes and postgraduate training

PhD programmes
Professional development courses
Joint University PhD
Professional Master's Programmes
Teacher qualification courses (TFA)
Teacher qualification courses (PAS)

Contacts
People
Places
Calendar

mar
12 maggio 2026

No recent seminar found relating to teaching Interactive Theorem Proving.

Studying

Courses

Bachelor's degrees
Master's degrees

PhD programmes and postgraduate training

PhD programmes
Professional development courses
Joint University PhD
Professional Master's Programmes
Teacher qualification courses (TFA)
Teacher qualification courses (PAS)

Contacts
People
Places
Calendar

Share

Home
Department
Research
Teaching
Community Engagement

PhD Programmes
Master and Post Lauream
Contact information

Technical support
Back office Area - dbErw
MyUnivr
Privacy policy

Strada le Grazie 15
37134 Verona
VAT number01541040232
Italian Fiscal Code93009870234

PhD Programmes
Master and Post Lauream
Contact information
Technical support
Back office Area - dbErw
MyUnivr
Privacy policy

Follow on

Play store Apple Store

© 2026 | Verona University

******** CSS e script comuni siti DOL - frase 9957 ********