From: femke@few.vu.nl (Femke van Raamsdonk)
To: caml-list@inria.fr
Subject: [Caml-list] HOR'04: first call for abstracts
Date: Mon, 22 Dec 2003 15:02 +0100 [thread overview]
Message-ID: <m1AYQdG-001CG5C@flits.cs.vu.nl> (raw)
********************************
* *
* HOR'04 CALL FOR ABSTRACTS *
* *
********************************
2nd international Workshop on Higher-Order Rewriting
http://www-i2.informatik.rwth-aachen.de/HOR04/
IMPORTANT DATES:
Mar 17 2004 : deadline electronic submission of paper
Apr 9 2004 : notification of acceptance of papers
Apr 23 2004 : deadline for final version of accepted papers
The aim of HOR is to provide an informal and friendly setting
to discuss recent work and work in progress concerning
higher-order rewriting.
INVITED TALKS:
Mark-Oliver Stehr Hamburg (confirmed)
(another person, to be confirmed)
TOPICS of interest include (but are not limited to):
APPLICATIONS: proof checking, theorem proving, generic programming,
declarative programming, program transformation.
FOUNDATIONS: pattern matching, unification, strategies, narrowing,
termination, syntactic properties, type theory.
FRAMEWORKS: term rewriting, conditional rewriting, graph rewriting,
net rewriting, comparisons of different frameworks.
IMPLEMENTATION: explicit substitution, rewriting tools,
compilation techniques.
SEMANTICS: semantics of higher-order rewriting,
higher-order abstract syntax
PROGRAM/ORGANIZING COMMITTEE:
Delia Kesner Paris kesner@pps.jussieu.fr
Femke van Raamsdonk Amsterdam femke@cs.vu.nl
Joe Wells Edinburgh jbw@macs.hw.ac.uk
HOR'04 SUBMISSIONS:
Abstracts between 2 and 5 pages. As HOR is meant
to be a platform to discuss ongoing research we
are also interested in abstract describing work
in progress, or problems in higher-order rewriting.
PUBLICATION:
The proceedings of HOR 2004 will be published as a technical
report of the Computer Science Department of RWTH Aachen.
LOCAL ARRANGEMENTS:
Juergen Giesl
RWTH Aachen, Germany
giesl@informatik.rwth-aachen.de
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
reply other threads:[~2003-12-22 14:03 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=m1AYQdG-001CG5C@flits.cs.vu.nl \
--to=femke@few.vu.nl \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox