Computer Science Seminars

Our plan is to organize computer science seminars whenever we have the occasion to. Seminars will be advertised on this page and announced on the (moderated) mailing list seminars@cs.unipr.it. Subscribe, if you are interested in these initiatives.

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

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.]

Page maintained by
Enea Zaffanella

Home | People | Projects | Publications | Seminars | Software | Links