JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for CPHC-CONF Archives


CPHC-CONF Archives

CPHC-CONF Archives


cphc-conf@jiscmail.ac.uk


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Proportional Font

LISTSERV Archives

LISTSERV Archives

CPHC-CONF Home

CPHC-CONF Home

CPHC-CONF  2005

CPHC-CONF 2005

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject:

LOPSTR'05: Extended Deadline for Full Papers

From:

P M Hill <[log in to unmask]>

Reply-To:

P M Hill <[log in to unmask]>

Date:

Thu, 19 May 2005 08:18:03 +0100

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (137 lines)

___________________________________________________________________


                           LOPSTR'05


        EXTENDED DEADLINE FOR FULL PAPERS - 27th May 2005

    Deadline for extended abstracts (unchanged) - 3rd June 2005
___________________________________________________________________

                  Call for Papers: LOPSTR'05

           International Symposium on Logic-based Program
                  Synthesis and Transformation

               SEPTEMBER 7 - 9, 2005 : LONDON, UK.

              http://www.comp.leeds.ac.uk/lopstr05/

The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development; the
workshop is open to contributions in logic-based program development
in any language paradigm.

LOPSTR'05 will be held at Imperial College in London co-located with
SAS 2005: The International Static Analysis Symposium
(http://www.doc.ic.ac.uk/~clh/sas05.htm).

LOPSTR has a reputation for being a lively, friendly forum for
presenting new work and discussing work in progress, so it is a real
workshop in the sense that it is also able to provide useful feedback
to authors on their preliminary research. Formal proceedings of the
workshop are produced only after the workshop, so that authors can
incorporate this feedback in the published papers.


Scope of LOPSTR
---------------

    We solicit extended abstracts and full papers.  Topics of
    interest cover all aspects of logic-based program development,
    all stages of the software life cycle, and issues of both
    programming-in-the-small and programming-in-the-large.
    Papers describing applications such as those in the areas
    of verification and security are especially welcome.

The following is a non-exhaustive list of topics:
   * specification
   * synthesis
   * verification
   * transformation
   * specialisation
   * analysis
   * optimisation
   * composition
   * reuse
   * applications and tools
   * proofs as programs
   * component-based software development
   * agent-based software development
   * software architectures
   * design patterns and frameworks
   * program refinement and logics for refinement

Submission Guidelines
---------------------

Authors can either submit extended abstracts describing work in
progress or they can choose to submit full papers.  Contributions
should be written in English and should be submitted electronically in
Postscript or PDF format.
Authors are also asked to register with the online site and submit titles and
abstracts of their intended submissions three days before the deadline.
Prospective authors who have difficulties
for the electronic submission may contact the chairman at
[log in to unmask]

   Full papers should not exceed 16 pages (including
   references) in llncs format.
   These papers will be judged using ordinary conference quality criteria
   and accepted papers will have to be presented at the conference and will
   automatically appear in the pre-proceedings as well as in the final
   collection of papers, published in the LNCS series. The submission
   deadline for full papers is May 27th, 2005.

   Extended abstracts should not exceed 6 pages in llncs format
   and may describe work in progress.  Promising abstracts relevant to
   the scope of LOPSTR will be selected for presentation at the conference.
   The submission deadline for extended abstracts is June 3rd, 2005.

Accepted papers and abstracts will be collected in informal
pre-proceedings which will be available at the conference.

After the conference, authors of extended abstracts describing work
judged to be mature enough for publication will be invited to submit
full papers.  These will be reviewed according to
the usual refereeing procedures.  All accepted full papers, both those
accepted for the conference and those accepted full papers based on
the extended abstracts will be published in the final collection of
papers which is expected to be published in the Lecture Notes in Computer
Science
(see http://www.springer.de/comp/lncs/) series by Springer-Verlag.
Note that the full
papers accepted before the conference will automatically appear in that
book; there will be no additional refereeing (although authors
will be given a chance to revise their papers, if they so wish).

Program Committee
-----------------
   * Maria Alpuente,
   * Roberto Bagnara,
   * Gilles Barthe,
   * Annalisa Bossi,
   * Giorgio Delzanno,
   * Michael Hanus,
   * Patricia M. Hill, (Program Chair)
   * John Gallagher,
   * Lindsay Groves,
   * Gopal Gupta,
   * Michael Leuschel,
   * Fabio Martinelli,
   * Fred Mesnard,
   * Maurizio Proietti,
   * Andreas Podelski,
   * German Puebla,
   * Abhik Roychoudhury,
   * C.R. Ramakrishnan,
   * Wim Vanhoof.

Important dates
---------------
   * Submission of full papers:          May 27, 2005 (extended deadline)
   * Submission of extended abstracts:   June 3, 2005
   * Notification:                       June 27, 2005
   * Camera-ready:                       July 22, 2005
   * Conference:                         September 7-9, 2005

Top of Message | Previous Page | Permalink

JISCMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

April 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
March 2012
February 2012
January 2012
December 2011
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
March 2011
February 2011
January 2011
December 2010
November 2010
October 2010
September 2010
August 2010
July 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
July 2009
June 2009
May 2009
April 2009
March 2009
February 2009
January 2009
December 2008
November 2008
October 2008
September 2008
August 2008
July 2008
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
August 2007
July 2007
June 2007
May 2007
April 2007
March 2007
February 2007
January 2007
2006
2005
2004
2003
2002
2001
2000
1999
1998


WWW.JISCMAIL.AC.UK

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager