WE HAVE CHANGED! Home | Search | Help  
Home Page Università di Genova
The Department
Research
Education
Library and services
Events and seminars
  DISI -> Events and seminars -> Seminars -> Past Seminars

Past DISI Seminars

  • 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