Past Events

• 22-23/11/2002 Validation 2002 DISI
• 22-28/09/2002 Ensemble methods for learning machines, 7th course of the International School on Neural Nets "E.R. Caianiello" IIASS, Vietri sul Mare, Salerno - ITALY
• 24/08/2002 4th International Workshop on Verification of Infinite-State Systems (Concur'02) Brno Csech Republic
• 27/7/2002 Workshop on Specification, Analysis and Validation for Emerging Technologies (FLoC'02) Copenhagen, Denmark
• 20-21/7/2002 Satellite Workshop on Domain Theory (FLoC'02) Copenhagen, Denmark
• 01/12/2001 Workshop on Specification, Analysis and Validation for Emerging Technologies (ICLP'01) Paphos, Cyprus
• 25/09/2001 Workshop on Experience with Reflective Systems. (WERS'01) Kyoto, Japan.
• 25-28/09/2001 3rd Int'l Conf. on Metalevel Architectures and Separation of Crosscutting Concerns (Reflection 2001) Kyoto, Japan.
• 02-06/04/2001 European Joint Conferences on Theory and Practice of Software (ETAPS 2001), Genova, Italy
• 30/11-02/12/2000 Worshop annuale progetto TOSCA (TOSCA'00), Genova, Italy
• 13/06/2000 ECOOP 2000 Symposium on Objects and Databases Sophia Antipolis, France
• 13/06/2000 ECOOP Workshop on Reflection and Meta-Level Architecture Cannes, France.
• 16-22/07/2000 Category Theory Conference (CT 2000), Como, Italy
• 01/11/1999 1st OOPSLA Workshop on Reflection and Software Engineering (OORaSE'99) Denver Colorado.
• 30/6-1/7/1999 Satellite Workshop on Realizability Semantics and Applications, (FLoC'99) Trento, Italy
• 30/06-12/07/1999 Federated Logic Conference (FLoC'99), Trento, Italy
• 14-15/06/1999 1st ECOOP Workshop on Object-Oriented Databases Lisbon, Portugal
• 09/06/1999 PASS-IT 1999 Milano, Italy
• 12-16/04/1999 Workshop on Personal Computer based Networks Of Workstations (PC-NOW) San Jaun, Puerto Rico
• 14-16/09/1998 1st meeting of ESPRIT WG APPSEM Pisa, Italy
• 03/04/1998 Workshop on Personal Computer based Networks Of Workstations (PC-NOW) Orlando, Florida
• 30/03-03/04/1998 Fundamental Approaches to Software Engineering, Lisbon, Portugal
• 15-19/09/1997 School on Models and Paradigms of Concurrency (EATCS italian chapter), Udine, Italy
• 08-12/09/1997 Workshop on Expressivity in Concurrency, S. Margherita Ligure, Italy
• 04-06/09/1997 Conference on Category Theory and Computer Science, S. Margherita Ligure, Italy
• 04-06/07/1997 Satellite Workshop on New Trends in Semantics (ICALP'97), Bologna, Italy
• 02-06/06/1997 Workshop on Petri Nets and Performance Models, Saint Malo, France
• 26-27/03/1997 Third Italian Workshop on Functional Programming, Bologna, Italy
• 24/10/1996 XVI Incontro di Logica Matematica, Genova, Italy
• 26/05/1996 Scuola Nazionale dei Dottorati di Informatica di Scienze, Certosa di Pontignano, Italy