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