| Prossimi seminari | |||
|---|---|---|---|
| Data | Ora | Titolo | Relatore |
| 26/03/25 | 16.00 Sala Verde (presenza) | Ascesa e declino del linguaggio totale:PL/I, Ada e i linguaggi estensibili, 1965-1980 | Simone Martini - Dipartimento di Informatica e Ingegneria dell’Università degli Studi di Bologna |
| 10/04/25 | 15.00 Sala Verde (presenza ed on line) | Computational modeling of multiple myeloma | Alessandro Laganà - Icahn School of Medicine at Mount Sinai, NY (USA) |
| Seminari già svolti | |||
|---|---|---|---|
| Data | Ora | Titolo | Relatore |
| 19/03/25 | 15.30 Sala Verde (presenza e remoto) | Cohomology of toric vector bundles via Weil decorations | Andreas Hochenegger - Politecnico di Milano |
| 19/03/25 | 17.00 Sala Verde (presenza e remoto) | Stable lattices in Bruhat-Tits buildings: algebra, geometry, and combinatorics | Mima Stanojkovski - Università di Trento |
| 14/03/25 | 11.00 Sala Verde (presenza) | Use of two neural networks for more than two independent jobs and multi-node implementation of quantum circuit simulators | Masahiro Fujita - University of Tokyo |
| 05/02/25 | 16.30 Sala Verde (presenza ed on line) | "A Computable and Compositional Behavioural Framework for Continuous and Hybrid Systems" | Pieter Collins - Department of Advanced Computing Sciences Maastricht University The Netherlands |
| 28/01/25 | 16.30 Aula F (solo presenza) | Equational Theories of Idempotent Semifields (Joint work with Simon Santschi) | George Metcalfe - Universität Bern, CH |
| 19/12/24 | 14.30 Sala Verde (presenza ed on line) | Tackling Quantum Chemistry Electronic Structure problems with Variational Quantum Eigensolver-based algorithms: Theory and applications | Fabio Tarocco - Università degli Studi dell'Aquila, Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica |
| 16/12/24 | 14.30 Sala Verde (solo presenza) | "The Bug The Better: Mining Bugs in Complex Programs" | Flavio Toffalini - Università della Ruhr - Bochum (Ruhr-Universität Bochum, RUB (GER) |
| 06/12/24 | 14.30 Sala Verde (presenza ed on line) | Many strategies, one goal: hardware implementable quantum Sci-ML | Andrea Gentile - Head of Unit - Pasqal SaS |
| 29/11/24 | 15.30 Sala Verde (presenza) | Back to the Future of Cognition and Control in Robotics | Mohan Sridharan - University of Birmingham - School of Computer Science (UK) |
| 25/11/24 | 11.30 2 class of 2 ours, and 1 class lab, from 25 to 27 November 2024 | Introduction to Transformers and Self-Supervised learning for Medical Image Analysis | Prof. Luca Giancardo - McWilliams School of Biomedical Informatics, University of Texas Health Science Center at Houston, USA |
| 23/10/24 | 17.00 Sala Verde (solo presenza) | The proof theory of skew logics | Prof. Tarmo Uustalu - Reykjavik University (iceland) - Tallinn University of Technology (Estonia) |
| 22/10/24 | 15.00 Sala Verde (presenza e remoto) | Linear Invariants for poset representations | Thomas Brüstle - University of Sherbrooke and Bishop's University |
| 22/10/24 | 16.30 Aula L (presenza e remoto) | Mutation of tau-exceptional sequences | Aslak Buan - NTNU Trondheim |
| 22/07/24 | 9.30 Sala Verde (solo presenza) | A Quest to Secure Standard and Proprietary Wireless Protocols | Daniele Antonioli - Assistant Professor at EUROCOM Sophia-Antipolis, France |
| 01/07/24 | 14.30 Sala Verde | Unsupervised bias mitigation in image classification: an anomaly detection approach | Vito Paolo Pastore - Università di Genova - Dipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS |
| 19/06/24 | 14.30 Aula Tessari (solo presenza) | Robustness and Fairness in Algorithmic Recourse | Francesco Leofante - Centre for Explainable AI at Imperial College London (UK) |
| 10/06/24 | 11.30 Sala Verde (presenza e da remoto) | Elevating Risk Management and Compliance Practice in FS Industry through Quantum Computing | Mario Onorato - Head of Enterprise Risk Management, IBM Italia S.p.A. |
| 10/06/24 | 14.00 Sala Verde (solo presenza) | H3Africa – using bioinformatics to unlock African health and history | Prof. Scott Hazelhurst - University of the Witwatersrand - Johannesburg - South Africa. |
| 04/06/24 | 13.45 Aula C (solo presenza) | Visual Explainability and Robustness through Language | Riccardo Volpi - Naver Labs Europe - France |
| 27/05/24 | 14.00 Aula I | Quantum Machine Learning | Davide Pastorello - Alma Mater Studiorum, Università di Bologna, Department of Mathematics |
| 20/05/24 | 14.00 Aula I (solo in presenza) | Ion-based Quantum Computing | Luca Dellantonio - University of Exeter (UK) |
| 09/05/24 | 15.30 Aula L (presenza e remoto) | Permutation groups and democracy | Daniela Bubboloni - Università di Firenze |
| 07/05/24 | 10.00 Aula H (solo in presenza) | Teaching Logic to Chatbots | Vincenzo Manca - Professore onorario Università di Verona |
| 18/04/24 | 12.00 Sala Verde (solo presenza) | A twist in the protein folding dogma? | Alex Bronstein - Technion – Israel Institute of Technology - Haifa (isr) |
| 11/04/24 | 12.30 Sala Verde (presenza - on line) | Multiplicity results for the Allen-Cahn equation | Dario Corona - Università di Camerino |
| 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) |
| 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 |
© 2025 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********
