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