Ciclo di seminari

Seminari del Dipartimento di Informatica

Manager
Peter Michael Schuster
Description
I seminari del dipartimento di Informatica si tengono con cadenza bisettimanale il martedi nel tardo pomeriggio. I seminari di questo ciclo sono da considerarsi prevalentemente di carattere generale e non specialistici; si rivolgono pertanto a tutto il personale del dipartimento e in particolare ai dottorandi non richiedendo la conoscenza approfondita di nessuna specifica area di ricerca.

Next Seminars
Date Time Title Supervisor
2/27/18 4:30 PM Sala verde Linear Algebraic Representation of Knowledge State of Agent Satoshi Tojo - JAIST
3/6/18 4:30 PM Sala riunioni 2° piano Lo spettro valutativo. Un punto di vista costruttivo. Henri Lombardi - Université de Franche-Comté, Besancon
3/14/18 2:00 PM ancora da confermare TBA Oliver Kutz - Libera Università di Bolzano
3/22/18 4:00 PM ora e luogo da definire TBA Lamberto Ballan - Università di Padova

Seminars which have already taken place
Date Time Title Supervisor
2/8/18 2:30 PM Sala verde Optimal Control Problems in Transport Dynamics Mattia Bongini - CEREMADE - Paris Dauphine
2/8/18 3:30 PM Sala verde Multiscale analysis of singularly perturbed finite dimensional gradient flows: the minimizing movement approach Francesco Solombrino - Università di Napoli Federico II
1/11/18 11:00 AM Sala verde Rosetta, ExoMars & OSIRIS-REx: present and future robotic exploration of the Solar System Maurizio Pajola - NASA, Washington, D.C.
12/20/17 2:30 PM Aula I Modeling the articulated 3D shape of animals Silvia Zuffi - CNR-IMATI Milano
12/7/17 5:00 PM Sala verde Hardware realizations of arithmetic operations based on boolean functions representations Danila Gorodecky - Academy of Sciences of Belarus, Minsk
11/28/17 4:00 PM Sala verde Algorithms for computing with multivariate polynomials over rings Ihsen Yengui - Université of Sfax, Tunisia, and Università di Verona
11/21/17 2:30 PM Sala verde. Calibrations for minimal networks in a covering space setting Alessandra Pluda - Universität Regensburg
11/7/17 9:00 AM Prospects in Quantum Machine Learning Seth Lloyd - MIT
10/5/17 4:00 PM Rinfresco 16.00 in Sala caffé (primo piano) - inizio seminario 16.15 The proof-theoretic relevance of Grothendieck topologies Olivia Caramello - Università dell'Insubria
10/5/17 5:30 PM Sala verde . Rinfresco 17.15, inizio seminario 17.30. Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries. Fabio Mogavero - Università di Verona
9/28/17 4:00 PM Supervised Discriminative Classification in Quantum Machine Learning David Windridge - Middlesex University London
9/27/17 4:00 PM Quantum Formal Methods: From Languages to Verification Rajagopal Nagarajan - Middlesex University London
9/21/17 3:00 PM Aula M -- rinfresco 14.45, inizio seminario 15.00. Boundary Classes for Graph Problems Involving Non-Local Properties Andrea Munaro - University of Primorska, Slovenia
7/11/17 11:00 AM Rinfresco 10.45, inizio seminario 11.00. Tools for Artists - VFX Tool Development at Weta Digital Marco Revelant - Weta Digital
6/29/17 2:30 PM Aula I - Rinfresco 14.15, inizio seminario 14.30. Human-Computer Interaction: Evolution and Future Trend Alfredo Ferreira - Universidade de Lisboa
6/15/17 3:00 PM Rinfresco 14.45, inizio seminario 15.00. Process Choreographies: From Modelling to Implementation Mathias Weske - Hasso Plattner Institute of IT Systems Engineering, University of Potsdam
6/7/17 4:00 PM Aula M - Rinfresco 15.45, inizio seminario 16.00. What is a tube? Dirk Kussin - Universität Paderborn
6/6/17 4:30 PM Rinfresco 16.15, inizio seminario 16.30. Robust biomarkers detection and network modeling: a multifaceted approach to reveal disease mechanisms Barbara Di Camillo - Università di Padova
6/5/17 2:30 PM Aula C - Rinfresco 14.15, inizio seminario 14.30. Fast locating with the run-length compressed Burrows-Wheeler Transform Travis Gagie - Universidad Diego Portales, Santiago de Chile
6/5/17 5:30 PM Sala Riunione II piano SAT-Based Logic Synthesis Alan Mishchenko - University of California Berkeley
5/31/17 4:30 PM Sala Riunione II piano - Rinfresco 16.15, inizio seminario 16.30. Stability conditions and torsion classes Thomas Brüstle - Bishop's University and Université de Sherbrooke
5/23/17 3:30 PM Rinfresco 15.15, inizio seminario 15.30. Optimized Strategies for Real-Time Multimedia Communications from Mobile Devices Enrico Masala - Politecnico di Torino
5/22/17 2:30 PM Aula C - Rinfresco 14.15, inizio seminario 14.30. Flexible RNA design under structure and sequence constraints using formal languages Stéphane Vialette - CNRS Marne-la-Vallée
5/8/17 2:30 PM Sala Verde - Rinfresco 14.15, inizio seminario 14.30. Visitor movement in historic buildings: computing approaches to enhance safety Arthur Stewart, John Isaacs, Eyad Elyan, Chrisina Jayne - Robert Gordon University, Aberdeen
5/8/17 4:00 PM Structuring Logic Giuseppe Rosolini - Università di Genova
5/5/17 11:00 AM Sala Verde - Rinfresco 10.45, inizio seminario 11.00. Multiple target tracking for wearable and robotic cameras Andrea Cavallaro - Queen Mary University of London
5/3/17 4:30 PM Rinfresco 16.15, inizio seminario 16.30. Low regularity exponential-type integrators for nonlinear Schrödinger equations Alexander Ostermann - Universität Innsbruck
4/19/17 2:30 PM Rinfresco 14.15, inizio seminario 14.30. Memoization of Parity Games: a practical proposal Giorgio Audrito - Università di Torino
4/10/17 2:30 PM Aula C. Rinfresco 14.15, inizio seminario 14.30. Text Indexing and LZ77 compression Johannes Fischer - Universität Dortmund
4/3/17 4:00 PM Rinfresco 15.45, inizio seminario 16.00. The Graph Minor Theorem: a walk on the wild side of graphs Marco Benini - Università dell'Insubria
3/30/17 3:00 PM Rinfresco 14.45, inizio seminario 15.00. Obscuring code -- Towards Systematic Code Obfuscation Roberto Giacobazzi - Università di Verona
2/20/17 4:30 PM Rinfresco 16.15, inizio seminario 16.30. Image guided protontherapy: recent research and technological innovations to fight cancer Benoit Macq - Université catholique de Louvain
2/16/17 10:30 AM Rinfresco 10.15, inizio seminario 10.30. Incollamento di categorie e calcolo degli Ext Nicola Mazzari - Université de Bordeaux 1
2/9/17 3:00 PM Sala Riunione II piano Classification of indecomposable modules via categories of functors Rosanna Laking - Universität Bonn
2/2/17 2:30 PM Constructive Semantics for Description Logics (ASP Based Generation of Information Terms for Constructive EL) Loris Bozzato - Fondazione Bruno Kessler, Trento
1/24/17 5:00 PM Rinfresco 16.45, inizio seminario 17.00. Computer Assisted Decisions in Medicine based on Machine Learning Techniques on Biomedical Data and Signals Vitoantonio Bevilacqua - Politecnico di Bari
1/23/17 2:00 PM NB: AULA G Understanding Ebola virus disease in West Africa: epidemiological investigation and mathematical modeling Stefano Merler - FBK Trento
1/16/17 2:00 PM Sala verde Understanding Ebola virus disease in West Africa: epidemiological investigation and mathematical modeling Dr. Stefano Merler, FBK - Trento
1/11/17 3:00 PM Rinfresco 14.45, inizio seminario 15.00. Alpha-CIR Model with Branching Processes in Sovereign Interest Rate Modelling Simone Mattia Scotti - LPMA, Université Paris Diderot
12/22/16 11:00 AM Rinfresco 10.45, inizio seminario 11.00 Cardiovascular Mathematics: from the proof of concept to the clinical practice Alessandro Veneziani - Department of Mathematics and Computer Science, Emory University, Atlanta, Georgia, USA
12/13/16 12:00 PM Rinfresco 11.45, inizio seminario 12.00. Detecting reoccurring patterns of scrambled genes Natasa Jonoska - Department of Mathematics & Statistics, USF, Tampa, Florida
11/16/16 5:00 PM rinfresco 16.45, inizio seminario 17.00 Equivalence relations for ordinary differential equations Max Tschaikowski - IMT Lucca
11/8/16 3:00 PM Rinfresco 14.45, inizio seminario 15.00. Flows and bisections in cubic graphs Giuseppe Mazzuoccolo - Università di Verona
11/3/16 12:30 PM Sala Verde - Rinfresco 12.15, inizio seminario 12.30. The Multi-Vehicle Traveling Purchaser Problem with Pairwise Incompatibility Constraints and Unitary Demands: A Branch-and-Price Approach Renata Mansini - Università di Brescia
11/2/16 2:30 PM DATA NUOVA - rinfresco 14.15, inizio seminario 14.30. Looking at glasses through neutrons Marco Zanatta - Raman Micro-spectroscopy Laboratory - Dipartimento di Informatica, Università di Verona
10/26/16 3:30 PM Rinfresco 15.15, inizio seminario 15.30. I Segreti di Sophus Maria Clara Nucci - Università di Perugia
10/18/16 4:30 PM Rinfresco 16.15, inizio seminario 16.30. CHASE: A Contract-Based Requirement Engineering Framework for Cyber-Physical System Design Michele Lora - Università di Verona
10/14/16 11:00 AM Rinfresco 10.45, inizio seminario 11.00 A Spectral Perspective on Shapes Ron Kimmel - Technion, Haifa, Israele
9/20/16 3:00 PM Rinfresco 14.45, inizio seminario 15.00. Cooperative Electricity Consumption Shifting Georgios Chalkiadakis - Technical University of Crete (TUC)
9/16/16 3:00 PM Rinfresco 14.45, inizio seminario 15.00. WTI Crude oil option implied VaR and CVaR: an empirical application Giovanni Barone Adesi - Università della Svizzera Italiana
7/18/16 5:00 PM rinfresco 16.45, inizio seminario 17.00 Cross-Layer Design of Distributed Cyber-Physical Systems: From Physical Models to Semiconductor Reliability Samarjit Chakraborty - Technische Universität München (TUM)
7/6/16 5:15 PM Hereditary classes of cubic graphs Vahan Mkrtchyan - Department of Informatics and Applied Mathematics, Yerevan State University, Armenia
6/13/16 3:00 PM Rinfresco 14.45, inizio seminario 15.00. DATA NUOVA. High–Throughput Enhancements and Rate Adaptation Strategies for IEEE 802.11 Based Real–Time Communications Federico Tramarin - CNR Padova
5/31/16 4:00 PM - rinfresco 15.45, inizio seminario 16.00 Data-Aware Business Processes: balancing between expressiveness and verifiability Marco Montali - Libera Università di Bolzano
5/31/16 5:00 PM Sala riunione II piano Uniqueness of dg enhancements in geometric contexts Paolo Stellari - Università di Milano
5/30/16 4:00 PM - rinfresco 15.45, inizio seminario 16.00 Image Guidance for Robotic Surgery and Advances in Medical Imaging Caitlin Schneider - University of British Columbia, Vancouver, Canada
5/19/16 11:00 AM Rinfresco 10.45, inizio seminario 11.00 Control of crowds: analysis and numerics Francesco Rossi - Aix-Marseille Université
5/17/16 11:00 AM Rinfresco 10.45, inizio seminario 11.00 A spatial stochastic model for explaining macro-ecological patterns in species-rich ecosystems Sandro Azaele - School of Mathematics, University of Leeds
5/10/16 2:30 PM rinfresco 14:15, inizio seminario 14.30 Greedy prefix-reversal Gray codes and beyond Elena Konstantinova - Russian Academy of Sciences and Novosibirsk State University
4/26/16 5:00 PM Sala verde - Rinfresco 16.45, inizio seminario 17.00 Multi-scale modeling and control of self-organized systems: kinetic approximation and numerical methods Giacomo Albi - Technische Universität München
4/22/16 11:00 AM Sala verde - Rinfresco 10.45, inizio seminario 11.00 Computational Aspects in Appearance Fabrication Fabio Pellacini - Sapienza - Università di Roma
4/10/16 4:30 PM Rinfresco 16.15, inizio seminario 16.30. to be communicated Johannes Fischer - Universität Dortmund
3/15/16 4:00 PM rinfresco 15.45, inizio seminario 16.00 Linear two-sorted constructive arithmetic Helmut Schwichtenberg - Universität München
3/9/16 4:00 PM - Rinfresco 15.45, inizio seminario 16.00 Robotics research at the Istituto Italiano di Tecnologia Giorgio Metta - Istituto Italiano di Tecnologia (IIT), Genova
3/7/16 4:00 PM rinfresco 15.45, inizio seminario 16.00. DATA NUOVA. Noncooperative Differential Games Alberto Bressan - The Pennsylvania State University
2/10/16 10:00 AM 9:45 rinfresco, 10:00 inizio seminario Brain computer interfaces for the industrial application of cognitive neuroscience Fabio Babiloni - Sapienza - Università di Roma
1/19/16 5:00 PM 16:45 rinfresco, 17:00 inizio seminario Polynomials defining many units Ángel del Río Mateos - Universidad de Murcia
12/10/15 3:00 PM 14:45 rinfresco; 15:00 inizio seminario Biclustering Algorithms for Biomedical Data Analysis SARA C. MADEIRA - Universidade de Lisboa
12/1/15 4:00 PM 15:45 rinfresco, 16:00 inizio seminario Applications of Multispectral Imaging in Cultural Heritage Irina Ciortan - University of Verona
11/26/15 10:00 AM 09:45 rinfresco, 10:00 inizio seminario Advanced Models for Diffusion Imaging and Tractography Flavio Dell'Acqua - King's College London
11/26/15 11:00 AM aula riunioni primo piano Transport equations in evolutionary domains Francesco Salvarani - Università di Pavia
11/11/15 5:00 PM 16:45 rinfresco; 17:00 inizio seminario Isogeometric Analysis Simulation of Particle Accelerator Cavities Carlo de Falco - Politecnico di Milano
10/29/15 4:30 PM 16:15 rinfresco; 16:30 inizio seminario Symmetries and stochastic differential equations. Sergio Albeverio - University of Bonn
10/26/15 4:00 PM 15:45 rinfresco; 16:00 inizio seminario Segnali bioelettrici cerebrali in ambienti estremi Lucio Pastena, Melucci Massimo - Università La Sapienza, Roma
10/12/15 4:30 PM 16:15 rinfresco; 16:30 inizio seminario Some geometric and hydrodynamical aspects of the Schroedinger equation Mauro Spera - Universita' Cattolica del Sacro Cuore, Brescia
9/14/15 11:00 AM 10:45 rinfresco, 11:00 inizio seminario Logic debugging by replacing internal gates with new functions Masahiro Fujita - University of Tokyo
9/7/15 4:00 PM 15:45 rinfresco; 16:00 inizio seminario Extreme Apprenticeship: un nuovo approccio all'insegnamento dell'informatica Gabriella Dodero - Libera Università di Bolzano
7/23/15 5:00 PM 16:45 rinfresco; 17:00 inizio seminario Self-taught Object Localization with Deep Networks Loris Bazzani - Dartmouth College
7/7/15 5:00 PM 16:45 rinfresco; 17:00 inizio seminario Reading the face for weight gain assessment. Maria Antonietta Pascali - Signals & Images lab, ISTI CNR Pisa
6/16/15 5:00 PM 16:45 rinfresco, 17:00 inizio seminario Technology-based design of smart systems: how to take into account power, temperature and reliability in a traditional functional design flow Sara Vinco - Politecnico di Torino
6/8/15 5:00 PM 16:45 rinfresco, 17:00 inizio seminario Satisfaction Guaranteed or your Money Back Nachum Dershowitz - Tel Aviv University
5/26/15 5:00 PM 16:45 rinfresco, 17:00 inizio seminario Toward understandable co-simulations in model driven engineering Julien DeAntoni - INRIA Sophia Antipolis Méditerranée
5/12/15 5:00 PM 16:45 rinfresco, 17:00 inizio seminario Machine learning in medical imaging Marleen de Bruijne - University Medical Center Rotterdam
5/4/15 5:00 PM 16:45 rinfresco, 17:00 inizio seminario Functional Maps: A Flexible Representation of Maps (with Applications) Maks Ovsjanikov - Ecole Polytechnique
4/28/15 5:00 PM 16:45 rinfresco, 17:00 inizio seminario Merits and pitfalls of splitting methods Alexander Ostermann - University of Innsbruck, Austria
3/26/15 2:30 PM 14:15 rinfresco; 14:30 inizio seminario Gestural Interaction Techniques, applications and interaction problems Lucio Davide Spano - Universita' di Cagliari
3/18/15 3:30 PM 15:15 rinfresco; 15:30 inizio seminario Higher Frobenius-Schur Indicators in Group-Theoretical Fusion Categories Peter Schauenburg - Institut de Mathématiques de Bourgogne
3/5/15 11:00 AM Aula H Production theory and Zonotopes: accounting for firm heterogeneity and technical change. Simona Settepanella - Hokkaido University, Sapporo, Japan
2/18/15 3:30 PM 15:15 rinfresco; 15:30 inizio seminario Perché al tempo di Tolomeo la Terra si rimpicciolì? Lucio Russo - Universita' di Roma Tor Vergata
1/16/15 10:00 AM Aula I Challenges and Methodologies for the Next Generation of Heterogeneous SoC - The Embedded Scalable Platform Vision. Giuseppe Di Guglielmo - Columbia University, New York
12/1/14 5:00 PM 16:45 rinfresco; 17:00 inizio seminario ROVINA: Robots for the Exploration, Digital Preservation and Visualization of Archaeological Sites Vittorio Amos Ziparo - -- Algorithmica s.r.l. (http://algorithmica.it/people/1?locale=en)
10/16/14 5:00 PM 16:45 rinfresco; 17:00 inizio seminario General and efficient SAT-based ATPG framework for multiple various faults and its application to partial logic and system synthesis Masahiro Fujita - Graduate School of Engineering, The University of Tokyo
9/25/14 3:00 PM 14:45 rinfresco; 15:00 inizio seminario Aspetti algebrici, analitici e logico-informatici della teoria degli automi cellulari sui gruppi. Tullio Ceccherini Silberstein - Università del Sannio
7/3/14 3:00 PM 14:45 rinfresco; 15:00 inizio seminario Utility indifference valuation for non-smooth payoffs with an application to power derivatives Luciano Campi - London School of Economics, London
5/15/14 5:00 PM 16:45 rinfresco; 17:00 inizio seminario Power management techniques for autonomous WSN Alain Pegatoquet - University Institute of Technology, Nice
5/14/14 4:30 PM 16:15 rinfresco; 16:30 inizio seminario High Throughput Unsupervised Genetic Sequence Analysis Daniel Boley - University of Minnesota
5/5/14 5:00 PM 16:45 rinfresco; 17:00 inizio seminario Equazione di flusso gradiente per un'approssimazione del funzionale di Willmore in un modello per l'evoluzione di membrane Pierluigi Colli - Universita' di Pavia
4/29/14 4:30 PM 16:15 rinfresco; 16:30 inizio seminario First Approaches to the incorporation of Human Factors in Teleoperation of Robots. Franco Penizzotto - Universidad Nacional de San Juan, Argentina
4/9/14 5:00 PM 16:45 rinfresco; 17:00 inizio seminario Stochastic Differential Delay Systems and Optimal Control Problems Lucian Maticiuc - "G. Asachi" Technical University, Romania
3/25/14 5:00 PM 16:45 rinfresco; 17:00 inizio seminario Biaxiality in the Landau-de Gennes model for liquid crystals. Giacomo Canevari - Universite' Pierre et Marie Curie, Paris
3/14/14 3:00 PM 14:45 rinfresco; 15:00 inizio seminario Homo loquens: from Bayes to self-consciousness F.Tito Arecchi - Università di Firenze e INO:CNR, Firenze
3/10/14 5:00 PM 16:45 rinfresco; 17:00 inizio seminario From integrals and asymptotics to (deterministic,stochastic,quantum) dynamical systems Sergio Albeverio - Bonn University
2/25/14 5:00 PM 16:45 rinfresco; 17:00 inizio seminario Modellizzazione quantitativa di strumenti finanziari derivativi Matteo Tesser - Fairmat Srl
2/3/14 5:00 PM 16:45 rinfresco; 17:00 inizio seminario Computer analysis of human behavior Albert Ali Salah - Bogazici University, Istanbul
1/24/14 11:00 AM 10:45 rinfresco; 11:00 inizio seminario La realizzazione fisica di computer quantistici David Vitali - Università di Camerino
1/23/14 5:00 PM 16:45 rinfresco; 17:00 inizio seminario A class of degenerate parabolic equations with saturation mechanisms Juan Calvo Yague - Universitat Pompeu Fabra, Barcelona
1/15/14 2:00 PM 13:45 rinfresco; 14:00 inizio seminario Wedderga: A package to compute the Wedderburn decomposition of semisimple group algebras. Angel del Rio Mateos - Universidad de Murcia, Spain
12/9/13 5:00 PM 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario Minimal Forbidden Words and Applications Gabriele Fici - Universita' di Palermo
11/19/13 5:00 PM 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario SMT-based verification of hybrid systems Sergio Mover - Fondazione Bruno Kessler - Trento
11/14/13 5:30 PM 5:15 p.m. rinfresco; 5:30 p.m. inizio seminario Long time behaviour for nonnegative solutions of degenerate/singular parabolic equations Vincenzo Vespri - Universita' di Firenze
10/28/13 4:30 PM 4:15 p.m. rinfresco; 4:30 p.m. inizio seminario Noether's Theorem Peter Leach - University of KwaZulu-Natal, Republic of South Africa
10/23/13 5:00 PM 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario Pattern Analysis and Computer Vision @ IIT: an overview of four year of research and beyond Vittorio Murino - Universita' di Verona
10/10/13 2:30 PM 2:45 p.m rinfresco; 2:30 p.m inizio seminario Thou Shalt is not You Will Guido Governatori - Queensland University of Technology, Australia
7/3/13 11:00 AM 10:45 a.m. rinfresco; 11:00 a.m. inizio seminario Risk measures for multivariate risks Birgit Rudloff - Princeton University
6/25/13 4:30 PM 4:15 p.m. rinfresco; 4:30 p.m. inizio seminario Introduction and recent advances on the dynamic controllability of STNUs Luke Hunsberger - Vassar College (USA)
6/6/13 4:00 PM 3:45 p.m rinfresco; 4:00 p.m inizio seminario The First Lyapunov Method for Strongly Non-Linear Systems of Differential Equations Stanislav Furta - Higher School for Finances and Management, Moscow
6/4/13 5:00 PM 4:45 p.m rinfresco; 5:00 p.m inizio seminario Majorities, Secrecies and Sparsities: the many facets of group testing. Ferdinando Cicalese - Universita' di Salerno
5/28/13 2:30 PM 2:15 p.m. rinfresco; 2:30 p.m. inizio seminario On the provable security of block ciphers from their components Massimilano Sala - Universita' di Trento
5/14/13 5:00 PM 4:45 p.m rinfresco; 5:00 p.m inizio seminario A symbolic approach to the control design of cyber-physical systems. Giordano Pola - Universita' dell''Aquila
5/6/13 4:00 PM 3:45 p.m rinfresco; 4:00 p.m inizio seminario Backward Stochastic Differential Equations with Lévy Noise in Finance Dott.ssa Elena Scandola - Cassa Centrale Banca, Trento
4/30/13 4:30 PM 4:15 p.m rinfresco; 4:30 p.m inizio seminario Big Data and Cloud Computing: (Quick) Overview and Open Issues Dott. Pietro Michiardi - Eurecom, Sophia Antipolis
4/9/13 4:00 PM 3:45 p.m rinfresco; 4:00 p.m inizio seminario Portfolio optimization in a defaultable market under incomplete information Dott.ssa Giorgia Callegaro - Universita' di Padova
3/5/13 5:30 PM 5:15 p.m rinfresco; 5:30 p.m inizio seminario Biological Grammars and Genomic Dictionaries: 11 Years of research in Verona Prof. Vincenzo Manca - Università di Verona
12/11/12 4:15 PM 4:00 p.m. rinfresco, 4:15 p.m. inizio seminario Cryptography the Quantum Way: ieri, oggi, domani Andrea Pasquinucci - UCCI.IT
11/26/12 5:15 PM 5:00 p.m. rinfresco; 5:15 p.m. inizio seminario The blue area requires more than one basic colour term in Italian Prof. Galina V. Paramei - Liverpool Hope University, UK
11/21/12 4:00 PM 3.45 p.m. rinfresco; 4.00 p.m. inizio seminario Quantum Computing: dalla fisica ai sistemi computazionali Prof. Andrea Masini - Università di Verona
11/20/12 5:00 PM 4:45 p.m rinfresco; 5:00 p.m inizio seminario -- Sala Verde How patents are different from papers and how they can be useful for start-ups Prof. Andre Reis - UFRGS, Brazil
11/13/12 4:45 PM 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario -- Sala Verde Unification in Blind Signatures Dr. Serdar Erbatur - INRIA, Nancy
11/5/12 4:00 PM 3.45 p.m rinfresco; 4.00 p.m inizio seminario -- Sala Verde MADMASS: Massively Distributed Multi Agent System Simulator Dr. Vittorio Amos Ziparo - R&D Lab of Algorithmica Srl
10/16/12 4:15 PM 4:15 p.m. rinfresco; 4:30 p.m. inizio seminario. Limits in High Dynamic Range acquisition as founding principles for vision and image processing Alessandro Rizzi - Dipartimento di Informatica -- Università degli Studi di Milano
10/12/12 4:00 PM 3:45 pm rinfresco; 4:00 pm inizio seminario. SAT-based automatic rectification and debugging of combinational circuits with LUT insertions Masahiro Fujita - VLSI Design & Education Center, University of Tokyo
9/25/12 4:45 PM 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario -- Sala Verde Multiple Kernel Learning Algorithms and An Efficient Bayesian Formulation Mehmet Gönen - Helsinki Institute for Information Technology HIIT
9/11/12 4:45 PM 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario -- Sala Verde 2012 Robotics Activities at JPL Richard Volpe - Jet Propulsion Laboratory, California Institute of Technology
9/3/12 11:15 AM 11:15 rinfresco; 11:30 inizio seminario -- Sala Verde System- versus RT-Level Verification of Systems-on-Chip by Compositional Path Predicate Abstraction Prof. Wolfgang Kunz - Dept. of Electrical & Computer Engineering Technische Universität Kaiserslautern
8/31/12 10:00 AM Seminario sulla robotica spaziale in sala verde Kazuya Yoshida - Tohoku University, Sendai Japan
7/10/12 4:45 PM 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario. -- Sala Verde Elders living alone, dementia and Case-based Reasoning Jose M. Juarez - Dpto. Ingenieria Informacion y Comunicaciones Facultad de Informatica Universidad de Murcia
6/13/12 4:45 PM 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario -- Sala Verde Large scale bilinear modelling with missing data in Computer Vision, Image Processing and Machine Learning Dr. Alessio Del Bue - Istituto Italiano di Tecnologia (IIT)
6/11/12 2:30 PM 2:15 p.m. rinfresco; 2:30 inizio seminario -- Sala Verde Formal Methods for the Security of the Internet of Services Luca Vigano' - Universita' degli Studi di Verona
6/5/12 5:00 PM 4:45 pm rinfresco; 5:00 pm inizio seminario -- Sala Verde. The VisCoSo Project: Detection of Crisis in Socio-Material Systems on Visual-Cognitive-Social Processes Dr.ssa Roberta Ferrario - ISTC-CNR
5/28/12 2:30 PM Aula didattica E (Piano terra, Ca' Vignal 1) What is new about chaotic attractors Maria José Pacifico - Instituto de Matemàtica, UFRJ (Universidade Federal do Rio de Janeiro)
5/22/12 5:00 PM 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario -- Sala Verde Game Theory in Computer Vision and Pattern Recognition Andrea Torsello - Ca' Foscari University of Venice
5/15/12 4:45 PM 4:45 pm rinfresco; 5:00 pm inizio seminario. Wavelet analysis on the 2-sphere and related manifolds Jean-Pierre Antoine - Institut de Recherche en Mathématique et Physique, Université catholique de Louvain, Belgium
5/3/12 10:00 AM 9:45 am rinfresco; 10:00 am inizio seminario. Extraction of emotional impact in colour images Prof. Christine Fernandez-Maloigne - Université de Poitiers
5/2/12 4:45 PM 4:45 pm rinfresco; 5:00 pm inizio seminario. Challenging Semi-Supervised Learning Marco Loog - Delft University of Technology
4/17/12 4:30 PM 4:30 pm rinfresco; 4:45 pm inizio seminario. Semantics-Preserving Design of Embedded Control Software from Synchronous Models Leonardo Mageruca - ALES srl
4/12/12 4:45 PM 4:45 pm rinfresco; 5:00 pm inizio seminario. Organic Electronics and Emerging Technologies: Physics, Applications and Challenges Fabrizio Torricelli - Eindhoven University of Technology, The Netherlands
4/3/12 4:45 PM 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario. Image enhancing colour2grey and n-to-1 channel transformation. Roberto Montagna - School of Computing Sciences - University of East Anglia - Norwich, UK
3/20/12 4:45 PM 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario. Fourier Transforms and Spectral Analysis of Power Signals Dr. Giorgio Casinovi - Georgia Institute of Technology
3/8/12 4:15 PM 4:15 p.m. rinfresco; 4:30 p.m. inizio seminario. System-Level Design Methods for Heterogeneous SoC Platforms Prof. Luca Carloni - Columbia University
2/8/12 2:45 PM 14:45 rinfresco; 15:00 inizio seminario. Computational technology for behavior analysis: from behavioral sciences to neuroimaging studies Prof. Vittorio Murino
1/30/12 4:45 PM 16:45 rinfresco; 17:00 inizio seminario. Existence of maximizing measures for non-compact transitive Markov shifts Dr. Ricardo dos Santos Freire - Universidade de Sao Paulo, Brasile.
1/24/12 4:45 PM 16:45 rinfresco; 17:00 inizio seminario. Recent Advances in Multi-Agent Systems: decentralised coordination for situated agents Alessandro Farinelli - Università di Verona
1/12/12 4:45 PM 16:45 rinfresco; 17:00 inizio seminario. Magic Loops in Simple Temporal Networks with Uncertainty Luke Hunsberger - Vassar College, USA
12/13/11 4:45 PM 16:45 rinfresco; 17:00 inizio seminario. Algorithms and tools for life sciences Rosalba Giugno - Università di Catania
12/7/11 5:00 PM 17:00 rinfresco, 17:15 inizio seminario Contextual Personalization and Intensional Query Answering in Data Management Elisa Quintarelli - Politecnico di Milano
12/1/11 4:45 PM 16:45 rinfresco; 17:00 inizio seminario. A short walk through interval temporal logics Angelo Montanari - Università di Udine
11/29/11 3:45 PM 15:45 rinfresco; 16:00 inizio seminario. Andrea Centazzo multimedia concert: a multi-dimensional experience Andrea Centazzo
11/24/11 4:45 PM 16:45 rinfresco; 17:00 inizio seminario. Similarity learning in Internet vision Prof. Michael Bronstein - Università della Svizzera Italiana
11/8/11 4:45 PM Spostato in Aula A; 16:45 rinfresco; ore 17:00 inizio seminario The Three Steps of Clustering in the Post-Genomic Era Prof. Raffaele Giancarlo - University of Palermo
11/3/11 4:30 PM 16:30 inizio seminario A Rooted Tableau for BCTL* John McCabe-Dansted - University of Western Australia
10/6/11 4:45 PM 16:45 rinfresco; ore 17:00 inizio seminario Combinatorial Search Algorithms for Function Evaluation Ferdinando Cicalese - Università degli Studi di Salerno
9/27/11 3:30 PM 15:30 inizio prima parte seminario; 16:15 rinfresco; 16:30 inizio seconda parte Imaging the Social Brain by Simultaneous Hyperscanning During Subject Interaction Prof. Fabio Babiloni - University of Rome Sapienza
9/26/11 3:45 PM 15:45 rinfresco; ore 16:00 inizio seminario Cycle Bases in Graphs Romeo Rizzi - Universita' degli studi di Udine
9/19/11 4:15 PM 16:15 rinfresco; ore 16:30 inizio seminario Tradeoff between Performance and Security Alessandro Aldini - Universita' di Urbino "Carlo Bo"
9/1/11 4:45 PM 16:45 rinfresco; ore 17:00 inizio seminario Orchestrating Decision Engines Leonardo de Moura - Microsoft Research, Redmond
8/31/11 4:45 PM 16:45 rinfresco; ore 17:00 inizio seminario Formal Methods at Rockwell Collins Michael Dierkes - Rockwell Collins France
7/18/11 10:15 AM 10:15 rinfresco; 10:30 inizio seminario An Energy-Efficient Patchable Accelerator For Post-Silicon Engineering Change and Debugging Prof. Masahiro Fujita - University of Tokyo - VLSI Design and Education Center (VDEC)
5/26/11 10:15 AM 10:15 rinfresco; ore 10:30 inizio seminario FPGA based acceleration of pattern matching, scientific computing and verification of large LSI chips Prof. Masahiro Fujita - University of Tokio
5/17/11 4:45 PM 16:45 rinfresco; ore 17:00 inizio seminario Distributed Optimization to assess and bound coordinated actions in Multi-Agent Systems Meritxell Vinyals - IIIA Spain
4/27/11 2:00 PM Evolutionary Robotics: Behaviour and Cognition as Complex Adaptive Systems Dr. Stefano Nolfi - ISTC-CNR
4/13/11 4:45 PM 16:45 rinfresco, 17:00 inizio seminario Self-modification and dynamic behavior analysis Jean-Yves Marion - LORIA -- Francia
4/11/11 2:45 PM ore 14:45 rinfresco, ore 15:00 inizio seminario Cortical surface organization and implications on inter-subject matching Dr. Olivier Coulon - CNRS - ESIL, France
4/4/11 4:45 PM Aula B, Ca'Vignal 1 -- 16:45 rinfresco, 17:00 inizio seminario Bayesian methods for functional genomics Fulvia Ferrazzi - Gene Center, LMU, Monaco
3/15/11 4:45 PM 16:45 rinfresco, ore 17:00 inizio seminario On molecules, strings, and coins: Some applications of string combinatorics in computational biology. Dr. Zsuzsanna Lipták - AG Genominformatik, Universitaet Bielefeld, Germany
3/1/11 4:45 PM ore 16.45 rinfresco, ore 17.00 inizio seminario A Mass Driven Flow for Chains Using Time Discretization Prof. Robert Hardt - Rice University
2/28/11 4:15 PM ore 16.15 rinfresco, ore 16.30 inizio seminario L’etica al tempo dei robot Prof. Giuseppe O. Longo - Università di Trieste
2/2/11 5:15 PM 17:15 caffè e pasticcini, ore 17:30 inizio seminario Deduction Based Question Answering and its Application Ulrich Furbach
1/27/11 3:45 PM 15:45 caffè e pasticcini, ore 16:00 inizio seminario -- Aula F, Ca' Vignal 1 Calendars from Mesopotamia to the Maya to Mars Nachum Dershowitz
1/17/11 3:45 PM 15:45 caffè e pasticcini, ore 16:00 inizio seminario -- Aula E, Ca' Vignal 1 Sistemi dinamici isocroni, la freccia del tempo e la distinzione fra comportamento “caotico” ed “integrabile” Francesco Calogero
12/14/10 4:45 PM 16:45 caffe' e pasticcini; 17:00 inizio seminario Imaging and cognition: towards a unified vision Gloria Menegaz
11/23/10 4:45 PM Weak instability and isochrony for Hamiltonian systems Gaetano Zampieri
11/9/10 4:45 PM Merging Business Process Models Marcello La Rosa
11/2/10 4:45 PM Local Reasoning and Dynamic Framing for the Composite Pattern and its Clients Anindya Banerjee
10/19/10 5:00 PM Analisi concettuale delle informazioni. Dalla teoria all’implementazione Piero Pagliari
9/29/10 4:45 PM 16.45 caffe' e pasticcini, ore 17 inizio seminario Discrete models for biological dynamics Giuditta Franco - Università degli Studi di Verona
9/21/10 4:45 PM Ore 16.45 caffe' e pasticcini, ore 17 inizio seminario Symbol Elimination and Interpolation Laura Kovacs - Technische Universitat Wien (TU Wien)
6/1/10 4:45 PM 16.45 caffe' e pasticcini, ore 17 inizio seminario Gli approcci sistemistici alla biologia molecolare cellulare Lorenzo Farina - Universita' La Sapienza, Roma
5/18/10 4:45 PM Ore 16.45 caffe' e pasticcini, ore 17 inizio seminario Technology Mapping with Choices, Priority Cuts, and Placement-Aware Heuristics Alan Mishchenko - Dept. of EECS, University of California, Berkeley, USA
3/16/10 4:45 PM Ore 16.45 caffe' e pasticcini, ore 17 inizio seminario Un viaggio dentro ICC Margherita Zorzi - Università degli Studi di Verona
3/4/10 4:15 PM Ore 16.15 caffe' e pasticcini, ore 16.30 inizio seminario Edge directed image upscaling / Whole body scanner data processing Andrea Giachetti - Università degli Studi di Verona
12/16/09 4:15 PM 16.15 caffe' e pasticcini, ore 16.30 inizio seminario Reliable shape-based recognition of objects in images John Oliensis - Department of Computer Science, Stevens Institute of Technology, NJ, US
12/1/09 4:45 PM Ore 16.45 caffe' e pasticcini, ore 17 inizio seminario Performance Evaluation of Overlay Content Distribution Systems Damiano Carra - Università degli Studi di Verona
11/17/09 4:45 PM Ore 16.45 caffe' e pasticcini, ore 17 inizio seminario Riconoscimento automatico del parlato, Sintesi della voce e Animazione Facciale Piero Cosi - Università degli Studi di Padova
11/3/09 4:45 PM Ore 16.45 caffè e pasticcini, ore 17 inizio seminario Progettazione concettuale e controllabilità di workflow temporali Carlo Combi - Università degli Studi di Verona
10/20/09 4:45 PM Ore 16.45 caffè e pasticcini, ore 17 seminario Bioinformatics tools for mass spectrometry-based proteomics Luca Bianco - Bioinformatics Group, School of Health, Cranfield University, UK
10/6/09 4:45 PM ore 16.45 caffè e pasticcini, ore 17 inizio seminario ShapeGoogle: geometric words and expressions for invariant shape retrieval Alex Bronstein - Department of Computer Science, Technion, Israel
9/23/09 4:45 PM ore 16.45 caffe' e pasticcini, ore 17 inizio seminario Verso la validazione automatica della sicurezza delle architetture orientate ai servizi Luca Vigano' - Università degli Studi di Verona
9/8/09 4:00 PM Ore 16 caffe' e pasticcini, ore 16.15 inizio seminario Trasformatori di completezza e Non-Interferenza astratta: Nuovi approcci per l'analisi dei Programmi Isabella Mastroeni - Università degli Studi di Verona
6/9/09 5:15 PM ore 17.15 caffè e pasticcini, ore 17.30 inizio seminario Overview on Evolutionary Techniques – State-of-the-Art, Potentialities, and Current Trends A. Massa - University of Trento
5/26/09 5:00 PM Caffe' e pasticcini ore 17, inizio seminario ore 17.15 Combinatorial Models for DNA Rearrangements in Ciliates Angela Angeleska - University of South Florida
5/19/09 4:15 PM Ore 16.15 caffè e pasticcini, ore 16.30 inizio seminario Decision procedures with unsound theorem proving for software verification Prof.ssa Maria Paola Bonacina - Dipartimento di Informatica, Universita` degli Studi di Verona
5/12/09 4:15 PM 16.15 caffe' e pasticcini, ore 16.30 inizio seminario Apologia della ricerca fondamentale: dai fondamenti della meccanica quantistica ai sistemi dinamici, e alle forze dovute ai corpi lontani in elettrodinamica (Wheeler e Feynman) e in gravitazione, con applicazione alla materia oscura. Luigi Galgani - Universita' di Milano
5/5/09 5:00 PM Ore 17 caffe' e pasticcini, ore 17.15 inizio seminario From geometric logic to algebraic geometry Peter Schuster - Mathematisches Institut, Universitaet Muenchen / Dipartimento di Filosofia, Universita' degli Studi di Firenze
4/21/09 4:00 PM 16.00 inizio seminario, caffe' e pasticcini al termine Join differential invariants for 3D face recognition Marinella Cadoni - Università di Sassari
4/16/09 11:15 AM 11.15 caffé e pasticcini, ora 11.30 inizio seminario. Eyes-free methods for accessing large auditory menus Tapio Lokki - Department of Media Technology at the Helsinki University of Technology
4/7/09 4:15 PM Ore 16.15 caffé e pasticcini, ore 16.30 inizio seminario. The mathematics of cancer: modelling and simulation in cancer research Andrea Sottoriva - University of Cambridge, Cancer Research UK Cambridge Research Insititute
3/31/09 4:15 PM Ore 16.15 caffe' e pasticcini, ore 16.30 inizio seminario Perspectives on Computational Structural/Molecular Systems Biology Alejandro Giorgetti - Università degli Studi di Verona
3/24/09 4:15 PM caffè e pasticcini alle 16.15, inizio seminario ore 16.30 Un risultato di simmetria per il funzionale di Ginzburg-Landau Adriano Pisante - Univ. Roma "La Sapienza"
3/16/09 2:15 PM 14.15 caffè e pasticcini, inizio seminario ore 14.30 Interpretation of NMR spectroscopy - Intermediate Representation and Bag Of Peaks Gavin Brelstaff - CRS4 - Cagliari (Italy)
3/3/09 4:15 PM ore 16.15 caffè e pasticcini, inizio seminario ore 16.30 L'organizzazione del cervello umano: geni, esperienza e caso Prof. Giovanni Berlucchi - Università degli Studi di Verona
2/24/09 5:15 PM Ore17.15 caffe' e pasticcini - inizio seminario ore 17.30 Human-centered Computing: Challenges and Perspectives Prof. Nicu Sebe - Faculty of Cognitive Sciences, University of Trento
2/11/09 4:15 PM 16.15 caffè e pasticcini, inizio seminario ore 16.30 Variograms: Taboos, Conjectures and Facts Dr. Emilio Porcu - Università Jaune I of Castellòn.
2/10/09 4:45 PM 16.45 caffè e pasticcini, inizio seminario ore 17.00 Algoritmi metabolici e problemi di biologia sintetica Prof. Vincenzo Manca - Università degli Studi di verona
1/27/09 4:15 PM Ore 16.15 caffe' e pasticcini - ore 16.30 inizio seminario Simulazioni di mercati finanziari Vincenzo Vespri - Universita' di Firenze
1/20/09 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Qualitative properties of positive solutions of quasilinear elliptic equations in unbounded domains Berardino Sciunzi - Università della Calabria, Arcavacata di Rende, Cosenza
1/13/09 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15 - Ca' Vignal 1, aula A Equazioni di tipo p-laplaciano con pesi singolari Raffaella Servadei - Università della Calabria, Arcavacata di Rende, Cosenza
1/12/09 4:15 PM Ore 16.15 caffe' e pasticcini - ore 16.30 inizio seminario Managing Variability in Process-Aware Information Systems Marcello La Rosa - Faculty of Information Technology, Queensland University of Technology
12/9/08 4:30 PM Caffe' e pasticcini ore 16.15 On the theorem prover PML Dr Christophe Raffalli - Departement de Mathematique, Universite de Savoie
12/4/08 4:30 PM Caffe' e pasticcini alle 16.15 Restriction categories and the semantics of partiality Prof. Robin Cockett - Department of Computer Science, University of Calgary
11/11/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Funzioni zeta, zeta determinanti e tecniche di zeta regolarizzazione in fisica quantistica Mauro Spreafico - Dipartimento di matematica, ICMC Universit`a di San Paolo, San Carlos, Brasile.
11/4/08 4:15 PM Sistemi complessi e ottica coerente: dalla Fisica fondamentale alle ricadute applicative Stefania Residori - Direttore di Ricerca del CNRS presso l'Istituto Non Lineare di Nizza
10/28/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. The role of discrete group theory in the study of the Nonlinear Schrödinger Equation: from discrete vortices to nonlinear singular optics Miguel Angel García March - Universitat Politécnica de Valencia
10/14/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Open issues in Modelling and Control of Distributed Systems Marta Capiluppi - Universita' di Siena
9/30/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Automated Validation of Trust and Security of Service-Oriented Architectures: how we found a vulnerability in the SAML-based Single Sign-On Protocol for Google Applications Luca Viganò - Dipartimento di Informatica, Università di Verona
9/23/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Decentralised Coordination of Robotic Agents Using the Max-Sum Algorithm Alessandro Farinelli - Dept. of Electronic and Computer Science, University of Southampton
9/16/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Static analysis by abstract interpretation of properties of imperfectly-clocked synchronous systems Julien Bertrane - ENS Parigi
9/12/08 2:15 PM Inizio alle 14:30, Caffè e biscotti alle 14:15. Formal Verification for RTL and TLM Designs JiNian Bian - Dept of Computer Science and Technology, Tsinghua University, Beijing, P. R. China
9/9/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Distributed computation on collaborative mobile networks Luca Geretti - Univ. di Udine
7/23/08 9:45 AM Beginning at 10:00am, Coffee and biscuits at 9:45am. Evolutionary analysis of numerical characters Miklós Csürös - University of Montréal, Canada
6/24/08 5:00 PM Inizio alle 17:15, caffé e biscotti alle 17:00. Metodi fisico-matematici per la soluzione dell'equazione di Gross-Pitaevskii Luca Salasnich - CNISM and CNR-INFM, Dipartimento di Fisica, Università di Padova
6/18/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Natural Computing and Bioinformatics Francesco Masulli - Dipartimento di Informatica e Scienze dell'Informazione – Università di Genova
6/17/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Automated Reasoning for Software Verification Viktor Kuncak - School of Computer and Communication Sciences Ecole Polytechnique Federale de Lausanne
6/16/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Soluzioni Algoritmiche e Modelli Matematici per problematiche in Bioinformatica. Romeo Rizzi - Dipartimento di Matematica ed Informatica (DIMI), University of Udine
6/11/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Modeling the genome-wide transient response to stimuli in yeast: adaptation through integral feedback Claudio Altafini - SISSA-ISAS International School for Advanced Studies, Trieste
6/10/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Zeta-determinanti per successioni di tipo spettrale, ed una generalizzazione della prima formula limite di Kronecker Mauro Spreafico - Universidade de Sao Carlos (SP), Brasile, e Università di Trento
6/9/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Dati, informazione e conoscenza in bioinformatica Alberto Riva - Department of Molecular Genetics and Microbiology, University of Florida, Gainesville, FL;
6/3/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Processi stocastici di diffusione : due applicazioni alla meccanica quantistica Stefania Ugolini - Dipartimento di Matematica, Università degli studi di Milano
5/27/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Interpretazione probabilistica di un'equazione alle derivate parziali relativa a mezzi porosi irregolari Francesco Russo - Paris 13
5/20/08 4:15 PM Inizio alle 16:30, Caffe' e biscotti alle 16:15. Recent Results on Near Optimal Points for Multivariate Interpolation Len Bos - Calgary
5/13/08 2:30 PM Video Registration and 3D Reconstruction for Deformable Surfaces Adrien Bartoli - LASMEA, University Blaise Pascal, Clermont-Ferrand, France
5/6/08 4:15 PM Inizio alle 16:30, Caffe' e biscotti alle 16:15. Towards a fibrational account of modal logic Kurt Ranalter - Dottorando in cotutela tra la Queen Mary, Università di Londra, e l'Università di Verona.
4/29/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Voronoi diagrams, generalizations, and applications in VLSI manufacturing Evanthia Papadopoulou - IBM T. J. Watson Research Center
4/24/08 10:30 AM Laser-induced crystallization in vanadate glasses Mario Affatigato - Coe College, Iowa, visiting professor at Physics Dep of Trento
4/17/08 4:00 PM Intuizione e dimostrazione nell'insegnamento della geometria dello spazio Claudio Bernardi - Università degli Studi "La Sapienza" di Roma
4/15/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Learning Small Random Networks for Molecule Classification Edmondo Trentin - Dip. Ingegneria dell'Informazione, Università di Siena
4/1/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Il calcolo di funzioni di matrici nell'ambito della risoluzione numerica di problemi stiff Paolo Novati
3/18/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Models and Data in Systems Biology: Discovering Relations among Descriptions of Time-course Micro-array Experiments Marco Antoniotti - DISCo Universita` di Milano Bicocca, Milan, ITALY
3/11/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Superfici di area minima, transizioni di fase, funzionali di Ginzburg-Landau Sisto Baldo - Dip. di Matematica, Università di Trento
3/4/08 4:15 PM Inizio alle 16:30, Caffè e biscotti alle 16:15. Grafi e algebre Lidia Angeleri - Università degli Studi dell'Insubria, Varese
2/19/08 4:15 PM Inizio alle 16:30, Caffe' e biscotti alle 16:15. Teoria del controllo: dalle applicazioni industriali alla regolazione di telescopi per osservazioni astronomiche. Riccardo Muradore - European Southern Observatory (ESO)
2/12/08 4:15 PM Inizio alle 16:30, Caffe' e biscotti alle 16:15. Omogeneizzazione per alcune equazioni di Hamilton-Jacobi con molteplici scale Claudio Marchi - Universita' della Calabria, Cosenza
1/29/08 4:30 PM Inizio alle 16:30, Caffe' e biscotti alle 16:15. Clustering di dati: principi e ricadute in bioinformatica Manuele Bicego - DEIR - University of Sassari
1/22/08 4:45 PM Inizio alle 16:45, Caffe' e biscotti alle 16:30. Formal methods and Systems Biology: the Calculus of Looping Sequences. Paolo Milazzo - Dipartimento di Informatica - Universita' di Pisa
1/8/08 4:30 PM Inizio alle 16:30, Caffe' e biscotti alle 16:15. Genetic Programming for the Automatic Synthesis of Metabolic Pathways Alberto Castellini - Dipartimento di Informatica, Universita' di Verona
12/21/07 10:30 AM Molecular Optical Imaging Techniques for Biomedical Applications Claudio Vinegoni - Massachusetts General Hospital, Harvard Medical School
12/17/07 2:30 PM aula G Information Flow Analysis and Approximate Security Alessandro Aldini - Universita' di Urbino
12/13/07 11:00 AM Visual recognition in primates Tommaso Poggio - Center for biological and computational learning, Massachusetts institute of technology
12/4/07 5:00 PM Inizio alle 17:30, Caffe' e biscotti alle 17:00. Dissipation in contact problems: theory and applications. Maria Grazia Naso - Universita' degli Studi di Brescia
11/27/07 5:00 PM Inizio alle 17:30, Caffe' e biscotti alle 17:00. Cost analysis by approximation of linear operators over dioids David Cachera - ENS Cachan / CNRS
11/20/07 5:00 PM Inizio alle 17:30, Caffe' e biscotti alle 17:00. A Contraction Method to Decide Monadic Second-order Theories of Trees Gabriele Puppis - Dipartimento di Matematica e Informatica, Udine
11/13/07 2:00 PM Multi-core Solutions for Medium to High End Embedded Applications John Ralston - Chief Systems Architect, Digital Systems NCSG Europe, Freescale Semiconductor UK Ltd
10/18/07 5:00 PM Inizio alle 17:30, Caffe' e biscotti alle 17:00. Membrane computing (an introduction): Power and efficiency Gheorghe Paun - Institute of Mathematics of the Romanian Academy
10/16/07 5:00 PM Machine Learning for Hand Prosthetics (and more) Claudio Castellini - Università di Genova
9/27/07 5:00 PM Convolution theory in scale domain and automatic comparisons between representations in different domains Antonio De Sena - Università di Verona
9/25/07 5:00 PM Inizio alle 17:30, Caffe' e biscotti alle 17:00. Classification via classifier ensembles: principles, theory and applications Alessandro Perina - Studente Ph.D. Università di Verona
9/17/07 4:00 PM Specifying and Analyzing Security Automata David Basin - Department of Computer Science, ETH Zurich
7/24/07 5:00 PM Verde (Ciclo SEMDIP) Interfacial patterns in systems with long-range interactions of Coulomb type Cyrill Muratov - New Jersey Institute of Technology
7/11/07 11:00 AM Rinfresco 10.45, inizio seminario 11.00. Tools for Artists - VFX Tool Development at Weta Digital Marco Revelant - Weta Digital
7/10/07 5:00 PM Aula Verde (Ciclo COVAR) Modeling sound gestures in multimodal human-computer interaction. Antonio Rodà - Università di Udine
7/2/07 3:00 PM Verde (Ciclo SEMDIP) Computational Challenges of the Barley Genome Project Stefano Lonardi - University of California, Riverside
7/2/07 5:00 PM Verde (Ciclo COVAR) Geometry and Appearance Modelling from Images Michela Farenzena - Università di Verona
6/27/07 5:00 PM Verde (Ciclo SEMDIP) Q-Calcolo: un lambda calcolo quantistico Margherita Zorzi - Università di Verona
6/26/07 3:15 PM Verde (Ciclo COVAR) Distributed Control Architectures for Modular and Networked Robotic Systems Alberto Turetta - Università di Genova
6/26/07 4:15 PM Verde (Ciclo COVAR) Translating Time-course Gene Expression Profiles into Semi-Algebraic Hybrid Automata Alberto Casagrande - Università di Udine
6/26/07 5:15 PM Verde (Ciclo COVAR) From Bioinformatics and Engineering to Systems Biology Elisa Ficarra - Politecnico di Torino
6/25/07 5:00 PM Verde (Ciclo COVAR) Statistical generative modelling of audio-video sequences for scene analysis Marco Cristani - Università di Verona
6/19/07 3:15 PM Aula L (Ciclo COVAR) Pattern Recognition: concetti generali e applicazioni in Bioinformatica Bicego Manuele
6/19/07 4:15 PM Aula L (Ciclo COVAR) On the use of physical modeling and machine learning methods in sound and voice synthesis Drioli Carlo
6/19/07 5:15 PM Aula L (Ciclo COVAR) Automatic Analysis of Retinal Images Grisan Enrico
6/12/07 3:15 PM Sala Verde (Ciclo COVAR) From Conventional Biology to Computational Biology: recent problems on sequences and structures Matteo Comin
6/12/07 4:15 PM Sala Verde (Ciclo COVAR) Task plannning and execution in variable environments Debora Botturi
6/12/07 5:00 PM Inizio alle 17:00, breve rinfresco al termine. Simulazione numerica dei fenomeni di segregazione spaziale per alcuni sistemi di competizione-diffusione Simone Zuccher - Collaboratore Università di Verona
5/29/07 5:00 PM Inizio alle 17:30, Caffè, te e biscotti alle 17. Opti-Acoustic Stereo Imaging; New Paradigm for Underwater 3-D Target Mapping Shahriar Negahdaripour - Underwater Vision & Imaging Lab, University of Miami
5/24/07 10:00 AM User, design and interaction Charlotte Magnusson - Department of Design Sciences, Lund University
5/22/07 2:30 PM Approximation in metric spaces and fractals Claudio Bonanno - Dipartimento di Matematica Applicata, Università di Pisa
5/8/07 5:00 PM Inizio alle 17:30, Caffè, te e biscotti alle 17. Hierarchical and modular reasoning in complex theories Viorica Sofronie - Max Planck Institut fuer Informatik, Saarbruecken
3/30/07 3:30 PM Inizio alle 16:00. Caffè, tè e biscotti dalle 15:30 Threading Software Watermarks Jasvir Nagra - Università di Trento
3/20/07 5:00 PM inizio alle 17:30. Alle 17.00 caffe', te` e biscotti Pictorial Query Specification for Browsing Through Spatially-Referenced Image Databases Hanan Samet - Department of Computer Science, University of Maryland
3/12/07 4:30 PM inizio alle 17:00. Alle 16:30 caffe', te' e biscotti Enabling Dynamic Resource Management for Multi-Processor Systems-on-Chips Salvatore Carta - Dipartimento di Informatica, Università di Cagliari
2/19/07 5:00 PM Inizio alle 17:30, Caffè, te e biscotti alle 17. Static analysis of Concurrent Programs: A geometric approach, and perspectives Eric Goubault - Département d'Informatique de l'École normale supérieure
2/13/07 5:00 PM Inizio alle 17:30, Caffè, te e biscotti alle 17. From single molecule study to clinical functional genomics and Systems Biology Elisa Ficarra - Politecnico di Torino
2/5/07 4:30 PM inizio ore 17:00. Te, caffe e biscotti dalle 16:30 Denotational Paradigms for Programming Languages Luca Paolini - Dipartimento di informatica, Università di Torino
1/23/07 2:30 PM inizio ore 15. te, caffe e biscotti dalle 14:30 EEG signal analysis in EEG – fMRI coregistration in normal subjects and patients Paolo Manganotti - Dipartimento di scienze neurologiche e della visione, Università di Verona
1/15/07 4:30 PM inizio alle 17:00, caffe & biscotti alle 16:30 Perceptual imaging Gloria Menegaz - Università degli Studi di Siena
1/8/07 4:30 PM Genetic Programming for the Automatic Synthesis of Metabolic Pathways Alberto Castellini - Dipartimento di Informatica, Universita' di Verona
12/19/06 5:00 PM inizio 17:30, caffe & C ore 17:00 Robust Vision Based Manipulation and Navigation for Home Service Robots Sukhan Lee - School of Information and Communication Engineering, Sungkyunkwan University
12/12/06 5:00 PM inizio alle17:30. Te', caffe', biscotti alle 17:00 Energy and Thermal Awareness in Networked Embedded Systems Andrea Acquaviva - University of Urbino "Carlo Bo" - Italy
11/29/06 2:30 PM inizio alle15:00. Te', caffe', biscotti alle 14:30 Elaborazione di immagini in medicina e simulazione in realtà virtuale Andrea Giachetti - Università degli Studi di Verona
11/21/06 5:30 PM caffè, tè & C. ore 17.00 Decision procedures for verification of computer systems Dr. Calogero G. Zarba - REACT Group, Universitaet des Saarlandes
11/7/06 5:30 PM caffè, tè & C. ore 17.00 Hybrid Automata: Introduction, First-Order Approach, and Approximation Techniques Alberto Casagrande - Dipartimento di Matematica e Informatica (Università di Udine)
10/24/06 5:30 PM caffè, tè & C. ore 17.00 Una breve introduzione alle logiche temporali ad intervalli Davide Bresolin - Dipartimento di Matematica e Informatica, Università di Udine
9/21/06 5:30 PM caffè, tè & C. ore 17.00 Software Watermarking: State of the Art and Future Directions Dr. Christian Collberg - Department of Computer Science, University of Arizona
9/19/06 5:30 PM caffè, tè & C. ore 17.00 Computation of the PageRank vector for web search Prof. Claude Brezinski - Lille (France)
9/5/06 5:30 PM caffè, tè & C. ore 17.00 (Iper)interpolazione su domini bivariati dott. Marco Caliari - Universita' degli Studi di Padova
7/4/06 5:30 PM caffè, tè & C. ore 17.00 Mean Shift: theory and applications Marco Cristani - Università di Verona
6/20/06 5:30 PM caffè, tè & C. ore 17.00 Il Tempo nei sistemi di calcolo bio-ispirati basati su Membrane Prof. Claudio Ferretti - (Dipartimento di Informatica, Sistem., Comunicazione - Università di Milano-Bicocca
6/13/06 5:30 PM caffè, tè & C. ore 17.00 Behavioral Development for a Humanoid Robot: Towards Life-long human-robot partnerships Prof. Ronald C. Arkin - Georgia Institute of Technology, Georgia (USA)
6/6/06 5:30 PM caffè, tè & C. ore 17.00 Fun Learning, Robotics for Students, and Multibody Dynamics for Advanced and Rural Industries Prof. S. K. Saha - Dept. of Mech. Engg., IIT Delhi, INDIA
5/30/06 5:30 PM caffè, tè & C. ore 17.00 A linear method for solving non-linear inverse scattering problems of interest in microwave tomography Riccardo Aramini - Dipartimento di Matematica (Università di Trento)
5/9/06 5:30 PM caffè, tè & C. ore 17.00 La struttura matematica nascosta del Codice Genetico Dr. Diego L. Gonzalez - FSSG-CNR Venezia
4/11/06 5:30 PM caffè, tè & C. ore 17.00 Automatically proving confluence of non-terminating rewrite systems via a generalized Newman-style approach Prof. Bernhard Gramlich - School of Computer Science, TU Wien, Austria
4/3/06 5:30 PM caffè, tè & C. ore 17.00 Sounds as sources Brian Gygi - Acoustics Research Institute, Austrian Academy of Science, Vienna, Austria
3/21/06 5:30 PM 17.30 caffè, tè & C. ore 17.00 Rigorous computing in Computer Vision Michela Farenzena - Dipartimento di Informatica, Università di Verona
3/7/06 5:30 PM caffè, tè & C. ore 17.00 An inversion software for the analysis of solar X-ray spectra within the NASA RHESSI Mission Anna Maria Massone - CNR - INFM, LAMIA, Genova
2/21/06 5:30 PM caffè, tè & C. ore 17.00 Deduction and Unification in Permutative Theories Dr. Mnacho Echenim - Institut National Polytechnique de Grenoble
2/7/06 5:30 PM caffè, tè & C. ore 17.00 Editoria Scientifica Libera Prof. Davide Rocchesso - Università di Verona
1/24/06 5:30 PM caffè, tè & C. ore 17.00 Il teorema di Hopf-Rinow e la convessità dinamica di sistemi naturali con termostato. Prof. Gaetano Zampieri - Università di Torino
12/13/05 5:30 PM caffe`, te` & C. ore 17.00 Esperienze di implementazione servizi in bioingegneria: l'ambito e-Health e il settore Computer Assisted Surgey Cristiano Paggetti - I+ S.r.l. (Firenze, Italia)
10/27/05 5:30 PM caffe`, te` & C. ore 17.00 Some new mathematical models in tissue reparation Luis Almeida - CNRS, Lab.Dieudonné, Nice (F)
10/25/05 5:30 PM caffe`, te` & C. ore 17.00 Rivelazione distribuita in reti di sensori Ing Roberto Pagliari - Dipartimento di Ingegneria dell'Informazione, Università di Parma
10/18/05 5:30 PM caffe`, te` & C. ore 17.00 Il valore Shapley per giochi cooperativi: un gioiello dalle mille sfaccettature Prof. Fioravante Patrone - Dipartimento di Matematica, Universita` di Genova
10/4/05 5:30 PM caffe`, te` & C. ore 17.00 Gesturally parameterized sound and video synthesis Sha Xin Wei - Topological Media Lab, Concordia University, Canada
9/13/05 5:30 PM caffe`, te` & C. ore 17.00 Big proof engines as little proof engines: new results on decision procedures for satisfiability modulo a theory Prof.ssa Maria Paola Bonacina - Dipartimento di Informatica, Universita` di Verona
7/5/05 5:30 PM caffe`, te` & C. ore 17.00 Clinical bioimaging and functional genomics Elisa Ficarra - Dip. di Automatica e Informatica, Politecnico di Torino
6/21/05 5:30 PM ore 17.00, te caffe` & C. On a semi-spectal method for pricing an option on a mean-reverting assset Leonard P. Bos - Department of Mathematics and Statistics, University of Calgary (Canada)
6/16/05 5:30 PM Ore 17.00: tè, caffè e &. Pseudodifferential operators, optimal grids, and evolution equations: a case study for micromagnetics Cyrill Muratov - NJIT-New Jersey Institute of Technology
6/14/05 5:30 PM caffe`, te` & C. ore 17.00 Metodi per l'analisi di segnali e immagini: modelli, algoritmi e applicazioni Michele Piana - Dipartimento di Matematica - Universita` di Genova
6/8/05 3:30 PM Te, caffe` pasticcini alle 17.00 Audio-Tactile Michal Rinott - Interaction Design Institute - Ivrea
6/8/05 5:00 PM Ore 16.30, caffè, tè e pasticcini Designing Interaction Landscapes Karmen Franinovic e Yon Visell - Zero-Th Association, Pula, Croatia
6/7/05 5:30 PM caffe`, te` & C. ore 17.00 Strumentazioni Biomediche Computerizzate Marco Rossi - ATES MEDICA DEVICE Colognola ai Colli (Verona)
5/24/05 5:30 PM Ore 17.00: tè, caffè e &. Orthogonal Polynomials (in Matlab) Gautschi Walter - Purdue University - USA
5/17/05 5:30 PM caffe`, te` & C. ore 17.00 Body-Goal Variability Mapping: the Interaction Between Geometry and Sensitivity in an Aiming Task Joseph Cusumano - Department of Engineering Science & MechanicsPennsylvania State University
5/10/05 5:30 PM ore 17.00: te`, caffe` & C. Integrity Constraints in Trust Management Sandro Etalle - Universita` di Twente, DIES: distributed and embedded system group
4/19/05 5:30 PM Ore 17.00 te, caffe` e pasticcini Modeling of the glottal flow by physical models with waveform matching properties Carlo Drioli - ISTC-CNR Padova, Dipartimento di Fonetica e Dialettologia
3/8/05 5:30 PM Caffè,tè & C. alle ore 17.00 Vedere senza gli occhi: il problema della protesi visiva fra bioingegneria, psicologia ed epistemologia Alessandra Jacomuzzi - Università di Trieste
2/22/05 5:30 PM Ore 17.00 tè, caffè & c. A Model-Checker for the Symbolic Analysis of Internet Security Protocols Luca Viganò - ETHZ - Zurich (CH)
1/25/05 5:30 PM Ore 17.00: tè,caffè e biscotti/ni Brain-Controlled Robots José del R. Millán - IDIAP Research Institute, Martigny (CH)
12/21/04 5:30 PM Ore 17.00: tè, caffè e biscotti/ini Middleware per servizi adattativi su terminali mobili eterogenei Silvia Vecchi - HP Research Lab,.
12/14/04 5:30 PM ore 17.00: tè,caffè e biscotti/ini Introduzione alle Ontologie Formali Matteo Cristani - Univessità di Verona, Dipartimento di Informatica
12/13/04 2:15 PM VISION BETWEEN ACTION AND PERCEPTION Giuseppe Boccignone - Natural Computational Lab, DIIIE - Università di Salerno
12/7/04 5:30 PM ore 17:00: te`,caffe`, biscotti/ini Soluzione di equazioni su linguaggi: teoria e applicazioni Tiziano Villa - Universita` di Udine
11/30/04 5:30 PM Ore 17.00: tè,caffè e biscotti/ini Polytime incontra i template in C++ Giovanni Pani - Università di Bari
11/23/04 5:30 PM Ore 17.00: tè,caffè e biscotti/ini Sensori ottici CMOS con elaborazione di segnale integrata Massimo Gottardi - ITC-IRST, Povo (TN)
11/18/04 5:30 PM Ore 17.00: te`, caffe` e biscotti La gerarchia delle variabili nel mu calcolo modale Giacomo Lenzi - Universita` di Pisa, Dipartimento di Matematica Applicata
11/16/04 4:30 PM Ore 16.00: te`, caffe` e pasticcini Adaptive packet classification for constant perceptual quality of service delivery of video streams over time-varying networks Davide Quaglia - Politecnico di Torino
11/11/04 5:30 PM Ore 17.00: tè,caffè, biscotti/ini Logical Data Expiration David Toman - University of Waterloo
11/9/04 5:00 PM Bilateral Telemanipulation: A Port-Hamiltonian Approach Cristian Secchi - DISMI - University of Modena and Reggio Emilia
10/26/04 5:30 PM Ore 17.00 te, caffe` e pasticcini Engineering a High-Performance Equational Theorem Prover Stephan Schulz - Universita` di Verona
9/28/04 5:00 PM Topological Ideas in Sound Synthesis Georg Essl - Medialab Europe, Palpable Machines Group, Dublin
9/21/04 5:00 PM Abstract Interpretation and the PPL: From Theory to Practice and Vice Versa Enea Zaffanella - Dipartimento di Matematica, Parma
7/13/04 5:00 PM Modelling storage and resources: an introduction to separation logic Dave Schmidt - Computing and Information Sciences Department, Kansas State University, USA
6/29/04 5:30 PM On Bisimilarities Induced by Partial Orders S. Arun-Kumar - Indian Institute of Technology
6/15/04 5:00 PM Learning Logic Formulas from Data Klaus Truemper - University of Texas at Dallas
5/25/04 5:00 PM Computing Aggregate Funtions on Large-Scale Distributed Systems Alberto Montresor - Universita' di Bologna
5/12/04 5:00 PM Fondazioni Insiemistiche della Matematica Costruttiva Laura Crosilla - Universita' di Firenze
4/27/04 5:00 PM Timed Interfaces: A Behavioral Type System for Component-based Design Marielle Stoelinga - University of California at Santa Cruz
3/31/04 5:00 PM Secure Information Flow for a Sequential Java Virtual Machine Tamara Rezk - INRIA Sophia Antipolis
3/9/04 5:30 PM Deriving and Proving Abstract non-Interference Isabella Mastroeni - Universita' di Verona
3/2/04 5:30 PM Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling Andy King - University of Kent, Inghilterra
2/24/04 5:30 PM P Systems e Reti di Petri Enrico Formenti - University of Nice, Francia
2/10/04 5:30 PM Some Results on the Verification of Recursive Parallel Systems Massimo Benerecetti - Universita' di Napoli
2/3/04 5:30 PM Physiology-based Stability Criterions for Human-Robot Interactions Florin Popescu
1/20/04 5:30 PM Validating the dynamics and control of space robotic systems by on-the-ground testing in simulated micro-gravity Marcello Romano - Department of Mechanical and Astronautical Engineering, US Naval Postgraduate School, Monterey, California, USA
1/13/04 4:30 PM Analysis for Stack Inspection Thomas Jensen - IRISA - Rennes, Francia