[TYPES] CLA call for papers

René David david at univ-savoie.fr
Wed Oct 19 07:37:52 EDT 2005


                       CLA 2005  CALL FOR PAPERS


A proceedings volume of the best presentations of the "Computational
Logic and Applications" workshop (Chambéry, June 20-21 2005) will be
published electronically in "Discrete Mathematics and Theoretical
Computer Science" (DMTCS).
See  http://www.dmtcs.org/proceedings/

Together with those papers, the editors wish to present recent work on
connected topics and ask interested authors to submit short
communications fitting with the topics of the workshop (see below).

The 2005 CLA workshop was the third one on that topics (see program at 
www.lama.univ-savoie.fr/~david/CLA05).  It was the occasion for 25
researchers from Krakow, Chambéry and Lyon to meet in a friendly
atmosphere to present their recent work.  The first CLA workshop took
place in Krakow in 2002, the second one in Lyon in 2004.


Authors are invited to submit papers presenting original research on
computational logic and theoretical aspects of computer science.
The main (but not the only ones) topics of the workshop were

- Probablistic aspects of computations and proofs
- Asymptotic analysis of boolean functions
- Analysis of online algorithms.


Authors are invited to submit a full paper of 5 to 10 pages on
original research.  The submissions will be refereed according to the
usual rules based on an international panel of referees.
The papers should be sent electronically as a pdf or dvi file to
rene.david at univ-savoie.fr.


Deadline for submission: January 31, 2006
Notification to authors: March 15, 2006
Final version: April 17, 2006


Accepted papers will be published as an issue of DMTCS together with
an account of lectures on "random boolean expressions" given by
Daniele Gardy (Versailles).


René David (Chambéry)
Daniele Gardy (Versailles)
Pierre Lescanne (Lyon)
Marek Zaionc (Krakow)

No virus found in this outgoing message.
Checked by AVG Anti-Virus.
Version: 7.0.344 / Virus Database: 267.12.4/143 - Release Date: 19/10/2005

More information about the Types-list mailing list