research: add SCORE-it to committees
[homepage.git] / research.mdwn
index 34b2dce..b906cf0 100644 (file)
@@ -1,28 +1,87 @@
-[[img img/applications-science.png link="no" class="flow" alt="science"]] My
+[[!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]].
+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
- assistant](http://matita.cs.unibo.it), though now I'm contributing code more
- sparingly; both my master and Ph.D. [[theses|publications]] have been about
- Matita. I've also worked on distributed digital libraries of formalized
- mathematics, such as the [HELM](http://helm.cs.unibo.it) library
-
- * **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
- content constraints
+* **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 assistant](http://matita.cs.unibo.it), though now I'm
+  contributing code more sparingly; both my master and
+  Ph.D. [[theses|publications]] have been about Matita. I've also worked on
+  distributed digital libraries of formalized mathematics, such as the
+  [HELM](http://helm.cs.unibo.it) library
+
+* **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 content constraints
+
+# publications
+
+A list of my publications is available on a [[dedicated page|publications]].
+
+# committees
+
+I've recently been involved in the following scientific committees:
+
+* **[SCORE-it 2015](http://www.score-contest.it/)** (Italian Student COntest in
+  softwaRe Engineering), as a member of the *program committee*
+* **[RELENG 2014](http://releng.polymtl.ca/RELENG2014/html/index.html)** (2nd
+  International Workshop on Release Engineering), as a member of the *program
+  committee*
+* **[OPENSYM 2014](http://www.opensym.org/os2014/)** (The International
+  Symposium on Open Collaboration), as a member of the *program committee*
+* **[Journal of Peer Production](http://peerproduction.net/)** as member of the
+  *editorial board*
+* **[SAC WT 2014](http://www.cs.unibo.it/sacwt14/)** (track *Web Technologies*
+  of the
+  [ACM Symposium on Applied Computing](http://www.acm.org/conferences/sac/sac2014/)),
+  as *co-chair*
+* **[OSDOC 2013](http://eurosigdoc.acm.org/osdoc2013/)** as member of the *program
+  committee*
+* **[OPENSYM 2013](http://opensym.org/wsos2013/submitting/floss)** (Joint
+  International Symposium on Open Collaboration, Free, Libre, and Open Source
+  Software Research Track), as a member of the *program committee*
+* **[RELENG 2013](http://releng.polymtl.ca/)** (International Workshop on
+  Release Engineering), as a member of the *program committee*
+* **[SAC WT 2013](http://www.cs.unibo.it/sacwt13/)** (track *Web Technologies*
+  of the
+  [ACM Symposium on Applied Computing](http://www.acm.org/conferences/sac/sac2013/)),
+  as *co-chair*
+* **[CONFSL'12](http://www.confsl.org/confsl12/)** (Conferenza Italiana sul
+  Software Libero), as a member of the *program committee*
+* **[Agenda Digitale di Bologna](http://iperbole2020.tumblr.com/agendadigitale)**,
+  as a member of the *[scientific committee](http://iperbole2020.tumblr.com/post/18996983301/il-comitato-scientifico-dellagenda-digitale-di-bologna)*
+* **[OSDOC 2012](http://eurosigdoc.acm.org/osdoc2012/)** as member of the *program
+  committee*
+* **[SAC WT 2012](http://www.cs.unibo.it/sacwt12/)** (track *Web Technologies*
+  of the
+  [ACM Symposium on Applied Computing](http://www.acm.org/conferences/sac/sac2012/)),
+  as *co-chair*
+* **[SAC WT 2011](http://www.cs.unibo.it/sacwt11/)** (track *Web Technologies*
+  of the
+  [ACM Symposium on Applied Computing](http://www.acm.org/conferences/sac/sac2011/)),
+  as *co-chair*
+* **[CONFSL'10](http://www.confsl.org/confsl10/)** (Conferenza Italiana sul
+  Software Libero), as a member of the *program committee*
+* **[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 committee*
+* **[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 committee*