[TYPES/announce] CLA'05 call for paper

René David rene.david at univ-savoie.fr
Thu Jan 12 03:01:11 EST 2006


This is a reminder : the deadline for submission is January 31th.
R David


          +==============================================+

                     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.


CALL FOR SUBMISSION

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.


SUBMISSIONS

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.

IMPORTANT DATES

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

PUBLICATIONS

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).

PROGRAM COMMITTEE

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





More information about the Types-announce mailing list