Ciclo di seminari

Seminari del Dipartimento di Informatica

Responsabile
Alessandro Farinelli
Descrizione
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.

Prossimi seminari
Data Ora Titolo Relatore
25/03/24 15.00 Sala Verde (solo presenza) Estimating Mental Health from Smartphone and Social Media Data: LLM and Machine Learning meets Mental Health Yusuke Fukazawa - Sophia University Tokyo (Japan)
18/04/24 12.00 A twist in the protein folding dogma? Alex Bronstein - Technion – Israel Institute of Technology - Haifa (isr)

Seminari già svolti
Data Ora Titolo Relatore
19/03/24 15.00 Sala Verde (presenza e remoto) Modeling the "biotic pump": quantifying the role of ecosystem transpiration in water cycle and temperature mitigation Ugo Bardi - Università di Firenze
11/01/24 15.30 Sala Verde (solo presenza ) Expressing Predicate Subtyping in Computational Logical Frameworks Gabriel Hondet - Alstom France
28/11/23 8.30 Blending biology and chemistry to enable personalised systems pharmacology Patrick Aloy - IRB Barcelona
10/10/23 10.30 Sala Verde (presenza e remoto) "Mining Healthcare Big Data - Concepts, Techniques and Practice" Alex M. H. Kuo - University of Victoria, BC, Canada
27/09/23 14.30 Aula Tessari (presenza e da remoto) Machine Learning and Game Theory: Recent Novel Solutions for Recommender Systems and the Smart Grid Georgios Chalkiadakis - Technical University of Crete
25/09/23 16.00 Aula G (presenza e da remoto) Homotopy Type Theory: A Gentle Introduction Marco Benini - Università degli Studi dell’Insubria
30/06/23 10.30 Sala Verde (anche da remoto) Reasoning over (Temporal) Ontologies Alessandro Artale - University of Bozen-Bolzano
28/06/23 11.00 Sala Verde Optimal transport in machine learning Minh Ha Quang - RIKEN Center for Advanced Intelligence Project (AIP) Tokyo JAPAN
27/06/23 11.30 Sala Verde (solo in presenza) Toward Relational Virtual Humans: capturing, matching, and hallucinating 3D interactions Riccardo Marin - Università di Tubinga (Ger
22/06/23 10.30 Aula I (anche da remoto) Sketching, representing, and designing sound Davide Rocchesso - Università di Palermo
20/06/23 10.30 Sala Verde (anche da remoto) On the Way of Automated Behavior Understanding: From Target Detection to Socially-Aware Behavior Analysis Cigdem Beyan - Università di Trento
05/06/23 15.30 AULA T.05 CV3 (solo in presenza) "Perche` il programma non fa quello che gli dico di fare" Alessandro Rubini - Universita` di Pavia
31/05/23 15.30 Sala Verde (solo in presenza) Regularization techniques for inverse problems in Earth's surface radiation: Gauss-Newton meets Bayes-Tikhonov. Cristina Sgattoni - IAC/CNR, Firenze - ESA project FORUM - Earth Explorer mission
09/05/23 16.30 Aula Gino Tessari (solo presenza) An Algebraic Representation of the Fixed-Point Closure of *-continuous Kleene Algebras Dr. Hans Leiß - (LMU Munich, retired)
27/04/23 15.30 Sala Verde (solo in presenza) Lagrange Galerkin schemes for Mean Field Games Elisabetta Carlini - Università La Sapienza, Roma
12/04/23 12.00 A twist in the protein folding dogma? Alex Bronstein - Technion – Israel Institute of Technology - Haifa (isr)
28/02/23 14.30 Presentazione Progetto ENGINE Emanuele Menegatti - Università di Padova
24/01/23 16.30 Pangenomic FM-indexes  Travis Gagie - Dalhousie University, Canada  
14/12/22 8.30 Safety and Sample Efficiency in Reinforcement Learning Thiago D. Simao - Radboud University Nijmegen
05/12/22 Spatial Transcriptomics analysis Giovanni Palla
27/10/22 15.00 Topics in Infectious Disease Modeling and Surveillance Alexander Viguerie - Centers for Disease Control and Prevention, Atlanta, GA, U.S.A
17/10/22 9.30 Single cell analysis Luciano Cascione - SIB Swiss Institute of Bioinformatics
12/10/22 15.00 Informative Missingness: What can we learn from missing data patterns in the electronic health record? John H. Holmes - University of Pennsylvania
14/09/22 16.00 SALA VERDE (solo in presenza) Computational Problems in Metagenomic Amplification -- Sala Verde e via zoom Christina Boucher - University of Florida
13/07/22 14.30 Markerless Human Pose Estimation Prof. Bodo Rosenhahn - Leibniz Universität Hannover
04/07/22 11.30 Code Obfuscation: Novel Applications, Algorithms, and Evaluation Techniques Christian Collberg - University of Arizona
09/06/22 15.00 Sala Verde Potential and limitations of quantum extreme learning machines Dott. Luca Innocenti - Università di Palermo
30/05/22 15.00 Sala Verde Learning Visio-linguistic Embeddings for Interactive Fashion Product Retrieval Loris Bazzani - Amazon
05/05/22 14.30 Aula C e via Zoom Jump processes as generalized gradient flows Prof.ssa Riccarda Rossi - Università degli Studi di Brescia
05/05/22 15.30 Aula M The many facets of continuity in programming semantics Prof. Felice Cardone - Università degli Studi di Torino
11/03/22 11.00 Sala Verde Cognitive robotics and embedded AI for minimally invasive surgery. Franziska Mathis-Ullrich - Karlsruhe Institute of Technology
11/03/22 16.00 Sala Verde Robotics goes PRISMA Bruno Siciliano - Università di Napoli Federico II
25/01/22 16.30 Zoom Meeting Cyclic (Co)Inductive Reasoning Liron Cohen - Ben-Gurion University
16/12/21 16.00 Aula Verde Towards Verified Reinforcement Learning for Cyber-physical Tasks Dr. Mirco Giacobbe - University of Birmingham
14/12/21 16.30 Aula Verde e online via Zoom Viscoelasticity and monodromy prof. Sir John M. Ball - Heriot-Watt University (Edinburgh)
23/11/21 16.00 Sala Verde Kernel Combination with Missing Object-Correspondence Data Prof. David Windridge - Middlesex University London
03/11/21 16.00 Sala Verde PDE Models of Infectious Disease: validation against data, time-delay formulations, data-driven methods, and future directions Alexander Viguerie - GSSI L’Aquila
29/04/21 14.00 Online via Zoom Stereolithographic 3D printing: technology, materials, design issues, research opportunities Maurizio Costabeber - DWS Systems
22/04/21 14.00 Online via Zoom 3D acquisition/printing: industrial excellence near us and applied research opportunities Marco Centin - Faro
12/04/21 16.30 Online via Zoom Sheaf models and constructive mathematics Thierry Coquand - Göteborgs Universitet
18/12/20 15.00 Neural Networks on Noisy Intermediate Scale Quantum Computers Daniele Bajoni - Università di Pavia
16/12/20 17.30 Quantum Computing applications in High energy Physics: Polarization Discrimination in Vector Boson Scattering Michele Grossi - IBM Italy & University of Pavia
14/12/20 17.00 Via Zoom Persistent homology: from theory to computation Ulrich Bauer - Technische Universität München
29/05/20 16.00 Online via Zoom Logic in Railway Verification Monika Seisenberger - Swansea University, Swansea (Wales)
30/04/20 14.30 On shape optimization in the class of constant width bodies Ilaria Lucardesi - Nancy - Lorraine
13/02/20 11.00 Aula G A combinatorial view on BWT variants Marinella Sciortino - Università di Palermo
12/02/20 16.30 Aula I Remarks on Sequent Calculus Enrico Moriconi - Università di Pisa
04/02/20 17.00 Sala Verde Locomotion strategies for quadruped robots Michele Focchi - IIT
28/01/20 11.00 Sala Verde Machine Learning Training: Research Challenges and Opportunities for the Distributed System Community Giovanni Neglia - INRIA, Sophia Antipolis, Francia
10/12/19 14.00 Sala Verde Microscopic to macroscopic modelling in liquid crystals Jamie M. Taylor - Basque Centre for Applied Mathematics, Bilbao
09/12/19 16.30 Aula E Explainable AI for the (Not-Always-Expert) Clinical Researcher John H. Holmes - University of Pennsylvania Perelman School of Medicine
04/12/19 15.30 Aula L Modelling, learning and populating ontologies for the Semantic Web Marco Rospocher - Università di Verona
29/11/19 16.00 Sala Verde Visual Analytics Explorations of Single-Cell Landscapes Prof. Blaz Zupan - University of Ljubljana
25/11/19 16.00 Sala Verde Through the Steps of Programmable Refactoring of a large Scientific Code Michele Martone - Leibniz Supercomputing Centre, Garching bei Muenchen (Germany)
13/11/19 15.15 Aula B Ritmi caotici e ritmi euclidei Davide Pigozzi - Università di Verona
07/11/19 15.30 Sala Riunioni II Piano - Ca' Vignal 2 Some recent results in the study of fractional mean curvature flow Eleonora Cinti - Università di Bologna
03/10/19 16.30 Sala Verde Solving and Proof Complexity for SAT and QBF Prof. Olaf Beyersdorff - Friedrich Schiller University, Jena
01/10/19 15.30 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.
24/09/19 9.30 Aula F - Ca' Vignal 1 Quantum computers: a breakthrough in information processing and in machine programming at IBM Michele Grossi - IBM Italy
24/09/19 14.00 Aula I A new multi-scale model for traffic flow Elisa Iacomini - Università di Roma La Sapienza
23/07/19 11.00 Sala Verde Surgical Skill Analysis and Understanding for Assistance, Evaluation and Training Pierre Jannin - Univ. Rennes 1
09/07/19 11.00 Aula Verde Surgical Data Science Pierre JANNIN - University of Rennes 1
25/06/19 16.30 Aula Verde Towards Collaborative 3D Design Fabio Pellacini - Università Sapienza
24/06/19 15.00 Aula Verde Modeling and Recognizing Network Scanners with Finite Mixture Models and Hidden Markov Models Giulia De Santis - Inria Nancy
18/06/19 11.00 Aula Verde The challenge of mapping the human connectome based on diffusion MRI tractography Maxime Descoteaux - Sherbrooke University
18/06/19 16.30 Sala Verde De Bruijn sequence constructions Joseph Sawada - University of Guelph, Canada
12/06/19 11.00 Aula M Quantum complexity: from quantum information to quantum matter and quantum gravity Prof. Fabrizio Illuminati - Università degli Studi di Salerno
11/06/19 11.00 Aula Verde The DARPA Grand Robotic Challenges: A Caltech Perspective Prof. Joel W. Burdick - California Institute of Technology
28/05/19 16.30 Aula Verde Introduction to DSP based Serial Links Fernando De Bernardinis - eSilicon
27/05/19 15.30 Sala Riunioni II Piano - Ca' Vignal 2 Equational Reasoning via Maximal Completion Sarah Winkler - Università di Innsbruck
14/05/19 17.00 Sala Riunioni Piano Terra - Ca' Vignal 2 Automated Legal Rules Extraction Francesco Olivieri - Data61, CSIRO (Brisbane)
13/05/19 15.00 Aula Verde The Rise and Fall of Cooperation: Theoretical and Synthetic Models Matteo Cavaliere - Manchester Metropolitan University
07/05/19 9.30 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
02/05/19 11.30 Sala Verde Computing Securely on Untrusted Machines Dario Fiore - IMDEA SW INSTITUTE
10/04/19 15.00 Aula Verde Graph Theory and the Transfinite Michael Rathjen - Leeds
08/04/19 14.30 Aula Verde Quantum-assisted Machine Learning in Near-Term Quantum Devices Alejandro Perdomo-Ortiz - Department of Computer Science, University College London
05/04/19 14.30 Aula Verde Perspectives on robotics interaction control Thiago Boaventura - Universita' San Paolo (Brasile)
02/04/19 16.30 Aula Verde The Rigorous Numerical Kernel of Ariadne Pieter Collins - Univ. di Maastricht
25/03/19 13.30 Aula L Some relations between curvature and topology via distance functions Francesca Oronzio - Università degli Studi di Napoli Federico II
20/03/19 10.30 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
25/02/19 14.00 Aula Verde Solving SAT and MaxSAT with a Quantum Annealer: Foundations, Encodings and a Preliminary Report Roberto Sebastiani - Università di Trento
06/02/19 14.30 Sala Verde Modelling plant diseases for decision making in crop protection Dott. Tito Caffi - Università Cattolica del Sacro Cuore
31/01/19 14.30 Aula M Multiple Solutions for the Van Der Waals-Allen-Cahn-Hilliard Equation with a volume constraint Stefano Nardulli - UFABC, Sao Paulo
15/01/19 16.30 Aula verde Indexing Genomic Databases Travis Gagie - Diego Portales University - Chile
17/12/18 15.30 Sala Verde A level set based method for fixing overhangs in 3D printing Emiliano Cristiani - IAC-CNR di Roma
07/12/18 11.00 Sala Verde Robotic Solutions for Infrastructure Predictive Maintenance Michele Guarnieri - HiBot Corporation
27/11/18 16.30 Sala verde Decompressing Massive Datasets Simon J. Puglisi - University of Helsinki
20/11/18 14.30 Aula M Weak-strong uniqueness for measure-valued solutions in quasiconvex elastodymanics Konstantinos Koumatos - Sussex University
16/11/18 12.30 Aula I From 3D models to 3D prints: an overview of the processing pipeline Marco Livesu - IMATI CNR Genova
14/11/18 13.30 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
14/11/18 16.00 Sala verde Recovery of Function in Major Spinal Cord Injury using Spinal Stimulation Joel Burdick - California Institute of Technology
30/10/18 16.30 Sala verde Low Power and Reliable Design for Emerging Tecnologies Yuanqing Cheng - Beihang University
25/10/18 12.00 Sala verde Extreme simulations for quantum technologies Simone Montangero - Università di Padova
18/10/18 16.30 Aula H Security, Privacy, and AI: un'eterna ghirlanda brillante Piero A. Bonatti - Università di Napoli Federico II
15/10/18 16.30 Sala verde Geometric Rules in Infinitary Logic Sara Negri - University of Helsinki
17/07/18 11.30 Sala verde Deep reinforcement and imitation learning on a GPU Iuri Frosio - NVIDIA
11/07/18 16.00 Aula M Is Computer Science Dying? Alex Nicolau - University of Irvine
22/06/18 11.00 Sala verde Soap films with gravity and almost-minimal surfaces Salvatore Stuvard - University of Texas at Austin
11/06/18 16.30 Aula G Formal Methods for Artificial Agents Sasha Rubin - Università di Napoli
07/06/18 16.30 Aula I Bridging machine learning and computer vision for robust scene understanding Alessio Del Bue - IIT Central Research Lab Genova
28/05/18 16.30 Aula Verde Introduction to DSP based Serial Links Fernando De Bernardinis - eSilicon
23/05/18 11.00 Aula I Relightable Images Federico Ponchio - ISTI/CNR Pisa
15/05/18 14.30 Sala riunioni II piano Portfolio models with robust estimators Stefano Benati - Università di Trento
15/05/18 16.30 Sala verde Computing the Family-Free DCJ Similarity Marília D. V. Braga - University of Bielefeld
09/05/18 15.00 Sala verde Overlapping Coalition Formation and its Connections to Machine Learning Georgios Chalkiadakis - Technical University of Crete (TUC)
08/05/18 16.30 Sala verde. Inizio seminario 17:00. Reconstructing Cancer Progression Models Marco Antoniotti - Università di Milano Biccocca
02/05/18 14.30 Aula M Ensemble Kalman Filtering for Inverse Optimal Control Hien Tran - North Carolina State University
24/04/18 15.00 Sala verde Predictable Cache Coherence for Multi-core Real-Time Systems Hiren Patel - University of Waterloo, Canada
24/04/18 16.30 Sala verde L'origine pitagorica dei numeri di Fibonacci Giuseppe Pirillo - Università di Firenze, Dipartimento di Matematica
27/03/18 11.00 Sala verde Taming Information Overload Elisa Quintarelli - Politecnico di Milano
27/03/18 16.00 Sala verde Privacy Issues in the Age of GDPR Federica Paci - University of Southampton
22/03/18 11.00 Sala verde Sharing Knowledge for Large Scale Visual Recognition Lamberto Ballan - Università di Padova
20/03/18 16.30 Sala verde Decision Trees: applications and theoretical results Eduardo Sany Laber - PUC-Rio, Rio de Janeiro, Brasile
06/03/18 17.00 Sala riunioni 2° piano Lo spettro valutativo. Un punto di vista costruttivo. Henri Lombardi - Université de Franche-Comté, Besancon
27/02/18 16.30 Sala verde Linear Algebraic Representation of Knowledge State of Agent Satoshi Tojo - JAIST
08/02/18 14.30 Sala verde Optimal Control Problems in Transport Dynamics Mattia Bongini - CEREMADE - Paris Dauphine
08/02/18 15.30 Sala verde Multiscale analysis of singularly perturbed finite dimensional gradient flows: the minimizing movement approach Francesco Solombrino - Università di Napoli Federico II
11/01/18 11.00 Sala verde Rosetta, ExoMars & OSIRIS-REx: present and future robotic exploration of the Solar System Maurizio Pajola - NASA, Washington, D.C.
20/12/17 14.30 Aula I Modeling the articulated 3D shape of animals Silvia Zuffi - CNR-IMATI Milano
07/12/17 17.00 Sala verde Hardware realizations of arithmetic operations based on boolean functions representations Danila Gorodecky - Academy of Sciences of Belarus, Minsk
28/11/17 16.00 Sala verde Algorithms for computing with multivariate polynomials over rings Ihsen Yengui - Université of Sfax, Tunisia, and Università di Verona
21/11/17 14.30 Sala verde. Calibrations for minimal networks in a covering space setting Alessandra Pluda - Universität Regensburg
07/11/17 9.00 Prospects in Quantum Machine Learning Seth Lloyd - MIT
05/10/17 16.00 Rinfresco 16.00 in Sala caffé (primo piano) - inizio seminario 16.15 The proof-theoretic relevance of Grothendieck topologies Olivia Caramello - Università dell'Insubria
05/10/17 17.30 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
28/09/17 16.00 Supervised Discriminative Classification in Quantum Machine Learning David Windridge - Middlesex University London
27/09/17 16.00 Quantum Formal Methods: From Languages to Verification Rajagopal Nagarajan - Middlesex University London
21/09/17 15.00 Aula M -- rinfresco 14.45, inizio seminario 15.00. Boundary Classes for Graph Problems Involving Non-Local Properties Andrea Munaro - University of Primorska, Slovenia
11/07/17 11.00 Rinfresco 10.45, inizio seminario 11.00. Tools for Artists - VFX Tool Development at Weta Digital Marco Revelant - Weta Digital
29/06/17 14.30 Aula I - Rinfresco 14.15, inizio seminario 14.30. Human-Computer Interaction: Evolution and Future Trend Alfredo Ferreira - Universidade de Lisboa
15/06/17 15.00 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
07/06/17 16.00 Aula M - Rinfresco 15.45, inizio seminario 16.00. What is a tube? Dirk Kussin - Universität Paderborn
06/06/17 16.30 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
05/06/17 14.30 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
05/06/17 17.30 Sala Riunione II piano SAT-Based Logic Synthesis Alan Mishchenko - University of California Berkeley
31/05/17 16.30 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
23/05/17 15.30 Rinfresco 15.15, inizio seminario 15.30. Optimized Strategies for Real-Time Multimedia Communications from Mobile Devices Enrico Masala - Politecnico di Torino
22/05/17 14.30 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
08/05/17 14.30 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
08/05/17 16.00 Structuring Logic Giuseppe Rosolini - Università di Genova
05/05/17 11.00 Sala Verde - Rinfresco 10.45, inizio seminario 11.00. Multiple target tracking for wearable and robotic cameras Andrea Cavallaro - Queen Mary University of London
03/05/17 16.30 Rinfresco 16.15, inizio seminario 16.30. Low regularity exponential-type integrators for nonlinear Schrödinger equations Alexander Ostermann - Universität Innsbruck
19/04/17 14.30 Rinfresco 14.15, inizio seminario 14.30. Memoization of Parity Games: a practical proposal Giorgio Audrito - Università di Torino
10/04/17 14.30 Aula C. Rinfresco 14.15, inizio seminario 14.30. Text Indexing and LZ77 compression Johannes Fischer - Universität Dortmund
03/04/17 16.00 Rinfresco 15.45, inizio seminario 16.00. The Graph Minor Theorem: a walk on the wild side of graphs Marco Benini - Università dell'Insubria
30/03/17 15.00 Rinfresco 14.45, inizio seminario 15.00. Obscuring code -- Towards Systematic Code Obfuscation Roberto Giacobazzi - Università di Verona
20/02/17 16.30 Rinfresco 16.15, inizio seminario 16.30. Image guided protontherapy: recent research and technological innovations to fight cancer Benoit Macq - Université catholique de Louvain
16/02/17 10.30 Rinfresco 10.15, inizio seminario 10.30. Incollamento di categorie e calcolo degli Ext Nicola Mazzari - Université de Bordeaux 1
09/02/17 15.00 Sala Riunione II piano Classification of indecomposable modules via categories of functors Rosanna Laking - Universität Bonn
02/02/17 14.30 Constructive Semantics for Description Logics (ASP Based Generation of Information Terms for Constructive EL) Loris Bozzato - Fondazione Bruno Kessler, Trento
24/01/17 17.00 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
23/01/17 14.00 NB: AULA G Understanding Ebola virus disease in West Africa: epidemiological investigation and mathematical modeling Stefano Merler - FBK Trento
16/01/17 14.00 Sala verde Understanding Ebola virus disease in West Africa: epidemiological investigation and mathematical modeling Dr. Stefano Merler, FBK - Trento
11/01/17 15.00 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
22/12/16 11.00 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
13/12/16 12.00 Rinfresco 11.45, inizio seminario 12.00. Detecting reoccurring patterns of scrambled genes Natasa Jonoska - Department of Mathematics & Statistics, USF, Tampa, Florida
16/11/16 17.00 rinfresco 16.45, inizio seminario 17.00 Equivalence relations for ordinary differential equations Max Tschaikowski - IMT Lucca
08/11/16 15.00 Rinfresco 14.45, inizio seminario 15.00. Flows and bisections in cubic graphs Giuseppe Mazzuoccolo - Università di Verona
03/11/16 12.30 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
02/11/16 14.30 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
26/10/16 15.30 Rinfresco 15.15, inizio seminario 15.30. I Segreti di Sophus Maria Clara Nucci - Università di Perugia
18/10/16 16.30 Rinfresco 16.15, inizio seminario 16.30. CHASE: A Contract-Based Requirement Engineering Framework for Cyber-Physical System Design Michele Lora - Università di Verona
14/10/16 11.00 Rinfresco 10.45, inizio seminario 11.00 A Spectral Perspective on Shapes Ron Kimmel - Technion, Haifa, Israele
20/09/16 15.00 Rinfresco 14.45, inizio seminario 15.00. Cooperative Electricity Consumption Shifting Georgios Chalkiadakis - Technical University of Crete (TUC)
16/09/16 15.00 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
18/07/16 17.00 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)
06/07/16 17.15 Hereditary classes of cubic graphs Vahan Mkrtchyan - Department of Informatics and Applied Mathematics, Yerevan State University, Armenia
13/06/16 15.00 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
31/05/16 16.00 - rinfresco 15.45, inizio seminario 16.00 Data-Aware Business Processes: balancing between expressiveness and verifiability Marco Montali - Libera Università di Bolzano
31/05/16 17.00 Sala riunione II piano Uniqueness of dg enhancements in geometric contexts Paolo Stellari - Università di Milano
30/05/16 16.00 - 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
19/05/16 11.00 Rinfresco 10.45, inizio seminario 11.00 Control of crowds: analysis and numerics Francesco Rossi - Aix-Marseille Université
17/05/16 11.00 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
10/05/16 14.30 rinfresco 14:15, inizio seminario 14.30 Greedy prefix-reversal Gray codes and beyond Elena Konstantinova - Russian Academy of Sciences and Novosibirsk State University
26/04/16 17.00 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
22/04/16 11.00 Sala verde - Rinfresco 10.45, inizio seminario 11.00 Computational Aspects in Appearance Fabrication Fabio Pellacini - Sapienza - Università di Roma
10/04/16 16.30 Rinfresco 16.15, inizio seminario 16.30. to be communicated Johannes Fischer - Universität Dortmund
15/03/16 16.00 rinfresco 15.45, inizio seminario 16.00 Linear two-sorted constructive arithmetic Helmut Schwichtenberg - Universität München
09/03/16 16.00 - Rinfresco 15.45, inizio seminario 16.00 Robotics research at the Istituto Italiano di Tecnologia Giorgio Metta - Istituto Italiano di Tecnologia (IIT), Genova
07/03/16 16.00 rinfresco 15.45, inizio seminario 16.00. DATA NUOVA. Noncooperative Differential Games Alberto Bressan - The Pennsylvania State University
10/02/16 10.00 9:45 rinfresco, 10:00 inizio seminario Brain computer interfaces for the industrial application of cognitive neuroscience Fabio Babiloni - Sapienza - Università di Roma
19/01/16 17.00 16:45 rinfresco, 17:00 inizio seminario Polynomials defining many units Ángel del Río Mateos - Universidad de Murcia
10/12/15 15.00 14:45 rinfresco; 15:00 inizio seminario Biclustering Algorithms for Biomedical Data Analysis SARA C. MADEIRA - Universidade de Lisboa
01/12/15 16.00 15:45 rinfresco, 16:00 inizio seminario Applications of Multispectral Imaging in Cultural Heritage Irina Ciortan - University of Verona
26/11/15 10.00 09:45 rinfresco, 10:00 inizio seminario Advanced Models for Diffusion Imaging and Tractography Flavio Dell'Acqua - King's College London
26/11/15 11.00 aula riunioni primo piano Transport equations in evolutionary domains Francesco Salvarani - Università di Pavia
11/11/15 17.00 16:45 rinfresco; 17:00 inizio seminario Isogeometric Analysis Simulation of Particle Accelerator Cavities Carlo de Falco - Politecnico di Milano
29/10/15 16.30 16:15 rinfresco; 16:30 inizio seminario Symmetries and stochastic differential equations. Sergio Albeverio - University of Bonn
26/10/15 16.00 15:45 rinfresco; 16:00 inizio seminario Segnali bioelettrici cerebrali in ambienti estremi Lucio Pastena, Melucci Massimo - Università La Sapienza, Roma
12/10/15 16.30 16:15 rinfresco; 16:30 inizio seminario Some geometric and hydrodynamical aspects of the Schroedinger equation Mauro Spera - Universita' Cattolica del Sacro Cuore, Brescia
14/09/15 11.00 10:45 rinfresco, 11:00 inizio seminario Logic debugging by replacing internal gates with new functions Masahiro Fujita - University of Tokyo
07/09/15 16.00 15:45 rinfresco; 16:00 inizio seminario Extreme Apprenticeship: un nuovo approccio all'insegnamento dell'informatica Gabriella Dodero - Libera Università di Bolzano
23/07/15 17.00 16:45 rinfresco; 17:00 inizio seminario Self-taught Object Localization with Deep Networks Loris Bazzani - Dartmouth College
07/07/15 17.00 16:45 rinfresco; 17:00 inizio seminario Reading the face for weight gain assessment. Maria Antonietta Pascali - Signals & Images lab, ISTI CNR Pisa
16/06/15 17.00 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
08/06/15 17.00 16:45 rinfresco, 17:00 inizio seminario Satisfaction Guaranteed or your Money Back Nachum Dershowitz - Tel Aviv University
26/05/15 17.00 16:45 rinfresco, 17:00 inizio seminario Toward understandable co-simulations in model driven engineering Julien DeAntoni - INRIA Sophia Antipolis Méditerranée
12/05/15 17.00 16:45 rinfresco, 17:00 inizio seminario Machine learning in medical imaging Marleen de Bruijne - University Medical Center Rotterdam
04/05/15 17.00 16:45 rinfresco, 17:00 inizio seminario Functional Maps: A Flexible Representation of Maps (with Applications) Maks Ovsjanikov - Ecole Polytechnique
28/04/15 17.00 16:45 rinfresco, 17:00 inizio seminario Merits and pitfalls of splitting methods Alexander Ostermann - University of Innsbruck, Austria
26/03/15 14.30 14:15 rinfresco; 14:30 inizio seminario Gestural Interaction Techniques, applications and interaction problems Lucio Davide Spano - Universita' di Cagliari
18/03/15 15.30 15:15 rinfresco; 15:30 inizio seminario Higher Frobenius-Schur Indicators in Group-Theoretical Fusion Categories Peter Schauenburg - Institut de Mathématiques de Bourgogne
05/03/15 11.00 Aula H Production theory and Zonotopes: accounting for firm heterogeneity and technical change. Simona Settepanella - Hokkaido University, Sapporo, Japan
18/02/15 15.30 15:15 rinfresco; 15:30 inizio seminario Perché al tempo di Tolomeo la Terra si rimpicciolì? Lucio Russo - Universita' di Roma Tor Vergata
16/01/15 10.00 Aula I Challenges and Methodologies for the Next Generation of Heterogeneous SoC - The Embedded Scalable Platform Vision. Giuseppe Di Guglielmo - Columbia University, New York
01/12/14 17.00 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)
16/10/14 17.00 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
25/09/14 15.00 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
03/07/14 15.00 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
15/05/14 17.00 16:45 rinfresco; 17:00 inizio seminario Power management techniques for autonomous WSN Alain Pegatoquet - University Institute of Technology, Nice
14/05/14 16.30 16:15 rinfresco; 16:30 inizio seminario High Throughput Unsupervised Genetic Sequence Analysis Daniel Boley - University of Minnesota
05/05/14 17.00 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
29/04/14 16.30 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
09/04/14 17.00 16:45 rinfresco; 17:00 inizio seminario Stochastic Differential Delay Systems and Optimal Control Problems Lucian Maticiuc - "G. Asachi" Technical University, Romania
25/03/14 17.00 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
14/03/14 15.00 14:45 rinfresco; 15:00 inizio seminario Homo loquens: da Bayes ad auto-coscienza F.Tito Arecchi - Università di Firenze e INO:CNR, Firenze
10/03/14 17.00 16:45 rinfresco; 17:00 inizio seminario From integrals and asymptotics to (deterministic,stochastic,quantum) dynamical systems Sergio Albeverio - Bonn University
25/02/14 17.00 16:45 rinfresco; 17:00 inizio seminario Modellizzazione quantitativa di strumenti finanziari derivativi Matteo Tesser - Fairmat Srl
03/02/14 17.00 16:45 rinfresco; 17:00 inizio seminario Computer analysis of human behavior Albert Ali Salah - Bogazici University, Istanbul
24/01/14 11.00 10:45 rinfresco; 11:00 inizio seminario La realizzazione fisica di computer quantistici David Vitali - Università di Camerino
23/01/14 17.00 16:45 rinfresco; 17:00 inizio seminario A class of degenerate parabolic equations with saturation mechanisms Juan Calvo Yague - Universitat Pompeu Fabra, Barcelona
15/01/14 14.00 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
09/12/13 17.00 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario Minimal Forbidden Words and Applications Gabriele Fici - Universita' di Palermo
19/11/13 17.00 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario SMT-based verification of hybrid systems Sergio Mover - Fondazione Bruno Kessler - Trento
14/11/13 17.30 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
28/10/13 16.30 4:15 p.m. rinfresco; 4:30 p.m. inizio seminario Noether's Theorem Peter Leach - University of KwaZulu-Natal, Republic of South Africa
23/10/13 17.00 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 14.30 2:45 p.m rinfresco; 2:30 p.m inizio seminario Thou Shalt is not You Will Guido Governatori - Queensland University of Technology, Australia
03/07/13 11.00 10:45 a.m. rinfresco; 11:00 a.m. inizio seminario Risk measures for multivariate risks Birgit Rudloff - Princeton University
25/06/13 16.30 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)
06/06/13 16.00 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
04/06/13 17.00 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
28/05/13 14.30 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
14/05/13 17.00 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
06/05/13 16.00 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
30/04/13 16.30 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
09/04/13 16.00 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
05/03/13 17.30 5:15 p.m rinfresco; 5:30 p.m inizio seminario Grammatiche biologiche e Dizionari Genomici: 11 Anni di ricerca a Verona Prof. Vincenzo Manca - Università di Verona
11/12/12 16.15 4:00 p.m. rinfresco, 4:15 p.m. inizio seminario Cryptography the Quantum Way: ieri, oggi, domani Andrea Pasquinucci - UCCI.IT
26/11/12 17.15 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
21/11/12 16.00 3.45 p.m. rinfresco; 4.00 p.m. inizio seminario Quantum Computing: dalla fisica ai sistemi computazionali Prof. Andrea Masini - Università di Verona
20/11/12 17.00 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
13/11/12 16.45 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario -- Sala Verde Unification in Blind Signatures Dr. Serdar Erbatur - INRIA, Nancy
05/11/12 16.00 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
16/10/12 16.15 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
12/10/12 16.00 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
25/09/12 16.45 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
11/09/12 16.45 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
03/09/12 11.15 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
31/08/12 10.00 Seminario sulla robotica spaziale in sala verde Kazuya Yoshida - Tohoku University, Sendai Japan
10/07/12 16.45 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
13/06/12 16.45 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)
11/06/12 14.30 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
05/06/12 17.00 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
28/05/12 14.30 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)
22/05/12 17.00 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
15/05/12 16.45 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
03/05/12 10.00 9:45 am rinfresco; 10:00 am inizio seminario. Extraction of emotional impact in colour images Prof. Christine Fernandez-Maloigne - Université de Poitiers
02/05/12 16.45 4:45 pm rinfresco; 5:00 pm inizio seminario. Challenging Semi-Supervised Learning Marco Loog - Delft University of Technology
17/04/12 16.30 4:30 pm rinfresco; 4:45 pm inizio seminario. Semantics-Preserving Design of Embedded Control Software from Synchronous Models Leonardo Mageruca - ALES srl
12/04/12 16.45 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
03/04/12 16.45 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
20/03/12 16.45 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
08/03/12 16.15 4:15 p.m. rinfresco; 4:30 p.m. inizio seminario. System-Level Design Methods for Heterogeneous SoC Platforms Prof. Luca Carloni - Columbia University
08/02/12 14.45 14:45 rinfresco; 15:00 inizio seminario. Computational technology for behavior analysis: from behavioral sciences to neuroimaging studies Prof. Vittorio Murino
30/01/12 16.45 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.
24/01/12 16.45 16:45 rinfresco; 17:00 inizio seminario. Recent Advances in Multi-Agent Systems: decentralised coordination for situated agents Alessandro Farinelli - Università di Verona
12/01/12 16.45 16:45 rinfresco; 17:00 inizio seminario. Magic Loops in Simple Temporal Networks with Uncertainty Luke Hunsberger - Vassar College, USA
13/12/11 16.45 16:45 rinfresco; 17:00 inizio seminario. Algorithms and tools for life sciences Rosalba Giugno - Università di Catania
07/12/11 17.00 17:00 rinfresco, 17:15 inizio seminario Contextual Personalization and Intensional Query Answering in Data Management Elisa Quintarelli - Politecnico di Milano
01/12/11 16.45 16:45 rinfresco; 17:00 inizio seminario. A short walk through interval temporal logics Angelo Montanari - Università di Udine
29/11/11 15.45 15:45 rinfresco; 16:00 inizio seminario. Andrea Centazzo multimedia concert: a multi-dimensional experience Andrea Centazzo
24/11/11 16.45 16:45 rinfresco; 17:00 inizio seminario. Similarity learning in Internet vision Prof. Michael Bronstein - Università della Svizzera Italiana
08/11/11 16.45 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
03/11/11 16.30 16:30 inizio seminario A Rooted Tableau for BCTL* John McCabe-Dansted - University of Western Australia
06/10/11 16.45 16:45 rinfresco; ore 17:00 inizio seminario Combinatorial Search Algorithms for Function Evaluation Ferdinando Cicalese - Università degli Studi di Salerno
27/09/11 15.30 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
26/09/11 15.45 15:45 rinfresco; ore 16:00 inizio seminario Cycle Bases in Graphs Romeo Rizzi - Universita' degli studi di Udine
19/09/11 16.15 16:15 rinfresco; ore 16:30 inizio seminario Tradeoff between Performance and Security Alessandro Aldini - Universita' di Urbino "Carlo Bo"
01/09/11 16.45 16:45 rinfresco; ore 17:00 inizio seminario Orchestrating Decision Engines Leonardo de Moura - Microsoft Research, Redmond
31/08/11 16.45 16:45 rinfresco; ore 17:00 inizio seminario Formal Methods at Rockwell Collins Michael Dierkes - Rockwell Collins France
18/07/11 10.15 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)
26/05/11 10.15 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
17/05/11 16.45 16:45 rinfresco; ore 17:00 inizio seminario Distributed Optimization to assess and bound coordinated actions in Multi-Agent Systems Meritxell Vinyals - IIIA Spain
27/04/11 14.00 Evolutionary Robotics: Behaviour and Cognition as Complex Adaptive Systems Dr. Stefano Nolfi - ISTC-CNR
13/04/11 16.45 16:45 rinfresco, 17:00 inizio seminario Self-modification and dynamic behavior analysis Jean-Yves Marion - LORIA -- Francia
11/04/11 14.45 ore 14:45 rinfresco, ore 15:00 inizio seminario Cortical surface organization and implications on inter-subject matching Dr. Olivier Coulon - CNRS - ESIL, France
04/04/11 16.45 Aula B, Ca'Vignal 1 -- 16:45 rinfresco, 17:00 inizio seminario Bayesian methods for functional genomics Fulvia Ferrazzi - Gene Center, LMU, Monaco
15/03/11 16.45 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
01/03/11 16.45 ore 16.45 rinfresco, ore 17.00 inizio seminario A Mass Driven Flow for Chains Using Time Discretization Prof. Robert Hardt - Rice University
28/02/11 16.15 ore 16.15 rinfresco, ore 16.30 inizio seminario L’etica al tempo dei robot Prof. Giuseppe O. Longo - Università di Trieste
02/02/11 17.15 17:15 caffè e pasticcini, ore 17:30 inizio seminario Deduction Based Question Answering and its Application Ulrich Furbach
27/01/11 15.45 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
17/01/11 15.45 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
14/12/10 16.45 16:45 caffe' e pasticcini; 17:00 inizio seminario Imaging and cognition: towards a unified vision Gloria Menegaz
23/11/10 16.45 Weak instability and isochrony for Hamiltonian systems Gaetano Zampieri
09/11/10 16.45 Merging Business Process Models Marcello La Rosa
02/11/10 16.45 Local Reasoning and Dynamic Framing for the Composite Pattern and its Clients Anindya Banerjee
19/10/10 17.00 Analisi concettuale delle informazioni. Dalla teoria all’implementazione Piero Pagliari
29/09/10 16.45 16.45 caffe' e pasticcini, ore 17 inizio seminario Discrete models for biological dynamics Giuditta Franco - Università degli Studi di Verona
21/09/10 16.45 Ore 16.45 caffe' e pasticcini, ore 17 inizio seminario Symbol Elimination and Interpolation Laura Kovacs - Technische Universitat Wien (TU Wien)
01/06/10 16.45 16.45 caffe' e pasticcini, ore 17 inizio seminario Gli approcci sistemistici alla biologia molecolare cellulare Lorenzo Farina - Universita' La Sapienza, Roma
18/05/10 16.45 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
16/03/10 16.45 Ore 16.45 caffe' e pasticcini, ore 17 inizio seminario Un viaggio dentro ICC Margherita Zorzi - Università degli Studi di Verona
04/03/10 16.15 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
16/12/09 16.15 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
01/12/09 16.45 Ore 16.45 caffe' e pasticcini, ore 17 inizio seminario Performance Evaluation of Overlay Content Distribution Systems Damiano Carra - Università degli Studi di Verona
17/11/09 16.45 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
03/11/09 16.45 Ore 16.45 caffè e pasticcini, ore 17 inizio seminario Progettazione concettuale e controllabilità di workflow temporali Carlo Combi - Università degli Studi di Verona
20/10/09 16.45 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
06/10/09 16.45 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
23/09/09 16.45 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
08/09/09 16.00 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
09/06/09 17.15 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
26/05/09 17.00 Caffe' e pasticcini ore 17, inizio seminario ore 17.15 Combinatorial Models for DNA Rearrangements in Ciliates Angela Angeleska - University of South Florida
19/05/09 16.15 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
12/05/09 16.15 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
05/05/09 17.00 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
21/04/09 16.00 16.00 inizio seminario, caffe' e pasticcini al termine Join differential invariants for 3D face recognition Marinella Cadoni - Università di Sassari
16/04/09 11.15 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
07/04/09 16.15 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
31/03/09 16.15 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
24/03/09 16.15 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"
16/03/09 14.15 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)
03/03/09 16.15 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
24/02/09 17.15 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
11/02/09 16.15 16.15 caffè e pasticcini, inizio seminario ore 16.30 Variograms: Taboos, Conjectures and Facts Dr. Emilio Porcu - Università Jaune I of Castellòn.
10/02/09 16.45 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
27/01/09 16.15 Ore 16.15 caffe' e pasticcini - ore 16.30 inizio seminario Simulazioni di mercati finanziari Vincenzo Vespri - Universita' di Firenze
20/01/09 16.15 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
13/01/09 16.15 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
12/01/09 16.15 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
09/12/08 16.30 Caffe' e pasticcini ore 16.15 On the theorem prover PML Dr Christophe Raffalli - Departement de Mathematique, Universite de Savoie
04/12/08 16.30 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 16.15 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.
04/11/08 16.15 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
28/10/08 16.15 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
14/10/08 16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15. Open issues in Modelling and Control of Distributed Systems Marta Capiluppi - Universita' di Siena
30/09/08 16.15 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
23/09/08 16.15 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
16/09/08 16.15 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
12/09/08 14.15 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
09/09/08 16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15. Distributed computation on collaborative mobile networks Luca Geretti - Univ. di Udine
23/07/08 9.45 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
24/06/08 17.00 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
18/06/08 16.15 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
17/06/08 16.15 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
16/06/08 16.15 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
11/06/08 16.15 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
10/06/08 16.15 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
09/06/08 16.15 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;
03/06/08 16.15 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
27/05/08 16.15 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
20/05/08 16.15 Inizio alle 16:30, Caffe' e biscotti alle 16:15. Recent Results on Near Optimal Points for Multivariate Interpolation Len Bos - Calgary
13/05/08 14.30 Video Registration and 3D Reconstruction for Deformable Surfaces Adrien Bartoli - LASMEA, University Blaise Pascal, Clermont-Ferrand, France
06/05/08 16.15 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.
29/04/08 16.15 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
24/04/08 10.30 Laser-induced crystallization in vanadate glasses Mario Affatigato - Coe College, Iowa, visiting professor at Physics Dep of Trento
17/04/08 16.00 Intuizione e dimostrazione nell'insegnamento della geometria dello spazio Claudio Bernardi - Università degli Studi "La Sapienza" di Roma
15/04/08 16.15 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
01/04/08 16.15 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
18/03/08 16.15 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
11/03/08 16.15 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
04/03/08 16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15. Grafi e algebre Lidia Angeleri - Università degli Studi dell'Insubria, Varese
19/02/08 16.15 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)
12/02/08 16.15 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
29/01/08 16.30 Inizio alle 16:30, Caffe' e biscotti alle 16:15. Clustering di dati: principi e ricadute in bioinformatica Manuele Bicego - DEIR - University of Sassari
22/01/08 16.45 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
08/01/08 16.30 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
21/12/07 10.30 Molecular Optical Imaging Techniques for Biomedical Applications Claudio Vinegoni - Massachusetts General Hospital, Harvard Medical School
17/12/07 14.30 aula G Information Flow Analysis and Approximate Security Alessandro Aldini - Universita' di Urbino
13/12/07 11.00 Visual recognition in primates Tommaso Poggio - Center for biological and computational learning, Massachusetts institute of technology
04/12/07 17.00 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
27/11/07 17.00 Inizio alle 17:30, Caffe' e biscotti alle 17:00. Cost analysis by approximation of linear operators over dioids David Cachera - ENS Cachan / CNRS
20/11/07 17.00 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
13/11/07 14.00 Multi-core Solutions for Medium to High End Embedded Applications John Ralston - Chief Systems Architect, Digital Systems NCSG Europe, Freescale Semiconductor UK Ltd
18/10/07 17.00 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
16/10/07 17.00 Machine Learning for Hand Prosthetics (and more) Claudio Castellini - Università di Genova
27/09/07 17.00 Convolution theory in scale domain and automatic comparisons between representations in different domains Antonio De Sena - Università di Verona
25/09/07 17.00 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
17/09/07 16.00 Specifying and Analyzing Security Automata David Basin - Department of Computer Science, ETH Zurich
24/07/07 17.00 Verde (Ciclo SEMDIP) Interfacial patterns in systems with long-range interactions of Coulomb type Cyrill Muratov - New Jersey Institute of Technology
11/07/07 11.00 Rinfresco 10.45, inizio seminario 11.00. Tools for Artists - VFX Tool Development at Weta Digital Marco Revelant - Weta Digital
10/07/07 17.00 Aula Verde (Ciclo COVAR) Modeling sound gestures in multimodal human-computer interaction. Antonio Rodà - Università di Udine
02/07/07 15.00 Verde (Ciclo SEMDIP) Computational Challenges of the Barley Genome Project Stefano Lonardi - University of California, Riverside
02/07/07 17.00 Verde (Ciclo COVAR) Geometry and Appearance Modelling from Images Michela Farenzena - Università di Verona
27/06/07 17.00 Verde (Ciclo SEMDIP) Q-Calcolo: un lambda calcolo quantistico Margherita Zorzi - Università di Verona
26/06/07 15.15 Verde (Ciclo COVAR) Distributed Control Architectures for Modular and Networked Robotic Systems Alberto Turetta - Università di Genova
26/06/07 16.15 Verde (Ciclo COVAR) Translating Time-course Gene Expression Profiles into Semi-Algebraic Hybrid Automata Alberto Casagrande - Università di Udine
26/06/07 17.15 Verde (Ciclo COVAR) From Bioinformatics and Engineering to Systems Biology Elisa Ficarra - Politecnico di Torino
25/06/07 17.00 Verde (Ciclo COVAR) Statistical generative modelling of audio-video sequences for scene analysis Marco Cristani - Università di Verona
19/06/07 15.15 Aula L (Ciclo COVAR) Pattern Recognition: concetti generali e applicazioni in Bioinformatica Bicego Manuele
19/06/07 16.15 Aula L (Ciclo COVAR) On the use of physical modeling and machine learning methods in sound and voice synthesis Drioli Carlo
19/06/07 17.15 Aula L (Ciclo COVAR) Automatic Analysis of Retinal Images Grisan Enrico
12/06/07 15.15 Sala Verde (Ciclo COVAR) From Conventional Biology to Computational Biology: recent problems on sequences and structures Matteo Comin
12/06/07 16.15 Sala Verde (Ciclo COVAR) Task plannning and execution in variable environments Debora Botturi
12/06/07 17.00 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
29/05/07 17.00 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
24/05/07 10.00 User, design and interaction Charlotte Magnusson - Department of Design Sciences, Lund University
22/05/07 14.30 Approximation in metric spaces and fractals Claudio Bonanno - Dipartimento di Matematica Applicata, Università di Pisa
08/05/07 17.00 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
30/03/07 15.30 Inizio alle 16:00. Caffè, tè e biscotti dalle 15:30 Threading Software Watermarks Jasvir Nagra - Università di Trento
20/03/07 17.00 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
12/03/07 16.30 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
19/02/07 17.00 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
13/02/07 17.00 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
05/02/07 16.30 inizio ore 17:00. Te, caffe e biscotti dalle 16:30 Denotational Paradigms for Programming Languages Luca Paolini - Dipartimento di informatica, Università di Torino
23/01/07 14.30 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
15/01/07 16.30 inizio alle 17:00, caffe & biscotti alle 16:30 Perceptual imaging Gloria Menegaz - Università degli Studi di Siena
08/01/07 16.30 Genetic Programming for the Automatic Synthesis of Metabolic Pathways Alberto Castellini - Dipartimento di Informatica, Universita' di Verona
19/12/06 17.00 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 17.00 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
29/11/06 14.30 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
21/11/06 17.30 caffè, tè & C. ore 17.00 Decision procedures for verification of computer systems Dr. Calogero G. Zarba - REACT Group, Universitaet des Saarlandes
07/11/06 17.30 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)
24/10/06 17.30 caffè, tè & C. ore 17.00 Una breve introduzione alle logiche temporali ad intervalli Davide Bresolin - Dipartimento di Matematica e Informatica, Università di Udine
21/09/06 17.30 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
19/09/06 17.30 caffè, tè & C. ore 17.00 Computation of the PageRank vector for web search Prof. Claude Brezinski - Lille (France)
05/09/06 17.30 caffè, tè & C. ore 17.00 (Iper)interpolazione su domini bivariati dott. Marco Caliari - Universita' degli Studi di Padova
04/07/06 17.30 caffè, tè & C. ore 17.00 Mean Shift: theory and applications Marco Cristani - Università di Verona
20/06/06 17.30 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
13/06/06 17.30 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)
06/06/06 17.30 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
30/05/06 17.30 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)
09/05/06 17.30 caffè, tè & C. ore 17.00 La struttura matematica nascosta del Codice Genetico Dr. Diego L. Gonzalez - FSSG-CNR Venezia
11/04/06 17.30 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
03/04/06 17.30 caffè, tè & C. ore 17.00 Sounds as sources Brian Gygi - Acoustics Research Institute, Austrian Academy of Science, Vienna, Austria
21/03/06 17.30 17.30 caffè, tè & C. ore 17.00 Rigorous computing in Computer Vision Michela Farenzena - Dipartimento di Informatica, Università di Verona
07/03/06 17.30 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
21/02/06 17.30 caffè, tè & C. ore 17.00 Deduction and Unification in Permutative Theories Dr. Mnacho Echenim - Institut National Polytechnique de Grenoble
07/02/06 17.30 caffè, tè & C. ore 17.00 Editoria Scientifica Libera Prof. Davide Rocchesso - Università di Verona
24/01/06 17.30 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
13/12/05 17.30 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)
27/10/05 17.30 caffe`, te` & C. ore 17.00 Some new mathematical models in tissue reparation Luis Almeida - CNRS, Lab.Dieudonné, Nice (F)
25/10/05 17.30 caffe`, te` & C. ore 17.00 Rivelazione distribuita in reti di sensori Ing Roberto Pagliari - Dipartimento di Ingegneria dell'Informazione, Università di Parma
18/10/05 17.30 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
04/10/05 17.30 caffe`, te` & C. ore 17.00 Gesturally parameterized sound and video synthesis Sha Xin Wei - Topological Media Lab, Concordia University, Canada
13/09/05 17.30 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
05/07/05 17.30 caffe`, te` & C. ore 17.00 Clinical bioimaging and functional genomics Elisa Ficarra - Dip. di Automatica e Informatica, Politecnico di Torino
21/06/05 17.30 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)
16/06/05 17.30 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
14/06/05 17.30 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
08/06/05 15.30 Te, caffe` pasticcini alle 17.00 Audio-Tactile Michal Rinott - Interaction Design Institute - Ivrea
08/06/05 17.00 Ore 16.30, caffè, tè e pasticcini Designing Interaction Landscapes Karmen Franinovic e Yon Visell - Zero-Th Association, Pula, Croatia
07/06/05 17.30 caffe`, te` & C. ore 17.00 Strumentazioni Biomediche Computerizzate Marco Rossi - ATES MEDICA DEVICE Colognola ai Colli (Verona)
24/05/05 17.30 Ore 17.00: tè, caffè e &. Orthogonal Polynomials (in Matlab) Gautschi Walter - Purdue University - USA
17/05/05 17.30 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
10/05/05 17.30 ore 17.00: te`, caffe` & C. Integrity Constraints in Trust Management Sandro Etalle - Universita` di Twente, DIES: distributed and embedded system group
19/04/05 17.30 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
08/03/05 17.30 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
22/02/05 17.30 Ore 17.00 tè, caffè & c. A Model-Checker for the Symbolic Analysis of Internet Security Protocols Luca Viganò - ETHZ - Zurich (CH)
25/01/05 17.30 Ore 17.00: tè,caffè e biscotti/ni Brain-Controlled Robots José del R. Millán - IDIAP Research Institute, Martigny (CH)
21/12/04 17.30 Ore 17.00: tè, caffè e biscotti/ini Middleware per servizi adattativi su terminali mobili eterogenei Silvia Vecchi - HP Research Lab,.
14/12/04 17.30 ore 17.00: tè,caffè e biscotti/ini Introduzione alle Ontologie Formali Matteo Cristani - Univessità di Verona, Dipartimento di Informatica
13/12/04 14.15 VISION BETWEEN ACTION AND PERCEPTION Giuseppe Boccignone - Natural Computational Lab, DIIIE - Università di Salerno
07/12/04 17.30 ore 17:00: te`,caffe`, biscotti/ini Soluzione di equazioni su linguaggi: teoria e applicazioni Tiziano Villa - Universita` di Udine
30/11/04 17.30 Ore 17.00: tè,caffè e biscotti/ini Polytime incontra i template in C++ Giovanni Pani - Università di Bari
23/11/04 17.30 Ore 17.00: tè,caffè e biscotti/ini Sensori ottici CMOS con elaborazione di segnale integrata Massimo Gottardi - ITC-IRST, Povo (TN)
18/11/04 17.30 Ore 17.00: te`, caffe` e biscotti La gerarchia delle variabili nel mu calcolo modale Giacomo Lenzi - Universita` di Pisa, Dipartimento di Matematica Applicata
16/11/04 16.30 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 17.30 Ore 17.00: tè,caffè, biscotti/ini Logical Data Expiration David Toman - University of Waterloo
09/11/04 17.00 Bilateral Telemanipulation: A Port-Hamiltonian Approach Cristian Secchi - DISMI - University of Modena and Reggio Emilia
26/10/04 17.30 Ore 17.00 te, caffe` e pasticcini Engineering a High-Performance Equational Theorem Prover Stephan Schulz - Universita` di Verona
28/09/04 17.00 Topological Ideas in Sound Synthesis Georg Essl - Medialab Europe, Palpable Machines Group, Dublin
21/09/04 17.00 Abstract Interpretation and the PPL: From Theory to Practice and Vice Versa Enea Zaffanella - Dipartimento di Matematica, Parma
13/07/04 17.00 Modelling storage and resources: an introduction to separation logic Dave Schmidt - Computing and Information Sciences Department, Kansas State University, USA
29/06/04 17.30 On Bisimilarities Induced by Partial Orders S. Arun-Kumar - Indian Institute of Technology
15/06/04 17.00 Learning Logic Formulas from Data Klaus Truemper - University of Texas at Dallas
25/05/04 17.00 Computing Aggregate Funtions on Large-Scale Distributed Systems Alberto Montresor - Universita' di Bologna
12/05/04 17.00 Fondazioni Insiemistiche della Matematica Costruttiva Laura Crosilla - Universita' di Firenze
27/04/04 17.00 Timed Interfaces: A Behavioral Type System for Component-based Design Marielle Stoelinga - University of California at Santa Cruz
31/03/04 17.00 Secure Information Flow for a Sequential Java Virtual Machine Tamara Rezk - INRIA Sophia Antipolis
09/03/04 17.30 Deriving and Proving Abstract non-Interference Isabella Mastroeni - Universita' di Verona
02/03/04 17.30 Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling Andy King - University of Kent, Inghilterra
24/02/04 17.30 P Systems e Reti di Petri Enrico Formenti - University of Nice, Francia
10/02/04 17.30 Some Results on the Verification of Recursive Parallel Systems Massimo Benerecetti - Universita' di Napoli
03/02/04 17.30 Physiology-based Stability Criterions for Human-Robot Interactions Florin Popescu
20/01/04 17.30 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
13/01/04 16.30 Analysis for Stack Inspection Thomas Jensen - IRISA - Rennes, Francia
Condividi