Twelfth European Summer School in Logic, Language and Information
ESSLLI-2000 August 6-18, 2000, Birmingham, Great Britain

WORKSHOP ON TREES IN LOGIC, COMPUTER SCIENCE AND LINGUISTICS

SECOND CALL FOR PARTICIPATION

Extended deadline for submissions: May 15, 2000. 

http://www.cs.bham.ac.uk/~esslli/ 
or http://general.rau.ac.za/maths/goranko/treecall.txt

================================================================

Twelfth European Summer School in Logic, Language and Information
ESSLLI-2000 August 6-18, 2000, Birmingham, Great Britain

WORKSHOP ON TREES IN LOGIC, COMPUTER SCIENCE AND LINGUISTICS

CALL FOR PARTICIPATION


The workshop will include invited and contributed talks on various
logical, computational, and linguistic aspects of trees, and the
interaction between them. Sample topics include:

i) Logical aspects, e.g.: first-order, second-order, infinitary,
fixpoint, finite-variable, modal and temporal logics of trees; 
finite model theory of trees. 

ii) Linguistic aspects. e.g.: dynamic aspects of trees; 
model theoretic syntax; tree grammars, TAGs.

iii) Computational aspects, e.g.: trees as models of non-deterministic and
parallel computations, computation tree logics, tree automata,
trees and model checking.


We are planning to publish proceedings of the workshop, co-edited with
Dov Gabbay, in a volume of Studies in Logic and Computation, OUP.

Program committee (so far): P. Blackburn, B. Courcelle, D. Gabbay (Chair), 
V. Goranko, W. Meyer-Viol, J. Rogers, W. Thomas, J. Vaananen, M. Vardi. 

You are invited to contribute a talk to the workshop. Please send
electronically an extended abstract of up to 10 pages in either of .ps, .dvi,
.doc, .txt  format (in that order of preference) to: vfg@na.rau.ac.za
BEFORE 31 March, 2000. Note that all workshop contributors are
required by the ESSLLI organizers to register for the Summer School. 

In a cover message to your submission please indicate the preferred
duration of your talk, choosing from 20, 30, 45, 60 and 90 min. This
will only be used as an indication, but  the time eventually allocated
to your talk, if accepted, will depend on the total amount of
contributions, their natural grouping in themes, and the total time
allocated to the workshop (one or two weeks). 

Deadlines for the workshop:

Submissions: March 31, 2000
Notification: April 30, 2000
Provisional Workshop Programme: May 15, 2000
Camera-ready copy of all workshop contributions: May 31, 2000
Final Workshop Programme: May 31, 2000

Send all correspondence regarding the workshop to:

Val Goranko 
Workshop organizer
E-mail: vfg@na.rau.ac.za 

For updates and further information, check out the ESSLLI'2000 website at 
http://www.cs.bham.ac.uk/~esslli/