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)

Chiudi

An Argumentation-Based Negotiation for Distributed Extended Logic Programs

Relatore: Iara Carnevale de Almeida - CITI -- DI/University of Évora, Portugal
Data: 17/07/2006 16.00.00
Luogo: Sala Seminari Est

Sommario:
The paradigm of argumentation has been used in the literature to assign meaning to knowledge bases in general, and logic programs in particular. With this paradigm, rules of a logic program are viewed as encoding arguments of an agent, and the meaning of the program is determined by those arguments that somehow (depending on the specific semantics) can defend themselves from the attacks of other arguments. Most of the work on argumentation-based logic programs semantics has focused on assigning meaning to single programs. In this talk we present an argumentation-based negotiation semantics for distributed knowledge bases represented as extended logic programs that extends the existing ones by considering sets of (distributed) logic programs, rather than single ones. For specifying the ways in which the various logic programs may combine their knowledge we make use of concepts that had been developed in the areas of defeasible reasoning, distributed knowledge bases, and multi-agent setting. In particular, we associate to each program P a cooperation set (the set of programs that can be used to complete the knowledge in P) and the argumentation set (the set of programs with which P has to reach a consensus). The argumentation-based negotiation framework is able to deal with mutually inconsistent, and even inconsistent, knowledge bases. Moreover, when in presence of contradiction we obtain different ways of multi-agent setting reasoning, ranging from consistent (in which inconsistencies lead to no result) to paraconsistent. The talk is based on a joint work with José Júlio Alferes (CENTRIA -- DI/New University of Lisbon, Portugal).

Referente: Laura Semini

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)

08/06/2006 Jinghua Gao.   Seminari Global Computing: Formal verification of business processes and requirements (Sala Riunioni Ovest)

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)