sts March 2009

sts@lists.urchin.earth.li

1 participants
2 discussions

LOPSTR2009 first Call for Papers
by Michael Hanus 17 Mar '09

17 Mar '09

Our apologies if you receive this multiple times. CALL FOR PAPERS 19th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2009 http://www.cs.kuleuven.be/conference/lopstr09/ September 7-11, 2009, Coimbra, Portugal (co-located with PPDP 2009 and CSL 2009) ====================================================================== Objectives: The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium, so authors can incorporate the feedback in the published papers. Topics: 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 in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: specification synthesis verification transformation analysis optimisation composition security reuse applications and tools component-based software development software architectures agent-based software development program refinement Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. IMPORTANT DATES AND SUBMISSION GUIDELINES: Paper/extended abstract submission: May 8, 2009 Notification (for pre-proceedings): June 15, 2009 Camera-ready (for pre-proceedings): July 3, 2009 Symposium: September 9-11, 2009 Submissions can either be (short) extended abstracts or (full) papers whose length should not exceed 9 and 15 pages, respectively. Submissions must be formatted in the Springer LNCS style (excluding well-marked appendices not intended for publication). Referees are not required to read the appendices, and thus papers should be intelligible without them. Short papers may describe work-in-progress or tool demonstrations. Both short and full papers can be accepted for presentation at the symposium and will then appear in the LOPSTR09 pre-proceedings. Full papers can also be immediately accepted for publication in the formal proceedings, published by Springer-Verlag in the LNCS series. In addition, after the symposium, the programme committee will select further short or full papers presented in LOPSTR09 to be considered for formal publication. These authors will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then after another round of reviewing, these revised papers can also be published in the formal proceedings. Papers should be submitted either in PostScript or PDF format and they should be interpretable by Ghostscript or Acrobat Reader. Program Committee: Slim Abdennadher German University Cairo, Egypt Maria Alpuente Frasnedo Technical University of Valencia, Spain Roberto Bagnara University of Parma, Italy Danny De Schreye K.U.Leuven, Belgium (Chair) John Gallagher Roskilde University, Denmark Robert Glueck University of Copenhagen, Denmark Michael Hanus University of Kiel, Germany Reinhard Kahle Universidade Nova de Lisboa, Portugal Andy King University of Kent, UK Michael Leuschel University of Duesseldorf, Germany Fabio Martinelli Istituto di Informatica e Telematica Pisa, Italy Fred Mesnard Universite de La Reunion, France Mario Ornaghi Universita degli Studi di Milano, Italy German Puebla Technical University of Madrid, Spain Sabina Rossi Universita Ca' Foscari di Venezia, Italy Josep Silva Technical University of Valencia, Spain Peter Schneider-Kamp University of Southern Denmark, Denmark Tom Schrijvers K.U.Leuven, Belgium Petr Stepanek Charles University Prague, Czech Republic Wim Vanhoof University of Namur, Belgium

1 0

Call for Papers: Workshop on Termination (WST 2009)
by Michael Hanus 12 Mar '09

12 Mar '09

Tenth International Workshop on Termination (WST 2009) Leipzig, Germany, June 3-5, 2009 http://www.imn.htwk-leipzig.de/wst09/ Termination is a fundamental topic in computer science. Classical undecidability results show that termination is difficult. On the other hand, programs are usually required to terminate. So methods are needed that prove termination and non-termination automatically for a wide range of programs. Termination proofs are essential not only for program verification, but also as components of program transformation systems. The topic is challenging both in theory (mathematical logic, proof theory) and practice (software development, formal methods), and many interesting ramifications are yet to be explored. The 10th International Workshop on Termination will delve into all aspects of termination of processes. It will continue the sequence of successful workshops held in St. Andrews (1993), La Bresse (1995), Ede (1997), Dagstuhl (1999), Utrecht (2001), Valencia (2003), Aachen (2004), Seattle (2006), and Paris (2007). It will attain the same friendly atmosphere as those past workshops. The intent is to bring together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop shall help exchange ideas from term rewriting and from the various programming language communities. Contributions from the imperative, constraint, functional, and logic programming communities, and papers investigating new applications of termination are particularly welcome. Program Committee: Frederic Blanqui, INRIA, FR and Tsinghua University, CN Byron Cook, Microsoft Corporation, US Alfons Geser, HTWK Leipzig, DE (chair) Michael Hanus, Universität Kiel, DE Janis Voigtlander, Technische Universität Dresden, DE Local organization: Johannes Waldmann, HTWK Leipzig, DE Important Dates: Paper submission 19 April 2009 Notification 26 April 2009 Final Paper Version 3 May 2009 Conference Venue: The workshop will be held in the city of Leipzig, at the conference center Mediencampus Villa Ida. Hosting institution: Hochschule fur Technik, Wirtschaft und Kultur Leipzig, in cooperation with Leipzig School of Media and Medienstiftung der Sparkasse Leipzig.

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

sts March 2009