DIPARTIMENTO   DI   INFORMATICA
Università di Torino

Past Events
[ Seminario gratuito Microsoft su tecnologie .NET - 6 novembre 2007 - DipInfo ]
Scadenza: 9 Novembre 2007
[ Insegnare Autodesk ]
Scadenza: 13 Marzo 2007
[ 11 dicembre 2006: Incontro su: ICT - Introduction and functions within the FP7 ]
Scadenza: 15 Gennaio 2006
[ WOA 2004: Workshop dagli Oggetti agli Agenti - Sistemi Complessi e Agenti Razionali - 30 novembre / 1 dicembre 2004, Dip. di Informatica - Torino ]
Scadenza: 2 Dicembre 2004
[ Mini-scuola WOA 2004: dagli Oggetti agli Agenti - Sistemi Complessi e Agenti Razionali - 29 novembre 2004, Dip. di Informatica - Torino ]
Scadenza: 30 Novembre 2004
[ Seminario che si terrà in Sala Riunioni lunedì 23/02/2004 alle ore 11.00 - titolo "X, the mother of all calculi" - dott. Steffen van Bakel - Imperial College of Science, Technology and Medicine (Department of Computing ) ]
Scadenza: 23 Febbraio 2004
[ Seminario che si terrà in Sala Riunioni mercoledì 18/2/2004 alle ore 11.00 - dott.ssa Maria Grazia Vigliotti - Imperial College of Science, Technology and Medicine (Department of Computing ) ]
Scadenza: 18 Febbraio 2004
[ SEMINARIO che si terrà in Sala Riunioni il 9/9/03 dalle ore 11:00 alle ore 13:00 - Dott. Giacomo Lenzi (Dip. Matematica - Univ. Pisa) - Titolo: The modal mu calculus ]
Scadenza: 9 Settembre 2003
[ Seminario dal titiolo "Correspondence Assertions for Process Synchronization in Concurrent Communications" - Adriana Compagnoni (Stevens Institute of Technology) - che si terrà in Sala riunioni lunedì 9/6/03 alle ore 14.30 ]
Scadenza: 9 Giugno 2003
[ TYPES CONFERENCE 2003 - Torino, Villa Gualino 30/4/2003 - 4/5/2003 - Resp. Prof. S.Berardi ]
Scadenza: 4 Maggio 2003
[ ACIST courses site online ]
Scadenza: 4 Aprile 2003
[ Seminario dal titolo "The Fusion Machine: some thoughts and solutions" - Prof. Cosimo Laneve - che si terrà in Sala Riunioni venerdì 28/3/03 dalle ore 11:00 alle ore 13:00 ]
Scadenza: 28 Marzo 2003
[ Seminario dal titolo "Domains for denotational semantics without weak-extensionality" - Toshihiko Kurata - che si terrà in Sala Riunioni giovedì 20 Marzo 2003 alle ore 14:30 ]
Scadenza: 20 Marzo 2003
[ Seminario:"The Recursive Record Semantics of Objects Revisited or: Typing Safe Recursion"-Prof. Gerard Boudol-che si terrà il 5/11/2002 dalle ore 17:00 alle ore 19:00 ]
Scadenza: 5 Novembre 2002
[ Seminario: "Hilbert-Style Pure Type Systems" - Prof. Martin Bunder - che si terrà il 15/10/2002 dalle ore 11:00 alle ore 13:00 in Sala Riunioni ]
Scadenza: 15 Ottobre 2002
[ Seminario: "Using the pi-calculus to reason about McCarthy's amb operator" - Dott. Arnaud Carayol - 05/09/02 - dalle 14,30 alle 16,00 in Sala Riunioni ]
Scadenza: 5 Settembre 2002
[ Seminario: "Separability, Expressiveness and Decidability in the Ambient Logic" - Dott. Daniel Hirschkoff - 05/09/02 - dalle 16,00 alle 18,00 in Sala Riunioni ]
Scadenza: 5 Settembre 2002
[ Seminario: "Coarse-grained System-Level Modelling in Practice:lightweight coordination instead of programming" - Prof.ssa Tiziana Margaria & Prof.Bernhard Steffen (Universität Dortmund and METAFrame Technologies GmbH) - che si terrà in sala Riunioni il 31/07/2002 dalle ore 11:00 alle ore 13:00 ]
Scadenza: 31 Luglio 2002
[ Seminario: "Intersection types and strong normalization: classical case" - Prof.ssa S. Ghilezan - 15/07/2002 dalle ore 11:00 alle ore 13:00 in Sala Riunioni ]
Scadenza: 15 Luglio 2002
[ Seminario: "Lambda Teorie e Modelli del Lambda Calcolo" - Prof. A.Salibra - 26/6/02 dalle 11:00 alle 13:00 in sala ]
Scadenza: 26 Giugno 2002
[ Virtuality 2001 ]
Scadenza: 1 Novembre 2001
[ ICTCS-2001 Seventh Italian Conference on Theoretical Computer Science ]
Scadenza: 7 Ottobre 2001
[ MATCH Advanced Summer Schools - Jaca, Spagna. Settembre 1998 ]
Scadenza: 30 Settembre 1998
[ Cultural Heritage Networks Hypermedia ]
Scadenza: 16 Settembre 1998
[ Luigi Liquori terrà un seminario il 24/4/03 in sala riunioni alle ore 11.00 - dal titolo: "PURE PATTERN TYPE SYSTEMS" (joint work with Gilles Barthe, Horatiu Cirstea, and Claude Kirchner) ]
Scadenza: 0 0000
Department home [Information] [People] [Research] [Ph.D.] [Education] [Library] [Search]
[Bandi/Careers] [HelpDesk] [Administration] [Services] [Hostings] [News and events]

Administrator: wwwadm[at]di.unito.it Last update: Apr 16, 2012