SEFM 2010 News And Conference Announcements  
15 Sep 2010 13:05:12 +0200
201015 Sep
Location workshops
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
09 Sep 2010 13:05:12 +0200
201009 Sep
Speaker Change
Brian White will replace Antonios Tsourdos in presenting the tutorial titled "Multi-dimensional co-engineering of autonomous systems".
The contents are unchanged.
06 Sep 2010 09:15:12 +0200
201006 Sep
On line registration is closed.
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.
03 Sep 2010 09:15:12 +0200
201003 Sep
Downloadable Conference programme updated
An updated SEFM 2010 Programme is available for download (pdf file format): check the Conference site Downloads page or follow directly this link Download SEFM 2010 Programme in Adobe PDF Format
The Conference site program pages have been updtated as well.
02 Sep 2010 11:05:12 +0200
201002 Sep
Speaker Change
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.
06 Aug 2010 13:15:12 +0200
201006 Aug
Conference programme Available for Download
The SEFM 2010 Programme is available (pdf file format): check the Conference site Downloads page or follow directly this link Download SEFM 2010 Programme in Adobe PDF Format
13 Jul 2010 13:00:12 +0200
201013 JUL
SEFM 2010 School Call for Participation
==========================================
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
02 Jul 2010 13:15:12 +0200
201002 JUL
Posters and Tool Demo Submission deadline EXTENDED
The SEFM 2010 Conference Posters and Tool Demo Submission deadline has been extended to July 5, 2010.
28 Jun 2010 16:10:12 +0200
201028 JUN
SEFM 2010 Social Event

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.
28 Jun 2010 08:30:12 +0200
201028 JUN
Preliminary Program available
A preliminary version of the program has been published.
For further details, please refer the SEFM 2010 Conference site pages:
18 Jun 2010 12:30:12 +0200
201018 JUN
Camera Ready Submission deadline further EXTENDED
Due to Conference IEEE ID submission troubles, the SEFM 2010 Conference Camera Ready submission deadline has been further extended to June 25, 2010.
15 Jun 2010 14:30:12 +0200
201015 JUN
Camera Ready Submission deadline EXTENDED
The SEFM 2010 Conference Camera Ready submission deadline has been extended to June 18, 2010.
15 Jun 2010 11:00:12 +0200
201015 JUN
Geoff Dromey
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
08 Jun 2010 18:30:12 +0200
201008 JUN
SEFM 2010 Registration is now OPEN!
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.
07 Jun 2010 17:30:12 +0200
201007 JUN
SEFM 2010 Posters and Demo Tools Session Important Dates
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 
    07 Jun 2010 17:15:12 +0200
    201007 JUN
    SEFM 2010 Posters and Demo Tools Session has been Established
    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
    04 Jun 2010 19:30:12 +0200
    201004 JUN
    Tutorials Abstracts available
    SEFM 2010 Conference tutorials abstracts are now all available.
    Please visit the related SEFM 2010 Site pages for abstracts and further details:
    04 Jun 2010 19:15:12 +0200
    201004 JUN
    Author Kit: just a reminder
    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
    26 May 2010 15:30:12 +0200
    201026 MAY
    Keynotes Titles and Abstracts available
    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:
    26 May 2010 12:20:12 +0200
    201026 MAY
    SEFM 2010 Special track
    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.
    26 May 2010 12:20:12 +0200
    201026 MAY
    Accepted Papers List published
    The Accepted papers list has been published on the SEFM 2010 Conference website:
    Please refer the related site page
    26 May 2010 9:50:12 +0200
    201026 MAY
    Conference Accomodation Special fees
    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: For further info, please check the site page
    26 May 2010 8:50:12 +0200
    201026 MAY
    Website Venue Pages updated
    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:
    24 May 2010 13:50:12 +0200
    201024 MAY
    Conference Registration
    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.
    26 Apr 2010 10:50:12 +0200
    201026 APR
    SEFM Workshop OpenCert Important Dates Postponed
    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 
    12 Apr 2010 13:50:12 +0200
    201012 APR
    Notification Date postponed
    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 
    22 Mar 2010 13:50:12 ++0100
    201022 MAR
    SEFM 2010 Updated CFP available
    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.
    22 Mar 2010 12:50:12 +0100
    201022 MAR
    SEFM 2010 Deadlines EXTENDED!
    SEFM 2010 deadlines for Title and Abstract submission and for Paper submission have been both extended respectiveli 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 
    22 Mar 2010 10:50:12 +0100
    201022 MAR
    SEFM 2010 Invited Tutorials
    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
    Further inquiries can be made to the tutorial chair:
    18 Mar 2010 20:50:12 +0100
    201018 MAR
    OpenCert Workshop Important Dates update
    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 
    18 Mar 2010 19:15:12 +0100
    201018 MAR
    FAST Workshop Important Dates
    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  
    18 Mar 2010 18:15:12 +0100
    201018 MAR
    FAST Workshop Site on-line
    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
    09 Mar 2010 19:15:12 +0100
    201009 MAR
    FLACOS Workshop Important Dates
    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 
    09 Mar 2010 19:15:12 +0100
    20109 MAR
    FLACOS Workshop Site on-line
    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
    09 Mar 2010 18:15:12 +0100
    201009 MAR
    FM+AM Workshop Important Dates
    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 
    09 Mar 2010 17:15:12 +0100
    201009 MAR
    Special Issue of FACJ
    The Formal Aspects of Computing journal (FACJ) 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.
    05 Mar 2010 18:15:12 +0100
    201003 MAR
    SEFM 2010 School Dates have been established
    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.
    05 Mar 2010 17:50:12 +0100
    201003 MAR
    SEFM 2010 School Website is On-line
    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 SEFM 2010 School RSS Feed feed
    03 Mar 2010 17:35:12 +0100
    201003 MAR
    Paper Document Classes for Submissions
    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/: All queries on the submissions should be sent to: .
    24 Feb 2010 12:50:12 +0100
    201024 FEB
    OpenCert Workshop Important Dates
    SEFM 2010 Workshop OpenCert 2010 important dates:
  • Abstract submission
  • 14 June 2010 
  • Paper submission  
  • 21 June 2010 
  • Acceptance notification  
  • 23 July 2010  
    24 Feb 2010 12:50:12 +0100
    201024 FEB
    OpenCert Workshop Site on-line
    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
    12 Feb 2010 17:01:12 +0100
    201012 FEB
    SEFM 2010 Workshops Dates Established
    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
    12 Feb 2010 12:01:12 +0100
    201012 FEB
    FM+AM Workshop Site on-line
    The SEFM 2010 Workshop FM+AM´2010 site is on-line.
    For further information please refer to the related SEFM 2010 Site page (here) or follow the direct link:   http://fm-am-2010.tripod.com
    10 Feb 2010 12:01:12 +0100
    201010 FEB
    SEFM2010 Poster and Flyer Updated
    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<--)
    09 Feb 2010 17:01:12 +0100
    201009 FEB
    SEFM 2010 News Mailing List Available
    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<--
    29 Jan 2010 20:01:12 +0100
    201029 JAN
    SEFM2010 Workshops
    SEFM2010 Workshops have been decided:

    For Further information refer the related SEFM2010 site pages starting from here
    22 Jan 2010 16:01:12 +0100
    201022 JAN
    SEFM2010 Poster available
    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<--)

    23 Dec 2009 16:01:12 +0100
    200923 DEC
    Added some Extras pages
    The site "Extras" section has been enriched with Sitemap page and Custom SEFM-inside Search Page. More goodies are to come.
    23 Dec 2009 14:01:12 +0100
    200923 DEC
    Added Site Search
    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).
    23 Dec 2009 12:01:12 +0100
    200923 DEC
    Important Dates
    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
    22 Dec 2009 18:01:12 +0100
    200922 DEC
    CFW Available
    The eighth SEFM Conference Call For Workshops is available.
    More information on the related SEFM 2010 page here
    Workshop Submission Deadline: 20 January, 2010
    22 Dec 2009 17:01:12 +0100
    200922 DEC
    CFT Available
    The eighth SEFM Conference Call For Tutorials is available.
    More information on the related SEFM 2010 page here
    Tutorials Submission Deadline: 15 April, 2010
    21 Dec 2009 14:01:12 +0100
    200921 DEC
    CFP Available
    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
    14 Dec 2009 18:01:12 +0100
    200914 DEC
    Contacts List updated
    The Conference contact list has been enriched with several e-mail addresses:
    General Info request e-mail address:  
    PC Chairs e-mail address:  
    Tutorials Info request e-mail address:  
    Workshops Info request e-mail address:  
    Poster and Demo Tool Session Info request e-mail address:  



    Sponsorship Info request e-mail address:  



    Site Trouble pointing out e-mail address:  
    30 Nov 2009 18:01:12 +0100
    200930 NOV
    A4 Conference Flyer available.
    The Conference Flyer in A4 format is now available (pdf format) for downloding:
    30 Nov 2009 17:01:12 +0100
    200930 NOV
    Program Committee published!
    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
    29 Oct 2009 17:01:12 +0100
    200929 OCT
    RSS Feed added to the site
    From now on, you can subscribe the SEFM 2010 News and Announcements RS Feed constantly updated. Youc can find the feed link i the footer of every page or alternately at this: SEFM 2010 Conference RSS Feed address
    28 Oct 2009 17:01:12 +0100
    200928 OCT
    Actually...this page
    The NEWS page has been added to the site ;-)
    27 Oct 2009 16:01:12 +0100
    200927 OCT
    Conference Schedule Available
    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
    07 Oct 2009 15:01:12 +0100
    200927 OCT
    The eigthth SEFM Conference Site is online!
    ...


















       

     
    www.sefm2010.isti.cnr.it SEFM 2010 School
    Home    |    News   |   Downloads   |   Sitemap   |     |   rss feed   |   css 2.1   |   last updated: 15 Sep, 2010 - 15:28