Theory and Extensions of Logic Programming is one of the streams of CL2000, the First International Conference on Computational Logic, which will be held on 24-28 July 2000 at Imperial College, London, UK.

Non-exclusive list of topics of interest

Semantics of Logic Programming and of Constraint Logic Programming, Intuitionistic Logic, Sequent Calculus, Proof Theory, Linear Logic, Higher Order Logic, Abstract Syntax, Integration of Logic and Functional Programming, Concurrent Logic Programming, Concurrent Constraint Programming, Real-Time CCP, Modules, Types, Program Analysis, Abstract Interpretation, Program Correctness.

Submission Instructions

Papers must be no longer than 15 pages and must be in the Springer LNCS style. General information about the Springer LNCS series and the LNCS Authors' Instructions are available at the Springer LNCS/LNAI Home Page.

Submissions are to be made by web or email. See the CL 2000 Theory and Extensions submission page.

Deadlines

• Papers must be submitted by 1st February, 2000
• Authors will be notified of acceptance/rejection by 15th April, 2000
• Camera-ready versions must be received by 15th May, 2000
• Conference begins on 24th July, 2000

Programme/Stream Chair

Catuscia Palamidessi, Penn State University.

Email: catuscia at cse.psu.edu

Programme Committee

Sergio Antoy	Portland State Univ, USA	antoy at cs.pdx.edu
Krzysztof Apt	CWI, NL	apt at cwi.nl
Michele Bugliesi	Università di Venezia, I	michele at dsi.unive.it
Amy Felty	University of Ottawa	afelty at site.uottawa.ca
Gerard Ferrand	Université d'Orléans, F	Gerard.Ferrand at lifo.univ-orleans.fr
Maurizio Gabbrielli	Università di Udine, I	gabbri at dimi.uniud.it
Josh Hodas	Harvey Mudd College, USA	hodas at cs.hmc.edu
Joxan Jaffar	Univ. of Singapore, SGP	joxan at comp.nus.edu.sg
Jan Maluszynski	Linköpings universitet, S	janma at ida.liu.se
Mario Rodriguez-Artalejo	Univ. Comp. de Madrid, E	mario at sip.ucm.es
Harald Søndergaard	Melbourne University, AUS	harald at cs.mu.oz.au
Robert F. Stärk	Inst. of Tech. Zurich, CH	staerk at inf.ethz.ch