Nabble - UIUC Maude

FLOPS 2010: Second Call for Papers

2009-09-01T04:08:50Z

----------------------------------------------------------------------------
SECOND CALL FOR PAPERS

Tenth International Symposium on Functional and Logic Programming
(FLOPS 2010)
April 19-21, 2010
Sendai, Japan

http://www.kb.ecei.tohoku.ac.jp/flops2010/

Submission deadline: October 16, 2009

FLOPS is a forum for research on all issues concerning declarative
programming, including functional programming and logic programming,
and aims to promote cross-fertilization and integration between the
two paradigms. Previous FLOPS meetings were held in Fuji Susono
(1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo
(2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise
(2008).

TOPICS

FLOPS solicits original papers in all areas of functional and logic
programming, including (but not limited to):

Declarative Pearls: new and excellent declarative programs with
illustrative applications.

Language issues: language design and constructs, programming
methodology, integration of paradigms, interfacing with other
languages, type systems, constraints, concurrency and distributed
computing.

Foundations: logic and semantics, rewrite systems and narrowing,
type theory, proof systems.

Implementation issues: compilation techniques, memory management,
program analysis and transformation, partial evaluation,
parallelism.

Applications: case studies, real-world applications, graphical
user interfaces, Internet applications, XML, databases, formal
methods and model checking.

The proceedings will be published as an LNCS volume. The proceedings
of the previous meeting (FLOPS 2008) were published as LNCS 4989.

INVITED SPEAKERS

TBD

PC CO-CHAIRS

Matthias Blume (TTI, Chicago, USA)
German Vidal (Technical University of Valencia, Spain)

CONFERENCE CHAIR

Naoki Kobayashi (Tohoku University, Sendai, Japan)

PC MEMBERS

Nick Benton (Microsoft Research, Cambridge, UK)
Manuel Chakravarty (University of New South Wales, Australia)
Michael Codish (Ben-Gurion University of the Negev, Israel)
Bart Demoen (Katholieke Universiteit Leuven, Belgium)
Agostino Dovier (University of Udine, Italy)
John P. Gallagher (Roskilde University, Denmark)
Maria Garcia de la Banda (Monash University, Australia)
Michael Hanus (University of Kiel, Germany)
Atsushi Igarashi (Kyoto University, Japan)
Patricia Johann (Rutgers University, USA)
Shin-ya Katsumata (Kyoto University, Japan)
Michael Leuschel (University of Dusseldorf, Germany)
Francisco Lopez-Fraguas (Complutense University of Madrid, Spain)
Paqui Lucio (University of the Basque Country, Spain)
Yasuhiko Minamide (University of Tsukuba, Japan)
Frank Pfenning (Carnegie Mellon University, USA)
Francois Pottier (INRIA, France)
Tom Schrijvers (Katholieke Universiteit Leuven, Belgium)
Chung-chieh "Ken" Shan (Rutgers University, USA)
Zhong Shao (Yale University, USA)
Jan-Georg Smaus (University of Freiburg, Germany)
Nobuko Yoshida (Imperial College London, UK)

LOCAL CHAIR

Eijiro Sumii (Tohoku University, Sendai, Japan)

SUBMISSION

Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. Submissions should
fall into one of the following categories:

Regular research papers: they should describe new results and will
be judged on originality, correctness, and significance.

System descriptions: they should contain a link to a working
system and will be judged on originality, usefulness, and design.

All submissions must be written in English and can be up to 15
proceedings pages long. Authors are strongly encouraged to use
LaTeX2e and the Springer llncs class file, available at
http://www.springer.de/comp/lncs/authors.html

Regular research papers should be supported by proofs and/or
experimental results. In case of lack of space, this supporting
information should be made accessible otherwise (e.g., a link to a
web page, or an appendix). Papers should be submitted electronically
at http://www.easychair.org/conferences/?conf=flops2010

IMPORTANT DATES

Submission deadlines:
- Abstract: October 16, 2009
- Paper: October 23, 2009
Author notification: December 21, 2009
Camera-ready copy: January 24, 2010
Conference: April 19-21, 2010

PLACE

Sendai, Japan

Some previous FLOPS:

FLOPS 2008, Ise: http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/
FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/
FLOPS 2004, Nara
FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/
FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/

SPONSOR

JSSST SIG-PPL

IN COOPERATION with

AAFS (Asian Association for Foundation of Software)
ACM SIGPLAN
ALP (Association for Logic Programming)

----------------------------------------------------------------------------

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

SLE 2009 Denver Colorado - Call for participation

2009-08-27T13:33:02Z

Call for Participation - SLE 2009

2nd International Conference on Software Language Engineering

http://planet-sl.org/sle2009
Denver, Colorado, October 5-6, 2009

____________________________________________________________

Co-located with 12th International Conference on
Model-Driven Engineering Languages and Systems (MODELS 2009)
and 8th International Conference on
Generative Programming and Component Engineering (GPCE 2009)

Highlights:
- Research Program: 15 research papers, 6 short papers and 2 tool demos
(program listed below)
- Keynote Speakers: Jean Bezivin and James Cordy
- Early Registration: Open until Sept 14, 2008

Conference
----------

The 2nd International Conference on Software Language Engineering (SLE)
is devoted to topics related to artificial languages in software
engineering. SLE's foremost mission is to encourage and organize
communication between communities that have traditionally looked
at software languages from different, more specialized, and yet
complementary perspectives. SLE emphasizes the fundamental notion
of languages as opposed to any realization in specific "technical
spaces". SLE 2009 will be co-located with the 12th IEEE/ACM
International Conference on Model-Driven Engineering Languages and
Systems (MODELS 2009) and 8th International Conference on
Generative Programming and Component Engineering (GPCE 2009).

Scope
-----

The term 'software language' comprises all sorts of artificial
languages used in software development, including general-purpose
programming languages, domain-specific languages, modeling and
meta-modeling languages, data models, and ontologies. Used in its
broadest sense, examples include modeling languages such as
UML-based and domain-specific modeling languages, business process
modeling languages, and web application modeling languages. The
term 'software language' also comprises APIs and collections of
design patterns that are implicitly defined languages.

Software language engineering is the application of a systematic,
disciplined, quantifiable approach to the development, use, and
maintenance of these languages. Thus, the SLE conference is
concerned with all phases of the life cycle of software languages;
these include the design, implementation, documentation, testing,
deployment, evolution, recovery, and retirement of languages. Of
special interest are tools, techniques, methods and formalisms that
support these activities. In particular, tools are often based on
or even automatically generated from a formal description of the
language. Hence, of special interest is the treatment of language
descriptions as software artifacts, akin to programs - while paying
attention to the special status of language descriptions, subject
to tailored engineering principles and methods for modularization,
refactoring, refinement, composition, versioning, co-evolution,
and analysis.

Accepted Papers
---------------

Research Papers
* August Schwerdfeger and Eric Van Wyk. Verifiable Parse
Table Composition for Deterministic Parsing
* Frédéric Mallet, Francois Lagarde, Charles André, Sebastien
Gerard and Francois Terrier. An Automated Process for
implementing Multi-level domain models
* Krzysztof Czarnecki, Thiago Tonelli Bartolomei, Ralf Laemmel
and Tijs van der Storm. Transcript of an API migration for
two XML APIs
* Lukas Renggli, Marcus Denker and Oscar Nierstrasz.
Language Boxes: Bending the Host Language with Modular
Language Changes
* Maartje de Jonge, Emma Nilsson-Nyman, Lennart C. L. Kats
and Eelco Visser. Natural and Flexible Error Recovery for
Generated Parsers
* Markus Herrmannsdoerfer, Daniel Ratiu and Guido Wachsmuth.
Language Evolution in Practice: The History of GMF
* Mathieu Acher, Philippe Collet, Philippe Lahire and
Robert France. Composing Feature Models
* Mauricio Alferez, João Santos, Ana Moreira, Alessandro
Garcia, Uirá Kulesza, João Araújo and Vasco Amaral.
Multi-View Composition Language for Software Product
Line Requirements
* Nils Thieme, Christian Wende and Steffen Zschaler.
A Role-based Approach Towards Modular Language
Engineering
* Steffen Zschaler, Dimitrios Kolovos, Nicholas Drivalos,
Richard Paige and Awais Rashid. Domain-Specific
Metamodelling Languages for Software Language Engineering
* Steffen Zschaler, Pablo Sanchez, Joao Santos, Mauricio
Alferez, Awais Rashid, Lidia Fuentes, Ana Moreira, Joao
Araujo and Uira Kulesza. VML* -- A Family of Languages
for Variability Management in Software Product Lines
* Tihamer Levendovszky, Anantha Narayanan, Daniel
Balasubramanian and Gabor Karsai. A Novel Approach to
Semi-Automated Evolution of DSML Model Transformation
* Tim Bauer and Martin Erwig. Declarative Scripting in
Haskell
* Uwe Jugel. Generating Smart Wrapper Libraries for Arbitrary
APIs
* Zef Hemel and Eelco Visser. PIL: A Platform Independent
Language for Retargetable DSLs

Short papers

* Anya Helene Bagge. Yet Another Language Extension Scheme
* Daniel Spiewak and Tian Zhao. ScalaQL: Language-Integrated
Database Queries for Scala
* Danny M. Groenewegen and Eelco Visser. Integration of Data
Validation and User Interface Concerns in a DSL for Web
Applications
* Ivan Kurtev and Alfons Laarman. Ontological Metamodeling with
Explicit Instantiation
* Jerónimo Irazábal and Claudia Pons. Model transformation
languages relying on models as ADTs
* Paul Laird and Stephen Barrett. Towards the Dynamic
Evolution of Domain Specific Languages

Tools

* Elina Kalnina, Audris Kalnins, Edgars Celms and Agris
Sostaks. Graphical template language for transformation
synthesis
* Florian Heidenreich, Jendrik Johannes, Mirko Seifert and
Christian Wende. Closing the Gap between Modelling and Java

Registration
------------
Registration is open now. Early bird registration is open until Sept 14.
Regitration is available at:

https://register.cce.umn.edu/Course.pl?sect_key=183427

Keynote Speakers
----------------

* James Cordy, Queens University, Canada
* Jean Bezivin, INRIA & Ecole des Mines de Nantes, France

Organization
------------
Steering Committee
* Mark van den Brand, TU Eindhoven, The Netherlands
* James Cordy, Queen's University, Canada
* Jean-Marie Favre, University of Grenoble, France
* Dragan Gasevic, Athabasca University, Canada
* Gorel Hedin, Lund University, Sweden
* Ralf Laemmel, Universitat Koblenz-Landau, Germany
* Eric Van Wyk, University of Minnesota, USA
* Andreas Winter, Johannes Gutenberg-Universitat Mainz, Germany

General Chair
* Dragan Gasevic, Athabasca University, Canada

Program Committee Co-Chairs
* Mark van den Brand, TU Eindhoven, The Netherlands
* Jeff Gray, University of Alabama at Birmingham, USA

Program Committee
* Colin Atkinson, Universität Mannheim, Germany
* Don Batory, University of Texas at Austin, USA
* Paulo Borba, Universidade Federal de Pernambuco, Brazil
* John Boyland, University of Wisconsin, Milwaukee, USA
* Marco Brambilla, Politecnico di Milano, Italy
* Shigeru Chiba, Tokyo Institute of Technology, Japan
* Charles Consel, LaBRI / INRIA, France
* Gregor Engels, Universität Paderborn, Germany
* Stephen A. Edwards, Columbia University, USA
* Robert Fuhrer, IBM T.J. Watson Research, USA
* Martin Gogolla, University of Bremen, Germany
* Giancarlo Guizzardi, Federal University of Espírito Santo, Brazil
* Reiko Heckel, University of Leicester, UK
* Frédéric Jouault, INRIA & Ecole des Mines de Nantes, France
* Nicholas Kraft, University of Alabama, USA
* Thomas Kühne, Victoria University of Wellington, New Zealand
* Julia Lawall, University of Copenhagen, Denmark
* Timothy Lethbridge, University Ottawa, Canada
* Brian Malloy, Clemson University, USA
* Kim Mens, Université catholique de Louvain, Belgium
* Marjan Mernik, University of Maribor, Slovenia
* Todd Millstein, University of California, Los Angeles, USA
* Pierre-Etienne Moreau, INRIA Nancy - Grand Est, France
* Pierre-Alain Muller, University of Haute-Alsace, France
* Daniel Oberle, SAP Research, Germany
* Richard Paige, University of York, UK
* James Power, National University of Ireland, Ireland
* João Saraiva, Universidade do Minho, Portugal
* Mary Lou Soffa, University of Virginia, USA
* Juha-Pekka Tolvanen, MetaCase, Finland
* Alexander Serebrenik, Eindhoven University of Technology, Netherlands
* Tony Sloane, Macquarie University, Australia
* Steffen Staab, Universität Koblenz-Landau, Germany
* Jun Suzuki, University of Massachusetts, Boston, USA
* Walid Taha, Rice University, USA
* Eli Tilevich, Virginia Tech, USA
* Jurgen Vinju, CWI, Netherlands
* Eelco Visser, Delft University of Technology, Netherlands
* René Witte, Concordia University, Canada

Organization Committee
* Bardia Mohabbati, Simon Fraser University, Canada (Web Chair)
* James Hill, Vanderbilt University, USA (Publicity co-Chair)
* Alexander Serebrenik, TU Eindhoven, The Netherlands (Publicity co-Chair)
* Eric Van Wyk, University of Minnesota (Finance Chair)
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

NASSLLI 2010 CFP

2009-07-30T19:09:41Z

North American Summer School in Logic, Language and Information 2010

Recent Call for Papers
Call Deadline: 15-Sep-2009

Call for Papers and Participation:

Proposals are invited that present interdisciplinary work between the
areas of logic, linguistics, computer science, cognitive science,
philosophy and artificial intelligence, though work in just one area
is within the scope of the summer school if it can be applied in other
fields. Examples of possible topics (adapting from previous NASSLLI
courses) would include e.g. logics for communication, computational
semantics, game theory (for logic, language and/or computation),
dynamic semantics, modal logics, linear logic, machine learning
techniques, statistical language models, and automated theorem
proving. We encourage potential course or workshop contributors to
check out previous programs at:

http://www.linguistics.ucla.edu/nasslli04/program.html
http://www.stanford.edu/group/nasslli/
http://www.indiana.edu/~nasslli/2003/program.html

Courses and workshops should aim to be accessible to an
interdisciplinary, graduate level audience. Courses may certainly
focus on a single area, but lecturers should then include introductory
background, try to avoid specialized notation that cannot be applied
more widely, and spend time on the question of how the topic is
relevant to other fields. A workshop can be more accessible if its
program is bracketed by broader-audience talks that introduce and
summarize the week's presentations.

Associated Workshops/Conferences:

In addition to courses and workshops taking place during the main
NASSLLI five day session, Indiana University welcomes proposals for
1-3 day workshops or conferences hosted on campus immediately before
or after the summer school, thus on the weekends of June 18-20 and
June 27-29 2010. Previous such associated meetings have included a
Mathematics of Language conference and Theoretical Aspects of
Reasoning About Knowledge (TARK).

Submission Details:

Submissions should be by email, and should indicate:

-Person(s) and affiliation
-Type of event (one week course or workshop, 2 hours a day)
-An outline of the course up to 500 words
-An indication of whether special equipment is needed to teach that
course (beamer, computer, etc)
-A statement about the instructor's experience in teaching in
interdisciplinary settings
-Expected costs (whether you want to be paid hotel and/or travel, and
descriptions of funding in hand or for which you will apply)

Financial Details:

A course may be taught by one or two persons. Conference fees are
waived for all instructors. However, we are only able to pay for the
full travel and expenses of one instructor per course. If two persons
are lecturing, they may share a lump sum paid for both. We must also
stress that while proposals from all over the world are welcomed, the
Summer School can in general guarantee only toreimburse travel costs
for travel from destinations within North America to Bloomington,
although exceptions can be made depending on the financial situation.
Furthermore, we encourage all lecturers to fund their own travel if
this is feasible, since this will allow us to use our available
funding for student scholarships.

Workshops are more complicated financially than courses, and a
proposal for a workshop should include a plan to obtain some outside
funding for the speakers.

Notifications of Interest:

To give us an idea about the number of submissions, we would like you
to email us, ideally within two weeks, in case you are interested in
submitting a proposal. This will not commit you to actually submit one
(and not emailing in advance does not preclude you from submitting a
full proposal).

Schedule:

Jun 18, 2009: unofficial notifications of intention to submit;
Sep 15, 2009: deadline for submissions;
Nov 1, 2009: course/workshop proposers notified of p.c. decisions;
Nov 15, 2009: official announcement of program;
May 15, 2009: material for courses available for printing;
Jun 21, 2010: Start of NASSLLI 2010 courses.

Program Committee:

David Beaver (committee chair), UT Austin
Thony Gillies, Rutgers University
John Horty, University of Maryland
Sandra Kuebler, Indiana University
Eric Pacuit, Stanford University
Chris Potts, Stanford University
Dan Roth, University of Illinois, Urbana/Champaign
Chung-Chieh Shan, Rutgers University
Matthias Scheutz, Indiana University

Standing NASSLLI Steering Committee:

David Beaver, UT Austin
Larry Moss (committee chair), Indiana University
Phokion Kolaitis, UC Santa Cruz / IBM Almaden Research Center
Valeria de Paiva, Cuill Inc.
Stuart Shieber, Harvard University
Moshe Vardi, Rice University

Website:

News will be posted at: http://www.indiana.edu/~nasslli,

Inquiries:

General inquiries regarding NASSLLI 2010, notifications of interest in
course or workshop proposal submission, and final submissions of
proposals should be directed to: nasslli@...

Informal inquiries regarding potential courses or workshops may also
be directed to: David Beaver, dib@... (with ''NASSLLI'' in
the subject line).

Principal local organizers at Indiana University are Markus Dickinson,
Sandra Kuebler, and Larry Moss, and they can be contacted via the main
alias: nasslli@...
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

Fwd: [forwarded from maude-users-owner@maude.cs.uiuc.edu] CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification, Model Checking, and Abstract Interpretation)

2009-07-28T07:35:35Z

---------- Forwarded message ----------
From: Manuel Hermenegildo <herme@...>
Date: Mon, Jul 27, 2009 at 4:27 PM
Subject: [forwarded from maude-users-owner@...] CFP -
VMCAI 2010, Madrid (11th Int'l Conf on Verification, Model Checking,
and Abstract Interpretation)
To: maude-users-owner@...

I would appreciate if you can forward the message to the list. Thanks
very much in advance. --Manuel Hermenegildo

---------- Forwarded message ----------
From: maude-users-owner@...
To: vmcai10-announce@...
Date: Wed, 22 Jul 2009 07:38:39 -0500
Subject: CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification,
Model Checking, and Abstract Interpretation)
You are not allowed to post to this mailing list, and your message has
been automatically rejected. If you think that your messages are
being rejected in error, contact the mailing list owner at
maude-users-owner@....

---------- Forwarded message ----------
From: vmcai10-announce@...
To: vmcai10-cfp@...
Date: Wed, 22 Jul 2009 14:37:41 +0200
Subject: CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification,
Model Checking, and Abstract Interpretation)

-------------------------------------------------------------------------------
*** CALL FOR PAPERS ***

VMCAI 2010

The Eleventh International Conference on
Verification, Model Checking, and Abstract Interpretation

Madrid, Spain, January 17-19, 2010
(Co-located with POPL 2010)

http://software.imdea.org/events/vmcai10/
-------------------------------------------------------------------------------

VMCAI provides a forum for researchers from the communities of
Verification, Model Checking, and Abstract Interpretation,
facilitating interaction, cross-fertilization, and advancement of
hybrid methods. VMCAI'10 is co-located with the POPL'10 conference.

The program of VMCAI'10 will consist of invited lectures, invited
tutorials, refereed research papers, and tool demonstrations.
Research contributions can report new results as well as experimental
evaluations and comparisons of existing techniques. Topics include,
but are not limited to:

program verification program certification
model checking debugging techniques
abstract interpretation abstract domains
static analysis type systems
deductive methods optimization

Submissions can address any programming paradigm, including
concurrent, constraint, functional, imperative, logic, and
object-oriented programming. 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. The
proceedings will be published by Springer in the Lecture Notes in
Computer Science series.

The page limit for submissions is 15 pages in Springer's LNCS format.
Additional material may be placed in an appendix, to be read at the
discretion of the reviewers. Formatting style files can be found at:

http://www.springer.de/comp/lncs/authors.html

Please visit the conference website for more information.

Important Dates:

- Submission of abstracts: August 14, 2009
- Submission of papers: August 21, 2009
- Notification of acceptance: October 2, 2009
- Final version due: October 30, 2009
- Conference: January 17-19, 2010

Program Chairs:

Gilles Barthe, IMDEA Software, Spain
Manuel Hermenegildo, IMDEA Software and T. U. of Madrid, Spain

Program Committee:

Christel Baier, Technische Universität Dresden, Germany
Patrick Cousot, École Normale Supérieure, France
Javier Esparza, Technische Universität München, Germany
Patrice Godefroid, Microsoft Research, USA
Orna Grumberg, Technion, Israel
Sumit Gulwani, Microsoft Research, USA
Joxan Jaffar, National University of Singapore
Rustan Leino, Microsoft Research, USA
Ken McMillan, Cadence, USA
Markus Müller-Olm, Universität Münster, Germany
Hanne Riis Nielson, Technical University of Denmark
Xavier Rival, École Normale Supérieure and INRIA, France
David Sands, Chalmers University of Technology, Sweden
David Schmidt, Kansas State University, USA
Hongseok Yang, Queen Mary, University of London, United Kingdom
Kwangkeun Yi,Seoul National University, Korea
Greta Yorsh, IBM TJ Watson Research Center, NY, USA

Steering Committee:

Tino Cortesi, Universita' Ca' Foscari, Venice, Italy
Patrick Cousot, École Normale Supérieure, France
E. Allen Emerson, University of Texas at Austin, USA
Giorgio Levi, University of Pisa, Italy
Andreas Podelski, Universität Freiburg, Germany
Thomas W. Reps, University of Wisconsin at Madison, USA
David Schmidt, Kansas State University, USA
Lenore Zuck, University of Illinois at Chicago, USA

-------------------------------------------------------------------------------

--
-------------------------------------------------------------------------------
Manuel Hermenegildo | Prof., C.S.Dept., T.U. Madrid (UPM)
Director, IMDEA-Software and CLIP Group | +34-91-336-7435 (W) -352-4819 (Fax)
-------------------------------------------------------------------------------
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

CfP: Doctoral Symposium at MODELS'09

2009-05-27T19:18:23Z

Call for Papers

Doctoral Symposium at the ACM/IEEE 12th International Conference
on Model Driven Engineering Languages and Systems (MODELS'09)

http://www.cs.queensu.ca/~dingel/drsympmodels09

Denver, Colorado, USA, October 6, 2009 (date tentative)
Co-located with MODELS'09, SLE'09, and GPCE'09

GOAL
The goal of the Doctoral Symposium is to provide a forum in which PhD
students can present their work in progress and to foster the role of
MODELS as a premier venue for research in model-driven engineering.
The symposium aims to support students by providing independent and
constructive feedback about their already completed and, more
importantly, planned research work.

SCOPE
The technical scope of the symposium coincides with that of MODELS'09.
Please see the MODELS'09 website at http://www.modelsconference.org for
details.

SUBMISSIONS:
Submissions should describe research-in-progress that is meant to
lead to a PhD dissertation. The submission should describe:
- Problem: The technical problem the research intends to solve and
why it is important and needs to be solved.
- Related work: A review of the relevant related work with an explanation
of how the proposed approach is different and which advantages it has.
- Proposed solution: A description of the proposed solution and which
other work (e.g., in the form of methods, or tools) it depends on.
- Expected contributions: A list of the expected contributions.
- Current status: The current status of the work and how close to
completion it is.
- Plan for evaluation: A description of how it will be shown that the
work does indeed solve the targeted problem.

Submissions should be from PhD students who have settled on a PhD
topic, but are still sufficiently far away from completion to be able
to take full advantage of the given feedback (typically, this means
that, at the time of the symposium, students should be at least one
year away from completion). Submissions should be in English, be no
longer than six pages in Springer LNCS format (templates available at
http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0) and
contain the full contact information of the author (name, email
address, and postal address). Submissions should be made using
EasyChair at http://www.easychair.org/conferences/?conf=drsympmodels09.

REVIEW AND EVALUATION
Submissions will be reviewed by at least 3 members of the program committee
using the following criteria:
- Overall quality of the submission itself
(e.g., clarity, precision (relative to the stage of
the research), and adequacy of the problem statement,
the solution description, the expected contributions, the
plan for evaluation, and the review of related work)
- Potential quality of the (completed and proposed) research
(e.g., originality of solution and its impact) and its
relevance to the MODELS community

IMPORTANT DATES
Deadline for submission: June 17, 2009
Notification: end of July, 2009

PROGRAM COMMITTEE
R. Breu (U Innsbruck)
B. Cheng (Michigan State U)
J. Dingel (Queen's U)
G. Engels (U Paderborn)
R. France (Colorado State U)
V. Garousi (U Calgary)
A. Gokhale (Vanderbilt U)
J. Gray (U Alabama, Birmingham)
G. Kappel (Vienna UT)
J. Kuester (IBM Zuerich)
I. Krueger (UC San Diego)
Y. Labiche (Carleton U)
P. Mosterman (MathWorks)
I. Ober (U Toulouse)
A. Pretschner (Fraunhofer IESE and Kaiserslautern UT)
B. Schaetz (Munich UT)
H. Schlingloff (Humboldt U)
M. Smialek (Warsaw UT)
S. Some (U Ottawa)
J. Sztipanovits (Vanderbilt U)

ORGANIZER
Juergen Dingel
School of Computing
Queen's University
Kingston, Ontario
Canada
ph: (613) 533-3071
dingel "at" cs.queensu.ca

WWW
http://www.cs.queensu.ca/~dingel/drsympmodels09
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

TTSS'09: final call for papers

2009-05-27T01:40:08Z

===========================================================
Call for papers

TTSS'09 3rd International Workshop on
Harnessing Theories for Tool Support in Software

Universiti Kebangsaan, Kuala Lumpur, Malaysia
16-17 August 2009
http://www.iist.unu.edu/ttss09/

Colocated with ICTAC'09, Kuala Lumpur, Malaysia
http://www.ftsm.ukm.my/ictac09

Submission deadline: 29 May 2008
===========================================================

TTSS is a forum for researchers, practitioners, and users interested
in rigorously based tools for the construction and analysis of complex
systems. The aim of the workshop is to present and discuss ideas about:

- How to deal with the complexity of software projects by multi-view
modeling and separation of concerns about the design and analysis
of functionality, interaction, concurrency, scheduling, and
non-functional requirements, and
- How to ensure correctness and dependability of software by
integrating formal methods and tools for modeling, design,
verification and validation into design and development processes
and environments.
- Case studies and experience reports about harnessing static analysis
tools such as model checking, theorem proving, testing, as well as
runtime monitoring.

The workshop will provide enough time for discussion of problems and
research. Each presentation will be 25 minutes followed by 10 minutes
discussion. Topics of interest include, but are not limited to, the
following areas:

- Models, calculi, and tool support for component-based and
object-oriented software;
- Mathematical frameworks, methods and tools for model-driven
development;
- Models, calculi, and tool support for integrating different
scheduling,
interaction and concurrency models in highly adaptable systems

Submission

TTSS invites authors to submit original and unpublished work.
Submissions should include an abstract, key words, the e-mail address
of the corresponding author, and must not exceed 15 pages using ENTCS
style. Proceedings will be published as ENTCS. Further details are
available from the workshop web-site http://www.iist.unu.edu/ttss09/.

Important dates
Submission deadline: 29 May 2008
Notification of acceptance: 10 June 2008
Workshop: 16-17 August 2008

Program Committee

Program Chairs
Einar Broch Johnsen Univ. of Oslo, Norway
Volker Stolz UNU-IIST, Macau SAR, China

Program Committee Members
Wolfgang Ahrendt Chalmers Univ., Sweden
Bernhard Aichernig TU Graz, Austria
Farhad Arbab CWI, The Netherlands
Luis Barbosa Univ. do Minho, Portugal
David Clarke K.U. Leuven, Belgium
Ralf Huuck NICTA, Australia
Kung-Kiu Lau Manchester Univ., UK
Jing Liu ECNU, China
Markus Lumpe Swinburne Univ., Australia
Jun Pang Univ. Luxembourg, Luxembourg
Anders P. Ravn Aalborg Univ., Denmark
Abhik Roychoudhury NUS, Singapore
Bernhard Schaetz TU Munich, Germany
Heinrich Schmidt RMIT Univ., Australia
Petr Tuma Charles Univ., Czech Republic
Marcel Verhoef CHESS, The Netherlands
Michael Weber Univ. Twente, The Netherlands
Herbert Wiklicky Imperial College London, UK
Gianluigi Zavattaro Univ. Bologna, Italy

Advisors
Patrick Cousot ENS, France
Jifeng He ECNU, China
Mathai Joseph TATA, India
Zhiming Liu UNU-IIST, Macau SAR, China
Bertrand Meyer ETH Zurich, Switzerland
Jim Woodcock Univ. of York, UK

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

FLOPS 2010: Preliminary Call for Papers

2009-05-14T01:44:02Z

----------------------------------------------------------------------------
PRELIMINARY CALL FOR PAPERS

Tenth International Symposium on Functional and Logic Programming
(FLOPS 2010)
April 19-21, 2010
Sendai, Japan

http://www.kb.ecei.tohoku.ac.jp/flops2010

Submission deadline: October 16, 2009

FLOPS is a forum for research on all issues concerning declarative
programming, including functional programming and logic programming,
and aims to promote cross-fertilization and integration between the
two paradigms. Previous FLOPS meetings were held in Fuji Susono
(1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo
(2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise
(2008).

TOPICS

FLOPS solicits original papers in all areas of functional and logic
programming, including (but not limited to):

Declarative Pearls: new and excellent declarative programs with
illustrative applications.

Language issues: language design and constructs, programming
methodology, integration of paradigms, interfacing with other
languages, type systems, constraints, concurrency and distributed
computing.

Foundations: logic and semantics, rewrite systems and narrowing,
type theory, proof systems.

Implementation issues: compilation techniques, memory management,
program analysis and transformation, partial evaluation,
parallelism.

Applications: case studies, real-world applications, graphical
user interfaces, Internet applications, XML, databases, formal
methods and model checking.

The proceedings are expected to be published as an LNCS volume. The
proceedings of the previous meeting (FLOPS 2008) were published as
LNCS 4989.

INVITED SPEAKERS

TBD

PC CO-CHAIRS

Matthias Blume (TTI, Chicago, USA)
German Vidal (Technical University of Valencia, Spain)

CONFERENCE CHAIR

Naoki Kobayashi (Tohoku University, Sendai, Japan)

PC MEMBERS

Nick Benton (Microsoft Research, Cambridge, UK)
Manuel Chakravarty (University of New South Wales, Australia)
Michael Codish (Ben-Gurion University of the Negev, Israel)
Bart Demoen (Katholieke Universiteit Leuven, Belgium)
Agostino Dovier (University of Udine, Italy)
John P. Gallagher (Roskilde University, Denmark)
Maria Garcia de la Banda (Monash University, Australia)
Michael Hanus (University of Kiel, Germany)
Atsushi Igarashi (Kyoto University, Japan)
Patricia Johann (Rutgers University, USA)
Shin-ya Katsumata (Kyoto University, Japan)
Michael Leuschel (University of Dusseldorf, Germany)
Francisco Lopez-Fraguas (Complutense University of Madrid, Spain)
Paqui Lucio (University of the Basque Country, Spain)
Yasuhiko Minamide (University of Tsukuba, Japan)
Frank Pfenning (Carnegie Mellon University, USA)
Francois Pottier (INRIA, France)
Tom Schrijvers (Katholieke Universiteit Leuven, Belgium)
Chung-chieh "Ken" Shan (Rutgers University, USA)
Zhong Shao (Yale University, USA)
Jan-Georg Smaus (University of Freiburg, Germany)
Nobuko Yoshida (Imperial College London, UK)

LOCAL CHAIR

Eijiro Sumii (Tohoku University, Sendai, Japan)

SUBMISSION

Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. Submissions should
fall into one of the following categories:

Regular research papers: they should describe new results and will
be judged on originality, correctness, and significance.

System descriptions: they should contain a link to a working
system and will be judged on originality, usefulness, and design.

All submissions must be written in English and can be up to 15
proceedings pages long. Authors are strongly encouraged to use
LaTeX2e and the Springer llncs class file, available at
http://www.springer.de/comp/lncs/authors.html

Regular research papers should be supported by proofs and/or
experimental results. In case of lack of space, this supporting
information should be made accessible otherwise (e.g., a link to a
web page, or an appendix). Papers should be submitted electronically
at http://www.easychair.org/conferences/?conf=flops2010

IMPORTANT DATES

Submission deadlines:
- Abstract: October 16, 2009
- Paper: October 23, 2009
Author notification: December 21, 2009
Camera-ready copy: January 24, 2010
Conference: April 19-21, 2010

PLACE

Sendai, Japan

Some previous FLOPS:

FLOPS 2008, Ise: http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/
FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/
FLOPS 2004, Nara
FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/
FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/

SPONSOR

JSSST SIG-PPL

IN COOPERATION with

AAFS (Asian Association for Foundation of Software)
ACM SIGPLAN

----------------------------------------------------------------------------

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

Call For Workshop Proposals (FLoC 2010, Edinburgh)

2009-04-29T10:58:27Z

THE 2010 FEDERATED LOGIC CONFERENCE (FLoC 2010)
Edinburgh, Scotland, UK
http://www.floc-conference.org/

Call For Workshop Proposals

* The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010
hosted by the University of Edinburgh. The following seven conferences will
participate in FLoC:

- International Conference on Computer-Aided Verification (CAV).
Workshop Chair: Tomas Vojnar <vojnar@...> .
- International Conference on Interactive Theorem Proving (ITP).
Workshop Chair: Michael Norrish <Michael.Norrish@...> .
- International Conference on Logic Programming (ICLP).
Workshop Chair: Veronica Dahl <veronica@...> .
- International Joint Conference on Automated Reasoning (IJCAR).
Workshop Chair: Aaron Stump <astump@...> .
- IEEE Symposium on Logic in Computer Science (LICS).
Workshop Co-Chairs: Adriana Compagnoni <abc@...> and
Maribel Fernandez <Maribel.Fernandez@...> .
- International Conference on Rewriting Techniques and Applications (RTA).
Workshop Chair: Christopher A. Lynch <clynch@...> .
- International Conference on Theory and Applications of Satisfiability
Testing (SAT).
Workshop Chair: Carsten Sinz <sinz@...>

* The organizers have made arrangements to facilitate the running of
pre-, post-, and mid-FLoC workshops. Each workshop will
have its own registration, with uniform FLoC workshop
fees. It is not necessary to register for FLoC in
order to attend workshops. Meeting rooms and accommodations will be
reserved by the university in the center of Edinburgh.
- Pre-FLoC workshops: Friday & Saturday, July 9-10
- Mid-FLoC workshops: Wednesday & Thursday, July 14-15
- Post-FLoC workshops: Tuesday & Wednesday, July 20, 21 .

* Researchers and practitioners are invited to submit proposals for
workshops on topics relating logic, broadly understood, applied to
computer science. Each workshop proposal must indicate one sponsoring
conference among the participating conferences. (It is suggested
that prospective workshop organizers contact the relevant conference
Workshop Chair before submitting a proposal.) Workshops will have to be
financially self-supporting, unless the sponsoring conference
accepts financial responsibility. The FLoC Organizing Committee will
determine the final list of accepted workshops based on the recommendations
from the Workshop Chairs of the sponsoring conferences and subject to
the availability of space and facilities

* Proposals should consist of two parts. First, a short scientific
justification of the proposed topic, its significance, and the
particular benefits of the workshop to the community, as well as a list of
previous or related workshops (if relevant). A second, organizational part
should include:
- contact information of the workshop organizers.
- proposed sponsoring conference.
- estimate of the audience size.
- proposed format and agenda (for example, demo sessions, tutorials, etc.)
- potential invited speakers.
- procedures for selecting papers and participants.
- plans for dissemination, if any (for example, special issues of journals) .
- duration (which may vary from one day to two days) and
preferred period.
- special technical or AV needs.

* Workshops are strongly encouraged to find external financial support.
This will be wholly their responsibility. Modest funding, based upon
numbers of registrants, minus FLoC local expenses, will be made available
to each workshop.

* Proposals are due by July 31, 2009. Organizers will be notified by
September 15, 2009. Proposals should be submitted electronically
to EasyChair at the following address (which opens June 18, 2009):

http://www.easychair.org/conferences/?conf=floc10cfw

(Clearly indicate at the top of the proposal the relevant conference)

For further enquiries or information, please contact:

Philip Scott (FLoC Workshop Chair)
Department of Mathematics and Statistics
University of Ottawa
Ottawa, Ont. Canada K1N 6N5
Email: phil 'AT' site.uottawa.ca
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

2nd Cfc: CALCO-jnr 2009: CALCO Young Researchers Workshop, Udine, Italy

2009-04-23T14:54:11Z

[Apologies for multiple copies]

!!! Please forward to PhD students and young researchers!!!
*----------------------------------------------------------------------*
Call for contributions

CALCO-jnr 2009

CALCO-jnr: CALCO Young Researchers Workshop
September 6, 2009, Udine, Italy

part of
3rd Conference on Algebra and Coalgebra in Computer Science
September 6-12, 2009, Udine, Italy
*----------------------------------------------------------------------*
Abstract submission: May 8, 2009
Author notification: May 22, 2009
Final abstract due: June 15, 2009
Full paper submission: October 15, 2009
*----------------------------------------------------------------------*
http://calco09.dimi.uniud.it/
*----------------------------------------------------------------------*

CALCO 2009 will be preceded by the CALCO Young Researchers Workshop,
CALCO-jnr, dedicated to presentations by PhD students and young
researchers at the beginning of their careers.

CALCO brings together researchers and practitioners to exchange new
results related to foundational aspects and both traditional and
emerging uses of algebras and coalgebras in computer science. The
study of algebra and coalgebra relates to the data, process and
structural aspects of software systems. This is a high-level,
bi-annual conference formed by joining the forces and reputations of
CMCS (the International Workshop on Coalgebraic Methods in Computer
Science), and WADT (the Workshop on Algebraic Development
Techniques). The first and second, very successful CALCO conferences
took place 2005 in Swansea, Wales, and 2007 in Bergen, Norway.

The third event will take place 2009 in Udine, Italy.

The CALCO Young Researchers Workshop, CALCO-jnr, is a CALCO satellite
workshop dedicated to presentations by PhD students and by those who have
completed their doctoral studies within the past few years. Attendance at
the workshop is open to all - it is anticipated that many CALCO conference
participants will want to attend the CALCO-jnr workshop (and vice versa).

CALCO-jnr presentations will be selected according to originality,
significance, and general interest, on the basis of submitted 2-page
abstracts, by the CALCO-jnr PC. A booklet with the abstracts of the accepted
presentations will be available at the workshop.

After the workshop, the author(s) of each presentation will be invited
to submit a full 10-15 page paper on the same topic. They will also be
asked to write (anonymous) reviews of papers submitted by other authors
on related topics. Additional reviewing and the final selection of papers
will be carried out by the CALCO-jnr PC.

The volume of selected papers from the workshop will be published as a
technical report at Udine. Authors will retain copyright, and are also
encouraged to disseminate the results reported at CALCO-jnr by
subsequent publication elsewhere.

Topics of Interest
------------------
The CALCO Young Researchers Workshop will invite submissions on the same
topics as the CALCO conference: reporting results of theoretical work
on the mathematics of algebras and coalgebras, the way these results
can support methods and techniques for software development, as well as
experience with the transition of resulting technologies into industrial
practice. In particular, the workshop will encourage submissions included
or related to the topics listed below.

* Abstract models and logics
- Automata and languages,
- Categorical semantics,
- Modal logics,
- Relational systems,
- Graph transformation,
- Term rewriting,
- Adhesive categories

* Specialised models and calculi
- Hybrid, probabilistic, and timed systems,
- Calculi and models of concurrent, distributed,
mobile, and context-aware computing,
- General systems theory and computational models
(chemical, biological, etc)

* Algebraic and coalgebraic semantics
- Abstract data types,
- Inductive and coinductive methods,
- Re-engineering techniques (program transformation),
- Semantics of conceptual modelling methods and techniques,
- Semantics of programming languages

* System specification and verification
- Algebraic and coalgebraic specification,
- Formal testing and quality assurance,
- Validation and verification,
- Generative programming and model-driven development,
- Models, correctness and (re)configuration of
hardware/middleware/architectures,
- Process algebra

Submission
----------
Submission (pdf-file) is via e-mail to m.seisenberger@....

The use of LNCS style (see http://www.springer.de/comp/lncs/authors.html)
is strongly encouraged.

Important Dates
---------------
8 May 2009 Deadline for 2-page abstract submission
22 May 2009 Notification of abstract selection decision
15 Jun 2009 Final version of abstract due
6 Sep 2009 CALCO Young Researchers Workshop
7-10 Sep 2009 CALCO technical programme

15 Oct 2009 Deadline for 10-15 page paper submission
15 Dec 2009 Notification of paper selection decision
20 Jan 2010 Final version of paper due

Programme Committee
-------------------
* Magne Haveraaen, University of Bergen, Norway
http://www.ii.uib.no/~magne/
* Marina Lenisa, University of Udine, Italy
http://sole.dimi.uniud.it/~marina.lenisa/
* John Power, University of Bath, UK
http://www.cs.bath.ac.uk/department/contact-department/academic-staff/dr-john-power.html
* Monika Seisenberger, Swansea University, UK
http://www.cs.swan.ac.uk/~csmona/

--
CALCO-jnr 2009: http://calco09.dimi.uniud.it/calcojnr.html
CALCO 2009: http://www.dimi.uniud.it/calco09/

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

WFLP09: Deadline Extension

2009-04-22T20:17:42Z

*******************************************************************
DEADLINE EXTENSION

WFLP 2009

18th International Workshop on Functional
and (Constraint) Logic Programming

Brasilia, Brazil, June, 28, 2009
http://www.dsic.upv.es/workshops/wflp09/

*********
part of the Federated Conference on
Rewriting, Deduction, and Programming
RDP'09
http://rdp09.cic.unb.br/index.html

*******************************************************************

IMPORTANT DATES

Abstract Submission April 27, 2009
Full Paper Submission May 3, 2009
Acceptance Notification May 25, 2009
Preliminary Proceedings June 8, 2009
Workshop June 28, 2009

PUBLICATION

Preliminary proceedings will be available at the workshop. Selected
authors will be invited to submit a full version of their papers
after the workshop. Contributions accepted for the post-workshop
proceedings will be published in Lecture Notes in Computer Science.

INVITED SPEAKERS

Claude Kirchner INRIA Bordeaux - Sud-Ouest, France
Roberto Ierusalimschy Departamento de Informatica, PUC-Rio, Brazil

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

Second Call for Papers: 2nd International Conference on Software Language Engineering

2009-04-21T01:35:48Z

__________________________________________________________________
Call for Papers - SLE 2009

2nd International Conference on Software Language Engineering

http://planet-sl.org/sle2009

Denver, Colorado, October 5-6, 2009

___________________________________________________________________

Co-located with 12th International Conference on
Model-Driven Engineering Languages and Systems (MODELS 2009)
and 8th International Conference on
Generative Programming and Component Engineering (GPCE 2009)

Proceedings will be published in the LNCS series (subject to
Springer's approval).

The 2nd International Conference on Software Language Engineering (SLE)
is devoted to topics related to artificial languages in software
engineering. SLE's foremost mission is to encourage and organize
communication between communities that have traditionally looked
at software languages from different, more specialized, and yet
complementary perspectives. SLE emphasizes the fundamental notion
of languages as opposed to any realization in specific "technical
spaces". SLE 2009 will be co-located with the 12th IEEE/ACM
International Conference on Model-Driven Engineering Languages and
Systems (MODELS 2009).

Scope
-----

The term 'software language' comprises all sorts of artificial
languages used in software development including general-purpose
programming languages, domain-specific languages, modeling and
meta-modeling languages, data models, and ontologies. Used in its
broadest sense, examples include modeling languages such as
UML-based and domain-specific modeling languages, business process
modeling languages, and web application modeling languages. The
term 'software language' also comprises APIs and collections of
design patterns that are implicitly defined languages.

Software language engineering is the application of a systematic,
disciplined, quantifiable approach to the development, use, and
maintenance of these languages. Thus, the SLE conference is
concerned with all phases of the life cycle of software languages;
these include the design, implementation, documentation, testing,
deployment, evolution, recovery, and retirement of languages. Of
special interest are tools, techniques, methods and formalisms that
support these activities. In particular, tools are often based on
or even automatically generated from a formal description of the
language. Hence, of special interest is the treatment of language
descriptions as software artifacts, akin to programs - while paying
attention to the special status of language descriptions, subject
to tailored engineering principles and methods for modularization,
refactoring, refinement, composition, versioning, co-evolution,
and analysis.

Topics of interest
------------------

We solicit high-quality contributions in the area of SLE ranging
from theoretical and conceptual contributions to tools, techniques
and frameworks that support the aforementioned life cycle activities.
Some examples of tools, techniques, applications, and problems are
listed below in order to clarify the types of contributions sought
by SLE.

* Formalisms used in designing and specifying languages and tools
that analyze such language descriptions.

* Language implementation techniques, grammar-based and
metamodel-based.

* Program and model transformation tools.

* Composition, integration, and mapping tools for managing different
aspects of software languages or different manifestations of a
given language.

* Language evolution.

* Approaches to the elicitation, specification, and verification of
requirements for software languages.

* Language development frameworks, methodologies, techniques, best
practices, and tools for the broader language life cycle covering
phases such as analysis, testing, and documentation.

* Design challenges in SLE.

* Applications of languages including innovative domain-specific
languages or "little" languages

Do note that this list is not exclusive and many examples of tools,
techniques, approaches have not been listed. Please visit the
conference web site to see a more elaborate description of the
topics of interests. The program committee chairs encourage potential
contributors to contact them with questions about the scope and
topics of interest of SLE.

Paper Submission
----------------

We solicit the following types of papers:

* Research papers. These should report a substantial research
contribution to SLE and/or successful application of SLE
techniques. Full paper submissions must not exceed 20 pages.

* Short papers. These may describe interesting or thought-provoking
concepts that are not yet fully developed or evaluated, make an
initial contribution to challenging research issues in SLE, or
discuss and analyze controversial issues in the field. These papers
must not exceed 10 pages.

* Tool demonstration papers. Because of SLE's ample interest in
tools, we seek papers that present software tools related to the
field of SLE. These papers will accompany a tool demonstration to
be given at the conference. These papers must not exceed 10
pages. The selection criteria include the originality of the tool,
its innovative aspects, the relevance of the tool to SLE, and the
maturity of the tool. Submissions may also include an appendix
(that will not be published) containing additional screen-shots and
discussion of the proposed demonstration.

* Mini-tutorial papers. SLE is composed of various research areas,
such as grammarware, modelware, language schemas, and semantic
technologies. The cross product of attendees at SLE creates a
situation where the contribution from one session may be difficult
to understand by those not initiated to the area. To help unite the
various communitues of SLE 2009, mini-tutorials are solicited
that provide discussion points for mapping common ideas between the
area and differentiating among variations. A mini-tutorial submisson
should be between 15 and 20 pages.

Submitted articles must not have been previously published or currently
be submitted for publication elsewhere. All submitted papers will be
closely reviewed by at least three members of the program committee. All
accepted papers will be made available at the conference in the
pre-proceedings and published in the post-proceedings of the conference,
which will appear in Springer's Lecture Notes in Computer Science series.
Authors will have the opportunity to revise their accepted paper for the
pre- and post-proceedings.

All papers must be formatted by following Springer's LNCS style and
must be submitted using EasyChair (open early June):

http://www.easychair.org/conferences/?conf=sle09

Further details regarding submission can be found on the SLE web page:

http://planet-sl.org/sle2009

Invited Speakers
----------------
James Cordy, Queens University, Canada
Jean Bezivin, University of Nantes, France

Important Dates
---------------
* Initial abstract submission (required) July 3, 2009
* Paper submission: July 10, 2009
* Author notification: August 21, 2009
* Paper submission for pre-proceedings: September 14, 2009
* Conference: October 5-6, 2009
* Camera-ready paper submission for post-proceedings: December 7, 2009
* LNCS post-proceedings mailed to authors (approx.): February 2010

Organization
------------

General Chair
* Dragan Gasevic, Athabasca University, Canada

Program Committee Co-Chairs
* Mark van den Brand, TU Eindhoven, The Netherlands
* Jeff Gray, University of Alabama at Birmingham, USA

Program Committee
* Colin Atkinson, Universität Mannheim, Germany
* Don Batory, University of Texas at Austin, USA
* Paulo Borba, Universidade Federal de Pernambuco, Brazil
* John Boyland, University of Wisconsin, Milwaukee, USA
* Marco Brambilla, Politecnico di Milano, Italy
* Shigeru Chiba, Tokyo Institute of Technology, Japan
* Charles Consel, LaBRI / INRIA, France
* Gregor Engels, Universität Paderborn, Germany
* Stephen A. Edwards, Columbia University, USA
* Robert Fuhrer, IBM T.J. Watson Research, USA
* Martin Gogolla, University of Bremen, Germany
* Giancarlo Guizzardi, Federal University of Espírito Santo, Brazil
* Reiko Heckel, University of Leicester, UK
* Frédéric Jouault, INRIA & Ecole des Mines de Nantes, France
* Nicholas Kraft, University of Alabama, USA
* Thomas Kühne, Victoria University of Wellington, New Zealand
* Julia Lawall, University of Copenhagen, Denmark
* Timothy Lethbridge, University Ottawa, Canada
* Brian Malloy, Clemson University, USA
* Kim Mens, Université catholique de Louvain, Belgium
* Marjan Mernik, University of Maribor, Slovenia
* Todd Millstein, University of California, Los Angeles, USA
* Pierre-Etienne Moreau, INRIA Nancy - Grand Est, France
* Pierre-Alain Muller, University of Haute-Alsace, France
* Daniel Oberle, SAP Research, Germany
* Richard Paige, University of York, UK
* James Power, National University of Ireland, Ireland
* João Saraiva, Universidade do Minho, Portugal
* Mary Lou Soffa, University of Virginia, USA
* Juha-Pekka Tolvanen, MetaCase, Finland
* Alexander Serebrenik, Eindhoven University of Technology, Netherlands
* Tony Sloane, Macquarie University, Australia
* Steffen Staab, Universität Koblenz-Landau, Germany
* Jun Suzuki, University of Massachusetts, Boston, USA
* Walid Taha, Rice University, USA
* Eli Tilevich, Virginia Tech, USA
* Jurgen Vinju, CWI, Netherlands
* Eelco Visser, Delft University of Technology, Netherlands
* René Witte, Concordia University, Canada

Organization Committee
* Bardia Mohabbati, Simon Fraser University, Canada (Web Chair)
* Alexander Serebrenik, TU Eindhoven, The Netherlands (Publicity co-Chair)
* James Hill, Vanderbilt University, USA (Publicity co-Chair)

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

LSFA'09 - EXTENDED DEADLINE: 19th April, 2009

2009-04-06T06:14:34Z

[Apologies for multiple copies]

Fourth Workshop on Logical and Semantic Frameworks, with Applications

28th June, 2009 - Brasília, Brazil

EXTENDED DEADLINE: >>> 19th April, 2009 <<<

Call for Papers
Scope

Logical and semantic frameworks are formal languages used to represent
logics, languages and systems. These frameworks provide foundations
for formal specification of systems and programming languages,
supporting tool development and reasoning.

The objective of this one-day workshop is to put together
theoreticians and practitioners to promote new techniques and results,
from the theoretical side, and feedback on the implementation and use
of such techniques and results, from the practical side.

Topics of interest to this forum include, but are not limited to:

* Logical frameworks
o Proof theory
o Type theory
o Automated deduction
* Semantic frameworks
o Specification languages and meta-languages
o Formal semantics of languages and systems
o Computational and logical properties of semantic frameworks
o Implementation of logical and/or semantic frameworks
* Applications of logical and/or semantic frameworks

LSFA'09 also aims to be a forum for presenting and discussing work in
progress, and therefore to provide feedback to authors on their
preliminary research. Submissions to the workshop will in the form of
full papers. The proceedings are produced only after the meeting, so
that authors can incorporate this feedback in the published papers.
Invited Speakers
There will be three invited talks:
Delia Kesner (PPS, CNRS and Universite Paris-Diderot)
Title: Untyped Pattern Calculi
Jonathan Seldin (University of Lethbridge, Canada)
Title: A Reduction in Combinatory Logic Equivalent to λβ-Reduction
Luis Fariñas de Cerro (Université Paul Sabatier -- Toulose III, France)
Title:Dedutcion and Abduction of Information about an Entity
Program Committee

Mauricio Ayala-Rincón (University of Brasília, Brazil), co-chair
Fairouz Kamareddine (Heriot-Watt University, Edinburgh, UK), co-chair
Serge Autexier (DFKI, Bremen, Germany)
Benjamin Rene Callejas Bedregal (Federal University of Rio Grande do
Norte, Brazil)
Mario Benevides (Federal University of Rio de Janeiro, Brazil)
Guilherme Bittencourt (Federal University of Santa Catarina, Brazil)
Christiano Braga (Fluminense Federal University, Brazil)
Andreas Brunner (Federal University of Bahia, Brazil)
Marcelo Coniglio (State University of Campinas, Brazil)
Clare Dixon (University of Liverpool, UK)
Gilles Dowek (École Polytechnique, France)
William Farmer (McMaster University, Hamilton, Ontario, Canada)
Marcelo Finger (University of São Paulo, Brazil)
Edward Hermann Haeusler (PUC Rio, Brazil)
Tudor Jebelean (RISC Johannes Kepler University, Austria)
Manfred Kerber (The University of Birmingham, UK)
Luis C. Lamb (Federal University of Rio Grande do Sul, Brazil)
Daniel Leivant (Indiana University, USA)
João Marcos (Federal University of Rio Grande do Norte, Brazil)
Ana Teresa de Castro Martins (Federal University of Ceará, Brazil)
Dale Miller (INRIA, France)
Flávio Leonardo Cavalcanti de Moura (University of Brasília, Brazil)
Luca Paolini (Università di Torino, Italy)
Alberto Pardo (Universidad de la República, Uruguay)
Elaine Pimentel (Federal University of Minas Gerais, Brazil)
Ruy de Queiroz (Federal University of Pernambuco, Brazil)
Simona Ronchi della Rocca (Università di Torino, Italy)
Amr Sabry (Indiana University, USA)
Christian Urban (TUM, Germany)
Freek Wiedijk (Radboud Universiteit, The Netherlands)
Organizing Committee
Cláudia Nalon (University of Brasília, Brazil), Local Chair
Elaine Pimentel (Federal University of Minas Gerais, Brazil)
Edward Hermann Haeusler (PUC Rio, Brazil)
Mauricio Ayala-Rincon (University of Brasília, Brazil)
Guilherme Albuquerque Pinto (University of Brasília, Brazil)
Dates and Submission
Paper submission: 3rd April, 2009 >>> EXTENDED 19th April, 2009 <<<
Author notification: 15th May, 2009
Camera ready: 31st May, 2009

Contributions should be written in English and submitted in the form
full papers with at most 16 pages. They must be unpublished and not
submitted simultaneously for publication elsewhere. The submission
should be in the form of a PDF file uploaded to LSFA'09 page at
EasyChair until the submission deadline by midnight, Central European
Standard Time (GMT+1).

The papers should be prepared in latex using Elsevier ENTCS style.
Please see the Instructions for Preparing Files for Preliminary
Versions Instructions for styles and examples. The file entcs.cls is
also available here. The prentcsmacro.sty file will be available soon.

The workshop pre-proceedings, containing the reviewed papers, will be
handed-out at workshop registration and the proceedings will be
published as a volume of ENTCS.

After the workshop, according to the quantity and quality of selected
papers, the authors will be invited to submit full versions of their
works that will be also reviewed to high standards. A special issue of
LSFA'06 appeared in the Journal of Algorithms and currently a special
issue of LSFA'07 is being processed and will appear in The Logical
Journal of the IGPL.

At least one of the authors should register at the conference. The
paper presentation should be in English.
Contact Information

For more information please contact the organizers.

The web page of the event can be reached at:

http://lsfa09.cic.unb.br
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

[FMICS 2009] Deadline Extension to 10 April

2009-04-03T04:34:35Z

FMICS 2009 - DEADLINE EXTENSION TO 10 APRIL

Please visit: http://users.dsic.upv.es/workshops/fmics2009

************************************************************
* 14th International Workshop on *
* Formal Methods for Industrial Critical Systems *
* FMICS 2009 *
* *
* November 2-3, 2009 *
* Eindhoven, The Netherlands *
************************************************************
* ** NEWS ** *
* *
* >> New deadline for abstracts: 10 April *
* >> New deadline for papers (firm): 17 April *
* *
************************************************************

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

Cfc: CALCO-jnr 2009: CALCO Young Researchers Workshop, Udine, Italy

2009-03-30T03:21:18Z

[Apologies for multiple copies]

!!! PLEASE FORWARD TO PHD STUDENTS AND YOUNG RESEARCHERS !!!

*------------------------------------------------------------------*
* Call for contributions *
* *
* CALCO-jnr 2009 *
* *
* CALCO-jnr: CALCO Young Researchers Workshop *
* September 6, 2009, Udine, Italy *
*
* * part
of *
* 3rd Conference on Algebra and Coalgebra in Computer Science *
* September 6-12, 2009, Udine, Italy *
* *
*------------------------------------------------------------------*
* Abstract submission: May 8, 2009 *
* Author notification: May 22, 2009 *
* Final abstract due: June 15, 2009 *
* Full paper submission: October 15, 2009 *
*------------------------------------------------------------------*
* http://calco09.dimi.uniud.it/ *
*------------------------------------------------------------------*

CALCO 2009 will be preceded by the CALCO Young Researchers Workshop,
CALCO-jnr, dedicated to presentations by PhD students and young
researchers at the beginning of their careers.

CALCO brings together researchers and practitioners to exchange new
results related to foundational aspects and both traditional and
emerging uses of algebras and coalgebras in computer science. The
study of algebra and coalgebra relates to the data, process and
structural aspects of software systems. This is a high-level,
bi-annual conference formed by joining the forces and reputations of
CMCS (the International Workshop on Coalgebraic Methods in Computer
Science), and WADT (the Workshop on Algebraic Development
Techniques). The first and second, very successful CALCO conferences
took place 2005 in Swansea, Wales, and 2007 in Bergen, Norway.

The third event will take place 2009 in Udine, Italy.

The CALCO Young Researchers Workshop, CALCO-jnr, is a CALCO satellite
workshop dedicated to presentations by PhD students and by those who have
completed their doctoral studies within the past few years. Attendance at
the workshop is open to all - it is anticipated that many CALCO conference
participants will want to attend the CALCO-jnr workshop (and vice versa).

CALCO-jnr presentations will be selected according to originality,
significance, and general interest, on the basis of submitted 2-page
abstracts, by the CALCO-jnr PC. A booklet with the abstracts of the accepted
presentations will be available at the workshop.

After the workshop, the author(s) of each presentation will be invited
to submit a full 10-15 page paper on the same topic. They will also be
asked to write (anonymous) reviews of papers submitted by other authors
on related topics. Additional reviewing and the final selection of papers
will be carried out by the CALCO-jnr PC.

The volume of selected papers from the workshop will be published as a
technical report at Udine. Authors will retain copyright, and are also
encouraged to disseminate the results reported at CALCO-jnr by
subsequent publication elsewhere.

Topics of Interest
------------------
The CALCO Young Researchers Workshop will invite submissions on the same
topics as the CALCO conference: reporting results of theoretical work
on the mathematics of algebras and coalgebras, the way these results
can support methods and techniques for software development, as well as
experience with the transition of resulting technologies into industrial
practice. In particular, the workshop will encourage submissions included
or related to the topics listed below.

* Abstract models and logics
- Automata and languages,
- Categorical semantics,
- Modal logics,
- Relational systems,
- Graph transformation,
- Term rewriting,
- Adhesive categories

* Specialised models and calculi
- Hybrid, probabilistic, and timed systems,
- Calculi and models of concurrent, distributed,
mobile, and context-aware computing,
- General systems theory and computational models
(chemical, biological, etc)

* Algebraic and coalgebraic semantics
- Abstract data types,
- Inductive and coinductive methods,
- Re-engineering techniques (program transformation),
- Semantics of conceptual modelling methods and techniques,
- Semantics of programming languages

* System specification and verification
- Algebraic and coalgebraic specification,
- Formal testing and quality assurance,
- Validation and verification,
- Generative programming and model-driven development,
- Models, correctness and (re)configuration of
hardware/middleware/architectures,
- Process algebra

Submission
----------
Submission (pdf-file) is via e-mail to m.seisenberger@....

The use of LNCS style (see http://www.springer.de/comp/lncs/authors.html)
is strongly encouraged.

Important Dates
---------------
8 May 2009 Deadline for 2-page abstract submission
22 May 2009 Notification of abstract selection decision
15 Jun 2009 Final version of abstract due
6 Sep 2009 CALCO Young Researchers Workshop
7-10 Sep 2009 CALCO technical programme

15 Oct 2009 Deadline for 10-15 page paper submission
15 Dec 2009 Notification of paper selection decision
20 Jan 2010 Final version of paper due

Programme Committee
-------------------
* Magne Haveraaen, University of Bergen, Norway
http://www.ii.uib.no/~magne/

* Marina Lenisa, University of Udine, Italy
http://sole.dimi.uniud.it/~marina.lenisa/

* John Power, University of Bath, UK
http://www.cs.bath.ac.uk/department/contact-department/academic-staff/dr-john-power.html

* Monika Seisenberger, Swansea University, UK
http://www.cs.swan.ac.uk/~csmona/

--
CALCO-jnr 2009: http://calco09.dimi.uniud.it/calcojnr.html
CALCO 2009: http://www.dimi.uniud.it/calco09/

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

LSFA 2009 - Third Call For Papers

2009-03-27T07:47:54Z

[Apologies for multiple copies.]

Fourth Workshop on Logical and Semantic Frameworks, with Applications

28th June, 2009 - Brasília, Brazil

Call for Papers

Scope

Logical and semantic frameworks are formal languages used to represent
logics, languages and systems. These frameworks provide foundations
for formal specification of systems and programming languages,
supporting tool development and reasoning.

The objective of this one-day workshop is to put together
theoreticians and practitioners to promote new techniques and results,
from the theoretical side, and feedback on the implementation and use
of such techniques and results, from the practical side.

Topics of interest to this forum include, but are not limited to:

* Logical frameworks
o Proof theory
o Type theory
o Automated deduction
* Semantic frameworks
o Specification languages and meta-languages
o Formal semantics of languages and systems
o Computational and logical properties of semantic frameworks
o Implementation of logical and/or semantic frameworks
* Applications of logical and/or semantic frameworks

LSFA'09 also aims to be a forum for presenting and discussing work in
progress, and therefore to provide feedback to authors on their
preliminary research. Submissions to the workshop will in the form of
full papers. The proceedings are produced only after the meeting, so
that authors can incorporate this feedback in the published papers.
Invited Speakers
There will be three invited talks:
Delia Kesner (PPS, CNRS and Universite Paris-Diderot)
Title: Untyped Pattern Calculi
Jonathan Seldin (University of Lethbridge, Canada)
Title: A Reduction in Combinatory Logic Equivalent to λβ-Reduction
Luis Fariñas de Cerro (Université Paul Sabatier -- Toulose III,
France)
Title:Dedutcion and Abduction of Information about an Entity

Program Committee

Mauricio Ayala-Rincón (University of Brasília, Brazil), co-chair
Fairouz Kamareddine (Heriot-Watt University, Edinburgh, UK), co-chair
Serge Autexier (DFKI, Bremen, Germany)
Benjamin Rene Callejas Bedregal (Federal University of Rio Grande do
Norte, Brazil)
Mario Benevides (Federal University of Rio de Janeiro, Brazil)
Guilherme Bittencourt (Federal University of Santa Catarina, Brazil)
Christiano Braga (Fluminense Federal University, Brazil)
Andreas Brunner (Federal University of Bahia, Brazil)
Marcelo Coniglio (State University of Campinas, Brazil)
Clare Dixon (University of Liverpool, UK)
Gilles Dowek (École Polytechnique, France)
William Farmer (McMaster University, Hamilton, Ontario, Canada)
Marcelo Finger (University of São Paulo, Brazil)
Edward Hermann Haeusler (PUC Rio, Brazil)
Tudor Jebelean (RISC Johannes Kepler University, Austria)
Manfred Kerber (The University of Birmingham, UK)
Luis C. Lamb (Federal University of Rio Grande do Sul, Brazil)
Daniel Leivant (Indiana University, USA)
João Marcos (Federal University of Rio Grande do Norte, Brazil)
Ana Teresa de Castro Martins (Federal University of Ceará, Brazil)
Dale Miller (INRIA, France)
Flávio Leonardo Cavalcanti de Moura (University of Brasília, Brazil)
Luca Paolini (Università di Torino, Italy)
Alberto Pardo (Universidad de la República, Uruguay)
Elaine Pimentel (Federal University of Minas Gerais, Brazil)
Ruy de Queiroz (Federal University of Pernambuco, Brazil)
Simona Ronchi della Rocca (Università di Torino, Italy)
Amr Sabry (Indiana University, USA)
Christian Urban (TUM, Germany)
Freek Wiedijk (Radboud Universiteit, The Netherlands)
Organizing Committee
Cláudia Nalon (University of Brasília, Brazil), Local Chair
Elaine Pimentel (Federal University of Minas Gerais, Brazil)
Edward Hermann Haeusler (PUC Rio, Brazil)
Mauricio Ayala-Rincon (University of Brasília, Brazil)
Guilherme Albuquerque Pinto (University of Brasília, Brazil)
Dates and Submission
Paper submission: 3rd April, 2009
Author notification: 15th May, 2009
Camera ready: 31st May, 2009

Contributions should be written in English and submitted in the form
full papers with at most 16 pages. They must be unpublished and not
submitted simultaneously for publication elsewhere. The submission
should be in the form of a PDF file uploaded to LSFA'09 page at
EasyChair until the submission deadline by midnight, Central European
Standard Time (GMT+1).

The papers should be prepared in latex using Elsevier ENTCS style.
Please see the Instructions for Preparing Files for Preliminary
Versions Instructions for styles and examples. The file entcs.cls is
also available here. The prentcsmacro.sty file will be available soon.

The workshop pre-proceedings, containing the reviewed papers, will be
handed-out at workshop registration and the proceedings will be
published as a volume of ENTCS.

After the workshop, according to the quantity and quality of selected
papers, the authors will be invited to submit full versions of their
works that will be also reviewed to high standards. A special issue of
LSFA'06 appeared in the Journal of Algorithms and currently a special
issue of LSFA'07 is being processed and will appear in The Logical
Journal of the IGPL.

At least one of the authors should register at the conference. The
paper presentation should be in English.
Contact Information

For more information please contact the organizers.

The web page of the event can be reached at:

http://lsfa09.cic.unb.br

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

WLPE 2009 Call For Papers

2009-03-24T06:44:27Z

*******************************************************************

Call For Papers

WLPE 2009

The 19th Workshop on Logic-based methods
in Programming Environments

Pasadena, USA July 14-17 (one day) 2009
http://gpd.sip.ucm.es/WLPE09/

Satellite event of the 25th International
Conference on Logic Programming (ICLP 2009)
http://www.ist.unomaha.edu/iclp2009/

Our apologies if you receive this multiple times.

*******************************************************************

Important Dates:

Paper Submission: April 30, 2009
Notification of Authors: May 26, 2009
Camera-ready: June 8, 2009
Workshop: One day in July 14-17

Objectives:

The aim of this workshop is to provide an informal meeting for
researchers
working on logic-based methods and tools which support program
development
and analysis. As in recent years we interpret the workshop topics to
include
not only environmental tools for logic programming but increasingly also
logic-based environmental tools for programming in general, so that this
workshop can be possibly interesting for a wider scientific community.
In addition to papers describing more conceptual and theoretical work,
papers describing the implementation of, and experience with, such tools
will be welcome.

Topics:

Areas particularly relevant to the workshop include (but are not
limited to):
* Static and dynamic analysis
* Debugging and testing,
* Program verification and validation,
* Code generation from specifications,
* Termination analysis,
* Constraints,
* Rewriting,
* Profiling and performance analysis,
* Type and mode analysis,
* Module systems,
* Optimization tools,
* Program understanding,
* Refactoring,
* Logical meta-languages.
Authors who are interested in taking part in the workshop, but are
unsure
if their work falls within its scope, are invited to contact the
organizers
and will be given suitable advice.

Program Committee:

Puri Arenas University Complutense of Madrid
Rafael Caballero University Complutense of Madrid
Michael Codish Ben-Gurion University of the Negev
John Gallagher University of Roskilde
Arnaud Gotlieb INRIA Rennes - Bretagne Atlantique Research Centre
Petra Hofstedt University of Technology Berlin
Michael Leuschel University of Düsseldorf
German Puebla Technical University of Madrid
Mario Rodríguez-Artalejo University Complutense of Madrid
Tom Schrijvers K.U. Leuven
Alexander Serebrenik Eindhoven University of Technology
Alexandre Tessier LIFO, Universit d'Orléans
German Vidal Technical University of Valencia
Damiano Zanardini Technical University of Madrid

Workshop organizers:

Rafael Caballero Roldán (contact person)
Fac. de Informática
Universidad Complutense de Madrid
28040-Madrid, Spain
http://gpd.sip.ucm.es/rafa/

John Gallagher
Computer Science Dept., CBIT,
University of Roskilde
P.O. Box 260, 4000 Roskilde, Denmark
http://www.ruc.dk/~jpg/

Publication:

Informal proceedings will be published as a technical report and
distributed
at the workshop, as well as electronically at the Computing Research
Repository (CoRR).

Previous editions of WLPE:

This workshop continues the series of successful international
workshops on logic
programming environments held in Ohio, USA (1989), Eilat, Israel
(1990), Paris,
France (1991), Washington D.C., USA (1992), Vancouver, Canada (1993),
Santa Margherita
Ligure, Italy (1994), Portland, USA (1995), Leuven, Belgium (1997),
Las Cruces, USA (1999),
Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai, India
(2003), Saint Malo,
France (2004), Sitges (Barcelona), Spain (2005), Seattle, USA (2006),
Porto, Portugal (2007)
and Udine, Italy (2008). More information about the series of WLPE
workshops can be found at http://www.cs.usask.ca/projects/envlop/WLPE/.

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

Cfp: WFLP09 - 18th Int'l Workshop on Functional and (Constraint) Logic Programming

2009-03-23T03:05:39Z

*******************************************************************
Call For Papers

WFLP 2009

18th International Workshop on Functional
and (Constraint) Logic Programming

Brasilia, Brazil, June, 28, 2009
http://www.dsic.upv.es/workshops/wflp09/

*********
part of the Federated Conference on
Rewriting, Deduction, and Programming
RDP'09
http://rdp09.cic.unb.br/index.html

*******************************************************************

IMPORTANT DATES

Abstract Submission April 20, 2009
Full Paper Submission April 26, 2009
Acceptance Notification May 25, 2009
Preliminary Proceedings June 8, 2009
Workshop June 28, 2009

SCOPE

The Workshop on Functional and (Constraint) Logic Programming aims
at bringing together researchers interested in functional
programming, (constraint) logic programming, as well as the
integration of the two paradigms. It promotes the cross-fertilizing
exchange of ideas and experiences among researchers and students
from the different communities interested in the foundations,
applications, and combinations of high-level, declarative
programming languages and related areas.

The previous WFLP editions are:
WFLP 2008 (Siena, Italy), WFLP 2007 (Paris, France), WFLP 2006
(Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen,
Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy),
WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99
(Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97
(Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95
(Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93
(Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany).

LOCATION

WFLP'09 will be held in June 28, 2009 at Brasilia, Brazil,
as part of the Federated Conference on Rewriting, Deduction, and
Programming (RDP'09).

WFLP'09 solicits papers in all areas of functional and (constraint)
logic programming, including but not limited to:

* Foundations: formal semantics, rewriting and narrowing,
constraint solving, dynamics, type theory
* Language Design: modules and type systems, multi-paradigm
languages, concurrency and distribution, objects
* Implementation: abstract machines, parallelism, compile-time and
run-time optimizations, interfacing with external languages
* Transformation and Analysis: abstract interpretation,
specialization, partial evaluation, program transformation,
meta-programming
* Software Engineering: design patterns, specification,
verification and validation, debugging, test generation
* Integration of Paradigms: integration of declarative programming
with other paradigms such as imperative, object-oriented,
concurrent, and real-time programming
* Applications: security, declarative programming in education and
industry, domain-specific languages, visual/graphical user interfaces,
embedded systems, WWW applications, knowledge representation and
machine learning, deductive databases, advanced programming
environments and tools

SUBMISSIONS and PROCEEDINGS

Authors are invited to submit papers of at most 15 pages (pdf or
postscript formats) presenting original, not previously published
works. Submission categories include regular research papers, short
papers (not more than 8 pages) describing on-going work, and system
descriptions. Submissions must be formatted in the Lecture Notes in
Computer Science style (excluding well-marked appendices not
intended for publication). Papers should be submitted electronically
via the web-based submission site
http://www.easychair.org/conferences/?conf=wflp2009

Preliminary proceedings will be available at the workshop. Selected
authors will be invited to submit a full version of their papers
after the workshop. Contributions accepted for the post-workshop
proceedings will be published in Lecture Notes in Computer Science.

INVITED SPEAKERS

Claude Kirchner INRIA Bordeaux - Sud-Ouest, France
Roberto Ierusalimschy Departamento de Informatica, PUC-Rio, Brazil

PROGRAM CHAIR

Santiago Escobar Universidad Politecnica de Valencia, Spain

PROGRAM COMMITTEE

Maria Alpuente Universidad Politecnica de Valencia, Spain
Sergio Antoy Portland State University, USA
Christiano Braga Universidade Federal Fluminense, Brazil
Rafael Caballero Universidad Complutense de Madrid, Spain
David Deharbe Universidade Federal do Rio Grande do Norte,
Brazil
Rachid Echahed CNRS,laboratoire LIG, France
Moreno Falaschi Universita di Siena, Italy
Michael Hanus Christian-Albrechts-Universitaet zu Kiel, Germany
Frank Huch Christian-Albrechts-Universitaet zu Kiel, Germany
Tetsuo Ida University of Tsukuba, Japan
Wolfgang Lux Westfalische Wilhelms-Universitat Munster, Germany
Mircea Marin University of Tsukuba, Japan
Camilo Rueda Universidad Javeriana-Cali, Colombia
Jaime Sanchez-Hernandez
Universidad Complutense de Madrid, Spain
Anderson Santana de Oliveira
Universidade Federal do Rio Grande do Norte,
Brazil
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

[FMICS 2009] Third Call for Papers

2009-03-13T02:34:55Z

FMICS 2009 - 3RD CALL FOR PAPERS

Please visit: http://users.dsic.upv.es/workshops/fmics2009

************************************************************
* 14th International Workshop on *
* Formal Methods for Industrial Critical Systems *
* FMICS 2009 *
* *
* November 2-3, 2009 *
* Eindhoven, The Netherlands *
************************************************************
* ** NEWS ** *
* *
* >> Price for best paper -- awarded by EASST *
* *
************************************************************
* *
* LNCS proceedings *
* Springer has confirmed that the proceedings *
* will be published in their Lecture Notes in *
* Computer Science series. *
* *
************************************************************

IMPORTANT DATES
---------------
Deadline for abstracts: 1st April
Deadline for papers: 7 April
Accept/Reject notification: 15 June
Camera-ready version: 15 July
Workshop: 2-3 November

SCOPE OF THE WORKSHOP
---------------------
The aim of the ERCIM FMICS workshop series is to provide
a forum for researchers who are interested in the
development and application of formal methods in industry.
In particular, these workshops bring together scientists and
engineers that are active in the area of formal methods and
interested in exchanging their experiences in the industrial
usage of these methods.

These workshops also strive to promote research and
development for the improvement of formal methods and tools
for industrial applications.

Topics include, but are not restricted to:
- Design, specification, code generation and testing based
on formal methods.
- Methods, techniques and tools to support automated
analysis, certification, debugging, learning,
optimization and transformation of complex,
distributed, real-time systems and embedded systems.
- Verification and validation methods that address
shortcomings of existing methods with respect to
their industrial applicability (e.g., scalability and
usability issues).
- Tools for the development of formal design descriptions.
- Case studies and experience reports on industrial
applications of formal methods, focusing on lessons
learned or identification of new research directions.
- Impact of the adoption of formal methods on the
development process and associated costs.
- Application of formal methods in standardization and
industrial forums.

INVITED SPEAKERS
----------------
To be announced

CO-CHAIRS
---------
Maria Alpuente Tech. University Valencia, Spain
Byron Cook Microsoft Research, UK

PROGRAM COMMITTEE
-------------------
Hassan Ait-Kaci Ilog, Canada
Maria Alpuente Tech. University Valencia, Spain
Thomas Arts IT-Univ. i Goteborg, Sweden
Demis Ballis Universita Udine, Italy
Josh Berdine Microsoft Research, UK
Lubos Brim Masarykova Univ., Czech Republic
Darren Cofer Rockwell Collins, USA
Byron Cook Microsoft Research, UK
Patrick Cousot Ecole Normale Superieure, France
Santiago Escobar Tech. University Valencia, Spain
Azadeh Farzan University of Toronto, Canada
Hubert Garavel INRIA Rhone-Alpes, France
Stefania Gnesi ISTI-CNR, Italy
Alexey Gotsman University of Cambridge, UK
Holger Hermanns Universitat Saarlandes, Germany
Christophe Joubert Tech. University Valencia, Spain
Daniel Kroening ETH Zurich, Switzerland
Michael Leuschel Universitat Dusseldorf, Germany
Pedro Merino Universidad de Malaga, Spain
Juan Jose Moreno-Navarro Univ. Politecnica Madrid, Spain
Corina Pasareanu NASA Ames Research Center, USA
Jaco van de Pol Univ. Twente, The Netherlands
Murali Rangarajan Honeywell, USA
Jakob Rehof Tech. Univ. Dortmund, Germany
Andrey Rybalchenko Max-Planck-Gesellschaft, Germany
Marcel Verhoef Chess, The Netherlands
Martin Wirsing Universitat Munchen, Germany
Hongseok Yang University of London, UK
Greta Yorsh IBM Watson Research Center, USA

ERCIM FMICS WG COORDINATOR
--------------------------
Alessandro Fantechi Univ. Firenze, ISTI-CNR, Italy

WORKSHOP CHAIR
--------------
Christophe Joubert Tech. University Valencia, Spain

PAPER SUBMISSIONS
-----------------
Submissions must be made electronically through the
EasyChair system.

Papers should be up to 16 pages in LNCS format, with the
names and affiliations of the authors and a clear and
informative abstract. Additional details may be included in
a clearly marked appendix, which will be read at the
discretion of the program committee. All submissions must
report on original research.

Submitted papers must not have previously appeared in a
journal or conference with published proceedings and must
not be concurrently submitted to any other peer-reviewed
workshop, symposium, conference or archival journal. Any
partial overlap with any such published or concurrently
submitted paper must be clearly indicated.

Case study papers should identify lessons learned, validate
theoretical results (such as scalability of methods),
or provide specific motivation for further research and
development.

The workshop proceedings will be published in the Springer
series Lecture Notes in Computer Science (LNCS).

CO-LOCATION
-----------
FMICS 2009 is part of the first Formal Methods Week
(FMweek), which will bring together a choice of events
in the area, including TESTCOM/FATES (Conference on
Testing of Communicating Systems and Workshop on Formal
Approaches to Testing of Software), FACS (Formal Aspects
of Component Software), PDMC (Parallel and Distributed
Methods of verifiCation), FM2009 (Symposium of Formal
Methods Europe), CPA (Communicating Process Architectures),
FAST (Formal Aspects of Security and Trust), FMCO (Formal
Methods for Components and Objects), and the REFINE
Workshop. For the latest information on FMweek, see
http://www.win.tue.nl/fmweek.

************************************************************
* *
* +============================================+ *
* | | *
* | ** FMweek ** | *
* | | *
* +============================================+ *
* | CPA | FACS | FAST | *
* +--------------------------------------------+ *
* | FM2009 | FMCO | FMICS | *
* +--------------------------------------------+ *
* | PDMC | REFINE | TESTCOM/FATES | *
* +--------------------------------------------+ *
* | http://www.win.tue.nl/fmweek | *
* +============================================+ *
* *
************************************************************

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

Maude-NPA available for downloading

2009-03-12T07:23:30Z

This is to let you all know that the Maude-NRL Protocol Analyzer (Maude-NPA) is now available for downloading at http://maude.cs.uiuc.edu/tools/Maude-NPA/ . Maude-NPA is a protocol analysis tool that takes into account algebraic properties of the cryptosystems and other functions used in constructing a protocol. Besides the tool and manual, the web page also contains links to papers describing the formal model and algorithms used by Maude-NPA.

Santiago Escobar

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

LSFA'09 2nd. CFP

2009-03-02T07:40:49Z

[Apologies for multiple copies]

Fourth Workshop on Logical and Semantic Frameworks, with Applications

28th June, 2009 - Brasília, Brazil

Call for Papers
Scope

Logical and semantic frameworks are formal languages used to represent
logics, languages and systems. These frameworks provide foundations
for formal specification of systems and programming languages,
supporting tool development and reasoning.

The objective of this one-day workshop is to put together
theoreticians and practitioners to promote new techniques and results,
from the theoretical side, and feedback on the implementation and use
of such techniques and results, from the practical side.

Topics of interest to this forum include, but are not limited to:

* Logical frameworks
o Proof theory
o Type theory
o Automated deduction
* Semantic frameworks
o Specification languages and meta-languages
o Formal semantics of languages and systems
o Computational and logical properties of semantic frameworks
o Implementation of logical and/or semantic frameworks
* Applications of logical and/or semantic frameworks

LSFA'09 also aims to be a forum for presenting and discussing work in
progress, and therefore to provide feedback to authors on their
preliminary research. Submissions to the workshop will in the form of
full papers. The proceedings are produced only after the meeting, so
that authors can incorporate this feedback in the published papers.
Invited Speakers

There will be three invited talks. The following talks have already
been confirmed.
Delia Kesner (PPS, CNRS and Universite Paris-Diderot)
Title: Theory and Practice of First-Class Patterns
Jonathan Seldin (University of Lethbridge, Canada)
Title: (TBA)
Luis Fariñas de Cerro (Université Paul Sabatier -- Toulose III, France)
Title: (TBA)

Program Committee

Mauricio Ayala-Rincón (University of Brasília, Brazil), co-chair
Fairouz Kamareddine (Heriot-Watt University, Edinburgh, UK), co-chair
Serge Autexier (DFKI, Bremen, Germany)
Benjamin Rene Callejas Bedregal (Federal University of Rio Grande do
Norte, Brazil)
Mario Benevides (Federal University of Rio de Janeiro, Brazil)
Guilherme Bittencourt (Federal University of Santa Catarina, Brazil)
Christiano Braga (Universidad Complutense de Madrid, Spain)
Andreas Brunner (Federal University of Bahia, Brazil)
Marcelo Coniglio (State University of Campinas, Brazil)
Clare Dixon (University of Liverpool, UK)
Gilles Dowek (École Polytechnique, France)
William Farmer (McMaster University, Hamilton, Ontario, Canada)
Marcelo Finger (University of São Paulo, Brazil)
Edward Hermann Haeusler (PUC Rio, Brazil)
Tudor Jebelean (RISC Johannes Kepler University, Austria)
Manfred Kerber (The University of Birmingham, UK)
Luis C. Lamb (Federal University of Rio Grande do Sul, Brazil)
Daniel Leivant (Indiana University, USA)
João Marcos (Federal University of Rio Grande do Norte, Brazil)
Ana Teresa de Castro Martins (Federal University of Ceará, Brazil)
Dale Miller (INRIA, France)
Flávio Leonardo Cavalcanti de Moura (University of Brasília, Brazil)
Luca Paolini (Università di Torino, Italy)
Alberto Pardo (Universidad de la República, Uruguay)
Elaine Pimentel (Federal University of Minas Gerais, Brazil)
Ruy de Queiroz (Federal University of Pernambuco, Brazil)
Simona Ronchi della Rocca (Università di Torino, Italy)
Amr Sabry (Indiana University, USA)
Christian Urban (TUM, Germany)
Freek Wiedijk (Radboud Universiteit, The Netherlands)

Organizing Committee

Cláudia Nalon (University of Brasília, Brazil), Local Chair
Elaine Pimentel (Federal University of Minas Gerais, Brazil)
Edward Hermann Haeusler (PUC Rio, Brazil)
Mauricio Ayala-Rincon (University of Brasília, Brazil)
Guilherme Albuquerque Pinto (University of Brasília, Brazil)
Dates and Submission
Paper submission: 3rd April, 2009
Author notification: 15th May, 2009
Camera ready: 31st May, 2009

Contributions should be written in English and submitted in the form
full papers with at most 16 pages. They must be unpublished and not
submitted simultaneously for publication elsewhere. The submission
should be in the form of a PDF file uploaded to LSFA'09 page at
EasyChair until the submission deadline by midnight, Central European
Standard Time (GMT+1).

The papers should be prepared in latex using Elsevier ENTCS style.
Please see the Instructions for Preparing Files for Preliminary
Versions Instructions for styles and examples. The file entcs.cls is
also available here. The prentcsmacro.sty file will be available soon.

The workshop pre-proceedings, containing the reviewed papers, will be
handed-out at workshop registration and the proceedings will be
published as a volume of ENTCS.

After the workshop, according to the quantity and quality of selected
papers, the authors will be invited to submit full versions of their
works that will be also reviewed to high standards. A special issue of
LSFA'06 appeared in the Journal of Algorithms and currently a special
issue of LSFA'07 is being processed and will appear in The Logical
Journal of the IGPL.

At least one of the authors should register at the conference. The
paper presentation should be in English.
Contact Information

For more information please contact the organizers.

The web page of the event can be reached at:

http://lsfa09.cic.unb.br
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

html version of the manual

2009-02-26T09:41:15Z

Dear colleagues,

There is now a html version of the Maude manual available from the Maude
web site.

http://maude.cs.uiuc.edu/maude2-manual/

Best regards,

Paco
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

FACS 2009 - First Call for Papers

2009-02-17T07:29:46Z

[Apologies for multiple copies of this CFP]

Formal Aspects of Component Software (FACS 2009)

First Call for Papers

6th International Workshop on Formal Aspects of Component Software

November 2-3, 2009
Eindhoven, the Netherlands

http://www.iist.unu.edu/facs09/

Submission deadline June 19, 2009

Scope & Topics:

Component-based software has emerged as a promising paradigm to deal
with the ever increasing need for mastering systems' complexity,
for enabling evolution and reuse, and for bringing sound production
and engineering standards into software engineering. However, many
issues in component-based software development remain open and
pose challenging research questions.

Formal methods consist of mathematically-based
techniques for the specification, development and verification of
software and hardware systems. They have shown their great utility
for setting up the formal foundations of component software and working
out challenging issues such as mathematical models for components,
their composition and adaptation, or rigorous approaches to
verification, deployment, testing and certification.

The objective of FACS'09 is to bring together researchers in the
areas of component software and formal methods to promote a deep
understanding of this paradigm and its applications. The workshop
will also be interested in defining the common aspects of
components and component-based development. It is expected that
formal paper presentations will be followed by lively
discussions. Possible topics include, but are not limited to:

- formal models for software components and component interaction
- design and verification methods for component software
- component composition and deployment: models, calculi, languages
- component testing, re-engineering and reuse
- specification of extra-functional properties in component
software
- certification of components and software architectures
- component software vs. object orientation, multi-agent systems,
and aspect oriented development
- components for real-time, safety-critical, secure and/or embedded
systems
- standard models for software components (e.g. Fractal, GCM, etc.)
- industrial or experience reports, and case studies in
component software
- partial behavior models for software components
- update and reconfiguration of component architectures
- component systems evolution and maintenance
- formal methods and modeling languages for components
- trust models for components
- autonomic components and self-managed applications
- formal / rigorous approaches to software adaptation and
self-adaptive systems
- formal aspects of Web services and business processes
- component-based Web services and service-oriented
architectures
- QoS issues in web services, multi-agent systems and
component-based systems

FACS'09 is the 6th event in a series of workshops, founded by
the International Institute for Software Technology of the United
Nations University (UNU-IIST). The first FACS workshop was
co-located with FM'03 (Pisa, Italy, September 2003). The
following FACS workshops were organised as standalone events,
respectively at UNU-IIST in Macau (October 2005), at Charles
University in Prague (September 2006), at INRIA in
Sophia-Antipolis (September 2007), and at University of Málaga in
Spain (September 2008). FACS'09 is planned to be co-located with
a number of events together under the heading of Formal Methods Week
(Eindhoven, the Netherlands, October 2009).

Submission & proceedings:

Submissions to the workshop must present original research
that is unpublished and not submitted for publication
elsewhere. Papers will be judged on the basis of originality,
relevance, technical soundness and presentation quality. Papers
must be written in English and not exceed 15 pages in the ENTCS
format. Note that to encourage submission of work still in
progress, we may also accept promising papers to be presented at
the workshop. The presenters of these papers will be entitled to
submit a revised version for full review for inclusion in the formal
(post-)proceedings to be published in ENTCS. Extended versions of all
accepted papers will be eligible for selection for a journal special
issue. The final version of the papers must be prepared in LaTeX,
adhering to the ENTCS format (see http://www.entcs.org/final.html).

Papers/abstracts can be submitted via the following link:
http://www.easychair.org/conferences/?conf=facs09

A special issue consisting of extended versions of selected papers from
FACS 2009 will be published in Science of Computer Programming. Selected
participants will be invited to submit an extended version of their papers
after the workshop. These extended versions will be reviewed by the
international program committee of FACS'09, which will decide on their
suitability for final publication in the special issue.

Important dates:

Abstract submission: June 12, 2009
Paper submission: June 19, 2009
Acceptance notification: July 31, 2009
Camera ready: August 28, 2009
Workshop: November 2-3, 2009

Keynote speakers: to be announced

Program chairs: Bernhard Schätz and Sun Meng

Program committee:

Farhad Arbab (CWI, The Netherlands)
Luis Barbosa (Universidade do Minho, Portugal)
Frank S. de Boer (CWI, The Netherlands)
Christiano Braga (Universidad Complutense de Madrid, Spain)
Carlos Canal (Universidad de Malaga, Spain)
Paolo Ciancarini (Universita di Bologna, Italy)
Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany)
Atsushi Igarashi (Kyoto University, Japan)
Einar Broch Johnsen (Universitetet i Oslo, Norway)
Ying Liu (IBM China Research, China)
Markus Lumpe (Swinburne University of Technology, Australia)
Eric Madelaine (INRIA, Centre Sophia Antipolis, France)
Sun Meng (CWI, The Netherlands)
Corina Pasareanu (NASA Ames, USA)
Frantisek Plasil (Charles University, Czech Republic)
Anders Ravn (Aalborg University, Denmark)
Ralf Reussner (Universitaet Karlsruhe, Germany)
Bernhard Schaetz (Technical University of Munich, Germany)
Heinrich Schmidt (RMIT University, Australia)
Marjan Sirjani (University of Tehran, Iran)
Volker Stolz (UNU-IIST, MACAU)
Carolyn Talcott (SRI International, USA)
Dang Van Hung (Vietnam National University, Vietnam)
Naijun Zhan (IOS, China)

Steering Committee:

Zhiming Liu (IIST UNU, Macau, China, coordinator)
Farhad Arbab (CWI, The Netherlands)
Luis Barbosa (Universidade do Minho, Portugal)
Carlos Canal (University of Málaga, Spain)
Markus Lumpe (Swinburne University of Technology, Australia)
Eric Madelaine (INRIA, Sophia-Antipolis, France)
Vladimir Mencl (Charles University, Prague, Czech Republic, and
University of Canterbury, New Zealand)
Corina Pasareanu (NASA Ames Research Center, USA)
Sun Meng (CWI, the Netherlands)
Bernhard Schaetz (Technical University of Munich, Germany)

Co-location:

FACS'09 is part of the first Formal Methods Week (FMweek), which
will bring together
a choice of events in the area, including TESTCOM/FATES
(Conference on Testing of
Communicating Systems and Workshop on Formal Approaches to Testing
of Software),
FMICS (Formal Methods for Industrial Critical Systems), PDMC
(Parallel and Distributed
Methods of verifiCation), FM2009 (Symposium of Formal Methods
Europe), CPA (Communicating
Process Architectures), FAST (Formal Aspects in Security and
Trust), FMCO (Formal Methods
for Components and Objects), and the REFINE Workshop. For the
latest information on FMweek,
see http://www.win.tue.nl/fmweek.
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

[Fwd: [rewriting] CFP WRS 2009 - Workshop on Reduction Strategies in Rewriting and Programming, Brasilia, 28 June]

2009-02-16T06:15:58Z

======================================================================
Call for Papers

WRS 2009
9th International Workshop on
Reduction Strategies in Rewriting and Programming
http://www.dcs.kcl.ac.uk/staff/maribel/wrs09.html
28 June 2009, Brasilia, Brazil

An RDP 2009 workshop - Federated Conference on
Rewriting, Deduction, and Programming

This workshop promotes research and collaboration in the area of
reduction strategies. It encourages the presentation of new
directions, developments, and results as well as surveys and tutorials
on existing knowledge in this area. Reduction strategies define which
(sub)expression(s) should be selected for evaluation and which rule(s)
should be applied. These choices affect fundamental properties of
computations such as laziness, strictness, completeness, and
efficiency amongst others. For this reason programming languages such
as Elan, Maude, OBJ, and Stratego allow the explicit definition of the
evaluation strategy, whereas languages such as Clean, Curry, and
Haskell allow its modification. In addition to strategies in rewriting
and programming, WRS 2009 also covers the use of strategies and
tactics in other areas such as theorem and termination proving.

WRS 2009 will take place in Brasilia, as part of RDP, the
Federated Conference on Rewriting, Deduction, and Programming.
Previous editions of the workshop were held in Utrecht (2001),
Copenhagen (2002), Valencia (2003), Aachen (2004), Nara (2005),
Seattle (2006), Paris (2007), Hagenberg (2008).

Submissions and Publication:
Before the workshop, authors are invited to submit a five page
abstract in pdf format, using the Easychair website
https://www.easychair.org/login.cgi?conf=wrs09
Accepted abstracts will be presented at the workshop and included in the
preliminary proceedings, available at the workshop.
After the workshop, authors will be invited to submit a paper based on
their presentation, which will be refereed for inclusion in the final
workshop proceedings. We plan to publish the final proceedings in EPTCS.

We also invite authors to submit a 5 page abstract describing relevant
work that has been or will be published elsewhere, or work in
progress. These submissions will be only considered for presentation
at the workshop and inclusion in the preliminary proceedings but not
in the final proceedings.

We envisage publication of a special issue of a journal dedicated to WRS
after the event.

Important Dates:
# Submission: title and short abstract: 9 April 2009
full abstract: 19 April 2009
# Notification: 17 May 2009
# Preliminary proceedings version due: 7 June 2009
# Workshop: 28 June 2009
# Submission for final proceedings: 5 September 2009
# Notification: 30 October 2009

Programme Committee:
Sergio Antoy
Mauricio Ayala Rincon
Horatiu Cirstea
Adriana Compagnoni
Santiago Escobar
Maribel Fernandez (chair)
Juergen Giesl
Bernhard Gramlich
Salvador Lucas
Ian Mackie
Jorge S. Pinto

For more information, please contact
Maribel Fernandez
King's College London, UK
Email: Maribel.Fernandez@...

==================================================================================

--
Dr. Maribel Fernandez
Reader
King's College London
Department of Computer Science
www.dcs.kcl.ac.uk/staff/maribel
+44 20 78482499

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

FACS 2009 First Call for Papers

2009-02-13T16:57:56Z

Formal Aspects of Component Software (FACS 2009)

First Call for Papers

6th International Workshop on Formal Aspects of Component Software

November 2-3, 2009
Eindhoven, the Netherlands

http://www.iist.unu.edu/facs09/

Submission deadline June 19, 2009

Scope & Topics:

Component-based software has emerged as a promising paradigm to deal
with the ever increasing need for mastering systems' complexity,
for enabling evolution and reuse, and for bringing sound production
and engineering standards into software engineering. However, many
issues in component-based software development remain open and
pose challenging research questions.

Formal methods consist of mathematically-based
techniques for the specification, development and verification of
software and hardware systems. They have shown their great utility
for setting up the formal foundations of component software and working
out challenging issues such as mathematical models for components,
their composition and adaptation, or rigorous approaches to
verification, deployment, testing and certification.

The objective of FACS'09 is to bring together researchers in the
areas of component software and formal methods to promote a deep
understanding of this paradigm and its applications. The workshop
will also be interested in defining the common aspects of
components and component-based development. It is expected that
formal paper presentations will be followed by lively
discussions. Possible topics include, but are not limited to:

- formal models for software components and component interaction
- design and verification methods for component software
- component composition and deployment: models, calculi, languages
- component testing, re-engineering and reuse
- specification of extra-functional properties in component
software
- certification of components and software architectures
- component software vs. object orientation, multi-agent systems,
and aspect oriented development
- components for real-time, safety-critical, secure and/or embedded
systems
- standard models for software components (e.g. Fractal, GCM, etc.)
- industrial or experience reports, and case studies in
component software
- partial behavior models for software components
- update and reconfiguration of component architectures
- component systems evolution and maintenance
- formal methods and modeling languages for components
- trust models for components
- autonomic components and self-managed applications
- formal / rigorous approaches to software adaptation and
self-adaptive systems
- formal aspects of Web services and business processes
- component-based Web services and service-oriented
architectures
- QoS issues in web services, multi-agent systems and
component-based systems

FACS'09 is the 6th event in a series of workshops, founded by
the International Institute for Software Technology of the United
Nations University (UNU-IIST). The first FACS workshop was
co-located with FM'03 (Pisa, Italy, September 2003). The
following FACS workshops were organised as standalone events,
respectively at UNU-IIST in Macau (October 2005), at Charles
University in Prague (September 2006), at INRIA in
Sophia-Antipolis (September 2007), and at University of Málaga in
Spain (September 2008). FACS'09 is planned to be co-located with
a number of events together under the heading of Formal Methods Week
(Eindhoven, the Netherlands, October 2009).

Submission & proceedings:

Submissions to the workshop must present original research
that is unpublished and not submitted for publication
elsewhere. Papers will be judged on the basis of originality,
relevance, technical soundness and presentation quality. Papers
must be written in English and not exceed 15 pages in the ENTCS
format. Note that to encourage submission of work still in
progress, we may also accept promising papers to be presented at
the workshop. The presenters of these papers will be entitled to
submit a revised version for full review for inclusion in the formal
(post-)proceedings to be published in ENTCS. Extended versions of all
accepted papers will be eligible for selection for a journal special
issue. The final version of the papers must be prepared in LaTeX,
adhering to the ENTCS format (see http://www.entcs.org/final.html).

Papers/abstracts can be submitted via the following link:
http://www.easychair.org/conferences/?conf=facs09

A special issue consisting of extended versions of selected papers from
FACS 2009 will be published in Science of Computer Programming. Selected
participants will be invited to submit an extended version of their papers
after the workshop. These extended versions will be reviewed by the
international program committee of FACS'09, which will decide on their
suitability for final publication in the special issue.

Important dates:

Abstract submission: June 12, 2009
Paper submission: June 19, 2009
Acceptance notification: July 31, 2009
Camera ready: August 28, 2009
Workshop: November 2-3, 2009

Keynote speakers: to be announced

Program chairs: Bernhard Schätz and Sun Meng

Program committee:

Farhad Arbab (CWI, The Netherlands)
Luis Barbosa (Universidade do Minho, Portugal)
Frank S. de Boer (CWI, The Netherlands)
Christiano Braga (Universidad Complutense de Madrid, Spain)
Carlos Canal (Universidad de Malaga, Spain)
Paolo Ciancarini (Universita di Bologna, Italy)
Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany)
Atsushi Igarashi (Kyoto University, Japan)
Einar Broch Johnsen (Universitetet i Oslo, Norway)
Ying Liu (IBM China Research, China)
Markus Lumpe (Swinburne University of Technology, Australia)
Eric Madelaine (INRIA, Centre Sophia Antipolis, France)
Sun Meng (CWI, The Netherlands)
Corina Pasareanu (NASA Ames, USA)
Frantisek Plasil (Charles University, Czech Republic)
Anders Ravn (Aalborg University, Denmark)
Ralf Reussner (Universitaet Karlsruhe, Germany)
Bernhard Schaetz (Technical University of Munich, Germany)
Heinrich Schmidt (RMIT University, Australia)
Marjan Sirjani (University of Tehran,
Iran)
Volker Stolz (UNU-IIST, MACAU)
Carolyn Talcott (SRI International, USA)
Dang Van Hung (Vietnam National University,
Vietnam)
Naijun Zhan (IOS, China)

Steering Committee:

Zhiming Liu (IIST UNU, Macau, China, coordinator)
Farhad Arbab (CWI, The Netherlands)
Luis Barbosa (Universidade do Minho, Portugal)
Carlos Canal (University of Málaga, Spain)
Markus Lumpe (Swinburne University of Technology, Australia)
Eric Madelaine (INRIA, Sophia-Antipolis, France)
Vladimir Mencl (Charles University, Prague, Czech Republic, and University
of Canterbury, New Zealand)
Corina Pasareanu (NASA Ames Research Center, USA)
Sun Meng (CWI, the Netherlands)
Bernhard Schaetz (Technical University of Munich, Germany)

Co-location:

FACS'09 is part of the first Formal Methods Week (FMweek), which will
bring together
a choice of events in the area, including TESTCOM/FATES (Conference on
Testing of
Communicating Systems and Workshop on Formal Approaches to Testing of
Software),
FMICS (Formal Methods for Industrial Critical Systems), PDMC (Parallel and
Distributed
Methods of verifiCation), FM2009 (Symposium of Formal Methods Europe), CPA
(Communicating
Process Architectures), FAST (Formal Aspects in Security and Trust), FMCO
(Formal Methods
for Components and Objects), and the REFINE Workshop. For the latest
information on FMweek,
see http://www.win.tue.nl/fmweek.

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

Cfp: WFLP09-18th Int'l Workshop on Functional and (Constraint) Logic Programming

2009-02-08T14:12:46Z

*******************************************************************
Preliminary Call For Papers

WFLP 2009

18th International Workshop on Functional
and (Constraint) Logic Programming

Brasilia, Brazil, June, 28, 2009
http://www.dsic.upv.es/workshops/wflp09/

*********
part of the Federated Conference on
Rewriting, Deduction, and Programming
RDP'09
http://rdp09.cic.unb.br/index.html

*******************************************************************

IMPORTANT DATES

Abstract Submission April 20, 2009
Full Paper Submission April 26, 2009
Acceptance Notification May 25, 2009
Preliminary Proceedings June 8, 2009
Workshop June 28, 2009

SCOPE

The Workshop on Functional and (Constraint) Logic Programming aims
at bringing together researchers interested in functional
programming, (constraint) logic programming, as well as the
integration of the two paradigms. It promotes the cross-fertilizing
exchange of ideas and experiences among researchers and students
from the different communities interested in the foundations,
applications, and combinations of high-level, declarative
programming languages and related areas.

The previous WFLP editions are:
WFLP 2008 (Siena, Italy), WFLP 2007 (Paris, France), WFLP 2006
(Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen,
Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy),
WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99
(Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97
(Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95
(Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93
(Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany).

LOCATION

WFLP'09 will be held in June 28, 2009 at Brasilia, Brazil,
as part of the Federated Conference on Rewriting, Deduction, and
Programming (RDP'09).

WFLP'09 solicits papers in all areas of functional and (constraint)
logic programming, including but not limited to:

* Foundations: formal semantics, rewriting and narrowing,
constraint solving, dynamics, type theory
* Language Design: modules and type systems, multi-paradigm
languages, concurrency and distribution, objects
* Implementation: abstract machines, parallelism, compile-time and
run-time optimizations, interfacing with external languages
* Transformation and Analysis: abstract interpretation,
specialization, partial evaluation, program transformation,
meta-programming
* Software Engineering: design patterns, specification,
verification and validation, debugging, test generation
* Integration of Paradigms: integration of declarative programming
with other paradigms such as imperative, object-oriented,
concurrent, and real-time programming
* Applications: security, declarative programming in education and
industry, domain-specific languages, visual/graphical user interfaces,
embedded systems, WWW applications, knowledge representation and
machine learning, deductive databases, advanced programming
environments and tools

SUBMISSIONS and PROCEEDINGS

Authors are invited to submit papers of at most 15 pages (pdf or
postscript formats) presenting original, not previously published
works. Submission categories include regular research papers, short
papers (not more than 8 pages) describing on-going work, and system
descriptions. Submissions must be formatted in the Lecture Notes in
Computer Science style (excluding well-marked appendices not
intended for publication). Papers should be submitted electronically
via the web-based submission site
http://www.easychair.org/conferences/?conf=wflp2009

Preliminary proceedings will be available at the workshop. Selected
authors will be invited to submit a full version of their papers
after the workshop. Contributions accepted for the post-workshop
proceedings are planned to be published in a journal.

INVITED SPEAKERS

Claude Kirchner INRIA Bordeaux - Sud-Ouest, France
Roberto Ierusalimschy Departamento de Informatica, PUC-Rio, Brazil

PROGRAMME CHAIR

Santiago Escobar Universidad Politecnica de Valencia, Spain

ORGANIZING COMMITTEE

Maria Alpuente Universidad Politecnica de Valencia, Spain
Sergio Antoy Portland State University, USA
Christiano Braga Universidade Federal Fluminense, Brazil
Rafael Caballero Universidad Complutense de Madrid, Spain
David Deharbe Universidade Federal do Rio Grande do Norte,
Brazil
Rachid Echahed CNRS,laboratoire LIG, France
Moreno Falaschi Universita di Siena, Italy
Michael Hanus Christian-Albrechts-Universitaet zu Kiel,
Germany
Frank Huch Christian-Albrechts-Universitaet zu Kiel, Germany
Tetsuo Ida University of Tsukuba, Japan
Wolfgang Lux Westfalische Wilhelms-Universitat Munster, Germany
Mircea Marin University of Tsukuba, Japan
Camilo Rueda Universidad Javeriana-Cali, Colombia
Jaime Sanchez-Hernandez Universidad Complutense de Madrid, Spain
Anderson Santana de Oliveira
Universidade Federal do Rio Grande do Norte,
Brazil

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

Maude 2.4 release updated

2009-02-07T06:02:33Z

Dear colleagues,

Full Maude 2.4 and the Maude Manual (and its set of examples) have
been updated. Since _Core_Maude_has_not_changed_, they are distributed
as part of version 2.4 but their date is now Feb 2009.

The main change is that now Full Maude includes an implementation of
narrowing based on the uniﬁcation facilities by Santiago Escobar. The
main new features are listed below. Please, see the new manual for
additional details.

The updated Maude 2.4 is now available from the Maude web-site at http://maude.cs.uiuc.edu

Best regards,

The Maude Team

==================================
New features and changes
==================================

For narrowing, given an order-sorted system module mod (Sigma, Ax U E,
R) endm, such that (Sigma, Ax) satisfies the restrictions for
unification (see Chapter 12 of the manual), the rules R must satisfy
the following conditions:
- Conditional rules are not taken into account, i.e., there may be
conditional rules in the theory but they will not be used for narrowing.
- A rule’s lefthand side cannot be a variable.
- The rules must be explicitly Ax-coherent (see Chapter 16 and
Section 5.3 of the new manual).

(1) A narrowing search command is available in Full Maude.

Given a system module <ModId>, the user can give to Full Maude a
search command of the form:
(search [ n, m ] in <ModId> : <Term-1> <SearchArrow> <Term-2> .)
where:
- n is an optional argument providing a bound on the number of
desired solutions;
- m is another optional argument stating the maximum depth of the
search;
- the system module <ModId> where the search takes place can be
omitted if it is the current one;
- <Term-1> is the starting non-variable term, which may contain
variables;
- <Term-2> is the term specifying the pattern that has to be
reached, with variables possibly shared with <Term-1>;
- <SearchArrow> is an arrow indicating the form of the narrowing
proof from <Term-1> until <Term-2>:
- ~>1 means a narrowing proof consisting of exactly one step,
- ~>+ means a narrowing proof consisting of one or more steps,
- ~>* means a narrowing proof consisting of none, one, or more
steps, and
- ~>! indicates that only strongly irreducible ﬁnal states are
allowed, i.e., states that cannot be further narrowed; note that this
is stronger than requiring states that cannot be rewritten.

(2) A variants-based uniﬁcation procedure is provided in Full Maude
through the command id-unify.

Given a functional module, system module, or theory <ModId> having a
set Ax of equational axioms for the signature Sigma such that Sigma
does not include symbols with assoc without comm attributes in Ax, the
user can give to Full Maude a uniﬁcation command for Ax-uniﬁcation
of the form:
(id-unify in <ModId> : <Term-1> =? <Term-2> .)
where only one uniﬁcation problem is admitted, in contrast to the
unify command, and such that no limit to the number of uniﬁers can be
speciﬁed. The theories supported must satisfy the following
requirements:
- the signature Sigma is preregular modulo Ax;
- the equational axioms Ax associated to function symbols are as
follows:
- there can be arbitrary function symbols and constants with no
equational attributes;
- the iter equational attribute can be declared for some unary
symbols;
- the id:, left id:, right id:, comm, comm id:, assoc comm, and
assoc comm id: attributes can be declared for some binary function
symbols, but any assoc attribute must also be accompanied by comm.

(3) Narrowing-based reachability analysis is also available at the
metalevel by using the function metaNarrowSearch.

The functional module providing the necessary infrastructure is called
META-NARROWING-SEARCH and the metaNarrowSearch function has the
following declaration:
op metaNarrowSearch : Module Term Term Substitution Qid Bound Bound
-> ResultTripleSet .
If a non-identity substitution is provided in the fourth argument,
then any computed substitution must be an instance of the provided
one, i.e., we can restrict the computed narrowing sequences to some
concrete shape. The Qid metarepresents the appropriate search arrow,
similar to the metaSearch command. For the bounds, the ﬁrst bound is
the maximum length of the narrowing sequences, i.e., the depth of the
narrowing tree, and the second bound is the number of computed
solutions.

(4) The procedure for equational Ax-uniﬁcation where Ax can contain
any equational attribute except assoc without comm is available at the
metalevel by using the metaACUUnify function.

The functional module providing the necessary infrastructure is called
META-E-UNIFICATION and the metaACUUnify function available has the
following declaration:
op metaACUUnify : Module Term Term -> SubstitutionSet .

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

FM 2009: Call for Tutorial Proposals

2009-02-05T11:33:45Z

Call for Tutorial Proposals

Formal Methods 2009, Eindhoven, The Netherlands
symposium 4-6 November, tutorials 2 & 3 November

FM2009 is the sixteenth international symposium of the Formal Methods
Europe association. Ten years after the world congress in Toulouse in
1999, FM2009 will be organized as a world congress again, a global
platform for researchers and practitioners from a diversity of
countries, backgrounds and schools to exchange ideas and share
experiences. Several conferences are colocating with FM2009 within
FMweek.

As is tradition, the symposium will go together with an Industry Day,
a Doctoral Symposium, a Tool Exhibition, an event on Teaching Formal
Methods, as well as a wide range of workshops (see
www.win.tue.nl/fm2009 for the latest information). In order to
complete the programme, the organizing committee of FM2009 cordially
invites proposals for one day tutorials in the wide area of formal
methods.

Tutorials should aim to provide conference participants with the
opportunity to learn new techniques and gain insights in the use of
formal methods. In particular, we welcome proposals addressing:

- novel applications of existing tools and techniques
- advanced topics in formal methods research
- uses of formal methods in emerging fields

Tutorials will take place on 2 and 3 November, preceding the symposium.

FM2009 tutorial proposals should include:

- tutorial title and brief description of its scope and goal
- names and affiliations of the tutors
- format of the tutorial

Proposals in pdf can be sent to the tutorial chair Jan Friso Groote at
J.F.Groote@.... Deadline for submission is 6 March 2009.

Proposals will be evaluated by the FM2009 organizing committee.
Notification will be sent by 18 March 2009. Tutorials that have
lecture notes, can be assisted in printing and distribution by the
FM2009 organizing committee. Tutors of accepted proposals will receive
a discount on their registration fee for FM2009. Tutorial participants
are invited to register for FM2009 or one the colocated events within
FMweek, but are not required to do so. See the websites
www.win.tue.nl/fm2009 and www.win.tue.nl/fmweek for more information
on the symposium, colocated events and venue. Further inquiries can be
made to the tutorial chair.

Submission of proposals: 6 March 2009
Notification of acceptance: 18 March 2009
Tutorial dates: 2 and 3 November 2009
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

Call for Papers: 2nd International Conference on Software Language Engineering

2009-02-04T21:53:26Z

WWV'09 - DEADLINE EXTENSION

2009-02-03T09:40:53Z

[Apologies if you receive multiple copies]

   ***********************************************************
   *                   DEADLINE EXTENSION                    *
   *                                                         *
   *                       WWV 2009                          *
   * Automated Specification and Verification of Web Systems *
   *             5th International Workshop                  *
   *                                                         *
   *       Castle of Hagenberg, Austria. July 17, 2009       *
   *                                                         *
   ***********************************************************

NEW DATES
---------
Abstract Submission       February 9, 2009 (extended)
Full Paper Submission     February 16, 2009 (extended)
Acceptance Notification   April 20, 2009
Camera Ready              June 1, 2009
Workshop                  July 17, 2009

WEB PAGE
--------
http://www.risc.uni-linz.ac.at/conferences/wwv09/
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

Last CfP: WWV 2009

2009-01-28T08:18:47Z

[Apologies if you receive multiple copies]

***********************************************************
* CALL FOR PAPERS *
* *
* WWV 2009 *
* Automated Specification and Verification of Web Systems *
* 5th International Workshop *
* *
* Castle of Hagenberg, Austria. July 17, 2009 *
* http://www.risc.uni-linz.ac.at/conferences/wwv09/ *
* *
* Part of the RISC Summer 2009 *
* http://www.risc.uni-linz.ac.at/conferences/summer2009/ *
***********************************************************

IMPORTANT DATES

Abstract Submission February 2, 2009
Full Paper Submission February 9, 2009
Acceptance Notification April 20, 2009
Camera Ready June 1, 2009
Workshop July 17, 2009

SCOPE

The increased complexity of Web sites and the explosive growth of
Web-based applications has turned their design and construction into
a challenging problem. Nowadays, many companies have diverted their
Web sites into interactive, completely-automated, Web-based
applications (such as Amazon, on-line banking, or travel agencies)
with a high complexity that requires appropriate specification and
verification techniques and tools. Systematic, formal approaches to
the analysis and verification can address the problems of this
particular domain with automated and reliable tools that also
incorporate semantic aspects.

We solicit original papers on formal methods and techniques applied
to Web sites, Web services or Web-based applications, such as:

* rule-based approaches to Web site analysis, certification,
specification, verification, and optimization
* algebraic methods for verification and certification of
Web systems
* formal models for describing and reasoning about Web sites
* model-checking, synthesis and debugging of Web sites
* abstract interpretation and program transformation applied
to the semantic Web
* intelligent tutoring and advisory systems for Web specifications
authoring
* Web quality and Web metrics
* Web usability and accessibility
* Testing and evaluation of Web systems and applications

The WWV series provides a forum for researchers from the communities
of Rule-based programming, Automated Software Engineering, and
Web-oriented research to facilitate the cross-fertilization and the
advancement of hybrid methods that combine the three areas.

The previous WWV editions were: WWV'08 (Siena, Italy), WWV'07 (Venice,
Italy), WWV'06 (Paphos, Cyprus), and WWV'05 (Valencia, Spain).

LOCATION

WWV'09 will be held at the Research Institute for Symbolic
Computation (RISC), which is an institute of the Johannes Kepler
University in Linz. It is located in the Castle of Hagenberg,
a romantic, medieval castle amidst the lovely, hilly landscape
of the Mühlviertel region, 20 km north east of Linz, the provincial
capital of Upper Austria, located halfway between Salzburg and Vienna.

For more information about RISC, please visit:
http://www.risc.uni-linz.ac.at/

The workshop is a part of the RISC Summer 2009 conference series:
http://www.risc.uni-linz.ac.at/about/conferences/summer2009/

SUBMISSION PROCEDURE

Submissions must be received by February 9, 2009. In addition, an
ASCII version of the title and abstract must be submitted by
February 2, 2009. Submitted papers should be prepared in LaTeX,
formatted according to the Springer llncs style, and should not
exceed 15 pages.

Submission is web-based via this link:
http://www.easychair.org/conferences/?conf=wwv09

PUBLICATION

Accepted papers will be published in a preliminary proceedings
volume, which will be available during the workshop.

After the workshop, a special issue of the Journal of Symbolic
Computation on the topic of the WWV workshop is planned.

PROGRAM CO-CHAIRS

Demis Ballis University of Udine, Italy
Temur Kutsia Johannes Kepler University Linz, Austria

WORKSHOP CO-CHAIRS

Temur Kutsia Johannes Kepler University Linz, Austria
Wolfgang Schreiner Johannes Kepler University Linz, Austria

INVITED SPEAKERS

François Bry Ludwig Maximilian University of Munich, Germany
Axel Polleres National University of Ireland, Galway, Ireland

PROGRAM COMMITTEE

Maria Alpuente Technical University of Valencia, Spain
Demis Ballis University of Udine, Italy
Wlodzimierz Drabent Linköping University, Sweden, and
Institute Of Computer Science,
Polish Academy of Sciences, Poland
Santiago Escobar Technical University of Valencia, Spain
Moreno Falaschi University of Siena, Italy
Mário Florido University of Porto, Portugal
Temur Kutsia Johannes Kepler University Linz, Austria
Massimo Marchiori University of Padova, Italy
Mircea Marin University of Tsukuba, Japan
Catherine Meadows Naval Research Laboratory, USA
Rosario Pugliese University of Florence, Italy
I.V. Ramakrishnan Stony Brook University, USA
Antonio Vallecillo University of Malaga, Spain

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

random function

2009-01-05T04:00:38Z

hello every one .
how can i write in Maude a random function that generates a random natural number for example between 1 and n where n is a given number (let assume n = 7); when executing the function it gives for instance 6, at the second execution, it gives for instance 3, etc...

thanks

Maude for Windows 2.4 released

2008-12-09T11:53:06Z

Dear all,

the MOMENT team has recently compiled the new version of Maude 2.4 for
Windows, and it is available for you to download at [
http://moment.dsic.upv.es/mfw ]. Now, you have available the following
versions
to run in windows:

- Maude 2.0.1
- Maude 2.1
- Maude 2.1.1
- Maude 2.2
- Maude 2.3
- Maude 2.4
- Maude alpha86a

These versions, should work in any i586 compatible processor. If you still
have any compatibility problem (or any kind of problem), please send us a
bug
report with your system configuration.

All the versions also include Full Maude, and some cygwin files needed to
run the Maude Development Tools plugin [ http://moment.dsic.upv.es/mdt ] (a
simple GUI to develop Maude programs, and an API to use Maude from a Java
program).

Best regards
on behalf of the MOMENT team

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

GT-VMT09: abstracts due December 5

2008-12-01T04:52:37Z

###### abstracts - December 5, papers - December 12 ######

###### Call for Papers ######

8th International Workshop on Graph Transformation
and Visual Modeling Techniques (GT-VMT 2009)

http://www.cs.le.ac.uk/events/gtvmt09/

Satellite Event of ETAPS 2009, York, UK, March 28 - 29, 2009

Scope
-----

GT-VMT 2009 is the eighth workshop of a series that serves as a forum
for all researchers and practitioners interested in the use of graph-based
notation, techniques and tools for the specification, modeling, validation,
manipulation and verification of complex systems. The aim of the workshop is to
promote engineering approaches that provide effective sound tool support for
visual modeling languages, enhancing formal reasoning at the semantic level
(e.g., for model analysis, transformation, and consistency management) in
different domains, such as UML, Petri nets, Graph Transformation or Business
Process/Workflow Models.

This year's workshop will have a special focus on visualisation, simulation, and verification of domain-specific languages (DSLs) to improve the automation and quality in model-driven and/or service-oriented processes.

Suggested areas of interest include but are not limited to following topics:

* formal definition of visual DSLs (incl. meta-modeling, grammars, graphical parsing, etc.);
* static semantics of visual DSLs (incl. OCL, graph patterns, etc.);
* dynamic semantics of visual DSLs (incl. simulation, compilation, etc.);
* model transformations (within and) between DSLs and their application in model-driven development;
* visual DSL analysis (incl. verification & validation, static & dynamic analysis techniques);
* model/graph-based approaches to novel architectural paradigms like service-oriented,
GRID, and P2P computing, context-aware and adaptive applications, etc.;
* application of graph transformations and visual modeling techniques in engineering, biology, and medicine;
* case studies and novel application areas;
* tool support and efficient algorithms.

Important Dates
----------------
December 5, 2008 Abstract Submission
December 12, 2008 Paper Submission Deadline
January 23, 2009 Notification of Acceptance
February 13, 2009 Camera Ready Version
February 13, 2009 Deadline for Early Registration
March 28-29, 2009 Time of the Workshop

Submissions
--------------
The proceedings of this workshop will be published in the journal
Electronic Communications of the EASST. A preliminary version of the proceedings will be
available at the workshop.
Papers should not exceed 12 pages. For preparing your manuscript, the
EASST templates can be downloaded at http://eceasst.cs.tu-berlin.de/template/. The online
submission and review system is available at http://www.easychair.org/conferences/?conf=gtvmt09 .

Organizers:
--------------
Artur Boronat, University of Leicester, aboronat@...
Reiko Heckel, University of Leicester, reiko@...

Program Committee:
-----------------
Paolo Baldan (University of Padova, Italy)
Paolo Bottoni (University of Rome, Italy)
Andrea Corradini (University of Pisa, Italy)
Claudia Ermel (TU Berlin, Germany)
Gregor Engels (Univ. Paderborn, Germany)
Holger Giese (HPI Potsdam, Germany)
Gabor Karsai (Vanderbilt University, US)
Jochen Kuester (IBM Zuerich Research)
Juan de Lara (University of Madrid, Spain)
Tihamér Levendovszky (TU Budapest, Hungary)
Mark Minas (Universitaet der Bundeswehr Muenchen, Germany)
Francesco Parisi-Presicce (University of Rome, Italy)
Arend Rensink (Uni. of Twente, Netherlands)
Gabriele Taentzer (Univ. of Marburg, Germany)
Dániel Varró (TU Budapest, Hungary)
Erhard Weinell (RWTH Aachen University)
Martin Wirsing (LMU Muenchen, Germany)
Albert Zuendorf (Univ. of Kassel, Germany)

For more information, please contact Reiko Heckel or Artur Boronat
( {reiko,aboronat}@... )

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users

First CFP: WWV 2009

2008-11-26T01:38:44Z

LDTA 2009: abstracts due November 28

2008-11-21T01:25:43Z

*** abstracts - November 28, full papers - December 5 ***

LDTA: Workshop on Language Descriptions Tools and Applications
http://www.ldta.info

===Call For Papers 2009===

This is the Call For Papers for the Ninth Workshop on Language
Descriptions, Tools and Applications (LDTA 2009)

LDTA is a two-day satellite event of ETAPS which takes on the 28th and
29th of March 2009 in York, England.

Please submit your abstract and paper using
http://www.easychair.org/conferences/?conf=ldta2009

==Scope==

LDTA is an application and tool oriented forum on meta programming in
a broad sense. A meta program is a program that takes other programs
as input or output. The focus of LDTA is on generated or otherwise
efficiently implemented meta programs, possibly using high level
descriptions of programming languages. Tools and techniques presented
at LDTA are usually applicable in the context of "Language
Workbenches" or "Meta Programming Systems" or simply as parts of
advanced programming environments or IDEs. The applications areas
include, but are not limited to:
* Program analysis, transformation, generation and verification
* Implementation of Domain Specific Languages (both visual and textual)
* Reverse engineering and reengineering
* Refactoring and other source-to-source transformations
* Application modelling (MDE, MDA, Software Factories, Software product lines)
* Grammar engineering / Grammarware
* Language definition and language prototyping
* Debugging, profiling and testing
* IDE construction
* Compiler construction

LDTA is a well-established workshop next to other conferences and
workshops on (programming) language engineering topics such as SLE and
GPCE. LDTA is traditionally a forum where computer science theories are
put to the test of real-world software engineering issues, for example
by applying:

* context-free grammars to parser generation for real programming languages,
* attribute grammars to static analyzer and compiler generation,
* term rewriting to source-to-source transformation,
* action semantics to programming language implementation,
* model checking to software verification.

Note that LDTA solicits submissions from any technological or
theoretical domain, as long as the paper is within the application
scope.

==Submission Procedure and Publication==

Submissions in the following categories are admissible:
* research papers,
* tool papers,
* experience papers

The final versions of accepted papers will probably(*) be published in
Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier
Science, and will be made available during the workshop. (*)Due to
organizational changes at Elsevier, publication by ENTCS publication
is provisional; another comparable venue will be found otherwise.

Each submission must:
* clearly and unambiguously state in which of the three categories it falls
* be original, i.e. not published or submitted elsewhere,
* contain a clear motivation,
* contain a thorough analysis of the claimed contributions (for
example by comparing to related work),
* be written in less than 15 pages (research papers and experience
reports), or less than 10 pages (tool papers)
* use the ENTCS style.

The authors of each submission are required to give a presentation at
LDTA 2009. The authors of the tool papers are required to include an
interactive demonstration in their presentations.

The authors of the best papers will be invited to write a journal
version of their paper which will be separately reviewed and, assuming
acceptance, be published in journal form. As in past years, this will
be done in a special issue devoted to LDTA 2009 of the journal Science
of Computer Programming (Elsevier Science).

The authors of the best tool papers will be invited to write a paper
and submit the source of code of their tool, which will both be
separately reviewed and, assuming acceptance, be published in the
special issue on Experimental Software and Toolkits (EST) of the
journal Science of Computer Programming (Elsevier Science).

Please submit your abstract and paper using
http://www.easychair.org/conferences/?conf=ldta2009

==Program Committee==

Jurgen Vinju, CWI, Amsterdam (co-chair)
TorbjÃ¶rn Ekman, Oxford, UK (co-chair)
Erik Meijer, Microsoft, Redmond, USA
Walid Taha, Rice University, Houston USA
Bob Fuhrer, IBM TJ Watson, USA
Susan Eisenbach, Imperial College, UK
Jean-Marie Jacquet, FUNDP, Namur, Belgium
Sibylle Schuppe, Chalmers, Sweden
Elizabeth Scott, RHUL, UK
Robert Grimm, NYU, USA
Judith Bishop, Pretoria, South Africa
Tudor Girba, Univ of Berne, Switzerland
Marjan Mernik, University of Maribor, Slovenia
Thomas Dean, Fondazione Bruno Kessler - IRST, Italy
Martin Bravenboer, Univ. of Oregon, USA
Pierre-Etienne Moreau, INRIA-LORIA, France
Gabi Taentzer, Philipps-UniversitÃ¤t Marburg, Germany
Joao Saraiva, Universidade do Minho, Braga, Portugal
Tijs van der Storm, CWI, The Netherlands
Stephen Edwards, Columbia University, USA
Peter Thiemann, UniversitÃ¤t Freiburg, Germany

==Important Dates==

Abstract submission deadline:Friday November 28th, 2008
Paper submission deadline:Friday December 5th, 2008
Notification of acceptance:Friday February 6th, 2009
Workshop date:28th and 29th of March, 2009

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users