Series of seminars

Seminari del Dipartimento di Informatica

Manager
Elisa Quintarelli
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
Seminars which have already taken place
Date Time Title Supervisor
12/18/20 3:00 PM Neural Networks on Noisy Intermediate Scale Quantum Computers Daniele Bajoni - Università di Pavia
12/16/20 5:30 PM Quantum Computing applications in High energy Physics: Polarization Discrimination in Vector Boson Scattering Michele Grossi - IBM Italy & University of Pavia
12/14/20 5:00 PM Via Zoom Persistent homology: from theory to computation Ulrich Bauer - Technische Universität München
5/29/20 4:00 PM Online via Zoom Logic in Railway Verification Monika Seisenberger - Swansea University, Swansea (Wales)
4/30/20 2:30 PM On shape optimization in the class of constant width bodies Ilaria Lucardesi - Nancy - Lorraine
2/13/20 11:00 AM Aula G A combinatorial view on BWT variants Marinella Sciortino - Università di Palermo
2/12/20 4:30 PM Aula I Remarks on Sequent Calculus Enrico Moriconi - Università di Pisa
2/4/20 5:00 PM Sala Verde Locomotion strategies for quadruped robots Michele Focchi - IIT
1/28/20 11:00 AM Sala Verde Machine Learning Training: Research Challenges and Opportunities for the Distributed System Community Giovanni Neglia - INRIA, Sophia Antipolis, Francia
12/10/19 2:00 PM Sala Verde Microscopic to macroscopic modelling in liquid crystals Jamie M. Taylor - Basque Centre for Applied Mathematics, Bilbao
12/9/19 4:30 PM Aula E Explainable AI for the (Not-Always-Expert) Clinical Researcher John H. Holmes - University of Pennsylvania Perelman School of Medicine
12/4/19 3:30 PM Aula L Modelling, learning and populating ontologies for the Semantic Web Marco Rospocher - Università di Verona
11/29/19 4:00 PM Sala Verde Visual Analytics Explorations of Single-Cell Landscapes Prof. Blaz Zupan - University of Ljubljana
11/25/19 4:00 PM Sala Verde Through the Steps of Programmable Refactoring of a large Scientific Code Michele Martone - Leibniz Supercomputing Centre, Garching bei Muenchen (Germany)
11/13/19 3:15 PM Aula B Ritmi caotici e ritmi euclidei Davide Pigozzi - Università di Verona
11/7/19 3:30 PM Sala Riunioni II Piano - Ca' Vignal 2 Some recent results in the study of fractional mean curvature flow Eleonora Cinti - Università di Bologna
10/3/19 4:30 PM Sala Verde Solving and Proof Complexity for SAT and QBF Prof. Olaf Beyersdorff - Friedrich Schiller University, Jena
10/1/19 3:30 PM Aula H Recent advances in Raman spectroscopy at the nano- and micro-scale: Plasmonic tools for optical and structural investigations of bi-dimensional materials Dr. Andrea Giugni - King Abdullah University of Science and Technology (KAUST), PSE, SMILEs Lab.
9/24/19 9:30 AM Aula F - Ca' Vignal 1 Quantum computers: a breakthrough in information processing and in machine programming at IBM Michele Grossi - IBM Italy
9/24/19 2:00 PM Aula I A new multi-scale model for traffic flow Elisa Iacomini - Università di Roma La Sapienza
7/23/19 11:00 AM Sala Verde Surgical Skill Analysis and Understanding for Assistance, Evaluation and Training Pierre Jannin - Univ. Rennes 1
7/9/19 11:00 AM Aula Verde Surgical Data Science Pierre JANNIN - University of Rennes 1
6/25/19 4:30 PM Aula Verde Towards Collaborative 3D Design Fabio Pellacini - Università Sapienza
6/24/19 3:00 PM Aula Verde Modeling and Recognizing Network Scanners with Finite Mixture Models and Hidden Markov Models Giulia De Santis - Inria Nancy
6/18/19 11:00 AM Aula Verde The challenge of mapping the human connectome based on diffusion MRI tractography Maxime Descoteaux - Sherbrooke University
6/18/19 4:30 PM Sala Verde De Bruijn sequence constructions Joseph Sawada - University of Guelph, Canada
6/12/19 11:00 AM Aula M Quantum complexity: from quantum information to quantum matter and quantum gravity Prof. Fabrizio Illuminati - Università degli Studi di Salerno
6/11/19 11:00 AM Aula Verde The DARPA Grand Robotic Challenges: A Caltech Perspective Prof. Joel W. Burdick - California Institute of Technology
5/28/19 4:30 PM Aula Verde Introduction to DSP based Serial Links Fernando De Bernardinis - eSilicon
5/27/19 3:30 PM Sala Riunioni II Piano - Ca' Vignal 2 Equational Reasoning via Maximal Completion Sarah Winkler - Università di Innsbruck
5/14/19 5:00 PM Sala Riunioni Piano Terra - Ca' Vignal 2 Automated Legal Rules Extraction Francesco Olivieri - Data61, CSIRO (Brisbane)
5/13/19 3:00 PM Aula Verde The Rise and Fall of Cooperation: Theoretical and Synthetic Models Matteo Cavaliere - Manchester Metropolitan University
5/7/19 9:30 AM Sala Riunioni II Piano - Ca' Vignal 2 Migliorare l'uso dell'analisi dati nella ricerca e l'insegnamento con JMP Volker Kraft e Paolo Chiappa - JMP Academic Team
5/2/19 11:30 AM Sala Verde Computing Securely on Untrusted Machines Dario Fiore - IMDEA SW INSTITUTE
4/10/19 3:00 PM Aula Verde Graph Theory and the Transfinite Michael Rathjen - Leeds
4/8/19 2:30 PM Aula Verde Quantum-assisted Machine Learning in Near-Term Quantum Devices Alejandro Perdomo-Ortiz - Department of Computer Science, University College London
4/5/19 2:30 PM Aula Verde Perspectives on robotics interaction control Thiago Boaventura - Universita' San Paolo (Brasile)
4/2/19 4:30 PM Aula Verde The Rigorous Numerical Kernel of Ariadne Pieter Collins - Univ. di Maastricht
3/25/19 1:30 PM Aula L Some relations between curvature and topology via distance functions Francesca Oronzio - Università degli Studi di Napoli Federico II
3/20/19 10:30 AM Sala Riunioni Secondo Piano A new application of proof mining in the fixed point theory of uniformly convex Banach spaces Thomas Powell - Technische Universität Darmstadt
2/25/19 2:00 PM Aula Verde Solving SAT and MaxSAT with a Quantum Annealer: Foundations, Encodings and a Preliminary Report Roberto Sebastiani - Università di Trento
2/6/19 2:30 PM Sala Verde Modelling plant diseases for decision making in crop protection Dott. Tito Caffi - Università Cattolica del Sacro Cuore
1/31/19 2:30 PM Aula M Multiple Solutions for the Van Der Waals-Allen-Cahn-Hilliard Equation with a volume constraint Stefano Nardulli - UFABC, Sao Paulo
1/15/19 4:30 PM Aula verde Indexing Genomic Databases Travis Gagie - Diego Portales University - Chile
12/17/18 3:30 PM Sala Verde A level set based method for fixing overhangs in 3D printing Emiliano Cristiani - IAC-CNR di Roma
12/7/18 11:00 AM Sala Verde Robotic Solutions for Infrastructure Predictive Maintenance Michele Guarnieri - HiBot Corporation
11/27/18 4:30 PM Sala verde Decompressing Massive Datasets Simon J. Puglisi - University of Helsinki
11/20/18 2:30 PM Aula M Weak-strong uniqueness for measure-valued solutions in quasiconvex elastodymanics Konstantinos Koumatos - Sussex University
11/16/18 12:30 PM Aula I From 3D models to 3D prints: an overview of the processing pipeline Marco Livesu - IMATI CNR Genova
11/14/18 1:30 PM Meeting room 2nd floor Ca Vignal 2 Inferring information flow in the white matter of the brain - New information provided by the fusion of dMRI and M/EEG. Samuel Deslauriers Gauthier - INRIA - Université Côte d'Azur - Nice
11/14/18 4:00 PM Sala verde Recovery of Function in Major Spinal Cord Injury using Spinal Stimulation Joel Burdick - California Institute of Technology
10/30/18 4:30 PM Sala verde Low Power and Reliable Design for Emerging Tecnologies Yuanqing Cheng - Beihang University
10/25/18 12:00 PM Sala verde Extreme simulations for quantum technologies Simone Montangero - Università di Padova
10/18/18 4:30 PM Aula H Security, Privacy, and AI: un'eterna ghirlanda brillante Piero A. Bonatti - Università di Napoli Federico II
10/15/18 4:30 PM Sala verde Geometric Rules in Infinitary Logic Sara Negri - University of Helsinki
7/17/18 11:30 AM Sala verde Deep reinforcement and imitation learning on a GPU Iuri Frosio - NVIDIA
7/11/18 4:00 PM Aula M Is Computer Science Dying? Alex Nicolau - University of Irvine
6/22/18 11:00 AM Sala verde Soap films with gravity and almost-minimal surfaces Salvatore Stuvard - University of Texas at Austin
6/11/18 4:30 PM Aula G Formal Methods for Artificial Agents Sasha Rubin - Università di Napoli
6/7/18 4:30 PM Aula I Bridging machine learning and computer vision for robust scene understanding Alessio Del Bue - IIT Central Research Lab Genova
5/28/18 4:30 PM Aula Verde Introduction to DSP based Serial Links Fernando De Bernardinis - eSilicon
5/23/18 11:00 AM Aula I Relightable Images Federico Ponchio - ISTI/CNR Pisa
5/15/18 2:30 PM Sala riunioni II piano Portfolio models with robust estimators Stefano Benati - Università di Trento
5/15/18 4:30 PM Sala verde Computing the Family-Free DCJ Similarity Marília D. V. Braga - University of Bielefeld
5/9/18 3:00 PM Sala verde Overlapping Coalition Formation and its Connections to Machine Learning Georgios Chalkiadakis - Technical University of Crete (TUC)
5/8/18 4:30 PM Sala verde. Inizio seminario 17:00. Reconstructing Cancer Progression Models Marco Antoniotti - Università di Milano Biccocca
5/2/18 2:30 PM Aula M Ensemble Kalman Filtering for Inverse Optimal Control Hien Tran - North Carolina State University
4/24/18 3:00 PM Sala verde Predictable Cache Coherence for Multi-core Real-Time Systems Hiren Patel - University of Waterloo, Canada
4/24/18 4:30 PM Sala verde L'origine pitagorica dei numeri di Fibonacci Giuseppe Pirillo - Università di Firenze, Dipartimento di Matematica
3/27/18 11:00 AM Sala verde Taming Information Overload Elisa Quintarelli - Politecnico di Milano
3/27/18 4:00 PM Sala verde Privacy Issues in the Age of GDPR Federica Paci - University of Southampton
3/22/18 11:00 AM Sala verde Sharing Knowledge for Large Scale Visual Recognition Lamberto Ballan - Università di Padova
3/20/18 4:30 PM Sala verde Decision Trees: applications and theoretical results Eduardo Sany Laber - PUC-Rio, Rio de Janeiro, Brasile
3/6/18 5:00 PM Sala riunioni 2° piano Lo spettro valutativo. Un punto di vista costruttivo. Henri Lombardi - Université de Franche-Comté, Besancon
2/27/18 4:30 PM Sala verde Linear Algebraic Representation of Knowledge State of Agent Satoshi Tojo - JAIST
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




© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234