Ciclo di seminari

Seminari del Dipartimento di Informatica

Responsabile
Francesca Mantese

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

Seminari già svolti
Data Ora Titolo Relatore
13/01/04 16.30 Analysis for Stack Inspection Thomas Jensen - IRISA - Rennes, Francia
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
03/02/04 17.30 Physiology-based Stability Criterions for Human-Robot Interactions Florin Popescu
10/02/04 17.30 Some Results on the Verification of Recursive Parallel Systems Massimo Benerecetti - Universita' di Napoli
24/02/04 17.30 P Systems e Reti di Petri Enrico Formenti - University of Nice, Francia
02/03/04 17.30 Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling Andy King - University of Kent, Inghilterra
09/03/04 17.30 Deriving and Proving Abstract non-Interference Isabella Mastroeni - Universita' di Verona
31/03/04 17.00 Secure Information Flow for a Sequential Java Virtual Machine Tamara Rezk - INRIA Sophia Antipolis
27/04/04 17.00 Timed Interfaces: A Behavioral Type System for Component-based Design Marielle Stoelinga - University of California at Santa Cruz
12/05/04 17.00 Fondazioni Insiemistiche della Matematica Costruttiva Laura Crosilla - Universita' di Firenze
25/05/04 17.00 Computing Aggregate Funtions on Large-Scale Distributed Systems Alberto Montresor - Universita' di Bologna
15/06/04 17.00 Learning Logic Formulas from Data Klaus Truemper - University of Texas at Dallas
29/06/04 17.30 On Bisimilarities Induced by Partial Orders S. Arun-Kumar - Indian Institute of Technology
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
21/09/04 17.00 Abstract Interpretation and the PPL: From Theory to Practice and Vice Versa Enea Zaffanella - Dipartimento di Matematica, Parma
28/09/04 17.00 Topological Ideas in Sound Synthesis Georg Essl - Medialab Europe, Palpable Machines Group, Dublin
26/10/04 17.30 Ore 17.00 te, caffe` e pasticcini Engineering a High-Performance Equational Theorem Prover Stephan Schulz - Universita` di Verona
09/11/04 17.00 Bilateral Telemanipulation: A Port-Hamiltonian Approach Cristian Secchi - DISMI - University of Modena and Reggio Emilia
11/11/04 17.30 Ore 17.00: tè,caffè, biscotti/ini Logical Data Expiration David Toman - University of Waterloo
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
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
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)
30/11/04 17.30 Ore 17.00: tè,caffè e biscotti/ini Polytime incontra i template in C++ Giovanni Pani - Università di Bari
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
13/12/04 14.15 VISION BETWEEN ACTION AND PERCEPTION Giuseppe Boccignone - Natural Computational Lab, DIIIE - Università di Salerno
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
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,.
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)
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)
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
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
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
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
24/05/05 17.30 Ore 17.00: tè, caffè e &. Orthogonal Polynomials (in Matlab) Gautschi Walter - Purdue University - USA
07/06/05 17.30 caffe`, te` & C. ore 17.00 Strumentazioni Biomediche Computerizzate Marco Rossi - ATES MEDICA DEVICE Colognola ai Colli (Verona)
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
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
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
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)
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
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
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
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
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
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)
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)
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
07/02/06 17.30 caffè, tè & C. ore 17.00 Editoria Scientifica Libera Prof. Davide Rocchesso - Università di Verona
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/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/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
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
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
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
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)
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
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)
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
04/07/06 17.30 caffè, tè & C. ore 17.00 Mean Shift: theory and applications Marco Cristani - Università di Verona
05/09/06 17.30 caffè, tè & C. ore 17.00 (Iper)interpolazione su domini bivariati dott. Marco Caliari - Universita' degli Studi di Padova
19/09/06 17.30 caffè, tè & C. ore 17.00 Computation of the PageRank vector for web search Prof. Claude Brezinski - Lille (France)
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
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
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)
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
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
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
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
08/01/07 16.30 Genetic Programming for the Automatic Synthesis of Metabolic Pathways Alberto Castellini - Dipartimento di Informatica, Universita' 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
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
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
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
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
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
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
30/03/07 15.30 Inizio alle 16:00. Caffè, tè e biscotti dalle 15:30 Threading Software Watermarks Jasvir Nagra - Università di Trento
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
22/05/07 14.30 Approximation in metric spaces and fractals Claudio Bonanno - Dipartimento di Matematica Applicata, Università di Pisa
24/05/07 10.00 User, design and interaction Charlotte Magnusson - Department of Design Sciences, Lund University
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
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
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
25/06/07 17.00 Verde (Ciclo COVAR) Statistical generative modelling of audio-video sequences for scene analysis Marco Cristani - 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
27/06/07 17.00 Verde (Ciclo SEMDIP) Q-Calcolo: un lambda calcolo quantistico Margherita Zorzi - Università di Verona
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
10/07/07 17.00 Aula Verde (Ciclo COVAR) Modeling sound gestures in multimodal human-computer interaction. Antonio Rodà - Università di Udine
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
17/09/07 16.00 Specifying and Analyzing Security Automata David Basin - Department of Computer Science, ETH Zurich
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
27/09/07 17.00 Convolution theory in scale domain and automatic comparisons between representations in different domains Antonio De Sena - Università di Verona
16/10/07 17.00 Machine Learning for Hand Prosthetics (and more) Claudio Castellini - Università di Genova
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
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
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
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
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
13/12/07 11.00 Visual recognition in primates Tommaso Poggio - Center for biological and computational learning, Massachusetts institute of technology
17/12/07 14.30 aula G Information Flow Analysis and Approximate Security Alessandro Aldini - Universita' di Urbino
21/12/07 10.30 Molecular Optical Imaging Techniques for Biomedical Applications Claudio Vinegoni - Massachusetts General Hospital, Harvard Medical School
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
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
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
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
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)
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
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
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
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
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
17/04/08 16.00 Intuizione e dimostrazione nell'insegnamento della geometria dello spazio Claudio Bernardi - Università degli Studi "La Sapienza" di Roma
24/04/08 10.30 Laser-induced crystallization in vanadate glasses Mario Affatigato - Coe College, Iowa, visiting professor at Physics Dep of Trento
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
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.
13/05/08 14.30 Video Registration and 3D Reconstruction for Deformable Surfaces Adrien Bartoli - LASMEA, University Blaise Pascal, Clermont-Ferrand, France
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
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
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
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;
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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/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
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
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
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
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
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
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
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.
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
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
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)
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"
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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/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
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
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
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)
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
19/10/10 17.00 Analisi concettuale delle informazioni. Dalla teoria all’implementazione Piero Pagliari
02/11/10 16.45 Local Reasoning and Dynamic Framing for the Composite Pattern and its Clients Anindya Banerjee
09/11/10 16.45 Merging Business Process Models Marcello La Rosa
23/11/10 16.45 Weak instability and isochrony for Hamiltonian systems Gaetano Zampieri
14/12/10 16.45 16:45 caffe' e pasticcini; 17:00 inizio seminario Imaging and cognition: towards a unified vision Gloria Menegaz
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
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
02/02/11 17.15 17:15 caffè e pasticcini, ore 17:30 inizio seminario Deduction Based Question Answering and its Application Ulrich Furbach
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
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
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
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
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
13/04/11 16.45 16:45 rinfresco, 17:00 inizio seminario Self-modification and dynamic behavior analysis Jean-Yves Marion - LORIA -- Francia
27/04/11 14.00 Evolutionary Robotics: Behaviour and Cognition as Complex Adaptive Systems Dr. Stefano Nolfi - ISTC-CNR
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
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
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)
31/08/11 16.45 16:45 rinfresco; ore 17:00 inizio seminario Formal Methods at Rockwell Collins Michael Dierkes - Rockwell Collins France
01/09/11 16.45 16:45 rinfresco; ore 17:00 inizio seminario Orchestrating Decision Engines Leonardo de Moura - Microsoft Research, Redmond
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"
26/09/11 15.45 15:45 rinfresco; ore 16:00 inizio seminario Cycle Bases in Graphs Romeo Rizzi - Universita' degli studi di Udine
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
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
03/11/11 16.30 16:30 inizio seminario A Rooted Tableau for BCTL* John McCabe-Dansted - University of Western Australia
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
24/11/11 16.45 16:45 rinfresco; 17:00 inizio seminario. Similarity learning in Internet vision Prof. Michael Bronstein - Università della Svizzera Italiana
29/11/11 15.45 15:45 rinfresco; 16:00 inizio seminario. Andrea Centazzo multimedia concert: a multi-dimensional experience Andrea Centazzo
01/12/11 16.45 16:45 rinfresco; 17:00 inizio seminario. A short walk through interval temporal logics Angelo Montanari - Università di Udine
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
13/12/11 16.45 16:45 rinfresco; 17:00 inizio seminario. Algorithms and tools for life sciences Rosalba Giugno - Università di Catania
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
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
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.
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
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
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
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
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
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
02/05/12 16.45 4:45 pm rinfresco; 5:00 pm inizio seminario. Challenging Semi-Supervised Learning Marco Loog - Delft University of Technology
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
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
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
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)
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
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
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)
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
31/08/12 10.00 Seminario sulla robotica spaziale in sala verde Kazuya Yoshida - Tohoku University, Sendai Japan
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
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
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
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
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
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
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
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
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
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
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
18/02/13 14.30 2:15 p.m. rinfresco; 2:30 p.m. inizio seminario Generalized number systems Prof. Péter Burcsi - Eötvös Loránd University, Budapest
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
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
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
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
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
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
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
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
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)
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
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
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
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
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
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
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
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
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
24/01/14 11.00 10:45 rinfresco; 11:00 inizio seminario La realizzazione fisica di computer quantistici David Vitali - Università di Camerino
03/02/14 17.00 16:45 rinfresco; 17:00 inizio seminario Computer analysis of human behavior Albert Ali Salah - Bogazici University, Istanbul
25/02/14 17.00 16:45 rinfresco; 17:00 inizio seminario Modellizzazione quantitativa di strumenti finanziari derivativi Matteo Tesser - Fairmat Srl
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
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
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
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
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
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
14/05/14 16.30 16:15 rinfresco; 16:30 inizio seminario High Throughput Unsupervised Genetic Sequence Analysis Daniel Boley - University of Minnesota
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
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
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
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
ornamento
Inizio pagina