Vai al Contenuto
Raggiungi il piè di pagina
Scuola IMT
Chi siamo
Organi e comitati
Rettore
Prorettori e Delegati
Saluti del Rettore
Consiglio di Amministrazione
Senato Accademico
Nucleo di Valutazione
Collegio dei Revisori dei Conti
Comitato Scientifico
Presidio della Qualità
Comitato Unico di Garanzia
Consigliera di Fiducia
Collegio di disciplina
Commissione Paritetica
Comitato Consultivo
Comunità accademica
Docenti
Ricercatori
Allievi di Dottorato
Collaboratori di ricerca
Ex Allievi
Professori in visita
Dipartimento di Eccellenza
Struttura Amministrativa
Direttore Generale
Personale amministrativo
Sede degli uffici amministrativi
Associazione Allievi ed ex Allievi
Comunicazione e eventi
Eventi
Open IMT
Cerimonie
Workshop e conferenze
Seminari di ricerca
Seminari sul mercato del lavoro
Discussione tesi
Area Stampa
Statuto e fonti interne
Opportunità di lavoro
Didattica e Ricerca
Direttore
Professori di ruolo
Assistant Professor
Post Doctoral Fellow
Visiting Professor
Collaboratori alla Ricerca
Assistenti alla Ricerca
Lecturer
Abilitazione Scientifica Nazionale
Scholars at Risk
Politiche di reclutamento
Personale tecnico-amministrativo, tecnologi (TD), collaborazioni e dirigenti
Direttore Generale
Bandi di mobilità
Personale a tempo determinato
Personale a tempo indeterminato
Tecnologo a tempo determinato
Personale in collaborazione
Progressione Economica
Stage, tirocini
Scouting internazionale
5x1000
Didattica
Programmi di Dottorato
Programma di Dottorato in Cultural Systems
Programma di Dottorato in Economics, Analytics and Decision Sciences
Programma di Dottorato in Cognitive, Computational and Social Neurosciences
Programma di Dottorato in Systems Science
Programma di Dottorato in Management of Digital Transformation
Dottorato di Interesse Nazionale in Cybersicurezza
Programma di Dottorato in Social Sciences for Sustainability and Wellbeing
Ammissioni
Mobilità ed Erasmus
Careers Service e Placement
Dottorato congiunto in Data Science
Master e Alta Formazione
Master di II livello in Data Science and Statistical Learning (MD2SL)
Master executive in Leadership leggera e innovazione nelle organizzazioni scolastiche e della formazione - Edizione 2024
Master in Decision Intelligence
Corsi Executive
Lauree Magistrali
Laurea Magistrale in Bionics Engineering
Laurea Magistrale in Psicologia Forense e Criminologia Clinica
Seasonal School e Workshop
Corsi per Visiting Students
Ricerca
Introduzione
Unità di ricerca
AXES
DYSCO
LYNX
MOMILAB
MUSAM
NETWORKS
PhiBor
SYSMA
Laboratori
Strutture IT
MUSAM-LAB
Neuroscience Lab - Intesa Sanpaolo Innovation Center
Open Lab
GAME Science Research Center
Opportunità di Finanziamento
PRIN - Progetti di Rilevante Interesse Nazionale
Horizon Europe: il nuovo Programma Quadro europeo per la Ricerca e l’Innovazione
PNRR M4C2
Programma Europa Digitale 2021-2027
Altri Bandi
Progetti
Pubblicazioni
Comitato Etico Congiunto
Valutazione della ricerca
Terza missione
Informazioni generali
Accordi e convenzioni
Reti e cooperazioni internazionali
Trasferimento tecnologico
Spin Off
Brevetti
Competenze
Laboratori
Placement
Qualità@IMT
Il Sistema Qualità
Qualità della Didattica
Qualità della Ricerca
Qualità della Terza Missione
Good Practice
Attori
Accreditamento
Documenti
Formazione ed eventi
Campus e Servizi
Introduzione
Il Campus residenziale
Il Complesso di San Francesco
Il Complesso di San Ponziano
Residenza di Via Brunero Paoli
Prenotazione Spazi
Servizi
Agevolazioni
Parcheggio per l'utenza della Scuola IMT
Sicurezza e salute nei luoghi di lavoro
Uffici amministrativi
Dove siamo
Informazioni Utili
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
Protocollo Covid-19
Biblioteca
Login
Lingue
ITA
ENG
Cerca
Webmail
Intranet (SIIMT)
Cerca
Scuola IMT
Chi siamo
Organi e comitati
Rettore
Prorettori e Delegati
Saluti del Rettore
Consiglio di Amministrazione
Senato Accademico
Nucleo di Valutazione
Collegio dei Revisori dei Conti
Comitato Scientifico
Presidio della Qualità
Comitato Unico di Garanzia
Consigliera di Fiducia
Collegio di disciplina
Commissione Paritetica
Comitato Consultivo
Comunità accademica
Docenti
Ricercatori
Allievi di Dottorato
Collaboratori di ricerca
Ex Allievi
Professori in visita
Dipartimento di Eccellenza
Struttura Amministrativa
Direttore Generale
Personale amministrativo
Sede degli uffici amministrativi
Associazione Allievi ed ex Allievi
Comunicazione e eventi
Eventi
Open IMT
Cerimonie
Workshop e conferenze
Seminari di ricerca
Seminari sul mercato del lavoro
Discussione tesi
Area Stampa
Statuto e fonti interne
Opportunità di lavoro
Didattica e Ricerca
Direttore
Professori di ruolo
Assistant Professor
Post Doctoral Fellow
Visiting Professor
Collaboratori alla Ricerca
Assistenti alla Ricerca
Lecturer
Abilitazione Scientifica Nazionale
Scholars at Risk
Politiche di reclutamento
Personale tecnico-amministrativo, tecnologi (TD), collaborazioni e dirigenti
Direttore Generale
Bandi di mobilità
Personale a tempo determinato
Personale a tempo indeterminato
Tecnologo a tempo determinato
Personale in collaborazione
Progressione Economica
Stage, tirocini
Scouting internazionale
5x1000
Didattica
Programmi di Dottorato
Programma di Dottorato in Cultural Systems
Programma di Dottorato in Economics, Analytics and Decision Sciences
Programma di Dottorato in Cognitive, Computational and Social Neurosciences
Programma di Dottorato in Systems Science
Programma di Dottorato in Management of Digital Transformation
Dottorato di Interesse Nazionale in Cybersicurezza
Programma di Dottorato in Social Sciences for Sustainability and Wellbeing
Ammissioni
Mobilità ed Erasmus
Careers Service e Placement
Dottorato congiunto in Data Science
Master e Alta Formazione
Master di II livello in Data Science and Statistical Learning (MD2SL)
Master executive in Leadership leggera e innovazione nelle organizzazioni scolastiche e della formazione - Edizione 2024
Master in Decision Intelligence
Corsi Executive
Lauree Magistrali
Laurea Magistrale in Bionics Engineering
Laurea Magistrale in Psicologia Forense e Criminologia Clinica
Seasonal School e Workshop
Corsi per Visiting Students
Ricerca
Introduzione
Unità di ricerca
AXES
DYSCO
LYNX
MOMILAB
MUSAM
NETWORKS
PhiBor
SYSMA
Laboratori
Strutture IT
MUSAM-LAB
Neuroscience Lab - Intesa Sanpaolo Innovation Center
Open Lab
GAME Science Research Center
Opportunità di Finanziamento
PRIN - Progetti di Rilevante Interesse Nazionale
Horizon Europe: il nuovo Programma Quadro europeo per la Ricerca e l’Innovazione
PNRR M4C2
Programma Europa Digitale 2021-2027
Altri Bandi
Progetti
Pubblicazioni
Comitato Etico Congiunto
Valutazione della ricerca
Terza missione
Informazioni generali
Accordi e convenzioni
Reti e cooperazioni internazionali
Trasferimento tecnologico
Spin Off
Brevetti
Competenze
Laboratori
Placement
Qualità@IMT
Il Sistema Qualità
Qualità della Didattica
Qualità della Ricerca
Qualità della Terza Missione
Good Practice
Attori
Accreditamento
Documenti
Formazione ed eventi
Campus e Servizi
Introduzione
Il Campus residenziale
Il Complesso di San Francesco
Il Complesso di San Ponziano
Residenza di Via Brunero Paoli
Prenotazione Spazi
Servizi
Agevolazioni
Parcheggio per l'utenza della Scuola IMT
Sicurezza e salute nei luoghi di lavoro
Uffici amministrativi
Dove siamo
Informazioni Utili
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
Protocollo Covid-19
Biblioteca
Tu sei qui
Home
»
Scuola IMT
»
Comunicazione e eventi
»
Seminari di ricerca
»
Symbolic Applied Pi-calculus
Symbolic Applied Pi-calculus
24 maggio 2007
relatore:
Johansson, Magnus - Uppsala universitet - Uppsala
