Vai al Contenuto
Raggiungi il piè di pagina
The IMT School
Overview
Governing bodies and committees
Rector
Greetings from the Rector
Vice-Rectors and Delegates
Board of Governors
Academic Senate
Assessment Board
Board of Auditors
International Advisory Board
Quality Enhancement Committee
Central Guarantee Committee
Confidential Counsellor
Disciplinary Committee
Joint Students and Teachers Board
Advisory Committee
Academic community
Permanent Faculty
Assistant Professors and Post-Doctoral Fellows
PhD Students
Research collaborators
Alumni
Visiting professors
Department of Excellence
Administrative Organization
General Director
Staff
Administration building
Student and Alumni Association
Communication and Events
Events
Open IMT
Ceremonies
Workshops & Conferences
Research Seminaries
Job Market Seminars
Thesis Defenses
Press Area
Statute and Regulations
Job Opportunities
Academic Positions
Director
Assistant Professor and other vacancies
Professor
Assistant Professor
Post Doctoral Fellow
Research Collaborators
Research Assistant
Visiting Professor
Lecturer
National Scientific Qualification
Scholars at Risk
Recruitment Policies
Staff, technologist (FT), collaborations and executives
General Director
Mobility
Fixed Term Staff
Permanent Staff
Technologist
Staff Assistant
Internal Progression
Internships, traineeships
International Scouting
5x1000
Educational Offerings
PhD Programs
PhD Program in Cultural Systems
PhD Program in Economics, Analytics and Decision Sciences
PhD Program in Cognitive, Computational and Social Neurosciences
PhD Program in Systems Science
Phd Program in Management of Digital Transformation
The national Ph.D. program in Cybersecurity
PhD in Social Sciences for Sustainability and Wellbeing
Admissions
Mobility Projects and Erasmus Program
Careers Service and Placement
Joint PhD Program in Data Science
Master's Course and Higher Education Programs
2nd Level Master in Data Science and Statistical Learning (MD2SL)
Master executive in Light Leadership and Innovation in Education and Training Organizations - 2024
Master in Decision Intelligence
Executive Courses
Master's Degree Programs
Joint M.Sc. in Bionics Engineering
Joint M.Sc. in Forensic Psychology and Clinical Criminology
Seasonal Schools and Workshops
Incoming Visiting Student
Research
Overview
Research Units
AXES
DYSCO
LYNX
MOMILAB
MUSAM
NETWORKS
PhiBor
SYSMA
Laboratories
IT Facilities
MUSAM-LAB
Neuroscience Lab of Intesa Sanpaolo Innovation Center
Open Lab
GAME Science Research Center
Funding opportunities
PRIN Research projects of national interest
Horizon Europe: The New EU Research and Innovation investment programme (2021-2027)
PNRR M4C2
Digital Europe Programme 2021-2027
Other Calls
Projects
Publications
Joint Ethical Committee
Evaluation of Research Quality
Third mission
Overview
Agreements
Networks and International cooperations
Technology Transfer
Spin Off
Patents
Competenze
Laboratories
Placement
Quality@IMT
Quality Assurance System
Educational Quality
Research Quality
Third Mission Quality
Good Practice
Actors
Accreditation
Documents
Training Courses and Events
Campus and Services
Overview
Residential Campus
The San Francesco Complex
The San Ponziano Complex
Via Brunero Paoli Residence
Venue Booking
Services
Special deals
Parking for IMT users
Administration Building
Safety, health and wellbeing on the workplace
How to reach us
Useful Information
FAQs (EU/non EU Students)
Visa Application
Tax Identification Number
Stay Permit Application and Renewal
Health Insurance and Subscription to the Italian Health Services
Registration at the Municipality "Ufficio Anagrafe" (Only for EU Students)
Registering With INPS and "Gestione Separata"
Italian Bank Account
Covid-19 Protocol
Library
Login
Languages
ITA
ENG
Search
Webmail
Intranet (SIIMT)
Search
The IMT School
Overview
Governing bodies and committees
Rector
Greetings from the Rector
Vice-Rectors and Delegates
Board of Governors
Academic Senate
Assessment Board
Board of Auditors
International Advisory Board
Quality Enhancement Committee
Central Guarantee Committee
Confidential Counsellor
Disciplinary Committee
Joint Students and Teachers Board
Advisory Committee
Academic community
Permanent Faculty
Assistant Professors and Post-Doctoral Fellows
PhD Students
Research collaborators
Alumni
Visiting professors
Department of Excellence
Administrative Organization
General Director
Staff
Administration building
Student and Alumni Association
Communication and Events
Events
Open IMT
Ceremonies
Workshops & Conferences
Research Seminaries
Job Market Seminars
Thesis Defenses
Press Area
Statute and Regulations
Job Opportunities
Academic Positions
Director
Assistant Professor and other vacancies
Professor
Assistant Professor
Post Doctoral Fellow
Research Collaborators
Research Assistant
Visiting Professor
Lecturer
National Scientific Qualification
Scholars at Risk
Recruitment Policies
Staff, technologist (FT), collaborations and executives
General Director
Mobility
Fixed Term Staff
Permanent Staff
Technologist
Staff Assistant
Internal Progression
Internships, traineeships
International Scouting
5x1000
Educational Offerings
PhD Programs
PhD Program in Cultural Systems
PhD Program in Economics, Analytics and Decision Sciences
PhD Program in Cognitive, Computational and Social Neurosciences
PhD Program in Systems Science
Phd Program in Management of Digital Transformation
The national Ph.D. program in Cybersecurity
PhD in Social Sciences for Sustainability and Wellbeing
Admissions
Mobility Projects and Erasmus Program
Careers Service and Placement
Joint PhD Program in Data Science
Master's Course and Higher Education Programs
2nd Level Master in Data Science and Statistical Learning (MD2SL)
Master executive in Light Leadership and Innovation in Education and Training Organizations - 2024
Master in Decision Intelligence
Executive Courses
Master's Degree Programs
Joint M.Sc. in Bionics Engineering
Joint M.Sc. in Forensic Psychology and Clinical Criminology
Seasonal Schools and Workshops
Incoming Visiting Student
Research
Overview
Research Units
AXES
DYSCO
LYNX
MOMILAB
MUSAM
NETWORKS
PhiBor
SYSMA
Laboratories
IT Facilities
MUSAM-LAB
Neuroscience Lab of Intesa Sanpaolo Innovation Center
Open Lab
GAME Science Research Center
Funding opportunities
PRIN Research projects of national interest
Horizon Europe: The New EU Research and Innovation investment programme (2021-2027)
PNRR M4C2
Digital Europe Programme 2021-2027
Other Calls
Projects
Publications
Joint Ethical Committee
Evaluation of Research Quality
Third mission
Overview
Agreements
Networks and International cooperations
Technology Transfer
Spin Off
Patents
Competenze
Laboratories
Placement
Quality@IMT
Quality Assurance System
Educational Quality
Research Quality
Third Mission Quality
Good Practice
Actors
Accreditation
Documents
Training Courses and Events
Campus and Services
Overview
Residential Campus
The San Francesco Complex
The San Ponziano Complex
Via Brunero Paoli Residence
Venue Booking
Services
Special deals
Parking for IMT users
Administration Building
Safety, health and wellbeing on the workplace
How to reach us
Useful Information
FAQs (EU/non EU Students)
Visa Application
Tax Identification Number
Stay Permit Application and Renewal
Health Insurance and Subscription to the Italian Health Services
Registration at the Municipality "Ufficio Anagrafe" (Only for EU Students)
Registering With INPS and "Gestione Separata"
Italian Bank Account
Covid-19 Protocol
Library
You are here
Home
»
IMT School
»
Communication and events
»
Research seminaries
»
Model Checking for Nominal Calculi
Model Checking for Nominal Calculi
6 May 2009
