CFP: LICS 2005: Call for Short Presentations
From: Alex Simpson (als_at_inf.ed.ac.uk)
Date: 03/08/05
- Next message: Arturo Magidin: "Re: proving bicondtionals without cases?"
- Previous message: Babylonian: "Re: Why an inconsistent ZF may be desirable, and should be welcome."
- Messages sorted by: [ date ] [ thread ]
Date: Tue, 08 Mar 2005 22:48:05 GMT
Twentieth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS 2005)
June 26th-29th, 2005, Chicago, Illinois
http://www.lfcs.informatics.ed.ac.uk/lics/
CALL FOR SHORT PRESENTATIONS
The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic broadly
construed.
LICS 2005 will have a session of short (5-10 minutes) presentations.
This session is intended for descriptions of work in progress, student
projects, and relevant research being published elsewhere; other brief
communications may be acceptable. Submissions for these presentations,
in the form of short abstracts (1 or 2 pages long), should be entered
at the LICS 2005 submission site between 19th March and 25th March 2005.
-- Alex Simpson, LFCS, School of Informatics, University of Edinburgh Email: Alex.Simpson@ed.ac.uk Tel: +44 (0)131 650 5113 Web: http://homepages.inf.ed.ac.uk/als/ Fax: +44 (0)131 667 7209 [ comp.ai is moderated. To submit, just post and be patient, or if ] [ that fails mail your article to <comp-ai@moderators.isc.org>, and ] [ ask your news administrator to fix the problems with your system. ]
- Next message: Arturo Magidin: "Re: proving bicondtionals without cases?"
- Previous message: Babylonian: "Re: Why an inconsistent ZF may be desirable, and should be welcome."
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
