Computer Science Seminars

If you would like to give a computer science seminar here, please drop us a note. Also, if you know somebody active in computer science will pass near Parma, please let us know.

Future Seminars

No seminar is planned for the near future.

Past Seminars (in reverse chronological order)

March 18, 2009

Miguel Gómez-Zamalloa
Live Heap Space Analysis for Java Bytecode.

May 22, 2008

Pr. Fred Mesnard
Typing Linear Constraints for Moding CLP(R) Programs.

May 31, 2006

Dr. Alessandro Dal Palù
Constraint Programming Approach to the Protein Structure Prediction Problem.

May 22, 2006

Prof. Lars Bendix
Software Configuration Management bis(nis).

May 18, 2006

Prof. Lars Bendix
Pair Programming, Pair Teaching - and beyond.

May 17, 2006

Prof. Lars Bendix
Introduction to Software Configuration Management.

May 26, 2005

Prof. Lars Bendix
From eXtreme Programming to being eXtreme in general.

May 25, 2005

Prof. Lars Bendix
Introduction to Software Configuration Management.

May 24, 2005

Dr. David Merchat
Reducing the number of numerical variables in linear relations analysis.

May 9, 2005

Prof. Fabrizio Luccio
Il caso e il calcolo.

February 2, 2005

Dr. Pedro Vasconcelos
A Type and Effect System for Cost Equation Synthesis.

January 11, 2005

Dr. Enric Rodríguez-Carbonell
Applications of Polynomial Invariants.

January 11, 2005

Dr. Enric Rodríguez-Carbonell
Generation of Polynomial Equality Invariants by Abstract Interpretation.

December 22, 2004

Dr. Marco Pellegrini
Algoritmi efficienti per problemi di prossimità in spazi Euclidei ad alta dimensione.

June 15, 2004

Dr. Daniele Varacca
Nondeterminismo e Probabilità in Teoria dei Domini.

February 26, 2004

Dr. Enea Zaffanella
Widenings for Powerset Domains with Applications to Finite Sets of Polyhedra.

February 26, 2004

Prof. Roberto Bagnara
Representation and Manipulation of Not Necessarily Closed Convex Polyhedra.

December 11, 2003

Dr. Enea Zaffanella
New Widening Operators for Convex Polyhedra.

December 11, 2003

Prof. Roberto Bagnara
Convex Polyhedra for the Analysis and Verification of Hardware and Software Systems: the "Parma Polyhedra Library".

December 10, 2003

Dr. Fausto Spoto
JULIA: A Static Analyser for the Java Bytecode.

November 19, 2003

Dr. Patricia M. Hill
Discrete Numerical Domains for the Analysis of Software.

November 18, 2003

Dr. Fabio Torrisi
Convexity Recognition of the Union of Polyhedra.

November 18, 2003

Dr. Fabio Torrisi
Inner and Outer Approximations of Polytopes Using Boxes.

July 03, 2003

Prof. Marco Bernardo
On the Usability of Process Algebra: An Architectural View.

March 26, 2003

Prof. Marco Locatelli
Introduzione alla Ricerca Operativa.

November 27, 2002

Dott. Alessandro Dal Palù
An Optimal Data Structure to Handle Dynamic Environments in Non-Deterministic Computations.

October 03, 2002

Dott. Carla Piazza
Bisimulation Based Information Flow Security.

June 19, 2002

Prof. Lars Bendix
Esperienze con XP in un curriculum universitario.

February 28, 2002

Prof. Germán Puebla Sánchez
CiaoPP: A Tool for Debugging and Optimization Based on Global Analysis.

February 27, 2002

Prof. Elvira Albert
Measuring the Effectiveness of Narrowing-Driven Specialization.

February 27, 2002

Dr. Manuel Carro Liñares
The Ciao Logic Programming Environment.

January 30, 2002

Dr. Stefan Weinzierl
Symbolic Calculations in C++.

February 21, 2001

Dr. Lars Bendix
Introduzione alla gestione delle configurazioni.

November 28, 2000

Prof. Krzysztof Apt
The Alma Project or How First-Order Logic Can Help us in Imperative Programming.

November 27, 2000

Prof. Krzysztof Apt
Constraint Propagation Revisited.

April 18, 2000

Carla Piazza
Comparing Expressiveness of Set Constructor Symbols.

April 18, 2000

Carla Piazza
ACI1 Constraints.

April 05, 2000

Prof. Kazimierz Glazek
Q-Independence.

April 04, 2000

Prof. Kazimierz Glazek
General Notions of Independence and Applications.

March 16, 2000

Prof. Kazimierz Glazek
Weak Endomorphisms and Weak Automorphisms.

March 09, 2000

Prof. Kazimierz Glazek
Morphisms Between Algebras of Different Types.

January 26, 2000

Dr. Patricia M. Hill
Verification of Logic Programs with Delay Declarations.

January 25, 2000

Dr. Patricia M. Hill
Abstract Domains for Universal and Existential Properties.

May 15, 1998

Prof. Giorgio Levi
Verifica di Programmi Logici via Interpretazione Astratta.

[Page last updated on January 18, 2013, 17:03:56.]