Archive for October 10th, 2008

LICS Newsletter 118

Newsletter 118
October 5, 2008
*******************************************************************
* Past issues of the newsletter are available at
http://www.informatik.hu-berlin.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://www.informatik.hu-berlin.de/lics/newsletters/inst.html
* To unsubscribe, send an email with “unsubscribe” in the
subject line to lics@informatik.hu-berlin.de
*******************************************************************
TABLE OF CONTENTS
* DEADLINES
Upcoming deadlines
* CONFERENCES AND WORKSHOPS
IMPLEMENTATION OF […]

CADE-22 call for workshop and tutorial proposals

CADE 2009
The 22nd International Conference on Automated Deduction
Montreal, Canada, August 2 - 7, 2009
http://complogic.cs.mcgill.ca/cade22/
[…]

QIP2009 CALL FOR PAPERS (deadline 20 Oct)

======================================================================
……………………………………………………..
QIP 2009 — 12th WORKSHOP ON QUANTUM INFORMATION PROCESSING
Santa Fe, New Mexico USA. January 12-16, 2009.
http://qipworkshop.org/
……………………………………………………….
FINAL call for papers (deadline 20 Oct)
……………………………………………………….
IMPORTANT DATES:
Submission deadline […]