public_html: Nominal/activities/jar09/cfp.html@2807ec31d144 (annotated)

415 f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	<html>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	<head>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	<title>JAR Special Issue on Binding, Substitution and Naming</title>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	</head>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	<body TEXT="#000000"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	BGCOLOR="#4169E1"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9	LINK="#0000EF"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10	VLINK="#51188E"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11	ALINK="#FF0000">
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13	<TABLE WIDTH="100%"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	BGCOLOR="#4169E1"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	BORDER="0"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16	FRAME="border"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	17	CELLPADDING="10"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18	CELLSPACING="2"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19	RULES="all">
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21	<TR>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22	<TD BGCOLOR="#FFFFFF"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23	WIDTH="24%"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	24	VALIGN="TOP">
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	25
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	26	<B>Links</B><BR>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	27	<A HREF="http://isabelle.in.tum.de/nominal/">Nominal Methods Group</A><br>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	28	<font color="red">New deadline: November 16, 2009.</font>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	29	<br><br><br>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	30
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	31
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	32	<A HREF="http://isabelle.in.tum.de/nominal/">
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	33	<IMG SRC="http://isabelle.in.tum.de/nominal/graphics/nominal_logo.gif" ALT="" style="border-width: 0px;" align="left">
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	34	</A>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	35
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	36
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	37	</TD>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	38
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	39
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	41	<H2>Journal of Automated Reasoning</H2>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43	<H2>Special issue on Binding, Substitution and Naming</H2>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	45	Mathematical treatments of concrete syntax have always been a central
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46	concern in symbolic computation, programming language implementation
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	47	and computer-aided reasoning. Theories of abstract syntax have proved
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48	harder to find, especially those addressing properties related to
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	49	substituting structures for variables, binding of names and fresh
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50	name generation. This special issue is devoted to papers describing
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	51	recent advances in this area. Submissions are encouraged, but not
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	52	limited to, the following topics:
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	53
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	54	<ul>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	55	<li> logic-based, categorical or set-based theories of names and binding
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	56	<li> new formalisation techniques for languages involving binders
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	57	<li> applications in programming languages that support binding
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	58	<li> mechanised meta-theory of calculi involving binding and fresh
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	59	name generation
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	60	<li> logical frameworks, meta-languages and tools that aid reasoning
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	61	about substitution and binding
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	62	<li> unification for languages involving binders
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	63	</ul>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	64
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	65	Manuscripts should be unpublished works and not submitted
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	66	elsewhere. Revised and enhanced versions of papers published in
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67	conference proceedings that have not appeared in archival journals
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	68	are eligible for submission. All submissions will be reviewed
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	69	according to the high standards of scholarship and originality
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	70	characteristic of the Journal of Automated Reasoning.
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	71
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	72	<p>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	73	Submissions are due <s>October 1, 2009</s>. <font color="red">Extended to November 16, 2009.</font>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	74	Papers should be in pdf format following the JAR
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	75	<A HREF="http://www.springer.com/computer/foundations/journal/10817">guidelines</A>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	76	for authors.
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	77
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	78	<p>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	79	We encourage authors to keep their submissions below 25 pages. Authors
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	80	should submit their papers electronically via
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	81	<A HREF="http://www.easychair.org/conferences/?conf=taasnjar09"> Easy Chair</A>.
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	82
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	83	<p>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	84	Guest Editors:<br>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	85	Christian Urban and Maribel Fernandez<br>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	86	(TU Munich, King's College London)<br>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	87	</TD>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	88	</TR>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	89	</table>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	90	<hr>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	91	<!-- Created: Thu Feb 28 19:21:12 CET 2008 -->
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	92	<!-- hhmts start -->
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	93	Last modified: Mon Nov 2 13:19:08 CET 2009
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	94	<!-- hhmts end -->
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	95	<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	96	</body>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	97	</html>

author	Christian Urban <christian.urban@kcl.ac.uk>
	Tue, 07 Jan 2025 12:42:42 +0000
changeset 653	2807ec31d144
parent 415	f1be8028a4a9
permissions	-rw-r--r--