[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