SEFM 2010 Conference News

Location workshops

15 Sep 2010 13:05:12 +0200

Workshops rooms have been settled:

Thursday 16 September 2010
- FAST 2010: Aula/Room 27

Friday 17 September 2010
- FAST 2010: Aula/Room 27
- FLACOS 2010: Aula/Room 28
- FM+AM 2010: Aula/Room "Faedo" C-29
- OpenCert 2010: Aula/Room 30

Saturday 18 September 2010
- FLACOS 2010: Aula/Room 28
- OpenCert 2010: Aula/Room 30

All coffee breaks and lunches in aula/room 29

Aula/Room 27+28+29+30 (ground floor): CNR main entrance and turn left
Aula/Room C-29 (ISTI, first floor): entrance 8 or 19, then follow indicators

Speaker Change

09 Sep 2010 13:05:12 +0200

Brian White will replace Antonios Tsourdos in presenting the tutorial titled
"Multi-dimensional co-engineering of autonomous systems".
The contents are unchanged.

On line registration is closed.

06 Sep 2010 09:15:12 +0200

On line registration is closed.
However, you can still register on-site.
The Registration fees are listed in the Conference site registration page
The SEFM main conference fee includes:
   * Attendance to the tutorials on 13 September
   * Attendance to all technical sessions of the conference program
   * Conference bag and SEFM proceedings
   * All lunches and coffee breaks from 13 to 16 September
   * Welcome reception
   * Social event including conference banquet
Each workshop fee includes a copy of the workshop proceedings, coffee breaks, lunches and a dinner (except for the 'without dinner' fee for FM+AM of course).
A discounted fee applies if one also registers for the main conference.
Please note that on site registration for the workshops is possible only via cash payments. There are three cash dispensers available at the CNR.

Downloadable Conference programme updated

03 Sep 2010 09:15:12 +0200

An updated SEFM 2010 Programme is available for download (pdf file format): check the Conference site Downloads page
or follow directly this direct link
The Conference site program pages have been updtated as well.

Speaker Change

02 Sep 2010 11:05:12 +0200

Andrea Micheletti will replace Daniela Marino in presenting (with Yudistira Asnar and Fabio Massacci) the tutorial titled
"Outsourcing vs. Compliance - in Software Service Viewpoint".
The contents are unchanged.

Conference programme Available for Download

06 Aug 2010 13:15:12 +0200

The SEFM 2010 Programme is available (pdf file format): check the Conference site Downloads page
or follow directly this link

SEFM 2010 School Call for Participation

13 Jul 2010 13:00:12 +0200

==========================================
Call for Participation
3rd Int. School on Software Engineering and Formal Methods (SEFM)
ADVANCED APPLICATIONS OF MODEL CHECKING TECHNIQUES
6-10 September 2010 - CNR, Pisa, Italy
Satellite event of SEFM'10
http://www.sefm2010.isti.cnr.it/school/
==========================================
The school is mainly addressed to PhD students and researchers interested in applications of formal verification techniques.
The focus will be on the description of several challenging domains in which model checking is currently applied,
on the advantages of the application of such a verification technique and on the difficulties to be faced.
An introduction on the use of formal methods in computer system/software design will be given, addressing system requirement
and design specification as well as analysis using traditional and stochastic model checking, followed by several application-specific courses.

*** PROGRAM AND LIST OF SPEAKERS ***
The program with the list of speakers is the following:
  * Introduction and Motivations (4 hours)
        Diego Latella (ISTI-CNR, Pisa, Italy)
  * Applications in orchestration of web services (6 hours)
        Rosario Pugliese (University of Florence, Italy)
        Francesco Tiezzi (University of Florence, Italy)
        Paola Quaglia (University of Trento, Italy)
  * Applications in systems biology (6 hours)
        Davide Chiarugi (University of Siena, Italy)
        Antonio Cerone (UNU-IIST, Macau SAR China)
        Paolo Milazzo (University of Pisa, Italy)
  * Applications to safety-critical systems (3 hours)
        Alessandro Fantechi (University of Florence, Italy)
  * Applications in human-computer interaction (6 hours)
        Mieke Massink (ISTI-CNR, Pisa, Italy)
        Antonio Cerone (UNU-IIST, Macau SAR China)
  * Applications in security of systems (3 hours)
        Pierpaolo Degano (University of Pisa, Italy)
        Roberto Zunino (University of Trento, Italy)
The courses will involve a total of 28 hours of teaching.
For PhD students interested in a final exam, there will be the possibility to take it as an homework to be done after the end of the school.

*** REGISTRATION ***
The registration fee for accepted applicants is 180 euros (lunches included).
Registration should be done through the web page of the school.
The deadline for registration is: 30 July 2010

*** ORGANIZERS ***
      - Antonio Cerone (UNU-IIST, Macao SAR, China, CHAIR)
      - Stefania Gnesi (ISTI-CNR, Pisa, Italy)
      - Paolo Milazzo (University of Pisa, Italy)

*** CONTACTS ***
The school organizers can be contacted via email at the following address:
info-school@sefm2010.isti.cnr.it

Posters and Tool Demo Submission deadline EXTENDED

02 Jul 2010 13:15:12 +0200

The SEFM 2010 Conference Posters and Tool Demo Submission deadline has been extended to July 5, 2010.

SEFM 2010 Social Event

28 Jun 2010 16:10:12 +0200

The Sefm 2010 Social Event will be a guided tour sightseeing through the City of Lucca.
Lucca retains the charm of a small and ancient Italian city-state.
His cautious policy allowed it to remain forever free and independent.
Then miraculously remained untouched by the destruction of war, still retains an intact one of the most important artistic heritage of Tuscany.
The imposing Renaissance walls completely surround the towers and medieval streets lined with elegant shops, beautiful Romanesque churches
and light squares, creating for the visitor new and unexpected perspectives.
Without traffic, the historic downtown of Lucca offers the possibility for the visitors to immerse themselves in a rare ancient atmosphere,
which allows to regain a sense of time and space lost by the modern cities of today.
Further info and useful links at the related SEFM 2010 site page.

Preliminary Program available

28 Jun 2010 08:30:12 +0200

A preliminary version of the program has been published.
For further details, please refer the SEFM 2010 Conference site pages:

Camera Ready Submission deadline further EXTENDED

18 Jun 2010 12:30:12 +0200

Due to Conference IEEE ID submission troubles, the SEFM 2010 Conference Camera Ready submission deadline
has been further extended to June 25, 2010.

Camera Ready Submission deadline EXTENDED

15 Jun 2010 13:30:12 +0200

The SEFM 2010 Conference Camera Ready submission deadline has been extended to
June 18, 2010.

Geoff Dromey

15 Jun 2010 11:00:12 +0200

The SEFM 2010 Conference Program provides for a Special track to honour Prof. Geoff Dromey's memory.
R. Geoff Dromey was the Foundation Professor of Software Engineering in the
School of Information and Communication Technology at Griffith University in Brisbane, Australia.
He was the founder and Director of the Software Quality Institute and co-founder of a successful
software company, Calytrix Technologies.
For more details on his life and career, please refer to the related site page

SEFM 2010 Registration is now OPEN!

08 Jun 2010 18:30:12 +0200

SEFM 2010 Conference registration is now open.
To register, please start from the SEFM 2010 site Registration page
and choose whether to use on-line registration or registration by fax or email.
You can register for the main conference, for four affiliated workshops or the SEFM school.

SEFM 2010 Posters and Demo Tools Session Important Dates

07 Jun 2010 17:30:12 +0200

SEFM 2010 Conference Posters and Demo Tools Important Dates are:

Poster and Tool Demo submission	30 June 2010
Posters Notification of acceptance/rejection	20 July 2010
Posters Camera-ready version due	20 August 2010

SEFM 2010 Posters and Demo Tools Session has been Established

07 Jun 2010 17:15:12 +0200

SEFM 2010 Conference Posters and Demo Tools Session is open.
Please visit the related SEFM 2010 Site page for the Call for Posters and any further details:
http://www.sefm2010.isti.cnr.it/posters_call.php

Tutorials Abstracts available

04 Jun 2010 19:30:12 +0200

SEFM 2010 Conference tutorials abstracts are now all available.
Please visit the related SEFM 2010 Site pages for abstracts and further details:

Author Kit: just a reminder

04 Jun 2010 19:15:12 +0200

SEFM 2010 Conference camera ready submission deadline is approaching.
As just a reminder, you can find the online author kit at the following address:
author kit link

Keynotes Titles and Abstracts available

26 May 2010 15:30:12 +0200

The Titles and the Abstracts of the talks the invited speakers will give at the SEFM 2010 Conference, are now available.
Please, check the website pages:

SEFM 2010 Special track

26 May 2010 12:20:12 +0200

A special track has been decided to honour Geoff Dromey's memory.
For further information, please refer the accepted papers site page for this track.

Accepted Papers List published

26 May 2010 12:20:12 +0200

The Accepted papers list has been published on the SEFM 2010 Conference website:
Please refer the related site page

Conference Accomodation Special fees

26 May 2010 09:15:12 +0200

In the Conference site Accomodation page
you can find a list of Hotels providing discounted fees.
Book your room as soon as possible to benefit from the special Conference rates specifing the special fee reason:
"SEFM 2010 Special Fee"
Briefly the hotel list:

Hotel Leonardo *** (70-90€ - 2 Km/24 mins walking)
Hotel S.Croce in Fossabanda *** (70-95€ - 1.5 Km/18 mins walking)
Hotel Royal Victoria *** (70-105€ - 2.1 Km walking/25 mins)
Hotel Verdi *** (80-100€ - 1.6 Km/20 mins walking)
Hotel Touring *** (84-94€ - 2.5 Km/31 mins walking)
Hotel Repubblica Marinara **** (88-108€ - 1.3 Km/16 mins walking)
AC Hotel **** (90eu - 2.6 Km/32 mins walking)
Hotel San Ranieri **** (90-119€ - 3 Km/37 mins walking)

For further info, please check the site page

Website Venue Pages updated

26 May 2010 08:50:12 +0200

The Venue pages of the Conference site have been updated.
Now you can find useful information about accomodation and sightseeng in Pisa following this links:

Conference Registration

24 May 2010 13:50:12 +0200

SEFM 2010 Conference Registration form will be available by the beginning of June.
The early registration fees will be applied until 30 July.
For further details, please refer the SEFM 2010 site web page.

SEFM Workshop OpenCert Important Dates Postponed

26 Apr 2010 10:50:12 +0200

SEFM 2010 Workshop OpenCert 2010 important dates have been postponed:

Abstract submission	21 June 2010
Paper submission	28 June 2010
Acceptance notification	27 July 2010
Final version due	14 August 2010

Notification Date postponed

12 Apr 2010 13:50:12 +0200

The Notification of Acceptance or Rejection has been postponed to May 20, 2010.
Please notice that the Paper Submission Deadline has expired but the Tutorials one is still open:

Tutorial Submission	15 April 2010
Notification of acceptance	20 May 2010
Camera-ready version due	15 June 2010
Conference	13 - 18 September 2010

SEFM 2010 Updated CFP available

22 Mar 2010 13:50:12 +0100

SEFM 2010 Call for Papers has been update with the newly extended deadlines:

Title and Abstract submission: 29 March 2010
Paper submission: 6 April 2010

You can download it directly from here:
(-->TXT<--) (-->PDF<--) (-->DOC<--),
refer to the Conference Site Call For Papers page here, or visiting the Conference Site Downloads page here.

SEFM 2010 Deadlines EXTENDED!

22 Mar 2010 12:50:12 +0100

SEFM 2010 deadlines for Title and Abstract submission and for Paper submission have been both extended respectively from 22 march 2010 to 29 March 2010 and from 29 March 2010 to 6 April 2010.
So, actual and updated Schedule is:

Title and Abstract submission	~~22 March 2010~~ 29 March 2010	EXTENDED
Paper submission	~~29 March 2010~~ 6 April 2010	EXTENDED
Tutorial Submission	15 April 2010
Notification of acceptance	15 May 2010
Camera-ready version due	15 June 2010
Conference	13 - 18 September 2010

SEFM 2010 Invited Tutorials

22 Mar 2010 10:50:12 +0100

SEFM 2010 Inivited Tutorials have been established.
Please visit the related SEFM 2010 Site pages for abstracts and further details:

Tutorial Submission Deadline is April 15, 2010
The Call For Tutorials is still available: CFT

OpenCert Workshop Important Dates update

18 Mar 2010 20:50:12 +0100

SEFM 2010 Workshop OpenCert 2010 important dates:

Abstract submission	14 June 2010
Paper submission	21 June 2010
Acceptance notification	23 July 2010
Final version due	August 7, 2010

FAST Workshop Important Dates

18 Mar 2010 19:15:12 +0100

SEFM 2010 Workshop FAST 2010 important dates:

Title/Abstract Submission	June 13, 2010
Paper submission	20 June, 2010
Author Notification	July 19, 2010
Pre-proceedings version	September 1, 2010
WORKSHOP	September 16-17, 2010
Post-proceedings version	November 1, 2010

FAST Workshop Site on-line

18 Mar 2010 19:15:12 +0100

The SEFM 2010 Workshop FAST 2010 site is on-line.
For further information please refer to the related SEFM 2010 Site page (here)
or follow the direct link: http://www.iit.cnr.it/FAST2010

FLACOS Workshop Important Dates

09 Mar 2010 18:15:12 +0100

SEFM 2010 Workshop FLACOS 2010 important dates:

Paper Submission Deadline	April 15, 2010
Notification of Acceptance	June 1, 2010
Final Version Due	July 1, 2010
Early registration	July 15, 2010
WORKSHOP	September 17-18, 2010

FLACOS Workshop Site on-line

09 Mar 2010 19:15:12 +0100

The SEFM 2010 Workshop FLACOS 2010 site is on-line.
For further information please refer to the related SEFM 2010 Site page (here)
or follow the direct link: http://www.di.unipi.it/FLACOS2010

FM+AM Workshop Important Dates

09 Mar 2010 18:15:12 +0100

SEFM 2010 Workshop FM+AM´2010 important dates:

Submission of title and abstract	June 25, 2010	*
Submission of full paper	July 2, 2010	**
Notification of acceptance	August 2, 2010
Submission of revised final version	August 25, 2010
WORKSHOP	September 17, 2010
Publication of Proceedings	TBA

*: This step is mandatory!
**: Allowed only if abstract was submitted in previous step! - in the layout style of the LNI proceedings series edited by the GI.

Special Issue of FACJ

09 Mar 2010 17:15:12 +0100

The Formal Aspects of Computing journal will dedicate a special issue to SEFM 2010,
for which authors of selected papers will be invited to submit a journal version of their conference paper.

SEFM 2010 School Dates have been established

05 Mar 2010 18:15:12 +0100

SEFM 2010 School is hosted at the Institute of Information Science and Technologies
of the Italian National Research Council (ISTI-CNR)
and is to be held in Pisa, Italy, from 6th to 10th September, 2010.

SEFM 2010 School Website is On-line

05 Mar 2010 17:50:12 +0100

Even for the SEFM 2010 issue, there will be a school preceding the Conference
aiming to postgraduate students and researchers from academia and industry.
For further information, please refer the School Website
and check regularly the School news page or check/subscribe the related feed

Paper Document Classes for Submissions

03 Mar 2010 17:35:12 +0100

Instructions for authors are available at:
http://computer.org/cspress/instruct.htm
LaTeX and MS Word 8.5x11x2 document classes (or template) can be downloaded from the website at
ftp://pubftp.computer.org/Press/Outgoing/proceedings/:

Latex style package: IEEE_CS_Latex8.5x11x2.zip
MS Word Template: instruct8.5x11x2.doc
PDF Instruction file: instruct8.5x11x2.pdf

For any further information, please refer to the SEFM 2010 Conference pages: Call For Papers and Contacts

OpenCert Workshop Important Dates

24 Feb 2010 14:50:12 +0100

SEFM 2010 Workshop OpenCert 2010 important dates:

Abstract submission	14 June 2010
Paper submission	21 June 2010
Acceptance notification	23 July 2010

OpenCert Workshop Site on-line

24 Feb 2010 12:50:12 +0100

The SEFM 2010 Workshop OpenCert 2010 site is on-line.
For further information please refer to the related SEFM 2010 Site page (here) or follow the direct link:
http://opencert.iist.unu.edu

SEFM 2010 Workshops Dates Established

12 Feb 2010 17:01:12 +0100

The SEFM 2010 Workshops dates have been established.
For further information please refer to the related SEFM 2010 Site page (here) or follow the direct links:

FLACOS 2010:	17 - 18 September, 2010
OpenCert 2010:	17 - 18 September, 2010
FM+AM´2010:	17 September, 2010

FM+AM Workshop Site on-line

12 Feb 2010 12:01:12 +0100

The SEFM 2010 Workshop FM+AM´2010 site is on-line.
For further information please refer to th erelated SEFM 2010 Site page (here) or follow the direct link:
http://fm-am-2010.tripod.com

SEFM2010 Poster and Flyer Updated

10 Feb 2010 12:01:12 +0100

The SEFM2010 A4 format Conference flyer and the A2 format Conference Poster have been slightly updated.
Please, refer the site downloads page or follow the links below:
Conference Poster in A2 format (PDF):

SEFM 2010 - A2 HIGH quality Poster (17 MB): (-->PDF<--)
SEFM 2010 - A2 MEDIUM quality Poster (3 MB): (-->PDF<--)
SEFM 2010 - A2 LOW quality Poster (2 MB): (-->PDF<--)

Conference Flyer in A4 format (PDF):

SEFM 2010 - A4 HIGH quality Flyer (6 MB): (-->PDF<--)
SEFM 2010 - A4 MEDIUM quality Flyer (1,11 MB): (-->PDF<--)

SEFM 2010 News Mailing List Available

09 Feb 2010 17:01:12 +0100

The SEFM 2010 News mailing List is now available.
The mailing list Service is is provided through FeedBurner: you can subscribe directly from the related Site page (-->here<--)
or otherwise following this link:
-->Subscribe to SEFM 2010 Conference News by Email<--

SEFM2010 Workshops

29 Jan 2010 20:01:12 +0100

SEFM2010 Workshops have been decided:

For Further information refer the related SEFM2010 site pages starting from here

SEFM2010 Poster available

22 Jan 2010 16:01:12 +0100

The SEFM2010 A4 format Conference flyer and the A2 format Conference Poster are now both available.
Please, refer the site downloads page or follow the links below:

SEFM 2010 - A2 HIGH quality Poster (17 MB): (-->PDF<--)
SEFM 2010 - A2 LOW quality Poster (6 MB): (-->PDF<--)
SEFM 2010 - A4 HIGH quality Flyer (6 MB): (-->PDF<--)
SEFM 2010 - A4 LOW quality Flyer (1,79 MB): (-->PDF<--)

Added some Extras pages

23 Dec 2009 16:01:12 +0100

The site "Extras" section has been enriched with Sitemap page and Custom SEFM-inside Search Page.
More goodies are to come.

Added Site Search

23 Dec 2009 14:01:12 +0100

A custom search inside the site function, powered by Google, has been added:
you can find the search form at the end of the menu column.
The search results are shown in a new page where it is possible to perform searchs again
both inside the SEFM Conference Site or the whole web.
A customized search page will be soon available as well as other goodies
(sitemap, statistics reports and so on).

Important Dates

23 Dec 2009 12:01:12 +0100

Just a reminder:

Workshop submission	20 January, 2010
Abstract submission	22 March, 2010
Paper submission	29 March, 2010
Tutorial Submission	15 April, 2010
Notification of acceptance	15 May, 2010
Camera-ready version	15 June, 2010
Conference	13 - 18 September, 2010

CFW Available

22 Dec 2009 18:01:12 +0100

The eighth SEFM Conference Call For Workshops is available.
More information on the related SEFM 2010 page here
Workshop Submission Deadline: 20 January, 2010

CFT Available

22 Dec 2009 17:01:12 +0100

The eighth SEFM Conference Call For Tutorials is available.
More information on the related SEFM 2010 page here
Tutorials Submission Deadline: 15 April, 2010

CFP Available

21 Dec 2009 14:01:12 +0100

The eighth SEFM Conference Call For Papers is available.
You can download it directly from here: (-->PDF<--) (-->DOC<--)
or refer to the publication Conference Site page here

Contacts List updated

14 Dec 2009 18:01:12 +0100

The Conference contact list has been enriched with several e-mail addresses:
please refer to the Conference site contacts list page: here.

A4 Conference Flyer available.

30 Nov 2009 18:01:12 +0100

The Conference Flyer in A4 format is now available (pdf format) for downloding:

SEFM 2010 - HIGH quality Flyer (26 MB): (-->PDF<--)
SEFM 2010 - LOW quality Flyer (1,79 MB): (-->PDF<--)

Program Committee published!

30 Nov 2009 17:01:12 +0100

The program committee has been published:

Bernhard Aichernig, Austria
Luis Barbosa, Portugal
Marcello Bonsangue, Netherlands
Artur Boronat, UK
Jonathan Bowen, UK
Antonio Cerone, Macao
Marsha Chechik, Canada
Flavio Corradini, Italy
Jim Davies, UK
Schahram Dustdar, Austria
George Eleftherakis Greece
Stephen Gilmore, UK
Michael Hansen, Denmark
Klaus Havelund, USA
Rob Hierons, UK
Dang Van Hung, Vietnam
Jean-Marie Jacquet, Belgium
Shmuel Katz, Israel
Padmanabhan Krishan, Australia
Xuandong Li, China
Peter Lindsay, Australia
Zhiming Liu, Macao
Antónia Lopes, Portugal
Carlos Lucena, Brasil
Franco Mazzanti, Italy
Dominique Méry, France
Carlo Montangero, Italy
Madhavan Mukund, India
Mizuhito Ogawa, Japan
Jenifer Pérez Benedí, Spain
Sanjiva Prasad, India
Rosario Pugliese, Italy
Markus Roggenbach, UK
Mark Ryan, UK
Bernhard Schätz, Germany
Gerardo Schneider, Sweden
Willem Visser, South Africa
Gianluigi Zavattaro, Italy

For the complete conference commitees schedule please refer the related conference site page here

RSS Feed added to the site

29 Oct 2009 17:01:12 +0100

From now on, you can subscribe the SEFM 2010 News and Announcements RS Feed constantly updated.
You can find the feed link in the footer of every page or alternately at this: address.

Actually...this page

28 Oct 2009 17:01:12 +0100

The NEWS page has been added to the site ;-)

Conference Schedule

27 Oct 2009 16:01:12 +0100

The eigtht SEFM Conference schedule has been published:

Workshop submission	20 January, 2010
Abstract submission	22 March, 2010
Paper submission	29 March, 2010
Tutorial Submission	15 April, 2010
Notification of acceptance	15 May, 2010
Camera-ready version	15 June, 2010
Conference	13 - 18 September, 2010

The eighth SEFM Conference Site is online!

27 Oct 2009 15:01:12 +0100

...