Home Page of Roberto Bagnara

Welcome to my home page.

I work as associate professor at the Department of Mathematics of the University of Parma, Italy.

I am a member of the Parma Computer Science Group.

I contributed to the creation of the degree in Informatica at the University of Parma.

I am a member of GULP (Gruppo ricercatori e Utenti Logic Programming).

From this page you can reach some personal information about myself, including contact information, an English CV and an Italian CV.

My research interests include abstract interpretation, data-flow analysis, and constraint logic programming languages. I am involved in the CHINA, PPL, PURRS, cTI and CLAIR projects.

Present and Recent Activities:

• Program Committee member for the ``15th International Static Analysis Symposium'' (SAS 2008), Valencia, Spain, July 16-18, 2008.
• Program Committee member for the Technical Track on Software Verification of the ``ACM 2008 Symposium on Applied Computing'' (SV08), Fortaleza, Brazil, March 16-20, 2008.
• Scientific Committee member for the ``III Workshop Open Source, Free Software e Open Format nei processi di ricerca archeologica, Padova, Italy, May 8-9, 2008.
• Program Committee member for the ``9th International Conference on Verification, Model Checking and Abstract Interpretation'' (VMCAI 2008), San Francisco, USA, January 7-9, 2008.
• Scientific Committee member for the ``II Workshop Open Source, Free Software e Open Format nei processi di ricerca archeologica, Grosseto, Italy, May 8, 2008.
• Invited speaker at the ``Polyhedral Computation'' Worskhop, Centre de recherches mathématiques, Université de Montréal, Montréal (Québec), Canada, October 17-20, 2006.
• Program Committee member for the ``15th International Symposium on Logic-based Program Synthesis and Transformation'' (LOPSTR'06), S. Servolo, Venice, Italy, July 12-14, 2006.
• Scientific Committee member and co-organizer of the I-QMDAA Summer School on Quantitative Methods and Data Analysis in Archaeology, Villa Lanzi, Campiglia Marittima, Italy, September 10-17, 2006.
• Scientific Committee member for the ``I Workshop Open Source, Free Software e Open Format nei processi di ricerca archeologica, Grosseto, Italy, May 8, 2008.
• Program Committee member for the ``21st International Conference on Logic Programming'' (ICLP'05), Barcelona, Spain, October 2-5, 2005.
• Program Committee member for the ``14th International Symposium on Logic-based Program Synthesis and Transformation'' (LOPSTR'05), London, UK, September 7-9, 2005.
• Membre du comité de lecture de la treizième édition des Journées Francophones de Programmation en Logique et de programmation par Contraintes (JFPLC 2004), 21, 22 et 23 Juin 2004, Angers, France.
• Program Committee member for the 13th Workshop on Logic Programming Environments, Mumbai, India, December 9-13, 2003.
• Co-organizer of the Second International Summer School on Computational Logic, Maratea, Italy, August 25-30, 2002.
• Program Committee member for the 2000 Joint Conference on Declarative Programming, La Habana, Cuba, December 4-7, 2000.
• Workshop Chair for the Joint International Symposia SAS'98 and PLILP/ALP'98.

The GNU Project

Support Freedom of Encryption!

Best Viewed With Any Browser

I run GNU/Linux!

[Page last updated on February 18, 2008, 08:01:06.]