[TYPES] CfP: Applied Semantics, Special Issue of J of TCS

[Hans-Wolfgang Loidl]

[ -- apologies for multiple copies of this CfP -- HWL ]

				   CALL FOR PAPERS

				    Special Issue on
				  APPLIED SEMANTICS
				       of the
		       Journal of Theoretical Computer Science

	       http://lionel.tcs.ifi.lmu.de/APPSEM05/journal_call.php


We  invite the  submission  of full  papers on  the  topic of  Applied Semantics,  as
described below,  for publication in  a special issue  of the Journal  of Theoretical
Computer Science (TCS).  Papers should  be revised versions of those papers submitted
to and presented at the  APPSEM05 Workshop, Frauenchiemsee, Germany, September 12-15.
However, we  will consider submissions of  papers not presented  there, provided they
fall into  the scope of  the call and  clearly work out  a novel contribution  to the
field that wasn't mature enough to be presented at the aforementioned workshop.

Programming languages  are the basic tools  with which all  applications of computers
are built.   It is important, therefore, that  they should be well  designed and well
implemented. Achieving these goals requires  both a good theoretical understanding of
programming language designs, and practical skills in the development of high quality
compilers. This special issue will cover all these areas and will focus on the formal
basis for programming languages.

The general areas covered by this special issue are as follows:

   1. Program structuring: object-oriented programming, modules,
   2. Proof assistants, functional programming, and dependent types,
   3. Program analysis, generation, and configuration,
   4. Specification and verification methods,
   5. Types and type inference in programming,
   6. Games, sequentiality, and abstract machines,
   7. Semantic methods for distributed computing,
   8. Resource models and web data,
   9. Continuous phenomena in Computer Science.
  10. Industrial applications.

This list is non-exclusive, but contributions that do not clearly fall into one of
these topics should carefully work out their relationship.

We particularly invite industrial contributions covering the areas above.  This could
mean development  of a novel language,  a novel compiler, program  analysis tools, or
indeed, just a semantic model for a new kind of application.  Again, this list is not
exclusive and we welcome  papers on any kind of industrial work  which is informed by
the science  of programming  languages, clearly states  the problem being  solved and
elaborates on the main techniques of the above research areas being used to solve it.

Programme committee:
. Gavin Bierman, Microsoft Research
. Olivier Danvy, University of Aarhus
. Peter Dybjer, Chalmers University of Technology
. Martin Hofmann, Ludwig-Maximilians-Universität München (Chair)
. Neil Jones, University of Copenhagen
. Hans Wolfgang Loidl, Ludwig-Maximilians-Universität München
. Peter O'Hearn, Queen Mary College, University of London
. Uday Reddy, University of Birmingham
. Didier Remy, INRIA Rocquencourt
. Ian Stark, University of Edinburgh
. Thomas Streicher, Technische Universität Darmstadt
. Peter Thiemann, Universität Freiburg

Format of submission (see links below): 
Papers should  be formatted according to  Elsevier's elsart document  style, used for
articles  in  the Journal  of  Theoretical  Computer  Science. Submission  should  be
electronically in .pdf format via the APPSEM Workshop page.  Papers should have 20-25
pages, including appendices. Papers exceeding the upper bound may be rejected without
refereeing.

Important dates:
. Paper submission:   8.1.2006
. Notification:	     27.2.2006
. Camera-ready copy: 27.3.2006

Links:
. APPSEM05 page and paper submissions: http://lionel.tcs.ifi.lmu.de/APPSEM05/
. TCS page: http://www.elsevier.com/wps/find/journaldescription.cws_home/505625/description
. Document style (elsart.cls): http://authors.elsevier.com/latex