coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Rosu, Grigore" <grosu AT cs.uiuc.edu>
- To: "calculemus-ig AT dist.unige.it" <calculemus-ig AT dist.unige.it>, "caml-list AT pauillac.inria.fr" <caml-list AT pauillac.inria.fr>, "ccl AT ps.uni-sb.de" <ccl AT ps.uni-sb.de>, "clp AT CS.CMU.EDU" <clp AT CS.CMU.EDU>, "clp AT comp.nus.edu.sg" <clp AT comp.nus.edu.sg>, "compulog-deduction AT cs.bham.ac.uk" <compulog-deduction AT cs.bham.ac.uk>, "concurrency AT cwi.nl" <concurrency AT cwi.nl>, "constraints-list AT cwi.nl" <constraints-list AT cwi.nl>, "coq-club AT pauillac.inria.fr" <coq-club AT pauillac.inria.fr>, "cs-logic AT cs.indiana.edu" <cs-logic AT cs.indiana.edu>, "csp AT carlit.toulouse.inra.fr" <csp AT carlit.toulouse.inra.fr>, "curry AT informatik.rwth-aachen.de" <curry AT informatik.rwth-aachen.de>, "eacsl AT dimi.uniud.it" <eacsl AT dimi.uniud.it>, "dreamers AT dai.ed.ac.uk" <dreamers AT dai.ed.ac.uk>, "EAPLS AT JISCMAIL.AC.UK" <EAPLS AT JISCMAIL.AC.UK>, "eatcs-it AT cs.unibo.it" <eatcs-it AT cs.unibo.it>, "elan-users AT lorraine.loria.fr" <elan-users AT lorraine.loria.fr>, "facs-members AT lut.ac.uk" <facs-members AT lut.ac.uk>, "fm-info AT air16.larc.nasa.gov" <fm-info AT air16.larc.nasa.gov>, "fme AT mailbase.ac.uk" <fme AT mailbase.ac.uk>, "fmics AT inrialpes.fr" <fmics AT inrialpes.fr>, "formal-methods AT cs.uidaho.edu" <formal-methods AT cs.uidaho.edu>, "haskell AT haskell.org" <haskell AT haskell.org>, "info-hol AT lal.cs.byu.edu" <info-hol AT phirewall.cs.byu.edu>, "isabelle-users AT cl.cam.ac.uk" <isabelle-users AT cl.cam.ac.uk>, "lambda-usergroup AT dcs.ed.ac.uk" <lambda-usergroup AT dcs.ed.ac.uk>, "lego-club AT dcs.ed.ac.uk" <lego-club AT dcs.ed.ac.uk>, "lfcs-interest AT dcs.ed.ac.uk" <lfcs-interest AT dcs.ed.ac.uk>, "linear AT cs.stanford.edu" <linear AT cs.stanford.edu>, "list AT prooftheory.org" <list AT prooftheory.org>, "logic AT cs.cornell.edu" <logic AT cs.cornell.edu>, "logic AT theory.lcs.mit.edu" <logic AT theory.lcs.mit.edu>, "logic-list AT cs.rice.edu" <logic-list AT cs.rice.edu>, "logic-list AT Helsinki.FI" <logic-list AT Helsinki.FI>, "loginf AT lat.inf.tu-dresden.de" <loginf AT lat.inf.tu-dresden.de>, "lpnmr AT cs.engr.uky.edu" <lpnmr AT cs.engr.uky.edu>, "lprolog AT cis.upenn.edu" <lprolog AT cis.upenn.edu>, "mailinglist AT fmeurope.org" <mailinglist AT fmeurope.org>, "maude-users AT peepal.cs.uiuc.edu" <maude-users AT peepal.cs.uiuc.edu>, "MAUDE AT LISTSERV.REDIRIS.ES" <MAUDE AT LISTSERV.REDIRIS.ES>, "mercury-users AT cs.mu.oz.au" <mercury-users AT cs.mu.oz.au>, "nqthm-users AT cli.com" <nqthm-users AT cli.com>, "nuprllist AT cs.cornell.edu" <nuprllist AT cs.cornell.edu>, "objforum AT prg.oxford.ac.uk" <objforum AT prg.oxford.ac.uk>, "oz-users AT mozart-oz.org" <oz-users AT mozart-oz.org>, "prog-lang AT daimi.au.dk" <prog-lang AT daimi.au.dk>, "prog-lang AT diku.dk" <prog-lang AT diku.dk>, "proof-request AT cs.chalmers.se" <proof-request AT cs.chalmers.se>, "pvs AT csl.sri.com" <pvs AT csl.sri.com>, "rewriting AT ens-lyon.fr" <rewriting AT ens-lyon.fr>, "semantics-list AT newton.cam.ac.uk" <semantics-list AT newton.cam.ac.uk>, "seworld AT cs.colorado.edu" <seworld AT cs.colorado.edu>, "softverf AT hissa.ncsl.nist.gov" <softverf AT hissa.ncsl.nist.gov>, "stratego AT cs.uu.nl" <stratego AT cs.uu.nl>, "theory-logic AT CS.CMU.EDU" <theory-logic AT CS.CMU.EDU>, "theorem-provers AT ai.mit.edu" <theorem-provers AT ai.mit.edu>, "theorynt AT listserv.nodak.edu" <theorynt AT listserv.nodak.edu>, "twelf-list AT cs.cmu.edu" <twelf-list AT CS.CMU.EDU>, "types AT cis.upenn.edu" <types AT cis.upenn.edu>, "types-wg AT durham.ac.uk" <types-wg AT durham.ac.uk>, "vki-list AT dfki.de" <vki-list AT dfki.de>, "zforum AT prg.ox.ac.uk" <zforum AT prg.ox.ac.uk>
- Subject: [Coq-Club] WRLA'08 - Final CFP
- Date: Tue, 27 Nov 2007 04:37:39 -0600
- Accept-language: en-US
- Acceptlanguage: en-US
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
7th International Workshop on
Rewriting Logic and its Applications
W R L A 2008
Budapest, Hungary, March 29-30, 2008
http://wrla08.cs.uiuc.edu/
The workshop will be held in conjunction with
ETAPS 2008
11th European Joint Conferences on Theory and Practice of Software
March 29 - April 6, 2008
http://etaps08.mit.bme.hu/
WRLA 2008 IMPORTANT DATES
December 12, 2007 Deadline for submission
January 10, 2008 Notification of acceptance
January 25, 2008 Final version in electronic form
March 29-30, 2008 Workshop in Budapest
AIMS AND SCOPE
Rewriting logic (RL) is a natural model of computation and an
expressive semantic framework for concurrency, parallelism,
communication and interaction. It can be used for specifying a wide
range of systems and languages in various application fields. It also
has good properties as a metalogical framework for representing
logics. In recent years, several languages based on RL (ASF+SDF,
CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of
the workshop is to bring together researchers with a common interest
in RL and its applications, and to give them the opportunity to
present their recent works, discuss future research directions, and
exchange ideas.
The topics of the workshop comprise, but are not limited to:
- foundations and models of RL;
- languages based on RL, including implementation issues;
- RL as a logical framework;
- RL as a semantic framework, including applications of RL to
object-oriented systems, concurrent and/or parallel systems,
interactive, distributed, open ended and mobile systems,
specification of languages and systems;
- formalisms related to RL, including real-time and probabilistic
extensions of RL, tile logic, rewriting approaches to behavioral
specifications;
- verification techniques for RL specifications, including equational
and coherence methods, and verification of properties expressed in
first-order, higher-order, modal and temporal logics;
- comparisons of RL with existing formalisms having analogous aims;
- application of RL to specification and analysis of distributed
systems, physical systems.
PROGRAM COMMITTEE
Mark van den Brand Technical University of Eindhoven
Roberto Bruni Universita di Pisa
Manuel Clavel Universidad Complutense de Madrid
Francisco Duran Universidad de Malaga
Steven Eker SRI International, Menlo Park
Kokichi Futatsugi JAIST, Tatsunokuchi
Jurgen Giesl RWTH Aachen
Bernhard Gramlich Vienna University of Technology, Austria
Deepak Kapur University of New Mexico
Claude Kirchner INRIA Lorraine & LORIA, Nancy
Salvador Lucas Universidad Politecnica de Valencia
Claude Marche INRIA Futurs & University Paris-sud 11, Orsay, France
Narciso Marti-Oliet Universidad Complutense de Madrid
Jose Meseguer University of Illinois at Urbana-Champaign
Ugo Montanari Universita di Pisa
Pierre-Etienne Moreau INRIA Lorraine & LORIA, Nancy
Peter Olveczky University of Oslo
Femke van Raamsdonk Vrije Universiteit, Amsterdam, The Netherlands
Kristoffer Rose IBM Research, Watson
Grigore Rosu (chair) University of Illinois at Urbana-Champaign
Mark-Oliver Stehr SRI International, Menlo Park
Carolyn Talcott SRI International, Menlo Park
Yoshihito Toyama Tohoku University
Xavier Urbain CEDRIC Paris, France
Martin Wirsing Ludwig-Maximillian University, Munich
CONTACT INFORMATION
For more information, please contact the organizers
wrla AT cs.uiuc.edu
or visit the workshop web page
http://wrla08.cs.uiuc.edu/
- [Coq-Club] WRLA'08 - Final CFP, Rosu, Grigore
Archive powered by MhonArc 2.6.16.