-
December 9, 2002:
10:00 AM, Conference hall (III floor)
Chaos Computing: A New Computing Paradigm
Prof. Toshinori Munakata
(Computer and Information Science Dept., Cleveland State University,
Cleveland, Ohio USA)
- October 4, 2002: 10:00 AM, Conference hall (III floor)
Smart Computing with Neural Networks
in the Clinical Laboratory
Dr. James DeLeo
(National Institute of Health, Bethesda, Maryland USA)
- September 10, 12, 17 2002: 10:00 AM, Room 704 (VII floor)
Tutorial on Wavelets
Christine De Mol, Dept. de Mathematique,
Université Libre de Bruxelles
- 9 Sept 2002
(Room 326)
Roberto Manduchi (University of California at Santa Cruz)
MAIA Seminar Series:
VISUAL PROCESSING FOR CROSS-COUNTRY AUTONOMOUS NAVIGATION
- 25 June 2002
(Conference hall)
Prof. Brian Barsky (University of California, Berkeley)
Vision-Realistic Rendering
-
May 30, 2002 (Aula 218)
Prof. Klaus R. Dittrich (Universita' di Zurigo)
Towards flexible querying of heterogeneous data sources
-
17 May 2002 (Sala conferenze)
Prof. Silvio Giove (Dipartimento di Matematica Applicata ed Informatica Universita' di Venezia)
Applicazione della metodologia AHP e degli operatori OWA alle Decisioni di Gruppo
in ambito multicriteriale
-
17 Jan 2002 (Aula 214)
Dr. Ewad Quak (SINTEF Applied Mathematics, Oslo)
Spline wavelets on intervals and triangulations
-
16 Jan 2002 (Aula 214)
Dr. Ewad Quak (SINTEF Applied Mathematics, Oslo)
Finite-dimensional wavelet spaces
-
15 Jan 2002
Prof. Hanan Samet (University of Maryland),
Pictorial Query Specification for Browsing Through Spatially-Referenced
Image Databases
-
26 Nov 2001
Gianna Reggio (DISI),
Metamodelling
-
17 Oct 2001 (sala conferenze)
Dr. Massimiliano Pittore,
Presentation of the e-magine IT S.r.l. company
-
20 Sept 2001 (sala conferenze)
Paola Magillo e Giuseppina Mancuso,
SoundWord - A program to transform words into music
-
20 Oct 2000
Luca Paolini (DISI),
Introduction to Ludics
-
18 Oct 2000
Dr. Radu S. Jasinschi (Philips Research, USA),
The Extraction, Composition, and Description of 3-D Camera Velocity
and Depth: Methods and Applications
-
11 Oct 2000
Robert Laurini (LISI-INSA de Lyon, France),
Sistema multimediale per il rumore urbano
-
20 Sept 2000
Dr. Yann Guermeur (LORIA, France),
A new SVM for multi-category discriminant analysis
-
13 Sept 2000
Marco Bozzano (DISI, Univ. di Genova),
A Bottom-up Semantics for LO
-
13 Sept 2000
Silvio Ranise (DIST, Univ. di Genova),
Constraint Contextual Rewriting
-
31 July 2000
Prof. Sharad Seth (Univ.` di Lincoln),
Matching Features in Geographic Information Systems
-
21 June 2000
Eugenio Moggi (DISI, Univ. di Genova),
Arity Polymorphism and Dependent Types
-
14 June 2000
Peter O'Hearn (QMW College),
BI as an Assertion Language for Mutable Data Structures
-
14 June 2000
Jean-Francois Raskin (Université Libre de Bruxelles),
Formal Verification of Non-Repudiation Protocols. A Game Approach
-
09 June 2000
Prof. Shigeru Chiba (Univ of Tsukuba, Japan),
OpenJava -- A reflection-based macro system for Java
-
17 May 2000
Prof. Silvio Giove (Univ. di Venezia),
Fuzzy logic e reti neurali per applicazioni biomediche: alcune
applicazioni clinico-sanitarie
-
03 May 2000
Dr. Matteo Baldoni (Univ. di Torino),
Un'introduzione alle logiche normali (multi)modali:
semantica di Kripke, assiomi di interazione,
calcolo dei tableaux e applicazioni
-
14 Apr 2000
Prof. Klaus R. Dittrich (Univ. of Zurich),
All Together Now - Towards Integrating the World's Information Systems
-
24 Mar 2000
Dr. Kathleen Fisher (AT&T Labs),
The design of a class mechanism for Moby
-
03 Mar 2000 (ore 17.00, aula 214)
R. De Nicola (Univ. di Firenze),
Coordination and Control of Mobile Agents
-
02 Mar 2000 (sala conferenze)
Paolo Missier (Telcordia Technologies),
Improving Data Quality: Methodology and Techniques
-
25 Feb 2000
Roberto Degli'Innocenti,
Analisi di linguaggi di specifica standard per modellare sistemi ad agenti
-
24 Feb 2000
Sophia Drossopoulou (Imperial College, Univ. of London),
Towards a model of dynamic linking and verification for Java
-
02 Feb 2000
Giorgio Delzanno,
Automatic Verification of Cache Coherence Protocols (Preliminary results)
-
15 Dec 1999
Giorgio Delzanno,
Constraint-based Analysis of Broadcast Protocols
-
30 Nov 1999 (16.00, Aula 214),
Giorgio Delzanno,
Deductive Model Checking
-
18 Nov 1999 (15.00, Aula 214),
CongDuc Pham (Univ. Lyon 1),
Parallel and Distributed Simulation of Communication Networks:
towards cluster-based solutions
-
06 Oct 1999 (15.00),
Serafino Cicerone (Univ. dell'Aquila),
On the computational complexity of topological equivalence of
spatial databases
-
24 Sep 1999 (15.00),
I.Merlo,
UML e ODMG: un matrimonio riuscito?
-
16 Sep 1999 (15.00, sala conferenze),
Dr.ssa Olga Caprotti (Tech. Univ. Eindhoven),
Accessing and Using Mathematical Information Electronically
-
01 Sep 1999 (15.00),
Prof E.Moggi,
Monadic Encapsulation of Effects: a Revised Approach
-
01 Sep 1999 (16.00),
Prof E.Moggi,
Monads, Shapely Functors and Traversals
-
Prof. Bertoni (Univ. di Milano),
TBA
-
06 July 1999 (15.00 sala conf.),
Prof. Jeff Vitter (Duke Univ.),
Online Geometric Data Structures in External Memory
-
28 May 1999 (15.00 sala conf.),
Hanan Samet (Univ. of Maryland),
The VASCO Spatial Data Structure Applet
-
21 May 1999 (11.00-13.00),
A. Salerno (TXT Ing. Inf.),
Software Configuration Management
-
20 May 1999 (15.00-18.00),
G.C. Rizzetti (TXT Ing. Inf.),
ERP e SAP
-
30 Apr 1999 (16.00-18.00 aula 506), A. Capani (TXT Ing. Inf.),
Seminari sulle tecnologie Java: JDBC
-
23 Apr 1999 (16.00-18.00 aula 506), A. Capani (TXT Ing. Inf.),
Seminari sulle tecnologie Java: Java Servlet
-
21 Apr 1999 (15.00 sala conf.),
A.L. Wolf (Univ. of Colorado),
Wide-Area Events: The Problem and A Solution
-
16 Apr 1999 (16.00-18.00 aula 506), A. Capani (TXT Ing. Inf.),
Seminari sulle tecnologie Java: Abstract Window Toolkit
-
26 Mar 1999 (16.00-18.00 aula 506), A. Capani (TXT Ing. Inf.),
Seminari sulle tecnologie Java: Applicazioni e Applet
-
19 Mar 1999 (16.00-18.00 aula 506), A. Capani (TXT Ing. Inf.),
Seminari sulle tecnologie Java: Introduzione
-
17 Mar 1999,
Dr. D. Ancona,
A Primitive Calculus for Module Systems
-
28 Jan 1999 (16.30, sala conferenze DISI)
Prof. D.S. Scott (CMU),
Teaching about Plane Algebraic Curves via Computer Algebra
-
09 Dic 1998
D. Ancona, M. Cerioli, E. Zucca,
A Formal Framework for Late Binding
-
25 Nov 1998 (14.30, sala conferenze DISI)
conferenza-Incontro con il Prof. J. Alan Robinson
-
07 Oct 1998 (non-standard time at 17.00)
Dr. Paola Bonetto,
Medical Images Database Systems
-
25 Sep 1998
Dr. G.R. Hjaltason (Maryland Univ.),
Incremental Algorithms for Distance-Based Spatial Operations
-
15 Jul 1998 (sala 322)
Prof. J.R. Sack (Carleton Univ., Ottawa, Canada)
Approximating Weighted Shortest Paths
on Polyhedral Surfaces
-
19 Jun 1998 (non-standard time Fri at 11.00)
Prof. Ajoy Datta (Univ. of Nevada at Las Vegas) and
Dr. Synnove Kekkonen (Univ. Paris-Sud, Orsay),
Self-Stabilization and Fault-Tolerance
-
03 Jun 1998
Prof. Howard Blair (Syracuse Univ.)
Continualizing State Transition Systems
-
20 May 1998
Jan Hruza (Charles Univ., Prague)
Binarization of Logic Programs and Partial Evaluation
-
4 Mar 1998
Prof. Mario Bertero,
Il progetto LBT (Large Binocular Telescope) ed alcuni problemi di
ricostruzione di immagini ad esso connessi
-
25 Feb 1998
Prof. Georg Gottlob (TU Wien),
Existential Second Order Logic Over Strings
-
28 Nov 1997 (Friday)
Phan Minh Dung (Asian Institute of Technology, Bangkok),
Agent's Capability and the Correctness of Reactive Plans in a Dynamic
Multiagent Environment
-
19 Nov 1997 (time 16.30)
David Gilbert (City University),
Towards a general theory of action languages and interaction
-
18 Nov 1997 (Tuesday)
Dr. N. Tryfona (Aalborg Univ.),
Designing Spatial Information Systems: Methodologies, Models and Tools
-
12 Nov 1997
Dr. P. Cenciarelli (L.-M. Univ. Muenchen),
From Sequential to Multi-Threaded Java: an Event-Based Operational
-
12 Nov 1997 (non-standard time 17.00)
Dr. S. Etalle (Univ. of Amsterdam),
Call-by-need in logic programming
-
15 Oct 1997
Prof. F. Natterer
(Westfalische Wilhelms-Univ. Munster),
An algorithm for ultrasound tomography
-
10 Oct 1997 (at 16.00)
Julian Rathke,
Resource Based Models for Asynchrony
-
08 Oct 1997
Dr. David Hislop (Math and CS Div., ARO),
From Programming to Software Engineering
-
03 Sep 1997
Prof. E.B.Fernandez (Florida Atlantic Univ.),
Object-oriented design of complex systems
-
25 Jul 1997 (12.00, room 214)
Robert McGrail (Wesleyan Univ.),
Categorical Logic Programming with Monads
-
23 Jul 1997 (15.00, room 214)
Julian Rathke,
Symbolic Techniques for Value-passing Calculi.
-
04 Jul 1997 (11.30, meeting room 3rd floor)
Maurice Nivat (Universite' Paris VI/VII),
Tiling the plane with translations of one piece and translations of its
image in a rotation of pi
-
25 Jun 1997 (11.00, room 214)
Luqi (CS Dept., Naval Postgraduate School),
Computer-Aided Software Prototyping
-
11 Jun 1997 (15.00, room 214)
E. Astesiano and G. Reggio,
Formalism and Method
-
09 Jun 1997 (15.00 room 214)
David M. Mount (Univ. of Maryland),
An Algorithm for Robust Line Fitting
-
16 Apr 1997 (14.30, room 506)
Paolo Cignoni (IEI Pisa),
VRML 2.0, a 3d scene description
language for the web
-
19 Mar 1997 (room 713)
Prof. B. Reinert, (Univ. Kaiserslautern),
On Groebner Bases in Monoid and Group Rings
-
26 Feb 1997
J. Courant (ENS Lyon),
A module system for proofs and programs
-
15 Jan 1997
(14.00, room 214):
presentazione delle proposte di tesi del X ciclo
-
09 Jan 1997
(15.00, room 214):
Stefano Guerrini (UPenn),
Implementazioni Ottimali di Linguaggi Funzionali
-
11 Dec 1996
Dale Miller (UPenn),
A Logic for Reasoning with Logic Specifications
-
27 Nov 1996
Marco Corvi (ELSAG),
Watermarking di immagini digitali
-
13 Nov 1996
S. Etalle,
Trasformazioni ed analisi dei programmi logici: un nuovo approccio
-
6 Nov 1996
E. Moggi,
A categorical account of two-level languages
-
16 Oct 1996
E. Astesiano, G. Reggio,
Rewriting Logic vs Labelled Transition Logic
-
17 Jul 1996
D. Ancona,
An algebraic approach to mixins and modularity
-
04 Jul 1996
M. De Benedetto, A. Bagnato, A. Di Rienzo, E. Giromini,
Java: un sistema di sviluppo che si integra con il Web
-
04 Jul 1996
H. Samet,
Spatial Databases and Geographic Information Systems
-
03 Jul 1996
H. Samet,
Sorting in Space
-
03 Jul 1996
H. Samet,
Ranking in Graphical Databases
-
12 Jun 1996
C. Palamidessi,
Comparing the Expressive Power of Pi-Calculus,
Asynchronous Pi-Calculus, and CCS
-
5 Jun 1996
Ing. C. Scagliola (ELSAG BAYLEY),
Tecniche di interpretazione di informazioni manoscritte
-
29 May 1996
G. Chiola and G. Ciaccio,
An Active Message Layer for Linux Network of Workstations
(di interesse anche per gli studenti del corso di laurea)
-
22 May 1996
M. Bertolotto,
Geometric modeling of spatial entities at multiple levels of resolution
-
8 May 1996
P. Cignoni (IEI, Pisa),
Tetrahedral Volume Visualization
-
2 May 1996
(Thursday)
M. Wirsing (Ludwig-Maximilians-Universitaet Muenchen),
A Formal Approach to Object-Oriented Design
-
24 Apr 1996
Ing. P. Bianco et al. (ELSAG),
ELSAG BAILEY-Attivita' di ricerca nei settori dello sviluppo software e
della logistica
-
27 Mar 1996
L. Birkedal (CMU),
The Cogen Approach to Partial Evaluation
-
13 Mar 1996
M. Pellegrini (CNR, Pisa),
Efficient algorithms for radiosity computations
-
06 Mar 1996
E. Moggi,
Monadic approach and applications
-
21 Feb 1996
D. Ancona,
A formal framework for modularization in an imperative context
-
14 Feb 1996
L. Campora,
Towards a model for distributed reactive systems
-
07 Feb 1996
R. Pugliese (Univ. di Roma),
Teorie semantiche per algebre di processo asincrone
-
07 Feb 1996
A.M. Pitts (Cambridge Univ.),
Operationally-based logical relations for idealized Algol
-
31 Jan 1996
Y. Gurevich (Univ. of Michigan)
Finite Model Theory
|
 |
