Welcome, web visitor! You can browse most of my activities by clicking
on the links above.
Recent news and current activities are highlighted on the central area,
in reverse-chronological order. Some links you might find interesting
are in the small boxes on the right.
- I will attend a Dagstuhl seminar on Rigorous Methods for Software
Construction and Analysis in early May.
- The First Rotary Contest and the Tenth Italian Contest on
programming Turing machines for high school students were both
extremely successful. Best students from schools from all over the
country competed throwing Turing machines at each other! Full details
- Starting January 2006, I serve in the editorial board of Expert
Systems: The Journal of Knowledge Engineering. The journal is changing
its focus, concentrating on theory and applications of Knowledge
Engineering; if you work on this subject, you have to submit!
- I am co-chairing the 12th Working
Conference on Requirements Engineering: Foundation for Software
Quality (REFSQ'06); submission deadline is March 15th,
2006. This year REFSQ will have parallel sessions, and will also
host the REProManQA workshop — see the link above for details.
- We have been awarded € 20,000 through the IBM Faculty Award
program for our research on Autonomic Computing.
- Starting with the last week of October, I will undergo a couple of
eye surgery operations. I might be unable to respond to emails for two
or three weeks due to sight problems after that... :-(
- I am co-organizing OPODIS'05 in Pisa, the 9th
International Conference on Principles of Distributed Systems. If you
are into distributes systems, you might want to attend the conference
(12-14 December 2005).
- I will be teaching a course on "Systems-level languages -
Laboratory" this semester. Full details (in Italian) are available at this page
or through the Teaching link above.
- CERE'05 and RE'05 in Paris were both excellent events; thanks to
the RE'05 organizers for providing such good facilities and excellent
organization of the events. Post-Proceedings for CERE'05 will be published
in a few months and sent to all registered participants.
- Holidays coming... I will be off-line for most of August 2005, walking
my way to Santiago de Compostela, Spain. Please don't be surprised if
I can't answer emails, since I will have no connection at all for the
whole month. If you write me, you will not receive a "vacation"
message. I am sorry if this causes any inconvenience, but I prefer not
to provide spammers with any indication of my willingness to receive
unsolicited correspondance. Please bear with me.
- Schedule and program for CERE'05
announced. You can find details at the Schedule & Program
page of the workshop site. Don't miss the early-bird deadline for registering!
(31 July 2005).
- I will be visiting the Software Engineering department of the
University of Technology, Sydney, during July 2005. Host: Didar Zowghi.
- Due to several requests, submission to CERE'05 has been extended
until June 20, 2005. You can still submit!
- REFSQ'05 in Porto, Portugal, saw 18 presentations and, as per
REFSQ tradition, deep and thorough discussions on every aspect of
RE. Post-proceedings are being collected and will be dispatched by
- The Ninth Turing Machine Programming Contest for high school students was a huge
success! Thanks to all participating students and to their teachers for
- Submission to CERE'05 is now
open. Deadline for submission is June 10, 2005. Papers on all
aspects of research and results evaluation in RE are welcome!
- The deadline for submitting to REFSQ'05
has been extended to March 15 due to popular request.
New submissions are also welcome!
- On February 10, I will give a lecture on "Formal Methods in
Requirements Engineering" at University of Victoria, BC for the course
"SENG 321: Requirements Engineering and Formal Specifications" taught
by Daniela Damian.
- In the period January 16-February 18, 2005 I will be visiting the
School of Computer Sciences at the
Simon Fraser University in Vancouver, BC, Canada.
- The web site for REFSQ'05 has
gone live! Have a look and submit!
- I serve on the Program Committee for RE'05. If you work in Requirements
Engineering, you have to submit.
- The post-proceedings for REFSQ'04 have been dispatched
to participants. Additional copies can be ordered here.
- I serve on the Program Committee for AWRE'04, to be held in
Adelaide, Australia, next December. You can submit on the site.
- I am honoured to hold an Honorary Associate position at the Faculty
of Information Technology, University of Technology, Sydney.
- The 10th REFSQ was a successful event, elightened by many
good papers and by four special "anniversary papers" on the last and
next 10 years in requirements engineering research. Final proceedings
are being prepared.
- The CERE'04 web site
opens. Have a look and submit!
- The Circe Plugin for Eclipse is released! See che CPE site for details.
- Teaching starts; I will be teaching courses on C/POSIX programming
and General Computer Science for Environmental Scientists.
- Effective January 1, 2004, I hold a tenured Research Associate
position at the Dipartimento di Informatica in Pisa.
- The web site for REFSQ'04 has opened. Have a look and submit!
- I will be giving a Seminar for the Faculty of Information Technology
at UTS on 26 Nov 2003; the subject is "Distributed Coordination of
Autonomous Mobile Entities".
- I am currently visiting the University of Technology, Sydney. See
their Requirements Engineering
group pages for a summary of their activities
- I will serve as Program Co-chair for REFSQ'04, to be held in Riga in association with CAiSE. Details will follow.
- The CRUI-AICA project "IT4PS"
(Information Technology for Problem Solving) aims at providing a more
tailored certification system for IT. I am involved in the project,
in a pilot study concerning the medical area.
- I serve on the Program Committee for AWRE'03, to be held in Sydney next December. Links to be added soon!
- I will be giving an invited talk at REFSQ'03, on "Trends and topics
in 10 years of REFSQ: Preliminary results". Tentative schedule has it
on June 16, closing the afternoon session.
- The web site for the ST.EVE workshop is now online. Submit by mail, according to the instructions given at the site.
- Luca Del Carlo joins the Circe-Eclipse team.
- The web site for the CERE03 workshop is now on-line. Submit here.
- The web site for the Circe-Eclipse integration project opens.
- Our proposal for a workshop at RE03 on Comparative Evaluation in Requirements Engineering has been accepted. Call for Papers and web site to be added soon!
- I serve on the Program Committee for REFSQ'03. The deadline
for submitting papers has just expired (April 1st); acceptance will be
notified by April 22nd.
- I will be giving an invited talk on
"Requirements Engineering for Web Applications" at the International Workshop on
Requirements Engineering, held in conjunction with the RE03 Program
Committee meeting in Twente (April 5).
- Thanks to all those involved, the Eight Computer Science
Contest for high-school students has been a huge success. A full
report (including scores and winners) will be published soon on the web.
- We were awarded $25,000 through the IBM Eclipse
Innovation Award programme. Our proposal involves integrating
Circe in the open-source
development environment Eclipse,
so that requirements analysis can be performed in the same
environment used for developing code. More details can be found here.
- I am on the Program Committee for the FM03 workshop ST.EVE -
State-oriented vs. Event-oriented thinking (in Requirements Analysis,
Formal Specification and Software Engineering). Stay tuned for a
Call for Papers.
- A joint project with E. Börger, R. Stärk and G. Fruja
on providing an operational semantics for C# has been awarded
a $20,000 grant from Microsoft
Research. Preliminary results will be presented at the Rotor Workshop
in Pisa (April 23-25).
||The 15th International Conference on Requirements Engineering
||The 13th Working Conference on Requirements Engineering: Foundation for Software Quality
||The 14th Colloquium on Structural Information and Communication Complexity
||The 4th International Conference on FUN WITH ALGORITHMS
||The Journal of Knowledge Engineering
|The Circe Project
||A natural language requirements analysis environment
||A fuzzy, domain-based NL parser
||The Circe plugin for Eclipse
||A simulator for flocking algorithms in a distributed setting