logo 

FORMS: A Seminar on 

Formal Methods and Semantics

Past Events

Date: Jun 7, 2005.
Time 16:00, Place: Sala Riunioni.
Marco Giunti , Univ. of Venice.
Title: Secure implementation of resource access control for a typed asynchronous pi calculus [Abstract]
Date: May 26, 2005.
Time 16:00, Place: Sala Riunioni.
Riccardo Focardi , Univ. of Venice.
Title: Bridging Language-Based and Process Calculi Security [Abstract]
Date: April 28, 2005.
Time 16:00, Place: Aula D.
Giulio Manzonetto , Univ. of Venezia.
Title: Visser versus Scott  [Abstract]
Date: March 23, 2005.
Time 16:30, Place: Aula D.
Silvia Crafa, Univ. of Padova.
Title: A Theory of Noninterference for the pi-calculus, (Understanding noninterference through bisimulations)  [Abstract]
Date: March 17, 2005.
Time 16:00, Place: Aula D.
Matteo Maffei, Univ. Ca' Foscari of Venice.
Title: Authenticity by Tagging and Typing  [Abstract]
Date: November 4, 2004.
Time 16:00, Place: Aula D.
Giovanni Conforti and Damiano Macedonio , Univ. of Sussex & Univ. Ca' Foscari of Venice.
Title: Bigraphs, BiLogics and XML  [Abstract]
Date: November 3, 2004.
Time 16:00, Place: Aula D.
Dario Maguolo , Univ. Ca' Foscari of Venice.
Title: A' la Coq: Propositions as Types & the Set-Cat-Connection in the Constructive Foundations of Mathematics & Computer Science  [Abstract]
Date: October 7, 2004.
Time 16:00, Place: Aula D.
Barbara Koenig , Institute for Formal Methods in Computer Science, University of Stuttgart.
Title: Analysis and Verification of Dynamically Evolving Systems Specified by Graph Transformations.  [Abstract]
Date: July 7, 2004.
Time 14:30, Place: Sala Riunioni.
Francesco Logozzo, STIX - Ecole Polytechnique, Palaiseau.
Title: Inferenza di invarianti di classi per interpretazione astratta.  [Abstract]
Date: July 6, 2004.
Time 14:30, Place: Aula D.
Antonino Salibra, Univ. Ca' Foscari of Venice.
Title: Lambda theories via graph models.  [Abstract]
Date: May 18, 2004
Time 11:00, Place: Aula A.
Don Sannella, LFCS, University of Edinburgh.
Title: Mobile Resource Guarantees.  [Abstract]
Date: May 5, 2004
Time 16:00, Place: Aula C.
Andrei Sabelfeld, Chalmers University of Technology.
Title: A Model for Delimited Information Release.  [Abstract]
Date: April 22, 2004
Time 16:00, Place: Aula D.
Dario Colazzo, Univ. Ca' Foscari of Venice.
Title: The Query Language TQL.  [Abstract]
Date: April 8, 2004
Time 16:00, Place: Aula D.
Iliano Cervesato, ITT Industries, Inc., NRL Washington, DC.
Title: The Logical Meeting Point of Multiset Rewriting and Process Algebra.  [Abstract]
Date: April 6, 2004
Time 14:00, Place: Sala riunioni.
Giorgio Ghelli, Univ. of Pisa.
Title: Games for a Spatial Logic.  [Abstract]
Date: March 25, 2004
Time 16:00, Place: Aula D
Carla Piazza, Univ. Ca' Foscari of Venice.
Title: Algorithms for Comparing and Reducing Structures in Verification.  [Abstract]
Date: March 12, 2004
Time 14:30, Place: Aula C
Chiara Braghin, Univ. Ca' Foscari of Venice.
Title: A Distributed Calculus for Role-Based Access Control.  [Abstract]
Date: March 5, 2004
Time 14:30, Place: Aula C.
Matthew Hennessy, Univ. of Sussex, UK.
Title: Typed equivalences for the picalculus.  [Abstract]
Date: January 30, 2004
Time 15:00, Place: Aula D.
Massimo Merro, Univ. of Verona.
Title: Bisimulation Proof Methods for Mobile Ambients.  [Abstract]
Date: July 11, 2001
Time 14:30, Place: Aula D.
Giangiacomo Gerla. Univ. di Salerno
Logica Fuzzy e Programmazione Logica [Abstract]

Date: July 3, 2001
Time 14:00, Place: Aula D.
Gerald Baumgartner, Ohio State University.
Reliability Through Strong Mobility [Abstract]

Date: June 20, 2001
Time 14:00, Place: Aula D.
Fabio Gadducci, Univ of Pisa.
Una semantica concorrente per il calcolo degli ambienti [Abstract]

Date: June 5, 2001
Time 14:30, Place: Aula D.
Alessandra Raffaetà, Dip. di Informatica - Univ. di Pisa.
Spatio-temporal knowledge bases in a constraint logic programming framework with multiple theories.
[Abstract]

Date: May 31, 2001
Time 11:00, Place: Aula D.
Paolo Baldan, Dip. di Informatica - Univ. di Pisa.
Modeling concurrent computations: from Petri nets to graph transformation systems.
[Abstract]

Date: May 17, 2001
Time 14:00, Place: Aula D.
Stefania Lusin (Venezia).
Tipi intersezione per lambda alberi
Un articolo di Dezani, Barbanera de Vries. [Abstract]

Date: May 8, 2001
Time 14:30, Place: Aula D.
Jan-Georg Smaus (CWI Amsterdam)
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification [Abstract]

Date: April 10, 2001
Time: 14:00, Place: Aula D.
Torben Amtoft, Boston University.
What are Polymorphically Typed Ambients [Abstract]

Date: March 13, 2001
Time: 15:00, Place: Aula D.
Mariangiola Dezani-Ciancaglini, Univ di Torino.
Finitary Logical Semantics [Abstract]

Feb. 28, 2001
Time 16:00, Place: Aula D.
Chiara Braghin, Univ. di Venezia
Design Principles for Cryptographic Protocols [Abstract] [Slides]

Feb. 7, 2001
Time 15:00, Place: Aula D.
Elisa Quintarelli, Univ. di Milano & Univ. di Verona
Model-Checking Based Query Retrieval [Abstract]

Jan. 23, 2001
Time 14:00, Place: Aula D.
Ivano Salvo, Univ. di Torino
Security Types for Safe Mobile Ambients [Abstract]

Dec 18, 2000
Time 15:00, Università di Padova
Michele Bugliesi,Venezia.
Information flow vs Resource Access in the Asyncronous Pi-Calculus.
A paper by M. Hennessy and J. Riley
Dec 13, 2000
Time 15:00, Place: Aula D
Silvio Valentini, Università di Padova
Topologia Formale e motori di ricerca [Abstract]
Nov 13, 2000
Place: Dip. di Matematica, Univ di Padova.
Riccardo Focardi, Venezia.
Classification of Security Properties
Oct 31, 2000
Time: 14:00. Place: Aula D.
Giuseppe Castagna, ENS-CNRS Paris.
Secure Safe Ambients [Abstract]
July 12, 2000
Time: 14:30. Place: Aula D.
Robert Goldblatt, Victoria University of Wellington.
What is the coalgebraic analogue of Birkhoff's variety theorem?. [Abstract]
June 8, 2000
Time: 15:00 -- 16:00. Place: Aula D.
Antonino Salibra, Venezia.
The Lattice of lambda theories. [Abstract]
June 5, 2000
Time: 14:00 -- 17:00. Place: Aula D.
Giuseppe Castagna, ENS-CNRS Paris.
Introduzione alla Sicurezza della JVM [Abstract]
May 11, 2000
Time: 15:00. Place: Aula D.
Gianluigi Zavattaro, Università di Bologna.
Process Calculi for Coordination: from Linda to JavaSpaces [Abstract]
April 19, 2000
Time: 15:00. Place: Aula D.
Davide Sangiorgi, INRIA-Sophia Antipolis
Safe Ambients, Type System and Implementation.
March 29-30, 2000
Time: 11:00. Place: Aula B, Aula 2.
Baudouin Le Charlier, Institut d'Informatique, University of Namur
Specification, construction and verification of generic classes in Java [Abstract] [Some Slides] [Some Slides]
December 1, 1999
Time: 14:30. Place: Aula D
Silvia Crafa, Venezia.
Objects in pi-calculus [Abstract] [Slides]

December 1, 1999
Time: 16:00. Place: Aula D
Michele Bugliesi, Venezia.
Mobile Objects [Abstract] [Slides]

November 10, 1999
Time: 15:00. Place: Aula D
Silvia Crafa, Venezia.
Typed pi-calculus [Slides]

September 23, 1999
Time: 12:30. Place: Aula D
Rainer Kerth, IBM, New York
The interpretation of unsolvable terms in the models of lambda calculus [Abstract]

July 13, 1999
Time: 14:30. Place: Aula D
Giuseppe Castagna, ENS-CNRS Paris.
Seal: (yet) another calculus for mobility. [Abstract]

July 7, 1999
Time: 15:00. Place: Aula D
Chantal Berline, Universite' Paris 7.
Intersection Type Systems and Lambda Calculus.

June 30, 1999
Time: 15:00. Place: Aula D
Santiago Pericas, Boston University
Type Inference for Recursive Definitions. [Abstract]

June 16, 1999 [Advanced Seminar Series]
Time: 15:00. Place: Aula D
Nadia Busi, Univ. di Bologna
On the expressiveness of Linda coordination primitives. [Abstract]

June 14, 1999 [Tutorial Series]
Time: 15.00. Place: Aula D
Antonino Salibra, Venezia.
Models of Lambda Calculus and Types. [Abstract]

June 9, 1999 [Tutorial Series]
Time: 16.15. Place: Aula D
Riccardo Focardi, Venezia.
Process Algebras and Security. [Abstract]

May 26, 1999 [Tutorial Series]
Time: 16:00. Place: Aula D
Michele Bugliesi, Venezia.
An Introduction to Object Calculi. [Slides]

May 19, 1999 [Advanced Seminar Series]
Time: 15:00. Place: Aula D
Assaf Kfoury, Boston University
Beta unification, intersection types and static analysis of programs. [Abstract]
Date: July 11, 2001
Time 14:30, Place: Aula D.
Giangiacomo Gerla. Univ. di Salerno
Logica Fuzzy e Programmazione Logica [Abstract]