Seminars

04/02/2013 Lorenzo Lago.   Logic synthesis for switching lattices (Sala Seminari Ovest)

04/02/2013 Lorenzo Lago.   Error resilient OBBDs (Sala Seminari Ovest)

08/01/2013 Dott. Gianpiero Majandi.   Elettroacustica e processi digitali del segnale audio (Sala G. B. Gerace)

18/12/2012 Andrea Maggiolo Schettini.   Bio-inspired Models of Computation: an Introduction (Sala Seminari Est)

13/12/2012 Alceste Scalas.   Contract-Oriented Computing in CO2 (Sala Seminari Ovest)

13/12/2012 Federico Poloni.   Modeling queues and buffers: probabilistic interpretation and accurate algorithms (Sala Seminari Ovest)

11/12/2012 Leanid Krautsevich.   Towards Modelling Adaptive Attacker Behavior (Sala Seminari Ovest)

04/12/2012 Giulio Rossetti.   DEMON: a Local-First Discovery Method for Overlapping Communities (Sala Seminari Ovest)

28/11/2012 Mahdi Amani.   Advanced and efficient methods and encoding for Generation, Ranking and Unranking of (k,l)-trees and (k,l)-Catalan numbers. (Sala Seminari Ovest)

09/10/2012 Giovanni Micale.   Motifs in biological networks (Sala Seminari Ovest)

26/09/2012 Enrica Salvatori.   Seminario di Cultura digitale: La Storia Digitale - nuovi metodi per una disciplina antica (Sala Seminari Est)

03/09/2012 Ana Sokolova.   Quantitatively relaxed concurrent data structures (Sala Seminari Est)

08/05/2012 Michele Girolami.   Architectures, Techniques and Methods for Resource Discovery (Sala Seminari Ovest)

18/04/2012 Giuseppe Andrea L’Abbate.   Seminario di Cultura Digitale: Interpretazione multimediale del Carnaval op.9 di Schumann (Sala Seminari Est)

21/03/2012 Fabio Paterno'.   L’Adattamento delle Interfacce Utenti al Contesto di Uso (Sala Seminari Est)

07/03/2012 Alessandro Cristofori.   Seminario di Cultura Digitale - Le fonti per la storia antica e la Rete (Sala Seminari Est)

29/02/2012 Dino Buzzetti.   Innovazione tecnologica e informatica umanistica (Sala Seminari Est)

22/02/2012 Marco Grandi e Vincenzo Gervasi.   Seminario di Cultura Digitale - Programmare in formule: tipografia matematica di alta qualità in un ambiente di programmazione (Sala Seminari Est)

21/12/2011 Diego Ceccarelli.   Information Retrieval models (Sala Seminari Ovest)

21/12/2011 Luca Benedetti.   Applications and visual representation of photo collections in 3D space (Sala Seminari Ovest)

14/12/2011 Federica Bressan.   Seminario di Cultura Digitale - La conservazione delle memorie sonore (Sala G. B. Gerace)

14/12/2011 Luca Pappalardo.   Is distance dead? Social interaction and geographic distance in the Internet era (Sala G. B. Gerace)

14/12/2011 Daniele Bernabei.   Alpha Matting: problem overview and graph-based solutions (Sala G. B. Gerace)

07/12/2011 Luca Rosati.   Architettura dell'informazione pervasiva (Sala Seminari Est)

07/12/2011 Daniele Buono.   The evolution of microprocessors: a survey of past, current and future multicore architectures (Sala Seminari Ovest)

07/12/2011 Davide Spano.   Creating Mashups by Direct Manipulation of Existing Web Applications (Sala Seminari Ovest)

30/11/2011 Daniele Rizzo.   Seminario di Cultura Digitale = L'informatica in azienda: da gerarchia a mercato (Sala Seminari Est)

23/11/2011 Francesco Varanini.   Seminario di Cultura Digitale - Dal concetto di dato all’editoria del futuro (Sala Riunioni Est)

16/11/2011 Matteo Delle Piane.   Seminario di Cultura Digitale - I modelli 3D ad alto dettaglio nei Beni Culturali: applicazioni e prospettive (Sala Seminari Est)

09/11/2011 Dino Pedreschi.   Seminario di Cultura Digitale - Social Data Science (Sala Seminari Est)

26/10/2011 Marco Calvo .   Seminario di Cultura Digitale - Cultura online: micro-pagamenti, grandi innovazioni (Sala Seminari Est)

12/10/2011 Carlo Bordoni.   Seminario di Cultura Digitale - Il libro nel mondo digitale: dall’impaginazione elettronica all’e-book (Sala Seminari Est)

05/10/2011 Francesco Romani.   Seminario di Cultura Digitale - (Provocazioni) alla ricerca della mente: dalla res cogitans al cogito ergo sum (Sala Seminari Est)

20/07/2011 Gianluca Mezzetti.   A non-expert introduction to Godel Incompleteness Theorem (Sala Seminari Ovest)

13/07/2011 Rui Ferreira.   Methods for Approximate Counting (Sala Seminari Ovest)

14/06/2011 Fabrizio Luccio.   Mathematical jewels that you may not have seen in school (Sala Seminari Ovest)

18/05/2011 Davide Casali.   Seminario di Cultura Digitale - Gestalt, design e tecnologia degli ebook basati sul tocco (Sala Seminari Est)

11/05/2011 Gino Roncaglia.   Seminario di Cultura Digitale - La quarta rivoluzione, un anno dopo (Sala G. B. Gerace)

04/05/2011 Marco Ghezzi.   Seminario di cultura digitale - Libri di carta e libri digitali (Sala Seminari Est)

27/04/2011 Paolo Rosa.   Seminario di Cultura digitale: Studio Azzurro - dai video ambienti agli ambienti sensibili ai musei di narrazione (Sala Seminari Est)

13/04/2011 Giacomo Costa.   Seminario di cultura digitale - Fotografia digitale (Sala Seminari Est)

30/03/2011 Maria Teresa Lupia.   Seminario di Cultura Digitale: Google Books e il Google Books Settlement (Sala Seminari Est)

25/03/2011 Antonio Tombolini.   Seminario di Cultura Digitale: Dopo Ebook Lab Italia 2011, la situazione dell'editoria digitale in Italia (Sala G. B. Gerace)

09/03/2011 Giulio Peranzoni .   Seminario di Cultura Digitale: E-drawing e nuovo mercato editoriale degli e-book (Sala Seminari Est)

04/03/2011 Isabel Meirelles.   Seminario di Cultura Digitale: Looking at data through the eyes of a designer (Sala Seminari Est)

25/02/2011 Diego Colombo.   Seminario di Cultura Digitale: Produzione musicale nell'era della convoluzione e della modellazione (Sala Seminari Est)

21/12/2010 Hesham Kholidy and Giovanni Viglietta.   Hesham Kholidy and Giovanni Viglietta - Phd Seminars "Mauriana Pesaresi" (Sala Seminari Ovest)

17/12/2010 Dejan Kolundzija.   Locality Sensitive Hashing (Sala Seminari Ovest)

14/12/2010 Matteo Sammartino and Antonio Valerio Miceli Baron.   Matteo Sammartino and Antonio Valerio Miceli Barone - Phd Seminars "Mauriana Pesaresi" (Sala Seminari Ovest)

10/12/2010 Elisa Bianchi e Francesca Bonin.   Seminario di Cultura Digitale: Estrazione terminologica e validazione (Sala Seminari Est)

03/12/2010 Federico Ruberti .   Seminario di Cultura Digitale: Aziende e ricerca sui social network (Sala Seminari Est)

03/12/2010 Gabriele Capannini.   Gabriele Capannini - Phd Seminars "Mauriana Pesaresi" (Sala Seminari Ovest)

24/11/2010 Rebecca Ong.   Rebecca Ong - PhD Seminars "Mauriana Pesaresi" (Sala Seminari Ovest)

16/11/2010 Stefano Penge .   Seminario di Cultura Digitale: Estetica della programmazione (Sala Seminari Est)

10/11/2010 Ferreira Rui Andre'.   Finding and Counting Small Trees in Graphs (Sala Seminari Ovest)

03/11/2010 Peter Drabik.   Modular Veri?cation of Interactive Systems with an Application to Biology (Sala Seminari Ovest)

28/10/2010 Filippo Bonchi.   Deriving Labels and Bisimilarity for Concurrent Constraint Programming (Sala Riunioni Ovest)

19/10/2010 Bartek Klin.   SOS, modal logic and compositionality (Sala Seminari Ovest)

14/09/2010 Paola Festa.   Complexity analysis and optimization for the shortest path tour problem (Sala Seminari Est)

10/09/2010 Sergio Brandano.   Paying the cost of freedom (Sala Seminari Ovest)

20/07/2010 Roberto Di Cosmo.   Free and Open Source Software challenges in complex systems engineering. (Sala G. B. Gerace)

29/06/2010 Alessio Orlandi.   Alessio Orlandi - Phd Seminars "Mauriana Pesaresi" (Sala Seminari Ovest)

11/05/2010 Sam Staton.   General structural operational semantics through categorical logic (Sala Seminari Ovest)

05/05/2010 Enrica Salvatori.   Seminario di Cultura Digitale - La trasmissione della memoria da Guccini ad Avatar: un ritorno al futuro (Sala Seminari Est)

28/04/2010 Marcello Giacomantonio.   Seminario di Cultura Digitale: Il rapporto narrativo immagine/testo nei learning object (Sala Seminari Est)

21/04/2010 Roberto Rosselli del Turco.   Seminario di cultura digitale - Filologia digitale e codifica dei testi: problemi metodologici e disciplinari (Sala Riunioni Est)

14/04/2010 Elvira Todaro.   Seminario di Cultura Digitale: Kinesthetic Thinking (Sala Riunioni Est)

23/03/2010 Davide Cangelosi.   Davide Cangelosi - SSALeaping: Efficient Leap Condition Based Direct Method Variant for the Stochastic Simulation of Chemical Reacting System (Sala Seminari Ovest)

18/03/2010 Pawel Sobocinski.   Towards a Kleene theorem for concurrency (Sala Riunioni Ovest)

17/03/2010 Mirko Tavosanis.   Seminario di cultura digitale - Storia delle interfacce informatiche (Sala Seminari Est)

16/03/2010 Nadia Pisanti.   Speeding up Local Multiple Alignments (Sala Seminari Ovest)

10/03/2010 Rachel Dretzin .   Seminario di Cultura digitale - Digital nation: life on the virtual frontier (Sala Seminari Est)

05/03/2010 Eduardo De Francesco.   Seminario di Cultura Digitale: Integrazione fra gli standard eLearning (SCORM,IMS, ecc.) e standard documentali (Sala Seminari Est)

02/03/2010 Roberto Grossi.   Phd Mauriana Pesaresi Seminars: Roberto Grossi - A Quick Tour on Su?x Arrays and Compressed Su?x Arrays (Sala Seminari Ovest)

26/02/2010 Letizia Jaccheri.   Seminario di Cultura Digitale: Open Source Software Tools for creativity (Sala Seminari Est)

22/12/2009 Gabriele Mencagli.   Seminar Announcement: Gabriele Mencagli - PhD Mauriana Pesaresi Seminars (Sala Riunioni Ovest)

15/12/2009 Lazouski Aliaksandr .   PhD Mauriana Pesaresi Seminars. Lazouski Aliaksandr (Sala Seminari Ovest)

04/12/2009 Flavia Marzano.   Cittadini e Pubblica Amministrazione nell'era del web 2.0 (Sala Seminari Est)

02/12/2009 Simonetta Montemagni.   Annotazione sintattica di corpora per il trattamento automatico del linguaggio (Sala Seminari Est)

01/12/2009 Dr Richard Olejnik.   Load Balancing Metrics for the SOAJA Framework (Sala Seminari Est)

01/12/2009 Leanid Krautsevich.   PhD Mauriana Pesaresi Seminars. Leanid Krautsevich (Sala Seminari Est)

27/11/2009 Serge Noiret.   La "public history" americana e la storia digitale made in Italy: memoria e storia on line (Sala Seminari Est)

25/11/2009 Giuseppe Attardi.   Annotazione Semantica della Wikipedia (Sala Seminari Est)

24/11/2009 Dung Dinh.   Seminar Announcement - Phd Mauriana Pesaresi Seminars - Dung Dinh (Sala Seminari Ovest)

17/11/2009 Giuseppe Ottaviano.   PhD Mauriana Pesaresi Seminars. Giuseppe Ottaviano (Sala Seminari Ovest)

11/11/2009 Francesco Varanini.   Seminario di Informatica Umanistica - La Torre di Babele secondo Dante. Per una definizione dell'Informatica Umanistica alla luce del Knowledge Management (Aula 10 - Palazzo Ricci)

10/11/2009 Giovanni Battaglia.   Phd Lunchtime Seminar (in honour of Mauriana Pesaresi) - Giovanni Battaglia (Sala Seminari Ovest)

06/11/2009 Teemu Roos.   Discovering Network Structures from Data by Information-Theoretic Methods (Sala Seminari Ovest)

03/11/2009 Luca Pardini.   Phd Lunchtime Seminar (in honour of Mauriana Pesaresi) - Inclusion and Membership for a Class of XML Types with Interleaving and Counting (Sala Seminari Ovest)

28/10/2009 Roberto Basili.   Seminario di Cultura digitale - Acquisizione Automatica di Conoscenza Linguistica: un approccio multilingue alla semantica dei frame (Sala Seminari Est)

21/10/2009 Fabio Gadducci.   Seminario di Cultura Digitale - Il software tra copyright e brevetto (Sala Seminari Est)

09/10/2009 Alfio Ferrara, Massimo Parodi, Chiara Selogna.   Seminario di Cultura Digitale - Informatica e discipline umanistiche: analogie e somiglianze (Sala Seminari Est)

22/09/2009 Jean-Vincent Loddo.   Marionnet, laboratorio di reti virtuali (Sala seminari W)

10/06/2009 Thaizel Fuentes.   Zing:A Model Checker for Concurrent Software (Sala Seminari Est)

08/06/2009 Andy Gordon.   Principles and applications of refinement types (Sala Seminari Est)

05/06/2009 Jeffrey S. Vitter.   Searching String Collections for the Most Relevant Documents (Sala Seminari Ovest)

27/05/2009 Eduardo Mesa-Barrameda.   Uniform Scattering of Autonomous Mobile Robots in a Grid (Sala Seminari Est)

07/05/2009 Giovanni Pardini.   Model Checking biological systems in Biocham (Sala Seminari Ovest)

06/05/2009 Paolo Osso e Sonia Tucci.   Seminario di Informatica Umanistica: GIS e beni culturali (Sala G. B. Gerace)

05/05/2009 Gabriele Costa.   Runtime Monitoring via Code Instrumentation (Sala Seminari Est)

29/04/2009 Elena Franchini.   Seminario di Informatica Umanistica: Riviste digitali e digitalizzazione per la ricerca (Sala G. B. Gerace)

28/04/2009 Michele Coscia.   Complex Networks: A Data Mining Bias (Sala Seminari Est)

23/04/2009 Andrea Romei.   SBML2Murphi: a translator from a Biology Markup Language to Murphi (Sala Riunioni Ovest)

03/04/2009 Giovanni Battaglia.   Modeling and verification of real-time systems in UPPAAL (Sala Seminari Ovest)

01/04/2009 Martin Blazeby and Hugh Denard.   Seminari di Informatica Umanistica: Heritage Visualisation Activities by King's Visualisation Lab (Sala G. B. Gerace)

31/03/2009 Roberto Trasarti.   Towards Progressively Querying and Mining Movement Data (Sala Seminari Est)

27/03/2009 Cristian Dittamo.   Bandera, a tool set for model checking concurrent Java software (Sala Seminari Ovest)

25/03/2009 Silvana Vassallo.   Seminari di Informatica Umanistica: Arte digitale: come il computer modifica le pratiche artistiche (Sala G. B. Gerace)

25/03/2009 Davide Cangelosi.   Probabilistic Model Checking in Systems Biology (Sala Seminari Ovest)

13/03/2009 Valerio Grossi.   A Peer-to-Peer Protocol Verification using Murphy (Sala Seminari Ovest)

10/03/2009 Davide Cangelosi.   Probabilistic Model Checking in Systems Biology (Sala Seminari Ovest)

10/03/2009 Leonardo Gaetano Mezzina.   Typing Services (Sala Seminari Est)

09/03/2009 Cristian Dittamo and Davide Cangelosi.   NVIDIA CUDA vs SkeTo: abstractions, programming complexity, and performance. (Sala Seminari Est)

04/03/2009 Francesco Varanini.   Seminario di Informatica Umanistica. Linneo vs. Goethe. Due paradigmi per l'informatica (Sala G. B. Gerace)

25/02/2009 Alessandro Lenci.   Modelli distribuzionali della memoria semantica (Sala G. B. Gerace)

10/02/2009 Cristian Dittamo.   General Purpose Graphics Processing Units (Sala Seminari Ovest)

27/01/2009 Gianna M. Del Corso.   Evaluating scientific products by means of citation-based models (Sala Seminari Est)

10/12/2008 Daniele Sgandurra.   Dottorato di Ricerca in Informatica: Ciclo di Seminari "Model Checking" (Sala Seminari Ovest)

10/12/2008 Linda Pagli.   Seminario di Informatica Umanistica: Informatica e lavoro a maglia (Sala G. B. Gerace)

09/12/2008 Massimiliano Meneghin.   A fast communication support for structured parallel programming on the Cell broadband engine (Sala Seminari Est)

02/12/2008 Valentina Monreale.   A decentralized implementation of mobile ambients (Sala Seminari Est)

28/11/2008 G. Cignoni, F. Monaci, D. Ceccarelli, C. Imbrenda.   Hackerando la Macchina Ridotta (Sala Seminari Ovest)

27/11/2008 Luis Perez Sanchez.   Dottorato di Ricerca in Informatica: Ciclo di Seminari "Model Checking" (Sala Seminari Est)

25/11/2008 Anna Monreale.   Pattern-Preserving k-Anonymization of sequence and its Application to Mobility Data Mining (Sala Seminari Ovest)

18/11/2008 Claudio Gallicchio.   Introduction to Echo State Networks. (Sala Seminari Est)

28/10/2008 Giulio Caravagna.   A Delayed Chemical Master Equation and a Delayed Stochastic Simulation Algorithm (Sala Seminari Ovest)

21/10/2008 Filippo Bonchi.   A Minimization Algorithm for Symbolic Bisimilarity (Sala Seminari Est)

14/10/2008 Giovanni Battaglia.   Data mining feat. hypergraphs (Sala Seminari Est)

07/10/2008 Davide Cangelosi .   Stochastic Methodologies for Spatially Homogeneous Chemical Reacting Systems (Sala Seminari Est)

23/09/2008 Prof. Paolo Ferragina.   The power of algorithms (Sala Seminari Est)

19/09/2008 Prof. Alan M. Davis.   Requirements for Services: Does it Make Sense? (Sala Riunioni Est)

16/09/2008 Ermini Donatella.   WiMAX, Why not? (Sala Seminari Est)

10/09/2008 Kiminori Matsuzaki.   The SkeTo Parallel Skeleton Library (Sala Riunioni Est)

15/07/2008 Grossi Valerio.   Mining Data Stream (Sala Seminari Est)

08/07/2008 Romei Andrea.   Data Mining Query Languages: requirements and examples (Sala Seminari Est)

30/06/2008 Murdoch J. Gabbay.   Nominal algebra (Aula Seminari Ovest)

24/06/2008 Sgandurra Daniele.   Transparent Monitoring of a Process Self in a Virtual Environment (Sala Seminari Ovest)

19/06/2008 Hernan Melgratti.   Abstract Processes in Orchestration Languages (Sala Seminari Est)

16/06/2008 Enrique Perez Santi.   Status and development of computer science research in Chile (Sala Riunini Est)

26/05/2008 Ana Oprescu.   FTRepMi: Fault-tolerant, Sequentially-consistent Object Replication for Grid Applications (Sala Seminari Est)

13/05/2008 Orlandi Alessio.   Tools and techniques for lightweight compressed collections (Sala Seminari Est)

06/05/2008 Perez Luis.   LAD - Theory Formation (Sala Seminari Est)

29/04/2008 Perez Luis.   LAD - Pattern Generation (Sala Seminari Est)

22/04/2008 Perez Luis.   LAD - Introduction and Logic (Sala Seminari Est)

08/04/2008 Hinde Bouziane.   Towards Abstract Software Component Models for Programming Scientific Distributed Applications. (Sala Seminari Ovest)

08/04/2008 Venturini Rossano.   The Burrows-Wheeler transform (Sala Seminari Est)

11/03/2008 Nitto Igor.   Dictionary-Based Text Compression. (Sala Seminari Est)

26/02/2008 Lorenzo Cioni.   The lion's share. Is fairness easy? (Sala Seminari Est)

19/02/2008 Thaizel Fuentes.   Introduction to Windows Workflow Foundation (I): Designing WF applications with VS2008 (Sala Seminari Est)

12/02/2008 Antonio Cisternino.   Episode VI - Return of the CMS (Sala Seminari Ovest)

05/02/2008 Morge Maxime.   The Argument Clinic: A Baloney Detection Kit (Sala Seminari Est)

29/01/2008 Antonio Cisternino.   Episode V - The Server strikes back (Sala Seminari Est)

22/01/2008 Antonio Cisternino.   Episode IV - Javascript, A New Hope (Sala Seminari Est)

15/01/2008 Sebastien Vaucouleur.   Evolvable Software Products (Sala Seminari Est)

20/12/2007 Pawel Sobocinski.   Deconstructing behavioural theories of mobility (Sala Seminari Est)

18/12/2007 prof. Filippo Mignosi.   Nuovi metodi "dictionary-symbolwise" per la compressione dei dati (Sala Seminari Est)

17/12/2007 Nazim H. Madhavji.   Software Architecting without Requirements Knowledge and Experience: What are the Repercussions? (Sala Seminari Est)

12/12/2007 Francesco Logozzo.   An efficient, sound, agnostic and semantic-based static analyzer for .NET (Sala Seminari Est)

11/12/2007 Marco Di Benedetto.   Ray-Casted BlockMaps for Large Urban Models Visualization (Sala Seminari Est)

10/12/2007 Simone Aliprandi.   Effettività giuridica delle licenze open source (Sala Seminari Ovest)

04/12/2007 Mazzei Daniele.   Development of a high-throughputbioreactor system for biomedical applications (Sala Seminari Est)

27/11/2007 Cisternino Antonio.   Introduction to F#: when functional programming meets industry (Sala Seminari Est)

27/11/2007 Vari.   Convegno Net&System Security 2007 (Palazzo dei Congressi)

20/11/2007 Sodini Claudia.   Models and algorithms for Conflict Analysis and Prevention (Sala Seminari Est)

13/11/2007 Bracciali Andrea.   Expressive Models for Synaptic Plasticity (Sala Seminari Est)

08/11/2007 Prof. Raffaele Cerulli.   Labeled Graphs and Related Problems (Sala Seminari Est)

06/11/2007 Cataudella Stefano.   On abstract interpretation of object calculi (Sala Seminari Est)

05/11/2007 Victor Malyshkin.   Library of fragmented parallel subroutines for numerical modeling (Sala Riunioni Ovest)

19/10/2007 dott. Tito Flagella.   L'esperienza dei progetti OpenSPCoop e Gov4j nella diffusione del software libero nella PA Italiana (Sala Seminari Ovest)

16/10/2007 Conforti Giovanni.   Spatial Logics and their query languages (Sala Seminari Est)

09/10/2007 Prof. Attardi Giuseppe.   Natural Language search: hype or reality? (Sala Seminari Est)

27/09/2007 L. Francesconi, A. Bertanza, S. Palla.   (Ri)organizzazione delle risorse del centro di calcolo (Sala G. B. Gerace)

25/05/2007 Debora Schuch da Rosa.   Star Ambients, and the exact static analysis (Sala Riunioni Est)

21/05/2007 Troels C. Damgaard.   Syntactic Theory for Bigraph (Aula Seminari Ovest)

21/05/2007 Troels C. Damgaard.   Syntactic Theory for Bigraph (Aula Seminari Ovest)

16/05/2007 Dott. Tommaso Bolognesi.   Modelli computazionali per spazio e spazio-tempo: dagli automi cellulari elementari alle riscritture di reti trivalenti (Sala G. B. Gerace)

15/05/2007 Milestone.   Lo sviluppo di videogiochi in Italia, l'esperienza d Milestone (Sala Seminari Est)

11/04/2007 Roberto Trasarti.   Graph grammar induction (Sala Seminari Est)

11/04/2007 Daniele Sgandurra.   Defining the semantics of object oriented languages using graph transformations (Sala Seminari Est)

28/03/2007 Michele Albano.   Describing distributed system architectures using graph grammars (A seminar for the Ph.D. course on rewriting) (Sala Seminari Ovest)

23/03/2007 Salvatore Rinzivillo.   Visualizzazione di Cluster di Traiettorie (Sala Seminari Est)

16/03/2007 Michele Berlingerio.   Towards Constraint-Based Graph Data Mining (Aula 29 A Faedo, ISTI-CNR, Pisa)

01/03/2007 Arik Friedman.   k-Anonymous Decision Tree Induction (Aula 29 A Faedo, ISTI-CNR)

20/02/2007 Luis Perez Sanchez.   DeLoSS, Declarative Logistic System Solver (Sala Seminari Est)

19/02/2007 Roberto Di Cosmo.   Nuove prospettive per l'open source: la strategia francese e quella europea (Sala Seminari Est)

20/12/2006 Maxime MORGE.   Argumentation framework for collective decision making (Sala Seminari Est)

04/12/2006 Osman Abul.   Anonymity of Location Trace Samples (Aula A. Faedo 29, ISTI-CNR, Pisa)

24/11/2006 Francesco Bonchi.   ConQueSt, a Constraint-based Querying System for Exploratory Pattern Discovery (Sala Seminari Ovest)

03/11/2006 Fabrizio Sebastiani.   MP-Boost: A Multiple-Pivot Boosting Algorithm and its Application to Text Categorization (Aula 29 "A. Faedo", ISTI-CNR)

30/10/2006 Peter Kilpatrick.   Abstract Modelling of Grid Computation (Sala Riunioni Ovest)

27/10/2006 Lemai Nguyen.   Exploring Creativity Facets in Requirements Engineering (Sala Seminari Est)

26/10/2006 Maurizio Atzori.   Privacy in spatio-temporal data (Sala Seminari Est)

19/10/2006 Jerome Simeon.   XQuery Around the Corner: Compilation and Optimization (Sala Seminari Est)

19/10/2006 Mirco Nanni.   Temporally annotated sequences (Aula 29 "A. Faedo", ISTI-CNR, Pisa)

12/10/2006 Salvatore Rinzivillo, Andrea Mazzone.   Real-world and synthetic spatio-temporal datasets (Sala Seminari Est)

28/07/2006 Tobias Heindel.   CONCURRENCY RESPECTING BISIMULATIONS (Sala Riunioni Ovest)

21/07/2006 Linda Brodo.   An introduction to approaches in Computational Systems Biology (Sala Seminari Ovest)

17/07/2006 Iara Carnevale de Almeida.   An Argumentation-Based Negotiation for Distributed Extended Logic Programs (Sala Seminari Est)

04/07/2006 Andrei Sabelfeld.   Declassification in Theory and Practice (Sala Seminari Est)

28/06/2006 studenti LOA.   Aloa Photo Album (Sala G. B. Gerace)

23/06/2006 Francesco Zappa Nardelli.   Acute: high-level programming language design for distributed computation (Sala Seminari Ovest)

15/06/2006 Marcello D'Agostino.   L'ENIGMA DELLA DEDUZIONE (Sala Seminari Ovest)

Chiudi

Seminari Global Computing: Formal verification of business processes and requirements

Relatore: Jinghua Gao - Dipartimento di Informatica, Pisa
Data: 08/06/2006 18.00.00
Luogo: Sala Riunioni Ovest

Sommario:
Dottorato di Ricerca in Informatica Ciclo di Seminari Global Computing Web services infrastructures provide the ideal framework for interconnecting organizations and for defining distributed business applications. This seminar presents a requirements approach to the design and verification of web services. The proposed methodology starts from a requirements model, which defines a business domain at a "strategic" level, describing the participation actors, their mutual dependencies, goals, requirements and expectations. The business requirements model is then refined into a business process model that can be described in the Formal Tropos specification language(FT: formal tropos). And the model checking techniques for the verification of specification, both the requirements level and the process level will be shown by the case study.

Referente: Gianluigi Ferrari

31/05/2006 Nicole Bidoit.   Satisfiability checking in presence of extended DTDs capturing well-typed references (Sala Riunioni Ovest)

25/05/2006 Zohar Manna.   From Verification Conditions to Constraints (Sala Seminari Ovest)

25/05/2006 B. Thalheim.   Systematic development of large information-itensive websites (Sala G. B. Gerace)

24/05/2006 Davide Morelli.   Frank: an open source framework for musical composition and improvisation (Sala Seminari Est)

17/05/2006 Silvana Vassallo.   Arte digitale. Genesi e generi (Aula Magna - Palazzo Matteucci)

05/05/2006 Giuseppe Attardi.   A Multilanguage Non-Projective Dependency Parser (Sala Seminari Ovest)

02/05/2006 Luis Caires.   Spatial-Behavioral Types for Distributed Services (Sala Seminari Ovest)

21/04/2006 Walter Cazzola.   RAMSES: a Reflective Middleware for Design-Oriented Software Evolution (Sala Seminari Est)

10/04/2006 Jonathan P. Bowen.   Copyright Protection and Cultural Heritage: Steering digitization between public archives and search engines (Sala G. B. Gerace)

06/04/2006 Razvan Adrain Popescu.   Orchestrating Composite Web Services Under Data Flow Constraints (Sala Seminari Ovest)

30/03/2006 Angelo Troina.   Modeling Long-running Transactions with Communicating Hierarchical Timed Automata (Sala Riunioni Ovest)

27/03/2006 Francesco Bonchi.   Introducing ConQueSt, a Constraint-based Querying System for Exploratory Pattern Discovery (Aula 34 ISTI-CNR)

16/03/2006 Angela Bonifati.   Adding Updates to XQuery: Semantics, Optimization and Static Analysis (Sala Seminari Est)

14/03/2006 Carlo Bertolli.   Seminari Global Computing: Building Fault-Tolerant Applications in a Global Programming (Sala Seminari Ovest)

08/03/2006 Roberto Zunino.   Seminari Global Computing: Type Discipline for Authorization Policies (Sala Seminari Ovest)

18/02/2006 dott.ssa Luigina Renzi.   La Provincia di Genova per l’Open Source:l’utilizzo di una piattaforma di workflow open source (Sala Riunioni Ovest)

08/02/2006 Francesco Siniscalchi .   Dall’Algebra Relazionale ai Frammenti Potenziali (Sala Seminari Ovest)

22/12/2005 Emilio Tuosto.   Modelling and using Application-Level QoS (Sala Riunioni Ovest)

20/12/2005 Stefano Basagni.   Localized Protocols for Ad Hoc Clustering and Backbone Formation (Sala Seminari Est)

20/12/2005 Chiara Petrioli.   Exploiting sink mobility to improve the performance of wireless sensor networks (Sala Seminari Est)

14/12/2005 Christophe Rigotti .   Finding episode rules and their optimal temporal window spans in event sequences (Aula ISTI C29 “ A. Faedo”)

01/12/2005 Stefano Cataudella.   Pairwise Sequence Alignment – Problems, Motivations, Algorithms (Sala Seminari Ovest)

29/11/2005 Antonio Gulli.   DNA Fragment Assembly (Sala Seminari Ovest)

21/11/2005 Felice Dell'Orletta.   Introduzione all'utilizzo di Hidden Markov Model per l'allineamento di sequenze biologiche (Sala G. B. Gerace)

18/11/2005 Prof. Maurzio Pighin.   “I DataWarehouse nelle PMI: ambiti di applicazione, limiti tecnologici, problematiche organizzative” (Sala Seminari Ovest)

11/11/2005 prof. Paolo Pasini.   I sistemi di Business Intelligence nelle aziende italiane: origini, esperienze e strategie di evoluzione (Sala Seminari Ovest)

10/11/2005 Roberto Zunino.   DNA Computing (Sala Seminari Ovest)

08/11/2005 Alexis Tsoukias.   Classifying with multiple criteria/attributes (Sala Seminari Est)

08/11/2005 Valerio Romano.   3G Wireless: nuove tecnologie ed architetture abilitanti, nuovi modelli di business e operativi (Aula A, Polo Fibonacci)

08/11/2005 Francesca Lonetti.   Algorithms for the exact matching problem (Sala Seminari Ovest)

04/11/2005 Francesca Martelli.   KMR and KMRC algorithms for pattern matching (Sala Seminari Ovest)

27/10/2005 Sonia Campa.   Identifying satellites in nucleic acid sequences (Sala Seminari Est)

27/10/2005 Salvatore Rinzivillo.   Spelling approximate repeated or common motifs using a suffix tree (Sala Seminari Est)

20/10/2005 Claudio Felicioli.   Haplotype problems through SNPs analysis (Sala G. B. Gerace)

11/10/2005 Marco Pellegrini.   Introduction to Models and Algorithms for Protein Docking and Protein Folding (Sala G. B. Gerace)

11/10/2005 Roberto Marangoni.   Protein structures: a general overview (Sala G. B. Gerace)

11/10/2005 Prof. Nicola Santoro.   Mobile Agents Computing: Security Issues and Algorithmic Solutions (Sala Seminari Est)

10/10/2005 Somnath Sidkar.   Parameterized Complexity and Exact Computation (Sala Seminari Est)

07/10/2005 Prof. Alessandro D'Atri.   L'impresa virtuale (Sala Seminari Ovest)

04/10/2005 Diego Puppin.   Sequence Alignment in Parallel (Sala Seminari Ovest)

28/09/2005 Martin Wirsing.   Specifying and refining mobile systems in UML and MTLA (Sala Seminari Est)

26/09/2005 Giovanni Manzini.   An overview of DNA compression algorithms (Sala G. B. Gerace)

22/09/2005 Gad Landau.   Gene Proximity Analisys Across Whole Genomes via PQ Trees (Sala Seminari Ovest)

21/09/2005 Ulrich Pferschy.   Nurse scheduling with complex shift structures (Sala Seminari Est)

20/09/2005 Ulrich Pferschy.   The Price-Collecting Steiner Tree Problem (Sala Seminari Est)

20/09/2005 Gad Landau.   A Sub-quadratic Sequence Alignment Algorithm for Unrestricted Scoring Matrices (Sala Seminari Ovest)

09/09/2005 Peter Y Ryan.   Pret a Voter: a Systems Perspective (Sala Seminari Est)

22/07/2005 Dale Miller.   Bindings, mobility of bindings, and the nabla-quantifier (Sala Seminari Ovest)

22/07/2005 Catuscia Palamidessi.   Probabilistic and nondeterministic aspects of Anonymity (Sala Seminari Ovest)

01/07/2005 Studenti del corso di LOA.   Il Media Aggregator LoaMA (Sala G. B. Gerace)

28/06/2005 Mirian Baglioni.   Regular expression types and regulare expression pattern matching for XML in XDuce (Sala Seminari Ovest)

13/06/2005 Vincenzo Ciancia.   Nominal Unification (Sala Riunioni Ovest)

30/05/2005 Diego Puppin.   Searching Services (Sala Riunioni Ovest)

26/05/2005 Ernst-­Erich Doberkat.   Bisimulations for Continuous Stochastic Logic (Sala Seminari Ovest)

23/05/2005 Iwon Bialynicka-Birula.   Web Service Security (Sala Riunioni Ovest)

19/05/2005 Claudio Hermida.   A categorical outlook on relational modalities and simulations (Sala Seminari Ovest)

17/05/2005 Luca Saiu.   Giornata contro la brevettabilità del software (Sala G. B. Gerace)

16/05/2005 Hernan Melgratti.   Global Computing Transactions (Sala Seminari Ovest)

14/05/2005 Avv. Michele ORSITTO.   Profili di responsabilità civile dei provider (Sala Seminari Ovest)

13/05/2005 dott. Cristina Rossi.   Le imprese Open Source: nuovi modelli di business per l'industria del software. (Sala Seminari Ovest)

13/05/2005 dott. Stefano Noferi.   Plone: un'applicazione reale (Sala Seminari Ovest)

13/05/2005 dott. Michele Barbera.   Oltre il web: introduzione al Semantic Web. (Laboratorio I - Aule Polo Fibonacci )

13/05/2005 Prof. Fabrizio Luccio.   Codici e protocolli crittografici (Sala Seminari Ovest)

09/05/2005 Filippo Bonchi.   Deriving process equivalence from reaction semantic (Sala Riunioni Ovest)

06/05/2005 Dott.ssa Yuwei Lin .   The Free/Libre Open Source Software (FLOSS) Social World (Sala Seminari Ovest)

02/05/2005 Sara Corfini.   Orchestrating computation on the World Wide Web (Sala Seminari Ovest)

29/04/2005 prof. Angelo Raffaele Meo.   L'economia del software e dello hardware liberi (Sala G. B. Gerace)

22/04/2005 Alfonso Fuggetta.   FLOSS: a che punto siamo? (Sala Seminari Ovest)

14/04/2005 Herbert Wiklicky.   Compositional Network Analysis and Quantitative Aspects of Security (Sala Seminari Est)

12/04/2005 Michele Curti.   Seminari Global Computing: Global Computing Frameworks for Biochemical Modelling (Sala Riunioni Ovest)

31/03/2005 ANTONIO FUDULI.   Bundle methods for nonconvex nonsmooth minimization. (Sala Seminari Est)

21/03/2005 Ivan Lanese.   Compositional Analysis of Contract Signing Protocols (Sala Riunioni Ovest)

21/03/2005 Massimo Bartoletti.   Language-based security: access control and static analysis (lunch seminar) (Lunch Seminar) (Sala Riunioni Ovest)

14/03/2005 Robert van de Geijn.   Deriving High-Performance Linear Algebra Libraries (Sala G. B. Gerace)

11/03/2005 Francesco Ciriaci, Vincenzo Di Somma.   L'associazione di imprese Zope Europe: il network, il modello, i rapporti con la community ed il software. Il progetto Oxfam. (Sala Seminari Ovest)

04/03/2005 Boris de Ruyter.   Assessing the Effects of Building Social Intelligence in a Robotic Interface for the Home (STI - Aula 9, Edificio A, Pianoterra)

03/03/2005 Stefano Bordoni.   Se un marinaio ... il lungo viaggio del Principio di Relatività (Aula F, Dipartimento di Fisica)

03/03/2005 Giovanni Conforti.   Bigraphs and Global Ubiquitous Computing (Sala Seminari Est)

03/03/2005 Boris de Ruyter.   Ambient Intelligence: visualising the future (ISTI - Aula Faedo )

23/02/2005 PROF. ROBERTO VACCA.   EDITORIA ELETTRONICA IN INTERNET: UN MODELLO POSSIBILE (aula multimediale della facoltà di Lettere e Filosofia - Palazzo Ricci, Via del Collegio Ricci n. 10)

23/02/2005 Elias Duarte.   A Distributed Algorithm for Computing the Connectivity of Partitioning-Healing Networks (ISTI - Aula Faedo)

18/02/2005 Franco Cacialli.   The Intriguing Challenge of Organic Semiconductors and Related Nanostructures (Aula Magna Faedo, Dipartimento di Matematica)

17/02/2005 Luca Vigano'.   A Model-Checker for the Symbolic Analysis of Internet Security Protocols (Sala Seminari Est)

04/02/2005 Roberto Di Cosmo.   Open Standards e Open Source per le amministrazioni pubbliche (seconda parte) (Aula C, Polo Fibonacci)

04/02/2005 Fabio Pellacini.   Toward Interactive and User-Friendly Digital Lighting (ISTI - Aula C34)

31/01/2005 Dana Petcu.   Extending Computer Algebra Systems to the Grids. State-of-the-art, Design and Implementation (Sala Seminari Ovest)

14/01/2005 Robert J. Alexander MD.   Open source e IBM: ricerca, sviluppo e business (Sala Seminari Ovest)

14/01/2005 Marco Callieri.   Realistic realtime illumination of complex environment: The Parthenon (ISTI - Aula Faedo)

16/12/2004 Massimo Palma.   "Crittografia Avanzata" - Quantum bits make their way into our security (Sala Seminari Ovest)

14/12/2004 Armin Größlinger.   Introducing Non-linear Parameters to the Polyhedron Model (Sala Seminari Est)

26/11/2004 Pawel Sobocinski .   Deriving process congruences from reaction rules (Sala Seminari Est)

26/11/2004 Fabio Gadducci - Luca Saiu.   Il problema dei brevetti sul software nell'Unione Europea (Sala Seminari Est)

25/11/2004 Lawrence Rauchwerger.   SmartApps: Adaptive Applications for High Productivity (Sala G. B. Gerace)

15/11/2004 Debora Donato.   On the Bowtie Structure of the Web (Sala Seminari Ovest)

29/10/2004 Letizia Jaccheri .   ICT and art meet in a multi disciplinary University course (Sala Seminari Est)

28/09/2004 Myra Spiliopoulou.   Knowledge Management in the Organisation - Part 4 (Sala Seminari Ovest)

28/09/2004 Myra Spiliopoulou.   Corso di Knowledge Management in the Organisation - Part 3 (Sala Seminari Ovest)

27/09/2004 Myra Spiliopoulou.   Corso di Knowledge Management in the Organisation - Part 2 (Sala Seminari Ovest)

27/09/2004 Rita Borgo.   "Dealing With Massive Volumetric Visulaization: Progressive Algorithms And Data Structures"-Presentazione Tesi di Dottorato- Rita Borgo- (Sala Seminari Est)

27/09/2004 Myra Spiliopoulou.   Corso di Knowledge Management in the Organisation - Part 1 (Sala Seminari Ovest)

20/09/2004 Andreas Malcher.   Descriptional Complexity of Cellular Automata (Sala Seminari Ovest)

14/09/2004 Marek A. Bednarczyk.   Modelling mobility with Petri hypernets (Sala Seminari Ovest)

13/09/2004 Filippo Bonchi.   Logiche Modali come Linguaggi di Specifica Coalgebrica (Sala Seminari Ovest)

03/09/2004 Giovanni Caire.   JADE - Il nuovo kernel e gli ultimi sviluppi (Sala Seminari Est)

15/07/2004 Andrea Omicini.   Trends & Experiences in MAS Infrastructures (Sala Seminari Est)

14/07/2004 Zheng LI.   A formal calculus for parallel computations over multidimensional dense arrays (Sala Seminari Est)

13/07/2004 Zheng Li.   A formal calculus for parallel computations over multidimensional dense arrays (Sala Seminari Est)

08/07/2004 PHAN MINH DUNG.   Stabilization of Cooperative Information Agents in Unpredictable (Sala Seminari Est)

07/07/2004 Giuseppe Liotta.   Drawing Graphs on Spines and on Curves (Sala Seminari Est)

07/07/2004 PHAN MINH DUNG.   A Speech Act-Oriented Paradigm for Key Exchange Protocol Design (Sala Seminari Est)

01/07/2004 Conny Heitmeyer.   Developing High Assurance Software Systems: On the Role of Software Tools (Sala G. B. Gerace)

09/06/2004 Kunihiko Sadakane.   Data Structures of Compressed Suffix Trees (Sala Seminari Est)

09/06/2004 Kunihiko Sadakane.   Efficient Construction of the Compressed Suffix Arrays (Sala Seminari Est)

08/06/2004 Carlos Ivan Chesnevar.   Argument-Based Recommender Systems: a first approach (Sala Seminari Est)

03/06/2004 A. Baragatti, H. Melgratti, G. Spagnolo.   A prototype implementation of distributed agreements (Sala Riunioni Est)

31/05/2004 Prof. Dr. Uwe Glaesser.   Abstract Operational Semantics of the Business Process Execution Language for Web Services (Sala G. B. Gerace)

25/05/2004 Vincenzo Manca.   DNA Computing versus Computing DNA (Sala Seminari Est)

13/05/2004 Robert Kowalski.   Computational Logic in an Object-Oriented World (Sala Seminari Est)

27/04/2004 Hugo Vieira.   A Spatial Logic Model-Checker (Sala Seminari Ovest)

21/04/2004 Oliver Morsch.   Come costruire un computer quantistico: dal sogno alla realtà (Sala Seminari Est)

16/04/2004 Prof. Dr. Bertrand Meyer.   Recent evolutions in Eiffel (Sala G. B. Gerace)

06/04/2004 Yossi Matias.   On list pebbling and program rollback (Sala Seminari Ovest)