X-Git-Url: http://git.upsilon.cc/?p=homepage.git;a=blobdiff_plain;f=research.mdwn;h=352bfa2908916af5b9d4fa749bdcbd03f3dce126;hp=064f3c2c9f388e165970e06019b23275f320c7ec;hb=0894889bfb5d9dce4ca0d280f2caa6156847d331;hpb=a91ea64268621e53ca67c4057d11b7828615c1af

diff --git a/research.mdwn b/research.mdwn
index 064f3c2c..352bfa29 100644
--- a/research.mdwn
+++ b/research.mdwn
@@ -1,8 +1,17 @@
-My main job is doing research (and [[teaching]]) at the [Department of Computer
-Science](http://www.cs.unibo.it) of the [University of
-Bologna](http://www.unibo.it). My current and not-so current research interests
-are summarized below, a list of my **[[publications]]** on available in a
-[[separate_page|publications]].
+[[!img img/applications-science.png link="no" class="flow" alt="science"]] My
+main job is doing research (and [[teaching]]) at the [Laboratoire
+PPS](http://www.univ-paris-diderot.fr/) of the [Université Paris Diderot - Paris
+7](http://www.univ-paris-diderot.fr/). My current and not-so current research
+interests are summarized below, a list of my **[[publications]]** is available
+from a [[separate_page|publications]].
+
+# research interests
+
+ * **free software** and how formal methods can be applied to address the
+ complexity of the scenarios brought by the open source development model. I'm
+ currently a member of the [mancoosi](http://www.mancoosi.org) research project,
+ which is addressing some of this challenges, in particular the *upgrade
+ problem* of packages in GNU/Linux distributions
 
  * type theory and in particular **proof assistants** / interactive theorem
  provers. I've been one of the architect of the [Matita proof
@@ -14,10 +23,21 @@ are summarized below, a list of my **[[publications]]** on available in a
  * **web technologies**, in particular: type systems for typing XML trees (I'm
  currently a member of [W3C](http://www.w3.org)'s [XML Schema working
  group](http://www.w3.org/XML/Schema)) and document validation, overlapping
- markup, web collaboration (as in [[wikipedia wiki]]s) and its interaction with
+ markup, web collaboration (as in [[!wikipedia wiki]]s) and its interaction with
  content constraints
 
- * **free software**, in particular software engineering applications to wide
- software repositories (the typical use case of GNU/Linux distributions) and the
- application of formal methods to them to various ends (for example for
- dependency handling)
+# conferences
+
+I've recently been involved in the following conferences:
+
+* **[SAC WT 2010](http://www.cs.unibo.it/sacwt10/)** (track *Web
+  Technologies* of the [ACM Symposium on Applied
+  Computing](http://www.acm.org/conferences/sac/sac2010/)), as a
+  member of the *program commitee*
+* **[IWOCE 2009](http://www.iwoce.org/)** (International Workshop on
+  Open Component Ecosystems), affiliated to [ESEC/FSE
+  2009](http://www.esec-fse-2009.ewi.tudelft.nl/), as the *publicity
+  chair*
+* **[CONFSL'09](http://www.confsl.org/confsl09/)** (Conferenza
+  Italiana sul Software Libero), as a member of the *program
+  commitee*