Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!corton!irisa!raoult
From: raoult@irisa.fr (Jean-Claude Raoult)
Newsgroups: comp.theory
Subject: Re: Partitioning squares into unequal squares
Message-ID: <1991May30.093037.6070@irisa.fr>
Date: 30 May 91 09:30:37 GMT
References: <9105242046.AA15308@athos.cs.ua.edu> <11543@mirsa.inria.fr>
Sender: news@irisa.fr
Organization: IRISA, Rennes (Fr)
Lines: 139


 
		    C A L L   F O R   P A P E R S


			    | C A A P |
			    | E S O P |
			    | 1 9 9 2 |


		CAAP '92	Colloquium on Trees in
				Algebra and Programming
		ESOP '92	European Symposium
				On Programming

________________________________________________________________
			|		|
  _!_   _!_   _!_   _!_ \  R E N N E S  / _!_   _!_   _!_   _!_
  /|\   /|\   /|\   /|\  \	       /  /|\   /|\   /|\   /|\
     _!_   _!_   _!_   _!_\  1 9 9 2  /_!_   _!_   _!_   _!_
     /|\   /|\	 /|\   /|\ \         / /|\   /|\   /|\   /|\
_________________________________________________________________



	                   CAAP '92

CAAP is the acronym  for " Colloque sur  les Arbres en Algebre et en
Programmation". The previous 16 colloquia were held in France, Italy,
Germany,  Spain, Denmark, England. Every even year, as in '92, it is
held jointly with ESOP,  and every other year, it is part of TAPSOFT
(Theory And Practice of SOFTware development).
    In the beginning, CAAP was devoted to algebraic and combinatorial
properties of trees,  and  their  role in various Eelds  of  computer
science. Now, the scope  of  CAAP has been extended to other discrete
data structures,  like graphs,  equations and transformations on them,
logical definitions for sets of graphs, etc.
    Typical applications of interest are the syntax and  semantics  of
programming  languages, including concurrent  and  logic  programming.
Contributions are also solicited concerning the complexity of algorithms,
algorithms on, and visualization of, discrete data structures.


		CAAP PROGRAMME COMMITTEE

J._C. Raoult		(Rennes, France), chairman
A. Arnold		(Bordeaux, France)
A. Bertoni		(Milano, Italy)
P. Darondeau		(Rennes, France)
M. Dauchet		(Lille, France)
R. De Nicola		(Pisa, Italy)
M. Dezani_Ciancaglini	(Torino, Italy)
J.W. Klop		(Amsterdam, Netherlands)
H.J. Kreowski		(Bremen, Germany)
M. Nivat		(Paris, France)
A. Poigne		(St. Augustin, Germany)
M. Steinby		(Turku, Finland)
C. Stirling		(Edinburg, Great Britain)
W. Thomas		(Kiel, Germany)
J. Tiuryn		(Warsaw, Poland)


                 ESOP '92

ESOP is the acronym of European Symposium On Programming. The previous
symposia were held in Germany, France and Denmark. They continue lines
begun in France and Germany under the names Colloque sur la Programmation
and the GI workshops on Programmiersprachen und Programmentwicklung.
  ESOP addresses fundamental issues  and important developments in the
specification and implementation of programming languages and systems.
Papers are especially encouraged that describe practical work based on
theory  or computer experiments  implementing theoretical concepts and
formal models.


     ESOP PROGRAMME COMMITTEE

B. Krieg_Brueckner	(Bremen,Germany) chairman
E. Astesiano		(Genova, Italy)
G. Cousineau		(Paris, France)
O._J. Dahl		(Oslo, Norway)
H. Kirchner		(Nancy, France)
T. Maibaum		(London, Great Britain)
A. Mazurkiewicz		(Warsaw, Poland)
P. Mosses		(Aarhus, Denmark)
B. Nordstroem		(Goeteborg, Sweden)
F. Orejas		(Barcelona, Spain)
D. Sannella		(Edinburgh, Great Britain)
P. Wadler		(Glasgow, Great Britain)
R. Wilhelm		(Saarbruecken, Germany)


   INVITED SPEAKERS FOR CAAP_ESOP

B. Courcelle		(Bordeaux, France)
O.J. Dahl		(Oslo, Norway)
H. Ganzinger		(Saarbruecken, Germany)
A. Tarlecki		(Warsaw, Poland)


          SYSTEMS EXHIBITION

Non_commercial software systems may be demonstrated in parallel with the
conference. Authors are invited to make a proposal for demonstrations to
the chairmen.


			DATES AND PLACE

Deadline for submission:	September 6, 1991
NotiEcation of acceptance:	November 12, 1991
Final version due:		December 23, 1991
Conference:			February 24-28,  1992

The conference will be held at the University of Rennes I, on the campus
of Beaulieu. Prices will be kept as low as possible.


			SUBMISSIONS

Authors are invited to submit 5 copies of a draft paper limited to 20 pages
(in  English).  Proofs of non trival results should be included.  Following
the tradition, the members of the programme committee do not submit papers,
even co-authored.
    Send to the CAAP programme chairman:

	J._C. Raoult, CAAP
	IRISA, Campus de Beaulieu
	F_35042 RENNES CEDEX
	email: raoult@irisa.fr

or to the ESOP programme chairman:

	B. Krieg_Brueckner, ESOP
	FB Mathematik und Informatik
	Universitaet Bremen
	Postfach 330 440
	BRD_2800 BREMEN 33
	email: bkb@informatik.uni_Bremen.de